Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642356315, 9783642356322
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

MapReduce for Parallel Trace Validation of LTL Properties

2013 ◽  
pp. 184-198 ◽  
Author(s):  
Benjamin Barre ◽  
Mathieu Klein ◽  
Maxime Soucy-Boivin ◽  
Pierre-Antoine Ollivier ◽  
Sylvain Hallé

Adaptive Runtime Verification

2013 ◽  
pp. 168-182 ◽  
Author(s):  
Ezio Bartocci ◽  
Radu Grosu ◽  
Atul Karmarkar ◽  
Scott A. Smolka ◽  
Scott D. Stoller ◽  
...  
Keyword(s):  
Runtime Verification

scholarly journals Runtime Enforcement of Timed Properties

2013 ◽  
pp. 229-244 ◽  
Author(s):  
Srinivas Pinisetty ◽  
Yliès Falcone ◽  
Thierry Jéron ◽  
Hervé Marchand ◽  
Antoine Rollet ◽  
...  
Keyword(s):  
Runtime Enforcement ◽  
Timed Properties

scholarly journals Incremental Runtime Verification of Probabilistic Systems

2013 ◽  
pp. 314-319 ◽  
Author(s):  
Vojtěch Forejt ◽  
Marta Kwiatkowska ◽  
David Parker ◽  
Hongyang Qu ◽  
Mateusz Ujma
Keyword(s):  
Runtime Verification ◽  
Probabilistic Systems

scholarly journals Profiling Field Initialisation in Java

2013 ◽  
pp. 292-307 ◽  
Author(s):  
Stephen Nelson ◽  
David J. Pearce ◽  
James Noble

Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation

2013 ◽  
pp. 308-313 ◽  
Author(s):  
Benjamin D. Rodes ◽  
Anh Nguyen-Tuong ◽  
Jason D. Hiser ◽  
John C. Knight ◽  
Michele Co ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document