Klaus Havelund
Klaus Havelund
Senior Research Scientist, Jet Propulsion Laboratory
E-mail confirmado em jpl.nasa.gov - Página inicial
TítuloCitado porAno
Model checking programs
W Visser, K Havelund, G Brat, SJ Park, F Lerda
Automated software engineering 10 (2), 203-232, 2003
17742003
Model checking programs
W Visser, K Havelund, G Brat, SJ Park, F Lerda
Automated software engineering 10 (2), 203-232, 2003
17742003
Model checking java programs using java pathfinder
K Havelund, T Pressburger
International Journal on Software Tools for Technology Transfer 2 (4), 366-381, 2000
9772000
Rule-based runtime verification
H Barringer, A Goldberg, K Havelund, K Sen
International Workshop on Verification, Model Checking, and Abstract …, 2004
4292004
Synthesizing monitors for safety properties
K Havelund, G Roşu
International Conference on Tools and Algorithms for the Construction and …, 2002
3722002
Monitoring java programs with java pathexplorer
K Havelund, G Roşu
Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001
3622001
Automata-based verification of temporal properties on running programs
D Giannakopoulou, K Havelund
Proceedings 16th Annual International Conference on Automated Software …, 2001
2682001
Formal analysis of a space-craft controller using SPIN
K Havelund, M Lowry, J Penix
IEEE Transactions on Software Engineering 27 (8), 749-765, 2001
2432001
Java PathFinder-second generation of a Java model checker
G Brat, K Havelund, SJ Park, W Visser
In Proceedings of the Workshop on Advances in Verification, 2000
2422000
Java PathFinder-second generation of a Java model checker
G Brat, K Havelund, SJ Park, W Visser
In Proceedings of the Workshop on Advances in Verification, 2000
2422000
An overview of the runtime verification tool Java PathExplorer
K Havelund, G Roşu
Formal methods in system design 24 (2), 189-215, 2004
2392004
High‐level data races
C Artho, K Havelund, A Biere
Software Testing, Verification and Reliability 13 (4), 207-227, 2003
2332003
Formal modeling and analysis of an audio/video protocol: An industrial case study using UPPAAL
K Havelund, A Skou, KG Larsen, K Lund
Proceedings Real-Time Systems Symposium, 2-13, 1997
2321997
Monitoring programs using rewriting
K Havelund, G Rosu
Proceedings 16th Annual International Conference on Automated Software …, 2001
2302001
Experiments in theorem proving and model checking for protocol verification
K Havelund, N Shankar
International Symposium of Formal Methods Europe, 662-681, 1996
2261996
Using runtime analysis to guide model checking of Java programs
K Havelund
International SPIN Workshop on Model Checking of Software, 245-264, 2000
2182000
Coexpression of Rat P2X2 and P2X6Subunits in Xenopus Oocytes
BF King, A Townsend-Nicholson, SS Wildman, T Thomas, KM Spyer, ...
Journal of Neuroscience 20 (13), 4871-4877, 2000
218*2000
The RAISE specification language
KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ...
Prentice-Hall, 1992
200*1992
The RAISE specification language
KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ...
Prentice-Hall, 1992
200*1992
Efficient monitoring of safety properties
K Havelund, G Roşu
International Journal on Software Tools for Technology Transfer 6 (2), 158-173, 2004
1982004
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20