| 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 | 295 | 2005 |
| 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 | 257 | 2014 |
| Algorithms for model checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 157 | 2015 |
| Regular linear temporal logic M Leucker, C Sánchez Theoretical Aspects of Computing–ICTAC 2007, 291-305, 2007 | 85 | 2007 |
| 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 | 70 | 2019 |
| 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 | 66 | 2018 |
| Verifying hyperliveness N Coenen, B Finkbeiner, C Sánchez, L Tentrup Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 54 | 2019 |
| Striver: Stream Runtime Verification for Real-Time Event-Streams F Gorostiaga, C Sánchez Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018 | 51 | 2018 |
| 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 | 50 | 2018 |
| 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 | 46 | 2003 |
| Monitoring hyperproperties by combining static analysis and runtime verification B Bonakdarpour, C Sanchez, G Schneider Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 41 | 2018 |
| Abstracting runtime heaps for program understanding M Marron, C Sanchez, Z Su, M Fahndrich Software Engineering, IEEE Transactions on 39 (6), 774-786, 2013 | 37 | 2013 |
| 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 | 32 | 2019 |
| Online and offline stream runtime verification of synchronous systems C Sánchez Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018 | 31 | 2018 |
| Regular linear temporal logic with past C Sánchez, M Leucker Verification, Model Checking, and Abstract Interpretation: 11th …, 2010 | 30 | 2010 |
| 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 | 28 | 2021 |
| Bounded model checking for hyperproperties TH Hsu, C Sánchez, B Bonakdarpour Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021 | 22 | 2021 |
| 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 | 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 |
| 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 | 21 | 2006 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
