default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLectures on Runtime Verification 2018
- Ezio Bartocci, Yliès Falcone:
Lectures on Runtime Verification - Introductory and Advanced Topics. Lecture Notes in Computer Science 10457, Springer 2018, ISBN 978-3-319-75631-8 - Ezio Bartocci
, Yliès Falcone, Adrian Francalanza, Giles Reger:
Introduction to Runtime Verification. 1-33 - João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar:
Discovering Concurrency Errors. 34-60 - Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu:
Monitoring Events that Carry Data. 61-102 - Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha:
Runtime Failure Prevention and Reaction. 103-134 - Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan:
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. 135-175 - Adrian Francalanza, Jorge A. Pérez, César Sánchez:
Runtime Verification for Decentralised and Distributed Systems. 176-210 - Christian Colombo, Gordon J. Pace:
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. 211-232
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-06 22:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
