Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642407864, 9783642407871
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques

2013 ◽  
pp. 304-321 ◽  
Author(s):  
Chun Wah Wallace Wu ◽  
Deepak Kumar ◽  
Borzoo Bonakdarpour ◽  
Sebastian Fischmeister

Efficient Model to Query and Visualize the System States Extracted from Trace Data

2013 ◽  
pp. 219-234 ◽  
Author(s):  
Alexandre Montplaisir ◽  
Naser Ezzati-Jivan ◽  
Florian Wininger ◽  
Michel Dagenais
Keyword(s):  
Trace Data ◽  
System States

Instrumenting Android and Java Applications as Easy as abc

2013 ◽  
pp. 364-381 ◽  
Author(s):  
Steven Arzt ◽  
Siegfried Rasthofer ◽  
Eric Bodden

scholarly journals Monitoring of Temporal First-Order Properties with Aggregations

2013 ◽  
pp. 40-58 ◽  
Author(s):  
David Basin ◽  
Felix Klaedtke ◽  
Srdjan Marinovic ◽  
Eugen Zălinescu
Keyword(s):  
First Order

scholarly journals SMock — A Test Platform for Monitoring Tools

2013 ◽  
pp. 352-357 ◽  
Author(s):  
Christian Colombo ◽  
Ruth Mizzi ◽  
Gordon J. Pace
Keyword(s):  
Monitoring Tools ◽  
Test Platform

scholarly journals A Causality Analysis Framework for Component-Based Real-Time Systems

2013 ◽  
pp. 285-303 ◽  
Author(s):  
Shaohui Wang ◽  
Anaheed Ayoub ◽  
BaekGyu Kim ◽  
Gregor Gössler ◽  
Oleg Sokolsky ◽  
...  
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Causality Analysis ◽  
Analysis Framework ◽  
Time Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document