Подписаться
Klaus Havelund
Klaus Havelund
Senior Research Scientist, Jet Propulsion Laboratory
Подтвержден адрес электронной почты в домене jpl.nasa.gov - Главная страница
Название
Процитировано
Процитировано
Год
Model checking programs
W Visser, K Havelund, G Brat, SJ Park, F Lerda
Automated software engineering 10, 203-232, 2003
20302003
Model checking java programs using java pathfinder
K Havelund, T Pressburger
International Journal on Software Tools for Technology Transfer 2, 366-381, 2000
11682000
Rule-based runtime verification
H Barringer, A Goldberg, K Havelund, K Sen
Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004
5442004
Synthesizing monitors for safety properties
K Havelund, G Roşu
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002
4922002
Monitoring java programs with java pathexplorer
K Havelund, G Roşu
Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001
4062001
Automata-based verification of temporal properties on running programs
D Giannakopoulou, K Havelund
Proceedings 16th Annual International Conference on Automated Software …, 2001
3152001
An overview of the runtime verification tool Java PathExplorer
K Havelund, G Roşu
Formal methods in system design 24, 189-215, 2004
2862004
Monitoring programs using rewriting
K Havelund, G Rosu
Proceedings 16th Annual International Conference on Automated Software …, 2001
2862001
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
2842001
Java PathFinder? a second generation of a Java model checker
G Brat
Workshop on Advances in Verification, 2000, 2000
2682000
High‐level data races
C Artho, K Havelund, A Biere
Software Testing, Verification and Reliability 13 (4), 207-227, 2003
2652003
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
2631997
The RAISE specification language
KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ...
Prentice-Hall, 1992
261*1992
Using runtime analysis to guide model checking of Java programs
K Havelund
SPIN Model Checking and Software Verification: 7th International SPIN …, 2000
2592000
Rewriting-based techniques for runtime verification
G Roşu, K Havelund
Automated Software Engineering 12 (2), 151-197, 2005
2522005
Experiments in theorem proving and model checking for protocol verification
K Havelund, N Shankar
International Symposium of Formal Methods Europe, 662-681, 1996
2411996
A tutorial on runtime verification
Y Falcone, K Havelund, G Reger
Engineering dependable software systems, 141-175, 2013
2392013
Efficient monitoring of safety properties
K Havelund, G Roşu
International Journal on Software Tools for Technology Transfer 6, 158-173, 2004
2332004
The RAISE specification language
KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ...
Prentice-Hall, 1992
226*1992
Rule Systems for Run-time Monitoring: from Eagle to RuleR
H Barringer, D Rydeheard, K Havelund
Journal of Logic and Computation 20 (3), 675-706, 2008
2112008
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20