Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030320782, 9783030320799
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Stream-Based Monitors for Real-Time Properties

2019 ◽  
pp. 91-110
Author(s):  
Hazem Torfah
Keyword(s):  
Real Time

Shape Expressions for Specifying and Extracting Signal Features

2019 ◽  
pp. 292-309 ◽  
Author(s):  
Dejan Ničković ◽  
Xin Qin ◽  
Thomas Ferrère ◽  
Cristinel Mateis ◽  
Jyotirmoy Deshmukh
Keyword(s):  
Signal Features

Monitorability over Unreliable Channels

2019 ◽  
pp. 256-272 ◽  
Author(s):  
Sean Kauffman ◽  
Klaus Havelund ◽  
Sebastian Fischmeister

Explaining Violations of Properties in Control-Flow Temporal Logic

2019 ◽  
pp. 202-220 ◽  
Author(s):  
Joshua Heneage Dawes ◽  
Giles Reger
Keyword(s):  
Temporal Logic ◽  
Control Flow

scholarly journals Decentralized Stream Runtime Verification

2019 ◽  
pp. 185-201
Author(s):  
Luis Miguel Danielsson ◽  
César Sánchez
Keyword(s):  
Runtime Verification

scholarly journals Runtime Verification for Timed Event Streams with Partial Information

2019 ◽  
pp. 273-291
Author(s):  
Martin Leucker ◽  
César Sánchez ◽  
Torben Scheffel ◽  
Malte Schmitz ◽  
Daniel Thoma
Keyword(s):  
Partial Information ◽  
Runtime Verification

Algorithms for Monitoring Hyperproperties

2019 ◽  
pp. 70-90 ◽  
Author(s):  
Christopher Hahn

A Formally Verified Monitor for Metric First-Order Temporal Logic

2019 ◽  
pp. 310-328 ◽  
Author(s):  
Joshua Schneider ◽  
David Basin ◽  
Srđan Krstić ◽  
Dmitriy Traytel
Keyword(s):  
Temporal Logic ◽  
First Order

scholarly journals On the Runtime Enforcement of Timed Properties

2019 ◽  
pp. 48-69 ◽  
Author(s):  
Yliès Falcone ◽  
Srinivas Pinisetty
Keyword(s):  
Runtime Enforcement ◽  
Timed Properties

scholarly journals Neural Predictive Monitoring

2019 ◽  
pp. 129-147
Author(s):  
Luca Bortolussi ◽  
Francesca Cairoli ◽  
Nicola Paoletti ◽  
Scott A. Smolka ◽  
Scott D. Stoller
Load More ...
Sign in / Sign up

Export Citation Format

Share Document