logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
R

RUNTIME VERIFICATION, RV 2025

IF
Papers27
Citations
Journal Papers 27
Publication Date
delete
Instrumenting Runtime Enforcement
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHublet, Francois; Basin, David; Hu, Linda; Krstic, Srdan; Reese, Lennard
deleteShare
deleteSave
Conformal Predictive Monitoring for Multi-modal Scenarios
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCairoli, Francesca; Bortolussi, Luca; Deshmukh, Jyotirmoy V.; Lindemann, Lars; Paoletti, Nicola
deleteShare
deleteSave
ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAn, Ziyan; Moyer, Daniel; Oguz, Ipek; Johnson, Taylor T.; Ma, Meiyi
deleteShare
deleteSave
Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKretinsky, Jan; Rieder, Sabine; Schwalbe, Gesina; Shoeb, Youssef
deleteShare
deleteSave
Runtime Consultants
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFisman, Dana; Sudit, Elina
deleteShare
deleteSave
Conformal Safety Shielding for Imperfect-Perception Agents
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteScarbro, William; Imrie, Calum; Yaman, Sinem Getir; Fatehi, Kavan; Pasareanu, Corina; Calinescu, Radu; Mangal, Ravi
deleteShare
deleteSave
DSLs for Runtime Verification
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHavelund, Klaus; Omer, Moran; Peled, Doron
deleteShare
deleteSave
A Practical Approach to Runtime Verification
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHipler, Raik; Kallwies, Hannes; Leucker, Martin; van Dommele, Kevin Gillian; Wien, Jannis
deleteShare
deleteSave
Formal Verification of Neural Certificates Done Dynamically
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete1
PREAI
deleteHenzinger, Thomas A.; Kueffner, Konstantin; Yu, Emily
deleteShare
deleteSave
Algorithmic Fairness: A Runtime Perspective
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete1
PREAI
deleteCano, Filip; Henzinger, Thomas A.; Kueffner, Konstantin
deleteShare
deleteSave
Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSilvetti, Simone; Loreti, Michele; Nenzi, Laura
deleteShare
deleteSave
Runtime Verification for LTL in Stochastic Systems
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteEsparza, Javier; Fischer, Vincent
deleteShare
deleteSave
Hyper Pattern Matching
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWaga, Masaki; Andre, Etienne
deleteShare
deleteSave
The Power of Reframing: Using LLMs in Synthesizing RV Monitors
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCohen, Itay; Havelund, Klaus; Peled, Doron; Goldberg, Yoav
deleteShare
deleteSave
DynSRV: Dynamically Updated Properties for Stream Runtime Verification
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKristensen, Morten Haahr; Wright, Thomas; Gomes, Claudio; Esterle, Lukas; Larsen, Peter Gorm
deleteShare
deleteSave
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBaumeister, Jan; Finkbeiner, Bernd; Scheerer, Frederik
deleteShare
deleteSave
Monitoring Hypernode Logic Over Infinite Domains
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete1
PREAI
deleteChalupa, Marek; Henzinger, Thomas A.; da Costa, Ana Oliveira
deleteShare
deleteSave
Monitoring Distributed Systems Based on Partial Order Executions with Global States
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteOmer, Moran; Peled, Doron; Porat, Ely; Garg, Vijay K.
deleteShare
deleteSave
A ROS Adapter for RTLOLA
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBaumeister, Jan; Finkbeiner, Bernd; Juenger, Franz; Kohn, Florian; Schirmer, Sebastian; Torens, Christoph
deleteShare
deleteSave
CoCAI: Copula-Based Conformal Anomaly Identification for Multivariate Time-Series
deleteRUNTIME VERIFICATION, RV 2025
IF0
delete2026-01-01
delete0
PREAI
deletePearson, Nicholas Andrea; Zanello, Francesca; Russo, Davide; Bortolussi, Luca; Cairoli, Francesca
deleteShare
deleteSave