default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRV 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
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 2024-11-07 20:38 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
