| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik |
Monitoring Algorithmic Fairness Under Partial Observations.  |
RV  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini |
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. |
RV |
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. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov |
Pattern Matching for Perception Streams. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chukri Soueidi, Yliès Falcone |
Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Doron Peled |
Monitorability for Runtime Verification. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas |
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. |
RV |
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. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Changshun Wu, Yliès Falcone, Saddek Bensalem |
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan 0001, Jyotirmoy Deshmukh |
Safety Monitoring for Pedestrian Detection in Adverse Conditions. |
RV |
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. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider 0001 |
Metric First-Order Temporal Logic with Complex Data Types. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Kallwies, Martin Leucker, César Sánchez 0001 |
General Anticipatory Monitoring for Temporal Logics on Finite Traces. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Moran Omer, Doron Peled |
Runtime Verification Prediction for Traces with Data. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard |
AMT: A Runtime Verification Tool of Video Streams. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang 0001 |
CCMOP: A Runtime Verification Tool for C/C++ Programs. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chukri Soueidi, Yliès Falcone |
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. |
RV |
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 |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic |
Mining Specification Parameters for Multi-class Classification. |
RV |
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. |
RV |
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. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu |
Assumption Generation for Learning-Enabled Autonomous Systems. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Anderson, Allison Naaktgeboren, Andrew Tolmach |
Flexible Runtime Security Enforcement with Tagged C. |
RV |
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. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Chalupa, Thomas A. Henzinger |
Monitoring Hyperproperties with Prefix Transducers. |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan |
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). |
RV |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Schneider 0001 |
Randomized First-Order Monitoring with Hashing. |
RV |
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. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç |
Abstract Monitors for Quantitative Specifications. |
RV |
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. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Stoffers, Alexander Weinert |
Towards Specificationless Monitoring of Provenance-Emitting Systems. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer |
Optimal Finite-State Monitoring of Partial Traces. |
RV |
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. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider |
Runtime Verification of Kotlin Coroutines. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarita Capretto, Martín Ceresa, César Sánchez 0001 |
Transaction Monitoring of Smart Contracts. |
RV |
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. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa |
Automating Numerical Parameters Along the Evolution of a Nonlinear System. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace |
Tainting in Smart Contracts: Combining Static and Runtime Verification. |
RV |
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. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Dams, Klaus Havelund, Sean Kauffman |
A Python Library for Trace Analysis. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty |
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Julián Huerta y Munive |
Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros |
Runtime Verification for FMI-Based Co-simulation. |
RV |
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 |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Kallwies, Martin Leucker, César Sánchez 0001, Torben Scheffel |
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. |
RV |
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. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Christophe Filliâtre, Clément Pascutto |
Optimizing Prestate Copies in Runtime Verification of Function Postconditions. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Gallay, Yliès Falcone |
Decent: A Benchmark for Decentralized Enforcement. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski |
Real-Time Visualization of Stream-Based Monitoring Data. |
RV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Junya Shijubo, Masaki Waga, Kohei Suenaga |
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta |
Assumption-Based Runtime Verification of Infinite-State Systems. |
RV |
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. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer |
Monitoring with Verified Guarantees. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vimuth Fernando, Keyur Joshi 0001, Jacob Laurel, Sasa Misailovic |
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour |
Predicate Monitoring in Distributed Cyber-Physical Systems. |
RV |
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. |
RV |
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. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider |
On the Specification and Monitoring of Timed Normative Systems. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang |
A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. |
RV |
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. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Gorostiaga, César Sánchez 0001 |
Nested Monitors: Monitors as Expressions to Build Monitors. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Christophe Filliâtre, Clément Pascutto |
Ortac: Runtime Assertion Checking for OCaml (Tool Paper). |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
Neural Predictive Monitoring Under Partial Observability. |
RV |
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 |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Muehlboeck, Thomas A. Henzinger |
Differential Monitoring. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Balakrishnan 0001, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi 0001, Georgios Fainekos |
PerceMon: Online Monitoring for Perception Systems. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Heneage Dawes, Domenico Bianculli |
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. |
RV |
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. |
RV |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Lukina, Christian Schilling 0001, Thomas A. Henzinger |
Into the Unknown: Active Monitoring of Neural Networks. |
RV |
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. |
RV |
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. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider 0001 |
Scalable Online Monitoring of Distributed Systems. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chukri Soueidi, Ali Kassem 0004, Yliès Falcone |
BISM: Bytecode-Level Instrumentation for Software Monitoring. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, N. Ege Saraç |
Monitorability Under Assumptions. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti |
Monitoring Spatio-Temporal Properties (Invited Tutorial). |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Srdan Krstic, Joshua Schneider 0001 |
A Benchmark Generator for Online First-Order Monitoring. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
Verified Rust Monitors for Lola Specifications. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger |
Automatic Optimizations for Stream-Based Monitoring Languages. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles |
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Agnishom Chattopadhyay, Konstantinos Mamouras |
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanhong A. Liu, Scott D. Stoller |
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. |
RV |
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. |
RV |
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. |
RV |
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 |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li 0001 |
Runtime-Safety-Guided Policy Repair. |
RV |
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. |
RV |
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. |
RV |
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. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Cizmárik, Pavel Parízek |
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani |
Test4Enforcers: Test Case Generation for Software Enforcers. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz |
Actor-Based Runtime Verification with MESA. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson |
Empirical Abstraction. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque, Omar Chowdhury |
PatrIoT: Policy Assisted Resilient Programmable IoT System. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Doron Peled |
BDDs for Representing Data in Runtime Verification. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Maderbacher, Anja F. Karl, Roderick Bloem |
Placement of Runtime Checks to Counteract Fault Injections. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Niraj Basnet, Houssam Abbas |
Logical Signal Processing: A Fourier Analysis of Temporal Logic. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wright, Ian Stark |
Property-Directed Verified Monitoring of Signal Temporal Logic. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Schwenger |
Monitoring Cyber-Physical Systems: From Design to Integration. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros |
Runtime Verification of Autonomous Driving Systems in CARLA. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license