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