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
1972005
Temporal logics for hyperproperties
MR Clarkson, B Finkbeiner, M Koleini, KK Micinski, MN Rabe, C Sánchez
International Conference on Principles of Security and Trust, 265-284, 2014
1422014
Algorithms for Model Checking HyperLTL and HyperCTL
B Finkbeiner, MN Rabe, C Sánchez
International Conference on Computer Aided Verification, 30-48, 2015
872015
Regular linear temporal logic
M Leucker, C Sánchez
Theoretical Aspects of Computing–ICTAC 2007, 291-305, 2007
662007
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
Abstracting runtime heaps for program understanding
M Marron, C Sanchez, Z Su, M Fahndrich
Software Engineering, IEEE Transactions on 39 (6), 774-786, 2013
302013
Runtime verification for decentralised and distributed systems
A Francalanza, JA Pérez, C Sánchez
Lectures on Runtime Verification, 176-210, 2018
282018
Regular linear temporal logic with past
C Sánchez, M Leucker
International Workshop on Verification, Model Checking, and Abstract …, 2010
282010
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
222018
Invariant generation for parametrized systems using self-reflection
A Sanchez, S Sankaranarayanan, C Sánchez, BYE Chang
International Static Analysis Symposium, 146-163, 2012
212012
Striver: Stream Runtime Verification for Real-Time Event-Streams
F Gorostiaga, C Sánchez
International Conference on Runtime Verification, 282-298, 2018
202018
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
202006
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
192006
Expressive completeness of an event-pattern reactive programming language
C Sánchez, M Slanina, HB Sipma, Z Manna
Formal Techniques for Networked and Distributed Systems-FORTE 2005, 529-532, 2005
192005
Efficient distributed deadlock avoidance with liveness guarantees
C Sánchez, HB Sipma, Z Manna, CD Gill
Proceedings of the 6th ACM & IEEE International conference on Embedded …, 2006
182006
Thread allocation protocols for distributed real-time and embedded systems
C Sánchez, HB Sipma, V Subramonian, C Gill, Z Manna
International Conference on Formal Techniques for Networked and Distributed …, 2005
182005
Foundations of Boolean stream runtime verification
L Bozzelli, C Sánchez
Theoretical Computer Science 631, 118-138, 2016
172016
Decision procedures for the temporal verification of concurrent lists
A Sánchez, C Sánchez
International Conference on Formal Engineering Methods, 74-89, 2010
122010
Final semantics for event-pattern reactive programs
C Sánchez, HB Sipma, M Slanina, Z Manna
International Conference on Algebra and Coalgebra in Computer Science, 364-378, 2005
122005
A theory of skiplists with applications to the verification of concurrent datatypes
A Sánchez, C Sánchez
NASA Formal Methods Symposium, 343-358, 2011
112011
The system can't perform the operation now. Try again later.
Articles 1–20