Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRV 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
a service of 
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-09-05 01:20 CEST 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:
