| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Klaus Havelund 20 Klaus Havelund, Grigore Rosu : Synthesizing Monitors for Safety Properties. TACAS 2002 : 342-356 19 Lina Khatib , Nicola Muscettola , Klaus Havelund: Mapping Temporal Planning Constraints into Timed Automata. TIME 2001 : 21-27 18 Klaus Havelund, Michael R. Lowry , John Penix : Formal Analysis of a Space-Craft Controller Using SPIN. TSE 27 (8): 1000-9999 (2001) 17 Klaus Havelund, John Penix , Willem Visser : SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Springer 2000 16 Willem Visser , Klaus Havelund, Guillaume P. Brat , Seungjoon Park : Model Checking Programs. ASE 2000 : 3-12 15 Lina Khatib , Nicola Muscettola , Klaus Havelund: Verification of Plan Models Using UPPAAL. FAABS 2000 : 114-122 14 Klaus Havelund: Using Runtime Analysis to Guide Model Checking of Java Programs. SPIN 2000 : 245-264 13 Klaus Havelund, Thomas Pressburger : Model Checking JAVA Programs using JAVA PathFinder. STTT 2 (4): 366-381 (2000) 12 Klaus Havelund, Kim Guldstrand Larsen , Arne Skou : Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999 : 277-298 11 Klaus Havelund: Mechanical Verification of a Garbage Collector. IPPS/SPDP Workshops 1999 : 1258-1283 10 Klaus Havelund: Java PathFinder, A Translator from Java to Promela. SPIN 1999 : 152 9 Klaus Havelund, Jens U. Skakkebæk : Applying Model Checking in Java Verification. SPIN 1999 : 216-231 8 John Penix , Perry Alexander , Klaus Havelund: Declarative Specification of Software Architectures. ASE 1997 : 201- 7 Michael R. Lowry , Klaus Havelund, John Penix : Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS 1997 : 35-47 6 Klaus Havelund, Natarajan Shankar : Experiments in Theorem Proving and Model Checking for Protocol Verification. FME 1996 : 662-681 5 Klaus Havelund, Kim Guldstrand Larsen : A refinement logic for the fork calculus. PSTV 1994 : 5-20 4 Klaus Havelund, Kim Guldstrand Larsen : The Fork Calculus. Nordic Journal of Computing 1 (3): 346-363 (1994) 3 Klaus Havelund, Kim Guldstrand Larsen : The Fork Calculus. ICALP 1993 : 544-557 2 Mogens Nielsen , Klaus Havelund, Kim Ritter Wagner , Chris George : The RAISE Language, Method and Tools. Formal Aspects of Computing 1 (1): 85-114 (1989) 1 Mogens Nielsen , Klaus Havelund, Kim Ritter Wagner , Chris George : The RAISE Language, Method and Tools. VDM Europe 1988 : 376-405  DiSC'02 © 2003 Association for Computing Machinery |
