עקוב אחר
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‏
20372003
Model checking java programs using java pathfinder‏
K Havelund, T Pressburger‏
International Journal on Software Tools for Technology Transfer 2, 366-381, 2000‏
11722000
Rule-based runtime verification‏
H Barringer, A Goldberg, K Havelund, K Sen‏
Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004‏
5472004
Synthesizing monitors for safety properties‏
K Havelund, G Roşu‏
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002‏
4972002
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‏
3182001
Monitoring programs using rewriting‏
K Havelund, G Rosu‏
Proceedings 16th Annual International Conference on Automated Software …, 2001‏
2892001
An overview of the runtime verification tool Java PathExplorer‏
K Havelund, G Roşu‏
Formal methods in system design 24, 189-215, 2004‏
2862004
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‏
2862001
Java PathFinder? a second generation of a Java model checker‏
G Brat‏
Workshop on Advances in Verification, 2000, 2000‏
2692000
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‏
2641997
The RAISE specification language‏
KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ...‏
Prentice-Hall, 1992‏
263*1992
Using runtime analysis to guide model checking of Java programs‏
K Havelund‏
SPIN Model Checking and Software Verification: 7th International SPIN …, 2000‏
2602000
Rewriting-based techniques for runtime verification‏
G Roşu, K Havelund‏
Automated Software Engineering 12 (2), 151-197, 2005‏
2542005
A tutorial on runtime verification‏
Y Falcone, K Havelund, G Reger‏
Engineering dependable software systems, 141-175, 2013‏
2452013
Experiments in theorem proving and model checking for protocol verification‏
K Havelund, N Shankar‏
International Symposium of Formal Methods Europe, 662-681, 1996‏
2411996
Efficient monitoring of safety properties‏
K Havelund, G Roşu‏
International Journal on Software Tools for Technology Transfer 6, 158-173, 2004‏
2352004
The RAISE specification language‏
KRW Chris George, Peter Haff, Klaus Havelund, Anne Haxthausen, Robert Milne ...‏
Prentice-Hall, 1992‏
228*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‏
2132008
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20