![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
RV 2021: Virtual Event
- Lu Feng
, Dana Fisman
:
Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings. Lecture Notes in Computer Science 12974, Springer 2021, ISBN 978-3-030-88493-2
Regular Papers
- Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour:
Predicate Monitoring in Distributed Cyber-Physical Systems. 3-22 - Joshua Heneage Dawes
, Domenico Bianculli
:
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. 23-41 - Anna Lukina
, Christian Schilling
, Thomas A. Henzinger
:
Into the Unknown: Active Monitoring of Neural Networks. 42-61 - Johann C. Dauer
, Bernd Finkbeiner
, Sebastian Schirmer
:
Monitoring with Verified Guarantees. 62-80 - Shaun Azzopardi
, Gordon J. Pace
, Fernando Schapachnik, Gerardo Schneider
:
On the Specification and Monitoring of Timed Normative Systems. 81-99 - Junya Shijubo
, Masaki Waga
, Kohei Suenaga
:
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. 100-120 - Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
:
Neural Predictive Monitoring Under Partial Observability. 121-141 - Konstantinos Mamouras, Agnishom Chattopadhyay
, Zhifu Wang:
A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. 142-163 - Felipe Gorostiaga
, César Sánchez
:
Nested Monitors: Monitors as Expressions to Build Monitors. 164-183 - Vimuth Fernando, Keyur Joshi
, Jacob Laurel, Sasa Misailovic:
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. 184-206 - Alessandro Cimatti, Chun Tian
, Stefano Tonetta:
Assumption-Based Runtime Verification of Infinite-State Systems. 207-227
Short Papers and Tool Papers
- Fabian Muehlboeck
, Thomas A. Henzinger
:
Differential Monitoring. 231-243 - Jean-Christophe Filliâtre, Clément Pascutto
:
Ortac: Runtime Assertion Checking for OCaml (Tool Paper). 244-253 - Vahid Hashemi
, Jan Kretínský
, Stefanie Mohr
, Emmanouil Seferis:
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. 254-264 - Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont
, Sanjit A. Seshia:
Parallel and Multi-objective Falsification with Scenic and VerifAI. 265-276 - Donghwan Shin
, Zanis Ali Khan
, Domenico Bianculli
, Lionel C. Briand
:
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection. 277-287 - Akshay Rajhans
, Anastasia Mavrommati
, Pieter J. Mosterman, Roberto G. Valenti
:
Specification and Runtime Verification of Temporal Assessments in Simulink. 288-296 - Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos:
PerceMon: Online Monitoring for Perception Systems. 297-308
Tutorial Paper
- Hazem Torfah
, Sebastian Junges
, Daniel J. Fremont
, Sanjit A. Seshia:
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. 311-330
![](https://dblp1.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.