| 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 | 216 | 2005 |
| 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 | 162 | 2014 |
| Algorithms for Model Checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez International Conference on Computer Aided Verification, 30-48, 2015 | 102 | 2015 |
| Regular linear temporal logic M Leucker, C Sánchez Theoretical Aspects of Computing–ICTAC 2007, 291-305, 2007 | 71 | 2007 |
| 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 | 45 | 2003 |
| Runtime verification for decentralised and distributed systems A Francalanza, JA Pérez, C Sánchez Lectures on Runtime Verification, 176-210, 2018 | 40 | 2018 |
| Regular linear temporal logic with past C Sánchez, M Leucker International Workshop on Verification, Model Checking, and Abstract …, 2010 | 31 | 2010 |
| Abstracting runtime heaps for program understanding M Marron, C Sanchez, Z Su, M Fahndrich Software Engineering, IEEE Transactions on 39 (6), 774-786, 2013 | 30 | 2013 |
| 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 | 28 | 2018 |
| Striver: Stream Runtime Verification for Real-Time Event-Streams F Gorostiaga, C Sánchez International Conference on Runtime Verification, 282-298, 2018 | 24 | 2018 |
| Invariant generation for parametrized systems using self-reflection A Sanchez, S Sankaranarayanan, C Sánchez, BYE Chang International Static Analysis Symposium, 146-163, 2012 | 22 | 2012 |
| 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 | 21 | 2006 |
| 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 | 19 | 2006 |
| 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 | 19 | 2006 |
| 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 | 19 | 2005 |
| 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 | 19 | 2005 |
| Gray-box monitoring of hyperproperties S Stucki, C Sánchez, G Schneider, B Bonakdarpour International Symposium on Formal Methods, 406-424, 2019 | 16 | 2019 |
| Decision procedures for the temporal verification of concurrent lists A Sánchez, C Sánchez International Conference on Formal Engineering Methods, 74-89, 2010 | 12 | 2010 |
| 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 | 12 | 2005 |
| Visibly Rational Expressions. L Bozzelli, C Sánchez FSTTCS, 211-223, 2012 | 11 | 2012 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
