Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783030037680, 9783030037697
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Runtime Verification - 17 Years Later

2018 ◽  
pp. 3-17 ◽  
Author(s):  
Klaus Havelund ◽  
Grigore Roşu
Keyword(s):  
Runtime Verification

From Parametric Trace Slicing to Rule Systems

2018 ◽  
pp. 334-352 ◽  
Author(s):  
Giles Reger ◽  
David Rydeheard
Keyword(s):  
Rule Systems

scholarly journals Bringing Runtime Verification Home

2018 ◽  
pp. 222-240 ◽  
Author(s):  
Antoine El-Hokayem ◽  
Yliès Falcone
Keyword(s):  
Runtime Verification

scholarly journals Can We Monitor All Multithreaded Programs?

2018 ◽  
pp. 64-89 ◽  
Author(s):  
Antoine El-Hokayem ◽  
Yliès Falcone
Keyword(s):  
Multithreaded Programs

scholarly journals An Environment for the ParTraP Trace Property Language (Tool Demonstration)

2018 ◽  
pp. 437-446
Author(s):  
Ansem Ben Cheikh ◽  
Yoann Blein ◽  
Salim Chehida ◽  
German Vega ◽  
Yves Ledru ◽  
...  
Keyword(s):  
Trace Property

scholarly journals Tracing Distributed Component-Based Systems, a Brief Overview

2018 ◽  
pp. 417-425 ◽  
Author(s):  
Yliès Falcone ◽  
Hosein Nazarpour ◽  
Mohamad Jaber ◽  
Marius Bozga ◽  
Saddek Bensalem

Efficient Monitoring of Real Driving Emissions

2018 ◽  
pp. 299-315 ◽  
Author(s):  
Maximilian A. Köhl ◽  
Holger Hermanns ◽  
Sebastian Biewer

scholarly journals Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing

2018 ◽  
pp. 43-63 ◽  
Author(s):  
Lukas Convent ◽  
Sebastian Hungerecker ◽  
Torben Scheffel ◽  
Malte Schmitz ◽  
Daniel Thoma ◽  
...  
Keyword(s):  
Stream Processing ◽  
Runtime Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document