Articles with public access mandates - Cesar SanchezLearn more
Not available anywhere: 3
Visibly linear temporal logic
L Bozzelli, C Sánchez
Journal of Automated Reasoning 60 (2), 177-220, 2018
Mandates: European Commission, Government of Spain
Fusing statecharts and java
MC Marinescu, C Sanchez
ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-21, 2013
Mandates: Government of Spain
How to translate efficiently extensions of temporal logics into alternating automata
C Sánchez, J Samborski-Forlese
International Colloquium on Theoretical Aspects of Computing, 30-45, 2012
Mandates: Government of Spain
Available somewhere: 37
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
Mandates: German Research Foundation
Algorithms for model checking HyperLTL and HyperCTL
B Finkbeiner, MN Rabe, C Sánchez
International Conference on Computer Aided Verification, 30-48, 2015
Mandates: German Research Foundation, Government of Spain
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
Mandates: European Commission
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
Mandates: European Commission, Government of Spain
Verifying hyperliveness
N Coenen, B Finkbeiner, C Sánchez, L Tentrup
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Mandates: German Research Foundation, European Commission, Government of Spain
Striver: Stream runtime verification for real-time event-streams
F Gorostiaga, C Sánchez
International Conference on Runtime Verification, 282-298, 2018
Mandates: European Commission, Government of Spain
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
Mandates: European Commission, Government of Spain, Federal Ministry of Education and …
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
Mandates: US National Science Foundation, Swedish Research Council, European …
Bounded model checking for hyperproperties
TH Hsu, C Sánchez, B Bonakdarpour
International Conference on Tools and Algorithms for the Construction and …, 2021
Mandates: US National Science Foundation, Government of Spain
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
Mandates: US National Science Foundation, German Research Foundation, European …
Gray-box monitoring of hyperproperties
S Stucki, C Sánchez, G Schneider, B Bonakdarpour
International Symposium on Formal Methods, 406-424, 2019
Mandates: US National Science Foundation, Swedish Research Council, European …
Online and offline stream runtime verification of synchronous systems
C Sánchez
International Conference on Runtime Verification, 138-163, 2018
Mandates: European Commission, Government of Spain
Abstracting runtime heaps for program understanding
M Marron, C Sanchez, Z Su, M Fahndrich
Software Engineering, IEEE Transactions on 39 (6), 774-786, 2013
Mandates: Government of Spain
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
Mandates: Government of Spain
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
Mandates: Government of Spain
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
Mandates: European Commission, Government of Spain, Federal Ministry of Education and …
Stream runtime verification of real-time event streams with the Striver language
F Gorostiaga, C Sánchez
International Journal on Software Tools for Technology Transfer 23 (2), 157-183, 2021
Mandates: Government of Spain
Publication and funding information is determined automatically by a computer program