Klaus Havelund

171 papers A* 5A 7B 31C 10Misc 2Journal 41Unranked 57

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	AI Assisted Programming (AISoLA 2025 Track Introduction). AISoLA Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund
2025	B	`conf`	DSLs for Runtime Verification. RV Klaus Havelund, Moran Omer, Doron Peled
2025	J	`jnl`	Does Every Computer Scientist Need to Know Formal Methods? Formal Aspects Comput. Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Alexander Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan
2025	—	`conf`	Embedding Monitoring of First-Order Temporal Logic in a Programming Language. Principles of Formal Quantitative Analysis Klaus Havelund, Moran Omer, Doron Peled
2025	C	`conf`	Fuzz Testing with Temporal Constraints. ICTAC Klaus Havelund, Tracy Clark, Vivek Reddy
2025	B	`conf`	The Power of Reframing: Using LLMs in Synthesizing RV Monitors. RV Itay Cohen, Klaus Havelund, Doron Peled, Yoav Goldberg
2024	—	`conf`	AI Assisted Programming - (AISoLA 2024 Track Introduction). AISoLA Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund
2024	—	`conf`	Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Generated Code. AISoLA Bernhard K. Aichernig, Klaus Havelund
2024	J	`jnl`	High-Integrity Runtime Verification. Computer Alwyn E. Goodloe, Klaus Havelund
2024	—	`conf`	Operational and Declarative Runtime Verification (Keynote). VORTEX@ISSTA Klaus Havelund, Moran Omer, Doron Peled
2024	J	`jnl`	Programming event monitors. Int. J. Softw. Tools Technol. Transf. Klaus Havelund, Gerard J. Holzmann
2024	—	`conf`	TP-DejaVu: Combining Operational and Declarative Runtime Verification. VMCAI (2) Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis
2024	—	`ch.`	What Is a Garbage Collector? An Exercise in Compositional Refinement. The Practice of Formal Methods (I) Klaus Havelund, Natarajan Shankar
2023	—	`conf`	AI Assisted Programming - (AISoLA 2023 Track Introduction). AISoLA Wolfgang Ahrendt, Klaus Havelund
2023	—	`conf`	AI-Assisted Programming with Test-Based Refinement. AISoLA (Selected Papers) Bernhard K. Aichernig, Klaus Havelund
2023	J	`jnl`	Concurrent runtime verification of data rich events. Int. J. Softw. Tools Technol. Transf. Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
2023	B	`conf`	Monitorability for Runtime Verification. RV Klaus Havelund, Doron Peled
2023	—	`conf`	Space Telemetry Analysis with PyContract. Applicable Formal Methods for Safe Industrial Products Bevin Duckett, Klaus Havelund, Luke Stewart
2022	B	`conf`	A Python Library for Trace Analysis. RV Dennis Dams, Klaus Havelund, Sean Kauffman
2022	—	`conf`	Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). ISoLA (2) Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen
2022	—	`ed.`	NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings NFM Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez
2022	J	`jnl`	On monitoring linear temporal properties. Formal Methods Syst. Des. Klaus Havelund, Doron Peled
2022	—	`conf`	Runtime Verification as Documentation. ISoLA (2) Dennis Dams, Klaus Havelund, Sean Kauffman
2022	—	`conf`	Specification-Based Monitoring in C++. ISoLA (1) Klaus Havelund
2021	J	`jnl`	An extension of first-order LTL with rules with application to runtime verification. Int. J. Softw. Tools Technol. Transf. Klaus Havelund, Doron Peled
2021	C	`conf`	Integrated Modeling and Development of Component-Based Embedded Software in Scala. ISoLA Klaus Havelund, Robert Bocchino
2021	B	`conf`	Monitoring First-Order Interval Logic. SEFM Klaus Havelund, Moran Omer, Doron Peled
2021	C	`conf`	Programming - What is Next? ISoLA Klaus Havelund, Bernhard Steffen
2021	J	`jnl`	What can we monitor over unreliable channels? Int. J. Softw. Tools Technol. Transf. Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
2020	C	`conf`	A Flight Rule Checker for the LADEE Lunar Spacecraft. ICTAC Elif Kürklü, Klaus Havelund
2020	B	`conf`	Actor-Based Runtime Verification with MESA. RV Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
2020	B	`conf`	BDDs for Representing Data in Runtime Verification. RV Klaus Havelund, Doron Peled
2020	B	`conf`	First-Order Timed Runtime Verification Using BDDs. ATVA Klaus Havelund, Doron Peled
2020	J	`jnl`	First-order temporal logic monitoring with BDDs. Formal Methods Syst. Des. Klaus Havelund, Doron Peled, Dogan Ulus
2019	—	`conf`	A Refinement Proof for a Garbage Collector. From Reactive Systems to Cyber-Physical Systems Klaus Havelund, Natarajan Shankar
2019	B	`conf`	An Extension of LTL with Rules and Its Application to Runtime Verification. RV Klaus Havelund, Doron Peled
2019	J	`jnl`	First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
2019	J	`jnl`	Introduction to Selected Papers from SPIN 2017. Int. J. Softw. Tools Technol. Transf. Hakan Erdogmus, Klaus Havelund
2019	B	`conf`	Monitorability over Unreliable Channels. RV Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
2019	—	`ch.`	Runtime Verification Past Experiences and Future Projections. Computing and Software Science Klaus Havelund, Giles Reger, Grigore Rosu
2018	—	`conf`	BDDs on the Run. ISoLA (4) Klaus Havelund, Doron Peled
2018	—	`conf`	DejaVu: A Monitoring Tool for First-Order Temporal Logic. MT@CPSWeek Klaus Havelund, Doron Peled, Dogan Ulus
2018	—	`conf`	Efficient Runtime Verification of First-Order Temporal Properties. SPIN Klaus Havelund, Doron Peled
2018	B	`ed.`	Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings FM Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink
2018	J	`jnl`	Inferring event stream abstractions. Formal Methods Syst. Des. Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister
2018	—	`conf`	Modeling with Scala. ISoLA (1) Klaus Havelund, Rajeev Joshi
2018	—	`ch.`	Monitoring Events that Carry Data. Lectures on Runtime Verification Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu
2018	—	`conf`	Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. Models, Mindsets, Meta Doron Peled, Klaus Havelund
2018	B	`conf`	Runtime Verification - 17 Years Later. RV Klaus Havelund, Grigore Rosu
2018	B	`conf`	Runtime Verification: From Propositional to First-Order Temporal Logic. RV Klaus Havelund, Doron Peled
2018	—	`conf`	Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). ISoLA (1) Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
2017	J	`jnl`	A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz
2017	B	`conf`	First order temporal logic monitoring with BDDs. FMCAD Klaus Havelund, Doron Peled, Dogan Ulus
2017	—	`conf`	Modeling Rover Communication Using Hierarchical State Machines with Scala. SAFECOMP Workshops Klaus Havelund, Rajeev Joshi
2017	—	`conf`	Modeling and Monitoring of Hierarchical State Machines in Scala. SERENE Klaus Havelund, Rajeev Joshi
2017	—	`ed.`	Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017 SPIN Hakan Erdogmus, Klaus Havelund
2017	—	`ed.`	RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA RV-CuBES Giles Reger, Klaus Havelund
2017	—	`conf`	Runtime Verification Logics A Language Design Perspective. Models, Algorithms, Logics and Tools Klaus Havelund, Giles Reger
2016	C	`conf`	K: A Wide Spectrum Language for Modeling, Programming and Analysis. MODELSWARD Klaus Havelund, Rahul Kumar, Chris Delp, Bradley Clement
2016	J	`jnl`	Some recent advances in automated analysis. Int. J. Softw. Tools Technol. Transf. Erika Ábrahám, Klaus Havelund
2016	—	`conf`	Static and Runtime Verification, Competitors or Friends? (Track Summary). ISoLA (1) Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan
2016	—	`conf`	Towards a Logic for Inferring Properties of Event Streams. ISoLA (2) Sean Kauffman, Rajeev Joshi, Klaus Havelund
2016	—	`conf`	Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
2016	—	`conf`	Towards a Unified View of Modeling and Programming. ISoLA (2) Manfred Broy, Klaus Havelund, Rahul Kumar
2016	J	`jnl`	Verified Change. LNCS Trans. Found. Mastering Chang. Klaus Havelund, Rahul Kumar
2016	—	`conf`	What Is a Trace? A Runtime Verification Perspective. ISoLA (2) Giles Reger, Klaus Havelund
2016	B	`conf`	nfer - A Notation and System for Inferring Event Stream Abstractions. RV Sean Kauffman, Klaus Havelund, Rajeev Joshi
2015	C	`conf`	Domain-Specific Languages with Scala. ICFEM Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
2015	—	`ed.`	NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings NFM Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
2015	J	`jnl`	Rule-based runtime verification revisited. Int. J. Softw. Tools Technol. Transf. Klaus Havelund
2015	—	`conf`	Specification of Parametric Monitors. SyDe Summer School Klaus Havelund, Giles Reger
2014	B	`conf`	40 Years of Formal Methods - Some Obstacles and Some Possibilities? FM Dines Bjørner, Klaus Havelund
2014	—	`ch.`	Closing the Gap Between Specification and Programming: VDM++ and Scala. HOWARD-60 Klaus Havelund
2014	C	`conf`	Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior. ICFEM Klaus Havelund, Rajeev Joshi
2014	Misc	`conf`	Data Automata in Scala. TASE Klaus Havelund
2014	J	`jnl`	Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. Ann. Math. Artif. Intell. Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu
2014	—	`conf`	Experience with Rule-Based Analysis of Spacecraft Logs. FTSCS Klaus Havelund, Rajeev Joshi
2014	—	`ch.`	Howard Barringer: the Man who Invented the Past. HOWARD-60 Klaus Havelund
2014	—	`conf`	Monitoring with Data Automata. ISoLA (2) Klaus Havelund
2014	A	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings TACAS Erika Ábrahám, Klaus Havelund
2014	J	`jnl`	Verification and validation meet planning and scheduling. Int. J. Softw. Tools Technol. Transf. Saddek Bensalem, Klaus Havelund, Andrea Orlandini
2013	B	`conf`	A Scala DSL for Rete-Based Runtime Verification. RV Klaus Havelund
2013	—	`ch.`	A Tutorial on Runtime Verification. Engineering Dependable Software Systems Yliès Falcone, Klaus Havelund, Giles Reger
2012	J	`jnl`	InterAspect: aspect-oriented instrumentation with GCC. Formal Methods Syst. Des. Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2012	J	`jnl`	Introduction to the special section on runtime verification. Int. J. Softw. Tools Technol. Transf. Oleg Sokolsky, Klaus Havelund, Insup Lee
2012	B	`conf`	Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard
2012	C	`conf`	Requirements-Driven Log Analysis (Extended Abstract). ICTSS Klaus Havelund
2012	—	`conf`	What Does AI Have to Do with RV? - (Extended Abstract). ISoLA (1) Klaus Havelund
2011	B	`conf`	Internal versus External DSLs for Trace Analysis - (Extended Abstract). RV Howard Barringer, Klaus Havelund
2011	—	`ed.`	NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings NASA Formal Methods Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
2011	B	`conf`	Runtime Verification with State Estimation. RV Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok
2011	Misc	`conf`	Software certification: coding, code, and coders. EMSOFT Klaus Havelund, Gerard J. Holzmann
2011	B	`conf`	TraceContract: A Scala DSL for Trace Analysis. FM Howard Barringer, Klaus Havelund
2010	—	`conf`	10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2010	—	`conf`	10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2010	B	`conf`	Aspect-Oriented Instrumentation with GCC. RV Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2010	J	`jnl`	Aspect-Oriented Race Detection in Java. IEEE Trans. Software Eng. Eric Bodden, Klaus Havelund
2010	J	`jnl`	Detection of deadlock potentials in multithreaded programs. IBM J. Res. Dev. Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang
2010	J	`jnl`	Formal Analysis of Log Files. J. Aerosp. Comput. Inf. Commun. Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
2010	—	`conf`	From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) Alex Groce, Klaus Havelund, Margaret H. Smith
2010	J	`jnl`	Prototyping a Domain-Specific Language for Monitor and Control Systems. J. Aerosp. Comput. Inf. Commun. Matthew Bennett, Richard Borgen, Klaus Havelund, Michel D. Ingham, David A. Wagner
2010	J	`jnl`	Rule Systems for Run-time Monitoring: from Eagle to RuleR. J. Log. Comput. Howard Barringer, David E. Rydeheard, Klaus Havelund
2010	B	`ed.`	Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings RV Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
2010	—	`ed.`	Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010 Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2009	—	`conf`	An Entry Point for Formal Methods: Specification and Analysis of Event Logs FMA Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
2009	B	`conf`	Rule Systems for Runtime Verification: A Short Tutorial. RV Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce
2008	—	`conf`	Automated Testing of Planning Models. MoChArt Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith
2008	—	`ed.`	Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings SPIN Klaus Havelund, Rupak Majumdar, Jens Palsberg
2008	A	`conf`	Racer: effective race detection using aspectj. ISSTA Eric Bodden, Klaus Havelund
2008	A	`conf`	Requirements Capture with RCAT. RE Margaret H. Smith, Klaus Havelund
2008	—	`conf`	Runtime Verification of C Programs. TestCom/FATES Klaus Havelund
2008	B	`ed.`	Runtime Verification, 02.01. - 06.01.2007 Runtime Verification Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky
2007	B	`conf`	07011 Abstracts Collection -- Runtime Verification. Runtime Verification Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky
2007	B	`conf`	07011 Executive Summary -- Runtime Verification. Runtime Verification Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky
2007	B	`conf`	Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV Howard Barringer, David E. Rydeheard, Klaus Havelund
2007	J	`jnl`	Towards a framework and a benchmark for testing tools for multi-threaded programs. Concurr. Comput. Pract. Exp. Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur
2007	—	`conf`	Visualization of Concurrent Program Executions. COMPSAC (2) Cyrille Artho, Klaus Havelund, Shinichi Honiden
2006	—	`conf`	Confirmation of deadlock potentials detected by runtime analysis. PADTAD Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier
2006	—	`ed.`	Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers FATES/RV Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff
2005	—	`conf`	Automated Runtime Verification with Eagle. MSVVEIS Allen Goldberg, Klaus Havelund
2005	J	`jnl`	Combining test case generation and runtime verification. Theor. Comput. Sci. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
2005	—	`conf`	Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference Saddek Bensalem, Klaus Havelund
2005	J	`jnl`	Event-based runtime verification of java programs. ACM SIGSOFT Softw. Eng. Notes Marcelo d'Amorim, Klaus Havelund
2005	J	`jnl`	Foreword. Formal Methods Syst. Des. Klaus Havelund, Grigore Rosu
2005	—	`ed.`	Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004 RV@ETAPS Klaus Havelund, Grigore Rosu
2005	J	`jnl`	Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. Grigore Rosu, Klaus Havelund
2005	—	`conf`	Verify Your Runs. VSTTE Klaus Havelund, Allen Goldberg
2004	J	`jnl`	An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods Syst. Des. Klaus Havelund, Grigore Rosu
2004	B	`conf`	Applying Jlint to Space Exploration Software. VMCAI Cyrille Artho, Klaus Havelund
2004	J	`jnl`	Efficient monitoring of safety properties. Int. J. Softw. Tools Technol. Transf. Klaus Havelund, Grigore Rosu
2004	J	`jnl`	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods Syst. Des. Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
2004	J	`jnl`	Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). Formal Methods Syst. Des. Klaus Havelund, Grigore Rosu
2004	—	`conf`	Preface. RV@ETAPS Klaus Havelund, Grigore Rosu
2004	A	`conf`	Program Monitoring with LTL in EAGLE. IPDPS Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
2004	B	`conf`	Rule-Based Runtime Verification. VMCAI Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
2004	B	`conf`	Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA Cyrille Artho, Klaus Havelund, Armin Biere
2003	A	`conf`	Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS Klaus Havelund, Scott D. Stoller, Shmuel Ur
2003	—	`conf`	Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser
2003	—	`conf`	High-Level Data Races. NDDL/VVEIS Cyrille Artho, Klaus Havelund, Armin Biere
2003	J	`jnl`	High-level data races. Softw. Test. Verification Reliab. Cyrille Artho, Klaus Havelund, Armin Biere
2003	J	`jnl`	Model Checking Programs. Autom. Softw. Eng. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
2002	—	`conf`	Preface. RV@FLoC Klaus Havelund, Grigore Rosu
2002	J	`jnl`	Program model checking as a new trend. Int. J. Softw. Tools Technol. Transf. Klaus Havelund, Willem Visser
2002	—	`ed.`	Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002 RV@FLoC Klaus Havelund, Grigore Rosu
2002	A	`conf`	Synthesizing Monitors for Safety Properties. TACAS Klaus Havelund, Grigore Rosu
2001	A*	`conf`	Automata-Based Verification of Temporal Properties on Running Programs. ASE Dimitra Giannakopoulou, Klaus Havelund
2001	J	`jnl`	Formal Analysis of a Space-Craft Controller Using SPIN. IEEE Trans. Software Eng. Klaus Havelund, Michael R. Lowry, John Penix
2001	C	`conf`	Mapping Temporal Planning Constraints into Timed Automata. TIME Lina Khatib, Nicola Muscettola, Klaus Havelund
2001	—	`conf`	Monitoring Java Programs with Java PathExplorer. RV@CAV Klaus Havelund, Grigore Rosu
2001	A*	`conf`	Monitoring Programs Using Rewriting. ASE Klaus Havelund, Grigore Rosu
2001	—	`conf`	Preface. RV@CAV Klaus Havelund, Grigore Rosu
2001	—	`ed.`	Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001 RV@CAV Klaus Havelund, Grigore Rosu
2000	J	`jnl`	Model Checking JAVA Programs using JAVA PathFinder. Int. J. Softw. Tools Technol. Transf. Klaus Havelund, Thomas Pressburger
2000	A*	`conf`	Model Checking Programs. ASE Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park
2000	—	`ed.`	SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings SPIN Klaus Havelund, John Penix, Willem Visser
2000	—	`conf`	Using Runtime Analysis to Guide Model Checking of Java Programs. SPIN Klaus Havelund
2000	—	`conf`	Verification of Plan Models Using UPPAAL. FAABS Lina Khatib, Nicola Muscettola, Klaus Havelund
1999	—	`conf`	Applying Model Checking in Java Verification. SPIN Klaus Havelund, Jens U. Skakkebæk
1999	—	`conf`	Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS Klaus Havelund, Kim Guldstrand Larsen, Arne Skou
1999	—	`conf`	Java PathFinder, A Translator from Java to Promela. SPIN Klaus Havelund
1999	—	`conf`	Mechanical Verification of a Garbage Collector. IPPS/SPDP Workshops Klaus Havelund
1997	A*	`conf`	Declarative Specification of Software Architectures. ASE John Penix, Perry Alexander, Klaus Havelund
1997	A	`conf`	Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. RTSS Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund
1997	C	`conf`	Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS Michael R. Lowry, Klaus Havelund, John Penix
1996	—	`conf`	Experiments in Theorem Proving and Model Checking for Protocol Verification. FME Klaus Havelund, Natarajan Shankar
1994	—	`conf`	A refinement logic for the fork calculus. PSTV Klaus Havelund, Kim Guldstrand Larsen
1994	J	`jnl`	The Fork Calculus. Nord. J. Comput. Klaus Havelund, Kim Guldstrand Larsen
1993	A*	`conf`	The Fork Calculus. ICALP Klaus Havelund, Kim Guldstrand Larsen
1992	J	`jnl`	Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS. Future Gener. Comput. Syst. Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund
1989	J	`jnl`	The RAISE Language, Method and Tools. Formal Aspects Comput. Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
1988	—	`conf`	The RAISE Language, Method and Tools. VDM Europe Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George