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

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

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

Efficient Monitoring of Real Driving Emissions

2018 ◽  
pp. 299-315 ◽  
Author(s):  
Maximilian A. Köhl ◽  
Holger Hermanns ◽  
Sebastian Biewer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document