Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik |
Monitoring Algorithmic Fairness Under Partial Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 291-311, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini |
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 45-65, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bas van den Heuvel 0001, Jorge A. Pérez 0001, Rares A. Dobre |
Monitoring Blackbox Implementations of Multiparty Session Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 66-85, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov |
Pattern Matching for Perception Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 251-270, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chukri Soueidi, Yliès Falcone |
Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 327-338, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Doron Peled |
Monitorability for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 447-460, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas |
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 213-230, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay 0001, Supratik Chakraborty, Sanjit A. Seshia |
Learning Monitor Ensembles for Operational Design Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 271-290, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Changshun Wu, Yliès Falcone, Saddek Bensalem |
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 23-41, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan 0001, Jyotirmoy Deshmukh |
Safety Monitoring for Pedestrian Detection in Adverse Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 389-399, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia |
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 191-212, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider 0001 |
Metric First-Order Temporal Logic with Complex Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 126-147, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Kallwies, Martin Leucker, César Sánchez 0001 |
General Anticipatory Monitoring for Temporal Logics on Finite Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 106-125, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Moran Omer, Doron Peled |
Runtime Verification Prediction for Traces with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 148-167, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard |
AMT: A Runtime Verification Tool of Video Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 315-326, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang 0001 |
CCMOP: A Runtime Verification Tool for C/C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 339-350, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chukri Soueidi, Yliès Falcone |
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 403-427, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Katsaros, Laura Nenzi (eds.) |
Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-031-44266-7 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic |
Mining Specification Parameters for Multi-class Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 86-105, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma |
Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 376-388, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen |
eMOP: A Maven Plugin for Evolution-Aware Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 363-375, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu |
Assumption Generation for Learning-Enabled Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 3-22, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 461-487, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sean Anderson, Allison Naaktgeboren, Andrew Tolmach |
Flexible Runtime Security Enforcement with Tagged C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 231-250, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Paloma Pedregal, Felipe Gorostiaga, César Sánchez 0001 |
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 351-362, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marek Chalupa, Thomas A. Henzinger |
Monitoring Hyperproperties with Prefix Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 168-190, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan |
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, pp. 428-446, 2023, Springer, 978-3-031-44266-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Schneider 0001 |
Randomized First-Order Monitoring with Hashing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 3-24, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nahid Hasan Khan, Joseph Robertson, Ramiro Liscano, Akramul Azim, Vijay Sundaresan, Yee-Kang Chang |
Lock Contention Performance Classification for Java Intrinsic Locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 274-282, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç |
Abstract Monitors for Quantitative Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 200-220, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Filipe Marques, António Morgado 0001, José Fragoso Santos, Mikolás Janota |
TestSelector: Automatic Test Suite Selection for Student Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 283-292, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin Stoffers, Alexander Weinert |
Towards Specificationless Monitoring of Provenance-Emitting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 253-263, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer |
Optimal Finite-State Monitoring of Partial Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 124-142, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace |
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 243-252, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider |
Runtime Verification of Kotlin Coroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 221-239, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Margarita Capretto, Martín Ceresa, César Sánchez 0001 |
Transaction Monitoring of Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 162-180, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Kallwies, Martin Leucker, Malte Schmitz 0001, Albert Schulz, Daniel Thoma, Alexander Weiss |
TeSSLa - An Ecosystem for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 314-324, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa |
Automating Numerical Parameters Along the Evolution of a Nonlinear System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 336-345, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace |
Tainting in Smart Contracts: Combining Static and Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 143-161, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Usman 0024, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu |
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 67-84, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Dams, Klaus Havelund, Sean Kauffman |
A Python Library for Trace Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 264-273, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty |
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 25-44, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Julián Huerta y Munive |
Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 45-66, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros |
Runtime Verification for FMI-Based Co-simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 304-313, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Volker Stolz (eds.) |
Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-031-17195-6 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Kallwies, Martin Leucker, César Sánchez 0001, Torben Scheffel |
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 181-199, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller |
A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 105-123, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Christophe Filliâtre, Clément Pascutto |
Optimizing Prestate Copies in Runtime Verification of Function Postconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 85-104, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Florian Gallay, Yliès Falcone |
Decent: A Benchmark for Decentralized Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 293-303, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski |
Real-Time Visualization of Stream-Based Monitoring Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, pp. 325-335, 2022, Springer, 978-3-031-17195-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Junya Shijubo, Masaki Waga, Kohei Suenaga |
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 100-120, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta |
Assumption-Based Runtime Verification of Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 207-227, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia |
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 311-330, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer |
Monitoring with Verified Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 62-80, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vimuth Fernando, Keyur Joshi 0001, Jacob Laurel, Sasa Misailovic |
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 184-206, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour |
Predicate Monitoring in Distributed Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 3-22, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kesav Viswanadha, Edward Kim 0005, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia |
Parallel and Multi-objective Falsification with Scenic and VerifAI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 265-276, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Donghwan Shin 0001, Zanis Ali Khan, Domenico Bianculli, Lionel C. Briand |
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 277-287, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider |
On the Specification and Monitoring of Timed Normative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 81-99, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang |
A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 142-163, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti |
Specification and Runtime Verification of Temporal Assessments in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 288-296, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Gorostiaga, César Sánchez 0001 |
Nested Monitors: Monitors as Expressions to Build Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 164-183, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Christophe Filliâtre, Clément Pascutto |
Ortac: Runtime Assertion Checking for OCaml (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 244-253, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
Neural Predictive Monitoring Under Partial Observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 121-141, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lu Feng 0001, Dana Fisman (eds.) |
Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-030-88493-2 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Muehlboeck, Thomas A. Henzinger |
Differential Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 231-243, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anand Balakrishnan 0001, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi 0001, Georgios Fainekos |
PerceMon: Online Monitoring for Perception Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 297-308, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Heneage Dawes, Domenico Bianculli |
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 23-41, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis |
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 254-264, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anna Lukina, Christian Schilling 0001, Thomas A. Henzinger |
Into the Unknown: Active Monitoring of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 42-61, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia |
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 184-194, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Jaeger, Kim G. Larsen, Alessandro Tibo |
From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 517-535, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider 0001 |
Scalable Online Monitoring of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 197-220, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chukri Soueidi, Ali Kassem 0004, Yliès Falcone |
BISM: Bytecode-Level Instrumentation for Software Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 323-335, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, N. Ege Saraç |
Monitorability Under Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 3-18, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti |
Monitoring Spatio-Temporal Properties (Invited Tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 21-46, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Srdan Krstic, Joshua Schneider 0001 |
A Benchmark Generator for Online First-Order Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 482-494, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
Verified Rust Monitors for Lola Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 431-450, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger |
Automatic Optimizations for Stream-Based Monitoring Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 451-461, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles |
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 310-322, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Agnishom Chattopadhyay, Konstantinos Mamouras |
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 383-403, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Scott D. Stoller |
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 47-66, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti |
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 417-428, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Gorostiaga, Luis Miguel Danielsson, César Sánchez 0001 |
Unifying the Time-Event Spectrum for Stream Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 462-481, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jyotirmoy Deshmukh, Dejan Nickovic (eds.) |
Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![Springer, 978-3-030-60507-0 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li 0001 |
Runtime-Safety-Guided Policy Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 131-150, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang 0015, Chung-Wei Lin, Eunsuk Kang, Qi Zhu 0002 |
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 497-516, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos |
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 404-416, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 67-86, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Cizmárik, Pavel Parízek |
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 298-309, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani |
Test4Enforcers: Test Case Generation for Software Enforcers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 279-297, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz |
Actor-Based Runtime Verification with MESA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 221-240, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson |
Empirical Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 259-278, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque, Omar Chowdhury |
PatrIoT: Policy Assisted Resilient Programmable IoT System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 151-171, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Doron Peled |
BDDs for Representing Data in Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 107-128, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Maderbacher, Anja F. Karl, Roderick Bloem |
Placement of Runtime Checks to Counteract Fault Injections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 241-258, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Niraj Basnet, Houssam Abbas |
Logical Signal Processing: A Fourier Analysis of Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 359-382, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Wright, Ian Stark |
Property-Directed Verified Monitoring of Signal Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 339-358, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Schwenger |
Monitoring Cyber-Physical Systems: From Design to Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 87-106, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros |
Runtime Verification of Autonomous Driving Systems in CARLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 172-183, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|