LOLA: runtime monitoring of synchronous systems
By Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna. Time, 2005
296 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Hardware and Architecture, Software
View Paper: https://www.semanticscholar.org/paper/bf70fb3ef04ea8a830de3c42cff02b6677efc9fb
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
- Alexandre Donzé
- Sriram Sankaranarayanan
- Georgios Fainekos
- Ezio Bartocci
- Oded Maler
- Jyotirmoy V. Deshmukh
- Dejan Nickovic
- Martin Leucker
In Hardware and Architecture
- Alexandre Donzé
- Georgios Fainekos
- Oded Maler
- Sriram Sankaranarayanan
- Ezio Bartocci
- Jyotirmoy V. Deshmukh
- Dejan Nickovic
- Dorsa Sadigh
In Software
- Alexandre Donzé
- Sriram Sankaranarayanan
- Georgios Fainekos
- Oded Maler
- Ezio Bartocci
- Martin Leucker
- Christian Schallhart
- Dejan Nickovic
Citations in the corpus
- Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications (2018, methodology): “For instance, the presence of unbounded until operators in the specification can potentially require a large lookahead to resolve the truth of the formula appropriately [39,66,70].”
- A brief account of runtime verification (2009, background): “LOLA [24] is a monitor generation framework based on the linear µ-calculus with future and past modalities, and with a notion of parallel streams of output.”
- Runtime Verification for LTL and TLTL (2011, methodology): “For TLTL, the same road map is followed by .rst de.ning a three-valued semantics.”