default search action

combined dblp search
author search
venue search
publication search

ask others

RV 2020: Los Angeles, CA, USA

> 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2020
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

- view
  authority control:
- export record
  dblp key:
  - conf/rv/HenzingerS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HenzingerS20
Thomas A. Henzinger, N. Ege Saraç:
Monitorability Under Assumptions. 3-18

Tutorials

- view
  authority control:
- export record
  dblp key:
  - conf/rv/NenziBBLV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/NenziBBLV20
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti:
Monitoring Spatio-Temporal Properties (Invited Tutorial). 21-46
- view
  authority control:
- export record
  dblp key:
  - conf/rv/LiuS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/LiuS20
Yanhong A. Liu, Scott D. Stoller:
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. 47-66
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DawesHJRFP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DawesHJRFP20
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
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Schwenger20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Schwenger20
Maximilian Schwenger:
Monitoring Cyber-Physical Systems: From Design to Integration. 87-106
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HavelundP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HavelundP20
Klaus Havelund, Doron Peled:
BDDs for Representing Data in Runtime Verification. 107-128

Runtime Verification for Autonomy

- view
  authority control:
- export record
  dblp key:
  - conf/rv/ZhouGKKL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ZhouGKKL20
Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li:
Runtime-Safety-Guided Policy Repair. 131-150
- view
  authority control:
- export record
  dblp key:
  - conf/rv/YahyazadehHHC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/YahyazadehHHC20
Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque, Omar Chowdhury:
PatrIoT: Policy Assisted Resilient Programmable IoT System. 151-171
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ZapridouBK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ZapridouBK20
Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros:
Runtime Verification of Autonomous Driving Systems in CARLA. 172-183
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ShivakumarTDS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ShivakumarTDS20
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

- view
  authority control:
- export record
  dblp key:
  - conf/rv/BasinGKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BasinGKS20
David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider:
Scalable Online Monitoring of Distributed Systems. 197-220
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ShafieiHM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ShafieiHM20
Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz:
Actor-Based Runtime Verification with MESA. 221-240
- view
  authority control:
- export record
  dblp key:
  - conf/rv/MaderbacherKB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/MaderbacherKB20
Benedikt Maderbacher, Anja F. Karl, Roderick Bloem:
Placement of Runtime Checks to Counteract Fault Injections. 241-258
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HoAMPL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HoAMPL20
Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson:
Empirical Abstraction. 259-278
- view
  authority control:
- export record
  dblp key:
  - conf/rv/GuzmanRMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/GuzmanRMM20
Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Test4Enforcers: Test Case Generation for Software Enforcers. 279-297
- view
  authority control:
- export record
  dblp key:
  - conf/rv/CizmarikP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CizmarikP20
Andrej Cizmárik, Pavel Parízek:
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs. 298-309
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KosmatovMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KosmatovMS20
Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles:
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. 310-322
- view
  authority control:
- export record
  dblp key:
  - conf/rv/SoueidiKF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/SoueidiKF20
Chukri Soueidi, Ali Kassem, Yliès Falcone:
BISM: Bytecode-Level Instrumentation for Software Monitoring. 323-335

Runtime Verification with Temporal Logic Specifications

- view
  authority control:
- export record
  dblp key:
  - conf/rv/WrightS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/WrightS20
Thomas Wright, Ian Stark:
Property-Directed Verified Monitoring of Signal Temporal Logic. 339-358
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BasnetA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BasnetA20
Niraj Basnet, Houssam Abbas:
Logical Signal Processing: A Fourier Analysis of Temporal Logic. 359-382
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ChattopadhyayM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ChattopadhyayM20
Agnishom Chattopadhyay, Konstantinos Mamouras:
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. 383-403
- view
  authority control:
- export record
  dblp key:
  - conf/rv/CralleySHF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CralleySHF20
Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos:
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. 404-416
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BartocciBLNS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BartocciBLNS20
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. 417-428

Stream-Based Monitoring

- view
  authority control:
- export record
  dblp key:
  - conf/rv/FinkbeinerOPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FinkbeinerOPS20
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger:
Verified Rust Monitors for Lola Specifications. 431-450
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BaumeisterFKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BaumeisterFKS20
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger:
Automatic Optimizations for Stream-Based Monitoring Languages. 451-461
- view
  authority control:
- export record
  dblp key:
  - conf/rv/GorostiagaDS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/GorostiagaDS20
Felipe Gorostiaga, Luis Miguel Danielsson, César Sánchez:
Unifying the Time-Event Spectrum for Stream Runtime Verification. 462-481
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KrsticS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KrsticS20
Srdan Krstic, Joshua Schneider:
A Benchmark Generator for Online First-Order Monitoring. 482-494

Runtime Verification for Cyber-Physical Systems

- view
  authority control:
- export record
  dblp key:
  - conf/rv/WuBCHHLKZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/WuBCHHLKZ20
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
- view
  authority control:
- export record
  dblp key:
  - conf/rv/JaegerLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/JaegerLT20
Manfred Jaeger, Kim G. Larsen, Alessandro Tibo:
From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. 517-535

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.