default search action

combined dblp search
author search
venue search
publication search

ask others

RV 2021: Virtual Event

> Home > Conferences and Workshops > RV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/rv/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2021
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

- view
  authority control:
- export record
  dblp key:
  - conf/rv/MomtazBAB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/MomtazBAB21
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour:
Predicate Monitoring in Distributed Cyber-Physical Systems. 3-22
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DawesB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DawesB21
Joshua Heneage Dawes, Domenico Bianculli:
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. 23-41
- view
  authority control:
- export record
  dblp key:
  - conf/rv/LukinaSH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/LukinaSH21
Anna Lukina, Christian Schilling, Thomas A. Henzinger:
Into the Unknown: Active Monitoring of Neural Networks. 42-61
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DauerFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DauerFS21
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer:
Monitoring with Verified Guarantees. 62-80
- view
  authority control:
- export record
  dblp key:
  - conf/rv/AzzopardiPSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AzzopardiPSS21
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider:
On the Specification and Monitoring of Timed Normative Systems. 81-99
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ShijuboWS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ShijuboWS21
Junya Shijubo, Masaki Waga, Kohei Suenaga:
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. 100-120
- view
  authority control:
- export record
  dblp key:
  - conf/rv/CairoliBP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CairoliBP21
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Neural Predictive Monitoring Under Partial Observability. 121-141
- view
  authority control:
- export record
  dblp key:
  - conf/rv/MamourasCW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/MamourasCW21
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang:
A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. 142-163
- view
  authority control:
- export record
  dblp key:
  - conf/rv/GorostiagaS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/GorostiagaS21
Felipe Gorostiaga, César Sánchez:
Nested Monitors: Monitors as Expressions to Build Monitors. 164-183
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FernandoJLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FernandoJLM21
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic:
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. 184-206
- view
  authority control:
- export record
  dblp key:
  - conf/rv/CimattiTT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CimattiTT21
Alessandro Cimatti, Chun Tian, Stefano Tonetta:
Assumption-Based Runtime Verification of Infinite-State Systems. 207-227

Short Papers and Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rv/MuehlboeckH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/MuehlboeckH21
Fabian Muehlboeck, Thomas A. Henzinger:
Differential Monitoring. 231-243
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FilliatreP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FilliatreP21
Jean-Christophe Filliâtre, Clément Pascutto:
Ortac: Runtime Assertion Checking for OCaml (Tool Paper). 244-253
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HashemiKMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HashemiKMS21
Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis:
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. 254-264
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ViswanadhaKIFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ViswanadhaKIFS21
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia:
Parallel and Multi-objective Falsification with Scenic and VerifAI. 265-276
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ShinKBB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ShinKBB21
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
- view
  authority control:
- export record
  dblp key:
  - conf/rv/RajhansMMV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/RajhansMMV21
Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti:
Specification and Runtime Verification of Temporal Assessments in Simulink. 288-296
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BalakrishnanDHY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BalakrishnanDHY21
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos:
PerceMon: Online Monitoring for Perception Systems. 297-308

Tutorial Paper

- view
  authority control:
- export record
  dblp key:
  - conf/rv/TorfahJFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/TorfahJFS21
Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia:
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. 311-330

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.