![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
RV 2018: Limassol, Cyprus
- Christian Colombo, Martin Leucker:
Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. Lecture Notes in Computer Science 11237, Springer 2018, ISBN 978-3-030-03768-0
Invited Papers
- Klaus Havelund, Grigore Rosu:
Runtime Verification - 17 Years Later. 3-17 - Christian Colombo
, Yliès Falcone, Martin Leucker
, Giles Reger
, César Sánchez, Gerardo Schneider, Volker Stolz
:
COST Action IC1402 Runtime Verification Beyond Monitoring. 18-26 - Yliès Falcone:
Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections. 27-32
Tutorial Papers
- Ezio Bartocci
:
Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial). 35-42 - Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
:
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. 43-63 - Antoine El-Hokayem, Yliès Falcone:
Can We Monitor All Multithreaded Programs? 64-89 - Klaus Havelund, Doron Peled:
Runtime Verification: From Propositional to First-Order Temporal Logic. 90-112 - Shaun Azzopardi
, Joshua Ellul
, Gordon J. Pace
:
Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. 113-137 - César Sánchez
:
Online and Offline Stream Runtime Verification of Synchronous Systems. 138-163
Regular Papers
- Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare:
METIS: Resource and Context-Aware Monitoring of Finite State Properties. 167-186 - Reza Babaee, Arie Gurfinkel
, Sebastian Fischmeister:
Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning. 187-204 - Patricia Bouyer, Samy Jaziri, Nicolas Markey:
Efficient Timed Diagnosis Using Automata with Timed Domains. 205-221 - Antoine El-Hokayem, Yliès Falcone:
Bringing Runtime Verification Home. 222-240 - Yliès Falcone, Srdan Krstic
, Giles Reger
, Dmitriy Traytel
:
A Taxonomy for Classifying Runtime Verification Tools. 241-262 - Angelo Ferrando
, Louise A. Dennis
, Davide Ancona, Michael Fisher
, Viviana Mascardi:
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. 263-281 - Felipe Gorostiaga, César Sánchez:
Striver: Stream Runtime Verification for Real-Time Event-Streams. 282-298 - Maximilian A. Köhl
, Holger Hermanns, Sebastian Biewer:
Efficient Monitoring of Real Driving Emissions. 299-315 - Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang
, Shinichi Shiraishi:
Property-Driven Runtime Resolution of Feature Interactions. 316-333 - Giles Reger
, David E. Rydeheard:
From Parametric Trace Slicing to Rule Systems. 334-352 - Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic
, Dmitriy Traytel
:
Scalable Online First-Order Monitoring. 353-371 - Angel Luis Scull Pupo
, Laurent Christophe, Jens Nicolay
, Coen De Roover
, Elisa Gonzalez Boix
:
Practical Information Flow Control for Web Applications. 372-388 - Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Time-Series Learning Using Monotonic Logical Properties. 389-405
Short Papers
- Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos
:
Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. 409-416 - Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem:
Tracing Distributed Component-Based Systems, a Brief Overview. 417-425 - Jianwen Li, Kristin Y. Rozier:
MLTL Benchmark Generation via Formula Progression. 426-433
Tool Papers
- Ansem Ben Cheikh, Yoann Blein, Salim Chehida
, Germán Vega, Yves Ledru, Lydie du Bousquet:
An Environment for the ParTraP Trace Property Language (Tool Demonstration). 437-446 - Sylvain Hallé
, Raphaël Khoury:
Writing Domain-Specific Languages for BeepBeep. 447-457 - Jasmin Jahic, Matthias Jung, Thomas Kuhn, Claus Kestel, Norbert Wehn
:
A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration. 458-468
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.