default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRV 2025: Graz, Austria
- Bettina Könighofer
, Hazem Torfah:
Runtime Verification - 25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings. Lecture Notes in Computer Science 16087, Springer 2026, ISBN 978-3-032-05434-0 - Filip Cano, Thomas A. Henzinger, Konstantin Kueffner:
Algorithmic Fairness: A Runtime Perspective. 1-21 - Klaus Havelund, Moran Omer, Doron Peled:
DSLs for Runtime Verification. 22-43 - Luca Di Stefano:
Execution and Monitoring of HOA Automata with HOAX. 44-53 - Thomas A. Henzinger, Konstantin Kueffner, Emily Yu:
Formal Verification of Neural Certificates Done Dynamically. 54-72 - Chih-Hong Cheng, Changshun Wu, Xingyu Zhao, Saddek Bensalem, Harald Ruess:
Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs. 73-91 - Jan Baumeister, Bernd Finkbeiner, Franz Jünger, Florian Kohn, Sebastian Schirmer, Christoph Torens:
A ROS Adapter for RTLola. 92-100 - Morten Haahr Kristensen, Thomas Wright, Cláudio Gomes, Lukas Esterle, Peter Gorm Larsen:
DynSRV: Dynamically Updated Properties for Stream Runtime Verification. 101-119 - Simone Silvetti, Michele Loreti, Laura Nenzi:
Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter. 120-139 - Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun:
Alignment Monitoring. 140-159 - François Hublet, David A. Basin, Linda Hu, Srdan Krstic, Lennard Reese:
Instrumenting Runtime Enforcement. 160-180 - Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer:
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach. 181-201 - Itay Cohen, Klaus Havelund, Doron Peled, Yoav Goldberg:
The Power of Reframing: Using LLMs in Synthesizing RV Monitors. 202-212 - William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal:
Conformal Safety Shielding for Imperfect-Perception Agents. 213-232 - Marco Muñiz, Marius Mikucionis, Kim G. Larsen:
Extended Timed Regular Expressions. 233-251 - Moran Omer, Doron Peled, Ely Porat, Vijay K. Garg:
Monitoring Distributed Systems Based on Partial Order Executions with Global States. 252-273 - Jan Kretínský, Sabine Rieder, Gesina Schwalbe, Youssef Shoeb:
Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation. 274-295 - Nicholas A. Pearson, Francesca Zanello, Davide Russo, Luca Bortolussi, Francesca Cairoli:
CoCAI: Copula-Based Conformal Anomaly Identification for Multivariate Time-Series. 296-316 - Vladislav Nenchev, Prodromos Sotiriadis:
Monitoring Progress and Failure in Autonomous Robot Navigation: A Case Study. 317-335 - Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti:
Conformal Predictive Monitoring for Multi-modal Scenarios. 336-356 - Javier Esparza, Vincent Fischer:
Runtime Verification for LTL in Stochastic Systems. 357-376 - Raik Hipler, Hannes Kallwies, Martin Leucker, Kevin Gillian van Dommele, Jannis Wien:
A Practical Approach to Runtime Verification. 377-396 - Masaki Waga, Étienne André:
Hyper Pattern Matching. 397-416 - Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Monitoring Hypernode Logic Over Infinite Domains. 417-437 - Josefine B. Graebener, Inigo Incer, Richard M. Murray:
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems. 438-456 - Natan Levy, Adiel Ashrov, Guy Katz:
Statistical Runtime Verification for LLMs via Robustness Estimation. 457-476 - Ziyan An, Daniel Moyer, Ipek Oguz, Taylor T. Johnson, Meiyi Ma:
ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis. 477-496 - Dana Fisman, Elina Sudit:
Runtime Consultants. 497-517
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 2025-12-04 22:06 CET 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:
