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 | 341 | 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 | 328 | 2014 |
Algorithms for model checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez International Conference on Computer Aided Verification, 30-48, 2015 | 183 | 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 | 103 | 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 | 83 | 2018 |
Regular linear temporal logic M Leucker, C Sánchez Theoretical Aspects of Computing–ICTAC 2007, 291-305, 2007 | 82 | 2007 |
Verifying hyperliveness N Coenen, B Finkbeiner, C Sánchez, L Tentrup Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 67 | 2019 |
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 | 63 | 2018 |
Striver: Stream runtime verification for real-time event-streams F Gorostiaga, C Sánchez International Conference on Runtime Verification, 282-298, 2018 | 61 | 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 | 48 | 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 |
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 | 39 | 2021 |
Online and offline stream runtime verification of synchronous systems C Sánchez International Conference on Runtime Verification, 138-163, 2018 | 39 | 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 | 39 | 2013 |
Bounded model checking for hyperproperties TH Hsu, C Sánchez, B Bonakdarpour International Conference on Tools and Algorithms for the Construction and …, 2021 | 38 | 2021 |
Gray-box monitoring of hyperproperties S Stucki, C Sánchez, G Schneider, B Bonakdarpour International Symposium on Formal Methods, 406-424, 2019 | 38 | 2019 |
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 | 25 | 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 | 24 | 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 | 22 | 2006 |