Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 25)

H-INDEX

3
(FIVE YEARS 3)

Published By Springer International Publishing

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

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

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

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 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