| 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 | 329 | 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 | 292 | 2014 |
| Algorithms for model checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez International Conference on Computer Aided Verification, 30-48, 2015 | 174 | 2015 |
| 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 | 88 | 2019 |
| Regular linear temporal logic M Leucker, C Sánchez Theoretical Aspects of Computing–ICTAC 2007, 291-305, 2007 | 85 | 2007 |
| 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 | 74 | 2018 |
| Verifying hyperliveness N Coenen, B Finkbeiner, C Sánchez, L Tentrup Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 64 | 2019 |
| Striver: Stream runtime verification for real-time event-streams F Gorostiaga, C Sánchez International Conference on Runtime Verification, 282-298, 2018 | 62 | 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 | 60 | 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 Sánchez, G Schneider Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 45 | 2018 |
| Online and offline stream runtime verification of synchronous systems C Sánchez International Conference on Runtime Verification, 138-163, 2018 | 38 | 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 | 38 | 2013 |
| Gray-box monitoring of hyperproperties S Stucki, C Sánchez, G Schneider, B Bonakdarpour International Symposium on Formal Methods, 406-424, 2019 | 35 | 2019 |
| A temporal logic for asynchronous hyperproperties J Baumeister, N Coenen, B Bonakdarpour, B Finkbeiner, C Sánchez International Conference on Computer Aided Verification, 694-717, 2021 | 34 | 2021 |
| Regular linear temporal logic with past C Sánchez, M Leucker International Workshop on Verification, Model Checking, and Abstract …, 2010 | 31 | 2010 |
| Bounded model checking for hyperproperties TH Hsu, C Sánchez, B Bonakdarpour International Conference on Tools and Algorithms for the Construction and …, 2021 | 30 | 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 | 23 | 2012 |
| Asynchronous extensions of HyperLTL L Bozzelli, A Peron, C Sánchez 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 22 | 2021 |
| 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 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
