![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
RV 2020: Los Angeles, CA, USA
- Jyotirmoy Deshmukh
, Dejan Nickovic
:
Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings. Lecture Notes in Computer Science 12399, Springer 2020, ISBN 978-3-030-60507-0
Invited Presentation
- Thomas A. Henzinger, N. Ege Saraç
:
Monitorability Under Assumptions. 3-18
Tutorials
- Laura Nenzi, Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Ennio Visconti
:
Monitoring Spatio-Temporal Properties (Invited Tutorial). 21-46 - Yanhong A. Liu, Scott D. Stoller:
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. 47-66 - Joshua Heneage Dawes, Marta Han
, Omar Javed, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer:
Analysing the Performance of Python-Based Web Services with the VyPR Framework. 67-86 - Maximilian Schwenger:
Monitoring Cyber-Physical Systems: From Design to Integration. 87-106 - Klaus Havelund, Doron Peled:
BDDs for Representing Data in Runtime Verification. 107-128
Runtime Verification for Autonomy
- Weichao Zhou, Ruihan Gao, BaekGyu Kim
, Eunsuk Kang, Wenchao Li:
Runtime-Safety-Guided Policy Repair. 131-150 - Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque
, Omar Chowdhury:
PatrIoT: Policy Assisted Resilient Programmable IoT System. 151-171 - Eleni Zapridou
, Ezio Bartocci
, Panagiotis Katsaros
:
Runtime Verification of Autonomous Driving Systems in CARLA. 172-183 - Sumukh Shivakumar, Hazem Torfah
, Ankush Desai, Sanjit A. Seshia:
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. 184-194
Runtime Verification for Software
- David A. Basin
, Matthieu Gras, Srdan Krstic
, Joshua Schneider
:
Scalable Online Monitoring of Distributed Systems. 197-220 - Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz:
Actor-Based Runtime Verification with MESA. 221-240 - Benedikt Maderbacher
, Anja F. Karl
, Roderick Bloem
:
Placement of Runtime Checks to Counteract Fault Injections. 241-258 - Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson:
Empirical Abstraction. 259-278 - Michell Guzmán, Oliviero Riganelli
, Daniela Micucci
, Leonardo Mariani
:
Test4Enforcers: Test Case Generation for Software Enforcers. 279-297 - Andrej Cizmárik, Pavel Parízek
:
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs. 298-309 - Nikolai Kosmatov
, Fonenantsoa Maurica, Julien Signoles
:
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. 310-322 - Chukri Soueidi
, Ali Kassem, Yliès Falcone:
BISM: Bytecode-Level Instrumentation for Software Monitoring. 323-335
Runtime Verification with Temporal Logic Specifications
- Thomas Wright
, Ian Stark
:
Property-Directed Verified Monitoring of Signal Temporal Logic. 339-358 - Niraj Basnet, Houssam Abbas:
Logical Signal Processing: A Fourier Analysis of Temporal Logic. 359-382 - Agnishom Chattopadhyay
, Konstantinos Mamouras:
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. 383-403 - Joseph Cralley, Ourania Spantidi
, Bardh Hoxha, Georgios Fainekos:
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. 404-416 - Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. 417-428
Stream-Based Monitoring
- Bernd Finkbeiner
, Stefan Oswald, Noemi Passing
, Maximilian Schwenger
:
Verified Rust Monitors for Lola Specifications. 431-450 - Jan Baumeister
, Bernd Finkbeiner
, Matthis Kruse
, Maximilian Schwenger
:
Automatic Optimizations for Stream-Based Monitoring Languages. 451-461 - Felipe Gorostiaga, Luis Miguel Danielsson
, César Sánchez:
Unifying the Time-Event Spectrum for Stream Runtime Verification. 462-481 - Srdan Krstic
, Joshua Schneider
:
A Benchmark Generator for Online First-Order Monitoring. 482-494
Runtime Verification for Cyber-Physical Systems
- Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang
, Chung-Wei Lin
, Eunsuk Kang, Qi Zhu
:
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. 497-516 - Manfred Jaeger
, Kim G. Larsen
, Alessandro Tibo
:
From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. 517-535
![](https://dblp.uni-trier.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.