עקוב אחר
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‏
20352003
Model checking java programs using java pathfinder‏
K Havelund, T Pressburger‏
International Journal on Software Tools for Technology Transfer 2, 366-381, 2000‏
11772000
Rule-based runtime verification‏
H Barringer, A Goldberg, K Havelund, K Sen‏
Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004‏
5532004
Synthesizing monitors for safety properties‏
K Havelund, G Roşu‏
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002‏
5072002
Monitoring java programs with java pathexplorer‏
K Havelund, G Roşu‏
Electronic Notes in Theoretical Computer Science 55 (2), 200-217, 2001‏
4092001
Automata-based verification of temporal properties on running programs‏
D Giannakopoulou, K Havelund‏
Proceedings 16th Annual International Conference on Automated Software …, 2001‏
3192001
Monitoring programs using rewriting‏
K Havelund, G Rosu‏
Proceedings 16th Annual International Conference on Automated Software …, 2001‏
2942001
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‏
2902001
An overview of the runtime verification tool Java PathExplorer‏
K Havelund, G Roşu‏
Formal methods in system design 24, 189-215, 2004‏
2882004
Java PathFinder? a second generation of a Java model checker‏
G Brat‏
Workshop on Advances in Verification, 2000, 2000‏
2712000
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‏
2691997
The RAISE specification language‏
KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ...‏
Prentice-Hall, 1992‏
267*1992
High‐level data races‏
C Artho, K Havelund, A Biere‏
Software Testing, Verification and Reliability 13 (4), 207-227, 2003‏
2632003
Using runtime analysis to guide model checking of Java programs‏
K Havelund‏
International SPIN Workshop on Model Checking of Software, 245-264, 2000‏
2592000
Rewriting-based techniques for runtime verification‏
G Roşu, K Havelund‏
Automated Software Engineering 12 (2), 151-197, 2005‏
2582005
A tutorial on runtime verification‏
Y Falcone, K Havelund, G Reger‏
Engineering dependable software systems, 141-175, 2013‏
2522013
Experiments in theorem proving and model checking for protocol verification‏
K Havelund, N Shankar‏
International Symposium of Formal Methods Europe, 662-681, 1996‏
2401996
Efficient monitoring of safety properties‏
K Havelund, G Roşu‏
International Journal on Software Tools for Technology Transfer 6 (2), 158-173, 2004‏
2382004
The RAISE specification language‏
KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ...‏
Prentice-Hall, 1992‏
229*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‏
2172008
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20