Active Bibliography

29 Rewriting-based Techniques for Runtime Verification – Grigore Rosu, Klaus Havelund
11 Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae – Grigore Rosu, Klaus Havelund - 2001
6 Program Model Checking as a New Trend – Klaus Havelund, Willem Visser - 2000
469 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
29 Java PathExplorer - A Runtime Verification Tool – Klaus Havelund, Grigore Rosu - 2001
65 High-Level Data Races – Cyrille Artho, Klaus Havelund, Armin Biere - 2003
Monitoring Java Programs with Java PathExplorer – Qss Recom Technologies, Grigore Rosu, Grigore Rosu Riacs, Klaus Havelund, Klaus Havelund, Klaus Havelund
571 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
21 Dynamic Deadlock Analysis of Multi-threaded Programs – Saddek Bensalem, Klaus Havelund - 2005