Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer International Publishing

9783319111636, 9783319111643
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Abstraction and Mining of Traces to Explain Concurrency Bugs

2014 ◽  
pp. 162-177 ◽  
Author(s):  
Mitra Tabaei Befrouei ◽  
Chao Wang ◽  
Georg Weissenbacher
Keyword(s):  
Concurrency Bugs

Portable Runtime Verification with Smartphones and Optical Codes

2014 ◽  
pp. 80-84 ◽  
Author(s):  
Kim Lavoie ◽  
Corentin Leplongeon ◽  
Simon Varvaressos ◽  
Sébastien Gaboury ◽  
Sylvain Hallé
Keyword(s):  
Runtime Verification

On Real-Time Monitoring with Imprecise Timestamps

2014 ◽  
pp. 193-198 ◽  
Author(s):  
David Basin ◽  
Felix Klaedtke ◽  
Srdjan Marinovic ◽  
Eugen Zălinescu
Keyword(s):  
Real Time ◽  
Real Time Monitoring

Dynamic Verification for Hybrid Concurrent Programming Models

2014 ◽  
pp. 156-161
Author(s):  
Erdal Mutlu ◽  
Vladimir Gajinov ◽  
Adrián Cristal ◽  
Serdar Tasiran ◽  
Osman S. Unsal
Keyword(s):  
Concurrent Programming ◽  
Programming Models ◽  
Dynamic Verification

scholarly journals Robust Consistency Checking for Modern Filesystems

2014 ◽  
pp. 85-91 ◽  
Author(s):  
Kuei Sun ◽  
Daniel Fryer ◽  
Dai Qin ◽  
Angela Demke Brown ◽  
Ashvin Goel
Keyword(s):  
Consistency Checking

scholarly journals Faster Statistical Model Checking by Means of Abstraction and Learning

2014 ◽  
pp. 340-355 ◽  
Author(s):  
Ayoub Nouri ◽  
Balaji Raman ◽  
Marius Bozga ◽  
Axel Legay ◽  
Saddek Bensalem
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document