Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030605070, 9783030605087
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Runtime Verification of Autonomous Driving Systems in CARLA

2020 ◽  
pp. 172-183
Author(s):  
Eleni Zapridou ◽  
Ezio Bartocci ◽  
Panagiotis Katsaros
Keyword(s):  
Autonomous Driving ◽  
Runtime Verification

PatrIoT: Policy Assisted Resilient Programmable IoT System

2020 ◽  
pp. 151-171
Author(s):  
Moosa Yahyazadeh ◽  
Syed Rafiul Hussain ◽  
Endadul Hoque ◽  
Omar Chowdhury

BDDs for Representing Data in Runtime Verification

2020 ◽  
pp. 107-128
Author(s):  
Klaus Havelund ◽  
Doron Peled
Keyword(s):  
Runtime Verification

Unifying the Time-Event Spectrum for Stream Runtime Verification

2020 ◽  
pp. 462-481
Author(s):  
Felipe Gorostiaga ◽  
Luis Miguel Danielsson ◽  
César Sánchez
Keyword(s):  
Runtime Verification

TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications

2020 ◽  
pp. 404-416
Author(s):  
Joseph Cralley ◽  
Ourania Spantidi ◽  
Bardh Hoxha ◽  
Georgios Fainekos
Keyword(s):  
Temporal Logic

Scalable Online Monitoring of Distributed Systems

2020 ◽  
pp. 197-220
Author(s):  
David Basin ◽  
Matthieu Gras ◽  
Srđan Krstić ◽  
Joshua Schneider
Keyword(s):  
Distributed Systems ◽  
Online Monitoring

Monitorability Under Assumptions

2020 ◽  
pp. 3-18
Author(s):  
Thomas A. Henzinger ◽  
N. Ege Saraç

Monitoring Spatio-Temporal Properties (Invited Tutorial)

2020 ◽  
pp. 21-46
Author(s):  
Laura Nenzi ◽  
Ezio Bartocci ◽  
Luca Bortolussi ◽  
Michele Loreti ◽  
Ennio Visconti
Keyword(s):  
Temporal Properties ◽  
Spatio Temporal
Load More ...
Sign in / Sign up

Export Citation Format

Share Document