Lectures on Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319756318, 9783319756325
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Monitoring Events that Carry Data

2018 ◽  
pp. 61-102 ◽  
Author(s):  
Klaus Havelund ◽  
Giles Reger ◽  
Daniel Thoma ◽  
Eugen Zălinescu

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

2018 ◽  
pp. 135-175 ◽  
Author(s):  
Ezio Bartocci ◽  
Jyotirmoy Deshmukh ◽  
Alexandre Donzé ◽  
Georgios Fainekos ◽  
Oded Maler ◽  
...  
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems

Discovering Concurrency Errors

2018 ◽  
pp. 34-60 ◽  
Author(s):  
João M. Lourenço ◽  
Jan Fiedor ◽  
Bohuslav Křena ◽  
Tomáš Vojnar
Keyword(s):  
Concurrency Errors

scholarly journals Introduction to Runtime Verification

2018 ◽  
pp. 1-33 ◽  
Author(s):  
Ezio Bartocci ◽  
Yliès Falcone ◽  
Adrian Francalanza ◽  
Giles Reger
Keyword(s):  
Runtime Verification

scholarly journals Runtime Failure Prevention and Reaction

2018 ◽  
pp. 103-134 ◽  
Author(s):  
Yliès Falcone ◽  
Leonardo Mariani ◽  
Antoine Rollet ◽  
Saikat Saha
Keyword(s):  
Failure Prevention
Load More ...
Sign in / Sign up

Export Citation Format

Share Document