Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCésar Sánchez 0001
Person information
- affiliation: IMDEA Software Institute, Madrid, Spain
- affiliation (former): Stanford University, USA
Other persons with the same name
- César Sánchez-Meléndez
![[0000-0002-2717-1243]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-2717-1243")
(aka: César Sánchez 0002) — Castilla-La Mancha University, Cuenca, Spain - César Sánchez 0003 — National University of Colombia, Bogotá, Colombia
- César Sánchez 0004 — Pontificia Universidad Católica de Chile, Faculty of Medicine, Santiago, Chile
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j17]Luis Miguel Danielsson, César Sánchez:
Decentralized Stream Runtime Verification for Timed Asynchronous Networks. IEEE Access 11: 84091-84112 (2023)- [c71]Andoni Rodríguez, César Sánchez:
Boolean Abstractions for Realizability Modulo Theories. CAV (3) 2023: 305-328 - [c70]Montserrat Hermo, Paqui Lucio, César Sánchez:
Tableaux for Realizability of Safety Specifications. FM 2023: 495-513 - [c69]Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni:
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. GECCO 2023: 1499-1507 - [c68]Matías Brizzio, César Sánchez:
Efficient Reactive Synthesis Using Mode Decomposition. ICTAC 2023: 256-275 - [c67]Hannes Kallwies, Martin Leucker, César Sánchez:
General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV 2023: 106-125 - [c66]Paloma Pedregal, Felipe Gorostiaga, César Sánchez:
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. RV 2023: 351-362 - [c65]Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) 2023: 29-46 - [c64]Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour:
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. TACAS (1) 2023: 66-84 - [i30]Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour:
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR abs/2301.06209 (2023) - [i29]Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. CoRR abs/2301.07208 (2023) - [i28]Luis Miguel Danielsson, César Sánchez:
Decentralized Stream Runtime Verification for Timed Asynchronous Networks. CoRR abs/2302.00506 (2023) - [i27]Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez:
Improving Blockchain Scalability with the Setchain Data-type. CoRR abs/2302.04744 (2023) - [i26]Paloma Pedregal, Felipe Gorostiaga, César Sánchez:
Retroactive Parametrized Monitoring. CoRR abs/2307.06763 (2023) - [i25]Andoni Rodríguez, César Sánchez:
From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach. CoRR abs/2310.07904 (2023) - [i24]Andoni Rodríguez, César Sánchez:
Boolean Abstractions for Realizability Modulo Theories (Extended version). CoRR abs/2310.17292 (2023) - 2022
- [c63]Hannes Kallwies, Martin Leucker, César Sánchez:
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ATVA 2022: 117-134 - [c62]Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez:
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. Blockchain 2022: 87-96 - [c61]Martín Ceresa, César Sánchez:
Multi: A Formal Playground for Multi-Smart Contract Interaction. FMBC@CAV 2022: 5:1-5:16 - [c60]Laura Bozzelli, Adriano Peron, César Sánchez:
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CONCUR 2022: 27:1-27:16 - [c59]Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel:
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. ISoLA (1) 2022: 397-414 - [c58]Felipe Gorostiaga, César Sánchez:
Monitorability of Expressive Verdicts. NFM 2022: 693-712 - [c57]Margarita Capretto, Martín Ceresa, César Sánchez:
Transaction Monitoring of Smart Contracts. RV 2022: 162-180 - [c56]Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel:
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV 2022: 181-199 - [i23]Montserrat Hermo, Paqui Lucio, César Sánchez:
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications. CoRR abs/2206.01492 (2022) - [i22]Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez:
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. CoRR abs/2206.11845 (2022) - [i21]Margarita Capretto, Martín Ceresa, César Sánchez:
Transaction Monitoring of Smart Contracts. CoRR abs/2207.02517 (2022) - [i20]Laura Bozzelli, Adriano Peron, César Sánchez:
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CoRR abs/2207.02956 (2022) - [i19]Hannes Kallwies, Martin Leucker, César Sánchez:
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions. CoRR abs/2207.05678 (2022) - [i18]Martín Ceresa, César Sánchez:
Multi: a Formal Playground for Multi-Smart Contract Interaction. CoRR abs/2207.06681 (2022) - 2021
- [j16]Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour:
Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. 58(1-2): 126-159 (2021) - [j15]Felipe Gorostiaga, César Sánchez:
Stream runtime verification of real-time event streams with the Striver language. Int. J. Softw. Tools Technol. Transf. 23(2): 157-183 (2021) - [c55]Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) 2021: 694-717 - [c54]Felipe Gorostiaga, César Sánchez:
HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams. FM 2021: 563-580 - [c53]Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel:
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. ICRA 2021: 6824-6830 - [c52]César Sánchez:
Synchronous and asynchronous stream runtime verification. VORTEX@ISSTA 2021: 5-7 - [c51]Laura Bozzelli, Adriano Peron, César Sánchez:
Asynchronous Extensions of HyperLTL. LICS 2021: 1-13 - [c50]Felipe Gorostiaga, César Sánchez:
Nested Monitors: Monitors as Expressions to Build Monitors. RV 2021: 164-183 - [c49]Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour:
Bounded Model Checking for Hyperproperties. TACAS (1) 2021: 94-112 - [c48]Felipe Gorostiaga, César Sánchez:
HLola: a Very Functional Tool for Extensible Stream Runtime Verification. TACAS (2) 2021: 349-356 - [i17]Laura Bozzelli, Adriano Peron, César Sánchez:
Asynchronous Extensions of HyperLTL. CoRR abs/2104.12886 (2021) - [i16]Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CoRR abs/2104.14025 (2021) - [i15]Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez:
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties. CoRR abs/2109.12989 (2021) - 2020
- [j14]Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm:
Runtime verification of real-time event streams under non-synchronized arrival. Softw. Qual. J. 28(2): 745-787 (2020) - [c47]Martín Ceresa, Felipe Gorostiaga, César Sánchez:
Declarative Stream Runtime Verification (hLola). APLAS 2020: 25-43 - [c46]Gordon J. Pace, César Sánchez, Gerardo Schneider:
Reliable Smart Contracts. ISoLA (3) 2020: 3-8 - [c45]Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez:
Model Checking Timed Hyperproperties in Discrete-Time Systems. NFM 2020: 311-328 - [c44]Felipe Gorostiaga, Luis Miguel Danielsson, César Sánchez:
Unifying the Time-Event Spectrum for Stream Runtime Verification. RV 2020: 462-481 - [i14]Martín Ceresa, Felipe Gorostiaga, César Sánchez:
Declarative Stream Runtime Verification (hLola). CoRR abs/2003.00032 (2020) - [i13]Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CoRR abs/2005.07425 (2020) - [i12]Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour:
Bounded Model Checking for Hyperproperties. CoRR abs/2009.08907 (2020)
2010 – 2019
- 2019
- [j13]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j12]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019) - [c43]Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CAV (1) 2019: 121-139 - [c42]Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour:
Gray-Box Monitoring of Hyperproperties. FM 2019: 406-424 - [c41]Luis Miguel Danielsson, César Sánchez:
Decentralized Stream Runtime Verification. RV 2019: 185-201 - [c40]Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Runtime Verification for Timed Event Streams with Partial Information. RV 2019: 273-291 - [i11]Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR abs/1902.03776 (2019) - [i10]Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour:
Gray-box Monitoring of Hyperproperties (Extended Version). CoRR abs/1906.08731 (2019) - [i9]Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Runtime Verification For Timed Event Streams With Partial Information. CoRR abs/1907.07761 (2019) - 2018
- [j11]Yliès Falcone, César Sánchez:
Introduction to the special issue on runtime verification. Formal Methods Syst. Des. 53(1): 1-5 (2018) - [j10]Laura Bozzelli, César Sánchez:
Visibly Linear Temporal Logic. J. Autom. Reason. 60(2): 177-220 (2018) - [c39]Raúl Pardo, César Sánchez, Gerardo Schneider:
Timed Epistemic Knowledge Bases for Social Networks. FM 2018: 185-202 - [c38]Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez:
Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications. ICWS 2018: 379-382 - [c37]Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider:
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. ISoLA (2) 2018: 8-27 - [c36]César Sánchez, Gerardo Schneider, Martin Leucker:
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. ISoLA (4) 2018: 275-279 - [c35]Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC1402 Runtime Verification Beyond Monitoring. RV 2018: 18-26 - [c34]César Sánchez:
Online and Offline Stream Runtime Verification of Synchronous Systems. RV 2018: 138-163 - [c33]Felipe Gorostiaga, César Sánchez:
Striver: Stream Runtime Verification for Real-Time Event-Streams. RV 2018: 282-298 - [c32]Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm:
TeSSLa: runtime verification of non-synchronized real-time streams. SAC 2018: 1925-1933 - [c31]Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez:
i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines. WISE (1) 2018: 81-95 - [p1]Adrian Francalanza, Jorge A. Pérez, César Sánchez:
Runtime Verification for Decentralised and Distributed Systems. Lectures on Runtime Verification 2018: 176-210 - [i8]Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez:
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers. CoRR abs/1802.10375 (2018) - [i7]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018) - 2017
- [j9]Alejandro Sánchez, César Sánchez:
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. Ann. Math. Artif. Intell. 80(3-4): 249-282 (2017) - [i6]Raúl Pardo, César Sánchez, Gerardo Schneider:
Timed Epistemic Knowledge Bases for Social Networks (Extended Version). CoRR abs/1708.04070 (2017) - 2016
- [j8]César Sánchez, Kristen Brent Venable, Esteban Zimányi:
Special issue on temporal representation and reasoning (TIME'13). Acta Informatica 53(2): 87-88 (2016) - [j7]Bernd Finkbeiner, César Sánchez:
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit. Acta Informatica 53(4): 325-326 (2016) - [j6]Laura Bozzelli, César Sánchez:
Foundations of Boolean stream runtime verification. Theor. Comput. Sci. 631: 118-138 (2016) - [c30]Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider:
Specification of Evolving Privacy Policies for Online Social Networks. TIME 2016: 70-79 - [e2]Yliès Falcone, César Sánchez:
Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. Lecture Notes in Computer Science 10012, Springer 2016, ISBN 978-3-319-46981-2 [contents] - 2015
- [j5]Alejandro Sánchez, César Sánchez:
Parametrized invariance for infinite state processes. Acta Informatica 52(6): 525-557 (2015) - [c29]Bernd Finkbeiner, Markus N. Rabe, César Sánchez:
Algorithms for Model Checking HyperLTL and HyperCTL ^*. CAV (1) 2015: 30-48 - 2014
- [j4]Laura Bozzelli, César Sánchez:
Visibly rational expressions. Acta Informatica 51(1): 25-49 (2014) - [c28]Alejandro Sánchez, César Sánchez:
Formal Verification of Skiplists with Arbitrary Many Levels. ATVA 2014: 314-329 - [c27]Laura Bozzelli, César Sánchez:
Visibly Linear Temporal Logic. IJCAR 2014: 418-433 - [c26]Alejandro Sánchez, César Sánchez:
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. CAV 2014: 620-627 - [c25]Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez:
Temporal Logics for Hyperproperties. POST 2014: 265-284 - [c24]Laura Bozzelli, César Sánchez:
Foundations of Boolean Stream Runtime Verification. RV 2014: 64-79 - [c23]Alejandro Sánchez, César Sánchez:
Parametrized Verification Diagrams. TIME 2014: 132-141 - [i5]Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez:
Temporal Logics for Hyperproperties. CoRR abs/1401.4492 (2014) - 2013
- [j3]Maria-Cristina V. Marinescu, César Sánchez:
Fusing statecharts and java. ACM Trans. Embed. Comput. Syst. 12(1s): 45:1-45:21 (2013) - [j2]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. 39(6): 774-786 (2013) - [e1]César Sánchez, Kristen Brent Venable, Esteban Zimányi:
2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-2240-6 [contents] - [i4]César Sánchez, Alejandro Sánchez:
A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height. CoRR abs/1301.4372 (2013) - [i3]Bernd Finkbeiner, Markus N. Rabe, César Sánchez:
A Temporal Logic for Hyperproperties. CoRR abs/1306.6657 (2013) - [i2]Alejandro Sánchez, César Sánchez:
Parametrized Invariance for Infinite State Processe. CoRR abs/1312.4043 (2013) - 2012
- [j1]Marina Zapater, César Sánchez, José L. Ayala, José Manuel Moya, José L. Risco-Martín:
Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments. Sensors 12(8): 10659-10677 (2012) - [c22]Laura Bozzelli, César Sánchez:
Visibly Rational Expressions. FSTTCS 2012: 211-223 - [c21]César Sánchez, Julián Samborski-Forlese:
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. ICTAC 2012: 30-45 - [c20]Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang:
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). SAS 2012: 146-163 - [c19]César Sánchez, Julián Samborski-Forlese:
Efficient Regular Linear Temporal Logic Using Dualization and Stratification. TIME 2012: 13-20 - [i1]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. CoRR abs/1201.1327 (2012) - 2011
- [c18]Alejandro Sánchez, César Sánchez:
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes. NASA Formal Methods 2011: 343-358 - 2010
- [c17]Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez:
Analyzing the Impact of Change in Multi-threaded Programs. FASE 2010: 293-307 - [c16]Alejandro Sánchez, César Sánchez:
Decision Procedures for the Temporal Verification of Concurrent Lists. ICFEM 2010: 74-89 - [c15]Martin Leucker, César Sánchez:
Regular Linear-Time Temporal Logic. TIME 2010: 3-5 - [c14]César Sánchez, Martin Leucker:
Regular Linear Temporal Logic with Past. VMCAI 2010: 295-311
2000 – 2009
- 2008
- [c13]César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna:
The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science 2008: 596-619 - 2007
- [b1]César Sánchez:
Deadlock avoidance for distributed real-time and embedded systems. Stanford University, USA, 2007 - [c12]César Sánchez, Henny B. Sipma, Zohar Manna:
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. FASE 2007: 155-169 - [c11]Martin Leucker, César Sánchez:
Regular Linear Temporal Logic. ICTAC 2007: 291-305 - [c10]César Sánchez, Henny B. Sipma, Zohar Manna:
Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS 2007: 1-8 - 2006
- [c9]César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill:
Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT 2006: 12-20 - [c8]Venkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma:
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. EMSOFT 2006: 252-261 - [c7]César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill:
On efficient distributed deadlock avoidance for real-time and embedded systems. IPDPS 2006 - [c6]César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna:
Distributed Priority Inheritance for Real-Time and Embedded Systems. OPODIS 2006: 110-125 - 2005
- [c5]César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna:
Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378 - [c4]César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna:
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. FORTE 2005: 159-173 - [c3]César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna:
Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005: 529-532 - [c2]Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna:
LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005: 166-174 - 2003