Follow
Cesar Sanchez
Cesar Sanchez
Associate Research Professor, IMDEA Software Institute
Verified email at imdea.org - Homepage
Title
Cited by
Cited by
Year
Lola: Runtime monitoring of synchronous systems
B d'Angelo, S Sankaranarayanan, C Sanchez, W Robinson, B Finkbeiner, ...
Temporal Representation and Reasoning, 2005. TIME 2005. 12th International …, 2005
2952005
Temporal logics for hyperproperties
MR Clarkson, B Finkbeiner, M Koleini, KK Micinski, MN Rabe, C Sánchez
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
2572014
Algorithms for model checking HyperLTL and HyperCTL
B Finkbeiner, MN Rabe, C Sánchez
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
1572015
Regular linear temporal logic
M Leucker, C Sánchez
Theoretical Aspects of Computing–ICTAC 2007, 291-305, 2007
852007
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design 54, 279-335, 2019
702019
Runtime verification for decentralised and distributed systems
A Francalanza, JA Pérez, C Sánchez
Lectures on Runtime Verification: Introductory and Advanced Topics, 176-210, 2018
662018
Verifying hyperliveness
N Coenen, B Finkbeiner, C Sánchez, L Tentrup
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
542019
Striver: Stream Runtime Verification for Real-Time Event-Streams
F Gorostiaga, C Sánchez
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
512018
TeSSLa: runtime verification of non-synchronized real-time streams
M Leucker, C Sánchez, T Scheffel, M Schmitz, A Schramm
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1925-1933, 2018
502018
Event correlation: Language and semantics
C Sánchez, S Sankaranarayanan, H Sipma, T Zhang, D Dill, Z Manna
Third International Conference on Embedded Software, 323-339, 2003
462003
Monitoring hyperproperties by combining static analysis and runtime verification
B Bonakdarpour, C Sanchez, G Schneider
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
412018
Abstracting runtime heaps for program understanding
M Marron, C Sanchez, Z Su, M Fahndrich
Software Engineering, IEEE Transactions on 39 (6), 774-786, 2013
372013
Gray-box monitoring of hyperproperties
S Stucki, C Sánchez, G Schneider, B Bonakdarpour
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
322019
Online and offline stream runtime verification of synchronous systems
C Sánchez
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
312018
Regular linear temporal logic with past
C Sánchez, M Leucker
Verification, Model Checking, and Abstract Interpretation: 11th …, 2010
302010
A temporal logic for asynchronous hyperproperties
J Baumeister, N Coenen, B Bonakdarpour, B Finkbeiner, C Sánchez
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
282021
Bounded model checking for hyperproperties
TH Hsu, C Sánchez, B Bonakdarpour
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
222021
Invariant Generation for Parametrized Systems Using Self-reflection: (Extended Version)
A Sanchez, S Sankaranarayanan, C Sánchez, BYE Chang
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
222012
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
V Subramonian, C Gill, C Sánchez, HB Sipma
Proceedings of the 6th ACM & IEEE International conference on Embedded …, 2006
212006
On efficient distributed deadlock avoidance for real-time and embedded systems
C Sánchez, HB Sipma, Z Manna, V Subramonian, C Gill
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
212006
The system can't perform the operation now. Try again later.
Articles 1–20