Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642166112, 9783642166129
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Optimized Temporal Monitors for SystemC

2010 ◽  
pp. 436-451 ◽  
Author(s):  
Deian Tabakov ◽  
Moshe Y. Vardi

Runtime Verification for the Web

2010 ◽  
pp. 106-121 ◽  
Author(s):  
Sylvain Hallé ◽  
Roger Villemaire
Keyword(s):  
Runtime Verification ◽  
The Web

Visual Debugging for Stream Processing Applications

2010 ◽  
pp. 18-35 ◽  
Author(s):  
Wim De Pauw ◽  
Mihai Leţia ◽  
Buğra Gedik ◽  
Henrique Andrade ◽  
Andy Frenkiel ◽  
...  
Keyword(s):  
Stream Processing

scholarly journals Behavior Abstraction in Malware Analysis

2010 ◽  
pp. 168-182 ◽  
Author(s):  
Philippe Beaucamps ◽  
Isabelle Gnaedig ◽  
Jean-Yves Marion
Keyword(s):  
Malware Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document