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