| 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 | 360 | 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 | 341 | 2014 |
| Algorithms for model checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez International Conference on Computer Aided Verification, 30-48, 2015 | 191 | 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 | 113 | 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 | 93 | 2018 |
| Regular linear temporal logic M Leucker, C Sánchez Theoretical Aspects of Computing–ICTAC 2007, 291-305, 2007 | 83 | 2007 |
| Verifying hyperliveness N Coenen, B Finkbeiner, C Sánchez, L Tentrup Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 73 | 2019 |
| Striver: Stream runtime verification for real-time event-streams F Gorostiaga, C Sánchez International Conference on Runtime Verification, 282-298, 2018 | 69 | 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 | 67 | 2018 |
| 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 | 52 | 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 |
| Bounded model checking for hyperproperties TH Hsu, C Sánchez, B Bonakdarpour International Conference on Tools and Algorithms for the Construction and …, 2021 | 45 | 2021 |
| 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 | 42 | 2021 |
| Online and offline stream runtime verification of synchronous systems C Sánchez International Conference on Runtime Verification, 138-163, 2018 | 41 | 2018 |
| Gray-box monitoring of hyperproperties S Stucki, C Sánchez, G Schneider, B Bonakdarpour International Symposium on Formal Methods, 406-424, 2019 | 40 | 2019 |
| Abstracting runtime heaps for program understanding M Marron, C Sanchez, Z Su, M Fahndrich Software Engineering, IEEE Transactions on 39 (6), 774-786, 2013 | 39 | 2013 |
| Regular linear temporal logic with past C Sánchez, M Leucker International Workshop on Verification, Model Checking, and Abstract …, 2010 | 32 | 2010 |
| 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 | 28 | 2021 |
| Runtime verification for timed event streams with partial information M Leucker, C Sánchez, T Scheffel, M Schmitz, D Thoma Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 24 | 2019 |
| 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 | 24 | 2012 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
