César Sánchez

ORCID

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 63

Top Venues

CoRR

Acta Informatica

Formal Methods Syst. Des.

Publications

Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. ISoLA (1) (2022)
Martín Ceresa, César Sánchez
Multi: A Formal Playground for Multi-Smart Contract Interaction. FMBC@CAV (2022)
Hannes Kallwies, Martin Leucker, César Sánchez
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions. CoRR (2022)
Margarita Capretto, Martín Ceresa, César Sánchez
Transaction Monitoring of Smart Contracts. RV (2022)
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. Blockchain (2022)
Martín Ceresa, César Sánchez
Multi: a Formal Playground for Multi-Smart Contract Interaction. CoRR (2022)
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. CoRR (2022)
Montserrat Hermo, Paqui Lucio, César Sánchez
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications. CoRR (2022)
Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV (2022)
Hannes Kallwies, Martin Leucker, César Sánchez
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ATVA (2022)
Margarita Capretto, Martín Ceresa, César Sánchez
Transaction Monitoring of Smart Contracts. CoRR (2022)
Felipe Gorostiaga, César Sánchez
Monitorability of Expressive Verdicts. NFM (2022)
Laura Bozzelli, Adriano Peron, César Sánchez
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CoRR (2022)
Laura Bozzelli, Adriano Peron, César Sánchez
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CONCUR (2022)
Felipe Gorostiaga, César Sánchez
HLola: a Very Functional Tool for Extensible Stream Runtime Verification. TACAS (2) (2021)
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. ICRA (2021)
Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties. CoRR (2021)
Felipe Gorostiaga, César Sánchez
Stream runtime verification of real-time event streams with the Striver language. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
A Temporal Logic for Asynchronous Hyperproperties. CoRR (2021)
Laura Bozzelli, Adriano Peron, César Sánchez
Asynchronous Extensions of HyperLTL. LICS (2021)
Felipe Gorostiaga, César Sánchez
HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams. FM (2021)
César Sánchez
Synchronous and asynchronous stream runtime verification. VORTEX@ISSTA (2021)
Laura Bozzelli, Adriano Peron, César Sánchez
Asynchronous Extensions of HyperLTL. CoRR (2021)
Felipe Gorostiaga, César Sánchez
Nested Monitors: Monitors as Expressions to Build Monitors. RV (2021)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) (2021)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. 58 (1-2) (2021)
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
Bounded Model Checking for Hyperproperties. TACAS (1) (2021)
Felipe Gorostiaga, Luis Miguel Danielsson, César Sánchez
Unifying the Time-Event Spectrum for Stream Runtime Verification. RV (2020)
Martín Ceresa, Felipe Gorostiaga, César Sánchez
Declarative Stream Runtime Verification (hLola). CoRR (2020)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Runtime verification of real-time event streams under non-synchronized arrival. Softw. Qual. J. 28 (2) (2020)
Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez
Model Checking Timed Hyperproperties in Discrete-Time Systems. NFM (2020)
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
Bounded Model Checking for Hyperproperties. CoRR (2020)
Gordon J. Pace, César Sánchez, Gerardo Schneider
Reliable Smart Contracts. ISoLA (3) (2020)
Martín Ceresa, Felipe Gorostiaga, César Sánchez
Declarative Stream Runtime Verification (hLola). APLAS (2020)
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
Verifying Hyperliveness. CoRR (2020)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-Box Monitoring of Hyperproperties. FM (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54 (3) (2019)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Verification For Timed Event Streams With Partial Information. CoRR (2019)
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
Verifying Hyperliveness. CAV (1) (2019)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-box Monitoring of Hyperproperties (Extended Version). CoRR (2019)
Luis Miguel Danielsson, César Sánchez
Decentralized Stream Runtime Verification. RV (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55 (1) (2019)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Verification for Timed Event Streams with Partial Information. RV (2019)
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR (2019)
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers. CoRR (2018)
Yliès Falcone, César Sánchez
Introduction to the special issue on runtime verification. Formal Methods Syst. Des. 53 (1) (2018)
Raúl Pardo, César Sánchez, Gerardo Schneider
Timed Epistemic Knowledge Bases for Social Networks. FM (2018)
Laura Bozzelli, César Sánchez
Visibly Linear Temporal Logic. J. Autom. Reason. 60 (2) (2018)
Felipe Gorostiaga, César Sánchez
Striver: Stream Runtime Verification for Real-Time Event-Streams. RV (2018)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
TeSSLa: runtime verification of non-synchronized real-time streams. SAC (2018)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR (2018)
César Sánchez
Online and Offline Stream Runtime Verification of Synchronous Systems. RV (2018)
Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
COST Action IC1402 Runtime Verification Beyond Monitoring. RV (2018)
Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. ISoLA (2) (2018)
César Sánchez, Gerardo Schneider, Martin Leucker
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. ISoLA (4) (2018)
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications. ICWS (2018)
Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez
i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines. WISE (1) (2018)
Raúl Pardo, César Sánchez, Gerardo Schneider
Timed Epistemic Knowledge Bases for Social Networks (Extended Version). CoRR (2017)
Alejandro Sánchez, César Sánchez
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. Ann. Math. Artif. Intell. 80 (3-4) (2017)
Bernd Finkbeiner, César Sánchez
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit. Acta Informatica 53 (4) (2016)
César Sánchez, Kristen Brent Venable, Esteban Zimányi
Special issue on temporal representation and reasoning (TIME'13). Acta Informatica 53 (2) (2016)
Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider
Specification of Evolving Privacy Policies for Online Social Networks. TIME (2016)
Laura Bozzelli, César Sánchez
Foundations of Boolean stream runtime verification. Theor. Comput. Sci. 631 (2016)
Alejandro Sánchez, César Sánchez
Parametrized invariance for infinite state processes. Acta Informatica 52 (6) (2015)
Bernd Finkbeiner, Markus N. Rabe, César Sánchez
Algorithms for Model Checking HyperLTL and HyperCTL ^*. CAV (1) (2015)
Alejandro Sánchez, César Sánchez
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. CAV (2014)
Alejandro Sánchez, César Sánchez
Parametrized Verification Diagrams. TIME (2014)
Laura Bozzelli, César Sánchez
Visibly Linear Temporal Logic. IJCAR (2014)
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Temporal Logics for Hyperproperties. POST (2014)
Alejandro Sánchez, César Sánchez
Formal Verification of Skiplists with Arbitrary Many Levels. ATVA (2014)
Laura Bozzelli, César Sánchez
Visibly rational expressions. Acta Informatica 51 (1) (2014)
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Temporal Logics for Hyperproperties. CoRR (2014)
Laura Bozzelli, César Sánchez
Foundations of Boolean Stream Runtime Verification. RV (2014)
Bernd Finkbeiner, Markus N. Rabe, César Sánchez
A Temporal Logic for Hyperproperties. CoRR (2013)
J. Mateo, A. M. Torres, María A. García, César Sánchez, Raquel Cervigón
Robust Volterra Filter Design for Enhancement of Electroencephalogram Signal Processing. Circuits Syst. Signal Process. 32 (1) (2013)
César Sánchez, Alejandro Sánchez
A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height CoRR (2013)
Maria-Cristina V. Marinescu, César Sánchez
Fusing statecharts and java. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. 39 (6) (2013)
Alejandro Sánchez, César Sánchez
Parametrized Invariance for Infinite State Processe. CoRR (2013)
Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). SAS (2012)
Laura Bozzelli, César Sánchez
Visibly Rational Expressions. FSTTCS (2012)
Marina Zapater, César Sánchez, José L. Ayala, José Manuel Moya, José L. Risco-Martín
Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments. Sensors 12 (8) (2012)
César Sánchez, Julián Samborski-Forlese
Efficient Regular Linear Temporal Logic Using Dualization and Stratification. TIME (2012)
Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
Abstracting Runtime Heaps for Program Understanding CoRR (2012)
César Sánchez, Julián Samborski-Forlese
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. ICTAC (2012)
J. Mateo, A. M. Torres, C. Soria, María A. García, César Sánchez
EEG Noise Cancellation based on Neural Network. IJCCI (NCTA) (2011)
César Sánchez, Eduardo Romero
A distributed architecture for a loosely coupled virtual microscopy system. Medical Imaging: Computer-Aided Diagnosis (2011)
Raquel Cervigón, César Sánchez, Javier Moreno, Richard B. Reilly, Francisco Castells
Morphology quantification of atrial fibrillation under propofol using principal components analysis. EMBC (2011)
Alejandro Sánchez, César Sánchez
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes. NASA Formal Methods (2011)
Alejandro Sánchez, César Sánchez
Decision Procedures for the Temporal Verification of Concurrent Lists. ICFEM (2010)
Diego García-Saiz, César Sánchez, Raúl Alcaraz
Frequency Domain Analysis as Risk Predictor of Sudden Cardiac Death from Long-time ECG Recordings. BIOSIGNALS (2010)
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez
Analyzing the Impact of Change in Multi-threaded Programs. FASE (2010)
César Sánchez, Martin Leucker
Regular Linear Temporal Logic with Past. VMCAI (2010)
Martin Leucker, César Sánchez
Regular Linear-Time Temporal Logic. TIME (2010)
Raquel Cervigón, Javier Moreno, César Sánchez, Richard B. Reilly, Julián Villacastín, José Millet, Francisco Castells
Atrial fibrillation organization: quantification of propofol effects. Medical Biol. Eng. Comput. 47 (3) (2009)
Raquel Cervigón, Javier Moreno, Francisco Castells, J. Mateo, César Sánchez, Julián Pérez-Villacastín, José Millet
Anesthesia with propofol slows atrial fibrillation dominant frequencies. Comput. Biol. Medicine 38 (7) (2008)
César Sánchez, Edwin Triana, Eduardo Romero
A flexible web oriented telehealth platform using a RIM-HL7 based model. EATIS (2008)
César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science (2008)
Martin Leucker, César Sánchez
Regular Linear Temporal Logic. ICTAC (2007)
César Sánchez, Henny B. Sipma, Zohar Manna
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. FASE (2007)

César Sánchez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

César Sánchez