Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarRV 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
- 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 - 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
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 - 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 - 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
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 - 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
maintained by 
, founded at 
, founded at 
last updated on 2019-02-20 00:21 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
