Klaus Havelund

According to our database, Klaus Havelund authored at least 140 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

High-Integrity Runtime Verification.

Alwyn E. Goodloe, Klaus Havelund

Computer, April, 2024

Programming event monitors.

Klaus Havelund, Gerard J. Holzmann

Int. J. Softw. Tools Technol. Transf., February, 2024

Operational and Declarative Runtime Verification (Keynote).

Klaus Havelund, Moran Omer, Doron Peled

Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024

TP-DejaVu: Combining Operational and Declarative Runtime Verification.

Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Concurrent runtime verification of data rich events.

Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz

Int. J. Softw. Tools Technol. Transf., August, 2023

AI-Assisted Programming with Test-Based Refinement.

Bernhard K. Aichernig, Klaus Havelund

Proceedings of the Bridging the Gap Between AI and Reality, 2023

AI Assisted Programming - (AISoLA 2023 Track Introduction).

Wolfgang Ahrendt, Klaus Havelund

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Monitorability for Runtime Verification.

Klaus Havelund, Doron Peled

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Space Telemetry Analysis with PyContract.

Bevin Duckett, Klaus Havelund, Luke Stewart

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

On monitoring linear temporal properties.

Klaus Havelund, Doron Peled

Formal Methods Syst. Des., 2022

A Python Library for Trace Analysis.

Dennis Dams, Klaus Havelund, Sean Kauffman

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction).

Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Specification-Based Monitoring in C++.

Klaus Havelund

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Runtime Verification as Documentation.

Dennis Dams, Klaus Havelund, Sean Kauffman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

2021

What can we monitor over unreliable channels?

Sean Kauffman, Klaus Havelund, Sebastian Fischmeister

Int. J. Softw. Tools Technol. Transf., 2021

An extension of first-order LTL with rules with application to runtime verification.

Klaus Havelund, Doron Peled

Int. J. Softw. Tools Technol. Transf., 2021

Monitoring First-Order Interval Logic.

Klaus Havelund, Moran Omer, Doron Peled

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Programming - What is Next?

Klaus Havelund, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

Integrated Modeling and Development of Component-Based Embedded Software in Scala.

Klaus Havelund, Robert Bocchino

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2020

First-order temporal logic monitoring with BDDs.

Klaus Havelund, Doron Peled, Dogan Ulus

Formal Methods Syst. Des., 2020

Actor-Based Runtime Verification with MESA.

Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz

Proceedings of the Runtime Verification - 20th International Conference, 2020

BDDs for Representing Data in Runtime Verification.

Klaus Havelund, Doron Peled

Proceedings of the Runtime Verification - 20th International Conference, 2020

A Flight Rule Checker for the LADEE Lunar Spacecraft.

Elif Kürklü, Klaus Havelund

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

First-Order Timed Runtime Verification Using BDDs.

Klaus Havelund, Doron Peled

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Runtime Verification Past Experiences and Future Projections.

Klaus Havelund, Giles Reger, Grigore Rosu

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Introduction to Selected Papers from SPIN 2017.

Hakan Erdogmus, Klaus Havelund

Int. J. Softw. Tools Technol. Transf., 2019

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.

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

Int. J. Softw. Tools Technol. Transf., 2019

Monitorability over Unreliable Channels.

Sean Kauffman, Klaus Havelund, Sebastian Fischmeister

Proceedings of the Runtime Verification - 19th International Conference, 2019

An Extension of LTL with Rules and Its Application to Runtime Verification.

Klaus Havelund, Doron Peled

Proceedings of the Runtime Verification - 19th International Conference, 2019

A Refinement Proof for a Garbage Collector.

Klaus Havelund, Natarajan Shankar

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018

Monitoring Events that Carry Data.

Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Inferring event stream abstractions.

Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister

Formal Methods Syst. Des., 2018

Efficient Runtime Verification of First-Order Temporal Properties.

Klaus Havelund, Doron Peled

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Runtime Verification - 17 Years Later.

Klaus Havelund, Grigore Rosu

Proceedings of the Runtime Verification - 18th International Conference, 2018

Runtime Verification: From Propositional to First-Order Temporal Logic.

Klaus Havelund, Doron Peled

Proceedings of the Runtime Verification - 18th International Conference, 2018

BDDs on the Run.

Klaus Havelund, Doron Peled

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Modeling with Scala.

Klaus Havelund, Rajeev Joshi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction).

Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

DejaVu: A Monitoring Tool for First-Order Temporal Logic.

Klaus Havelund, Doron Peled, Dogan Ulus

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability.

Doron Peled, Klaus Havelund

Proceedings of the Models, Mindsets, 2018

2017

A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462).

Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz

Dagstuhl Reports, 2017

Modeling and Monitoring of Hierarchical State Machines in Scala.

Klaus Havelund, Rajeev Joshi

Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

Modeling Rover Communication Using Hierarchical State Machines with Scala.

Klaus Havelund, Rajeev Joshi

Proceedings of the Computer Safety, Reliability, and Security, 2017

Runtime Verification Logics A Language Design Perspective.

Klaus Havelund, Giles Reger

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Some recent advances in automated analysis.

Erika Ábrahám, Klaus Havelund

Int. J. Softw. Tools Technol. Transf., 2016

Verified Change.

Klaus Havelund, Rahul Kumar

LNCS Trans. Found. Mastering Chang., 2016

nfer - A Notation and System for Inferring Event Stream Abstractions.

Sean Kauffman, Klaus Havelund, Rajeev Joshi

Proceedings of the Runtime Verification - 16th International Conference, 2016

K: A Wide Spectrum Language for Modeling, Programming and Analysis.

Klaus Havelund, Rahul Kumar, Chris Delp, Bradley Clement

Proceedings of the MODELSWARD 2016, 2016

What Is a Trace? A Runtime Verification Perspective.

Giles Reger, Klaus Havelund

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Towards a Logic for Inferring Properties of Event Streams.

Sean Kauffman, Rajeev Joshi, Klaus Havelund

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Static and Runtime Verification, Competitors or Friends? (Track Summary).

Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Towards a Unified View of Modeling and Programming (Track Summary).

Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Towards a Unified View of Modeling and Programming.

Manfred Broy, Klaus Havelund, Rahul Kumar

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Rule-based runtime verification revisited.

Klaus Havelund

Int. J. Softw. Tools Technol. Transf., 2015

Specification of Parametric Monitors.

Klaus Havelund, Giles Reger

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

Domain-Specific Languages with Scala.

Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Verification and validation meet planning and scheduling.

Saddek Bensalem, Klaus Havelund, Andrea Orlandini

Int. J. Softw. Tools Technol. Transf., 2014

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning.

Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu

Ann. Math. Artif. Intell., 2014

Data Automata in Scala.

Klaus Havelund

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Monitoring with Data Automata.

Klaus Havelund

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior.

Klaus Havelund, Rajeev Joshi

Proceedings of the Formal Methods and Software Engineering, 2014

Experience with Rule-Based Analysis of Spacecraft Logs.

Klaus Havelund, Rajeev Joshi

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

40 Years of Formal Methods - Some Obstacles and Some Possibilities?

Dines Bjørner, Klaus Havelund

Proceedings of the FM 2014: Formal Methods, 2014

Closing the Gap Between Specification and Programming: VDM++ and Scala.

Klaus Havelund

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

Howard Barringer: the Man who Invented the Past.

Klaus Havelund

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013

A Tutorial on Runtime Verification.

Yliès Falcone, Klaus Havelund, Giles Reger

Proceedings of the Engineering Dependable Software Systems, 2013

A Scala DSL for Rete-Based Runtime Verification.

Klaus Havelund

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

Introduction to the special section on runtime verification.

Oleg Sokolsky, Klaus Havelund, Insup Lee

Int. J. Softw. Tools Technol. Transf., 2012

InterAspect: aspect-oriented instrumentation with GCC.

Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok

Formal Methods Syst. Des., 2012

Requirements-Driven Log Analysis (Extended Abstract).

Klaus Havelund

Proceedings of the Testing Software and Systems, 2012

What Does AI Have to Do with RV? - (Extended Abstract).

Klaus Havelund

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.

Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard

Proceedings of the FM 2012: Formal Methods, 2012

2011

Runtime Verification with State Estimation.

Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok

Proceedings of the Runtime Verification - Second International Conference, 2011

Internal versus External DSLs for Trace Analysis - (Extended Abstract).

Howard Barringer, Klaus Havelund

Proceedings of the Runtime Verification - Second International Conference, 2011

TraceContract: A Scala DSL for Trace Analysis.

Howard Barringer, Klaus Havelund

Proceedings of the FM 2011: Formal Methods, 2011

Software certification: coding, code, and coders.

Klaus Havelund, Gerard J. Holzmann

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Aspect-Oriented Race Detection in Java.

Eric Bodden, Klaus Havelund

IEEE Trans. Software Eng., 2010

Rule Systems for Run-time Monitoring: from Eagle to RuleR.

Howard Barringer, David E. Rydeheard, Klaus Havelund

J. Log. Comput., 2010

Prototyping a Domain-Specific Language for Monitor and Control Systems.

Matthew Bennett, Richard Borgen, Klaus Havelund, Michel D. Ingham, David A. Wagner

J. Aerosp. Comput. Inf. Commun., 2010

Formal Analysis of Log Files.

Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith

J. Aerosp. Comput. Inf. Commun., 2010

Detection of deadlock potentials in multithreaded programs.

Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang

IBM J. Res. Dev., 2010

Aspect-Oriented Instrumentation with GCC.

Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok

Proceedings of the Runtime Verification - First International Conference, 2010

From scripts to specifications: the evolution of a flight software testing effort.

Alex Groce, Klaus Havelund, Margaret H. Smith

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.

Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams

Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010

10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.

Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams

Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010

2009

An Entry Point for Formal Methods: Specification and Analysis of Event Logs

Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Rule Systems for Runtime Verification: A Short Tutorial.

Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008

Requirements Capture with RCAT.

Margaret H. Smith, Klaus Havelund

Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Runtime Verification of C Programs.

Klaus Havelund

Proceedings of the Testing of Software and Communicating Systems, 2008

Automated Testing of Planning Models.

Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Racer: effective race detection using aspectj.

Eric Bodden, Klaus Havelund

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

Towards a framework and a benchmark for testing tools for multi-threaded programs.

Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur

Concurr. Comput. Pract. Exp., 2007

Rule Systems for Run-Time Monitoring: From Eagleto RuleR.

Howard Barringer, David E. Rydeheard, Klaus Havelund

Proceedings of the Runtime Verification, 7th International Workshop, 2007

07011 Abstracts Collection -- Runtime Verification.

Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky

Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

07011 Executive Summary -- Runtime Verification.

Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky

Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

Visualization of Concurrent Program Executions.

Cyrille Artho, Klaus Havelund, Shinichi Honiden

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Confirmation of deadlock potentials detected by runtime analysis.

Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

2005

Combining test case generation and runtime verification.

Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington

Theor. Comput. Sci., 2005

Event-based runtime verification of java programs.

Marcelo d'Amorim, Klaus Havelund

ACM SIGSOFT Softw. Eng. Notes, 2005

Foreword.

Klaus Havelund, Grigore Rosu

Formal Methods Syst. Des., 2005

Rewriting-Based Techniques for Runtime Verification.

Grigore Rosu, Klaus Havelund

Autom. Softw. Eng., 2005

Automated Runtime Verification with Eagle.

Allen Goldberg, Klaus Havelund

Proceedings of the Modelling, 2005

Verify Your Runs.

Klaus Havelund, Allen Goldberg

Proceedings of the Verified Software: Theories, 2005

Dynamic Deadlock Analysis of Multi-threaded Programs.

Saddek Bensalem, Klaus Havelund

Proceedings of the Hardware and Software Verification and Testing, 2005

2004

Efficient monitoring of safety properties.

Klaus Havelund, Grigore Rosu

Int. J. Softw. Tools Technol. Transf., 2004

An Overview of the Runtime Verification Tool Java PathExplorer.

Klaus Havelund, Grigore Rosu

Formal Methods Syst. Des., 2004

Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01).

Klaus Havelund, Grigore Rosu

Formal Methods Syst. Des., 2004

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.

Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington

Formal Methods Syst. Des., 2004

Rule-Based Runtime Verification.

Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen

Proceedings of the Verification, 2004

Applying Jlint to Space Exploration Software.

Cyrille Artho, Klaus Havelund

Proceedings of the Verification, 2004

Program Monitoring with LTL in EAGLE.

Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.

Cyrille Artho, Klaus Havelund, Armin Biere

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

High-level data races.

Cyrille Artho, Klaus Havelund, Armin Biere

Softw. Test. Verification Reliab., 2003

Model Checking Programs.

Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda

Autom. Softw. Eng., 2003

Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools .

Klaus Havelund, Scott D. Stoller, Shmuel Ur

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Experiments with Test Case Generation and Runtime Analysis.

Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser

Proceedings of the Abstract State Machines, 2003

2002

Program model checking as a new trend.

Klaus Havelund, Willem Visser

Int. J. Softw. Tools Technol. Transf., 2002

Synthesizing Monitors for Safety Properties.

Klaus Havelund, Grigore Rosu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2001

Formal Analysis of a Space-Craft Controller Using SPIN.

Klaus Havelund, Michael R. Lowry, John Penix

IEEE Trans. Software Eng., 2001

Monitoring Java Programs with Java PathExplorer.

Klaus Havelund, Grigore Rosu

Proceedings of the Workshop on Runtime Verification, 2001

Preface.

Klaus Havelund, Grigore Rosu

Proceedings of the Workshop on Runtime Verification, 2001

Mapping Temporal Planning Constraints into Timed Automata.

Lina Khatib, Nicola Muscettola, Klaus Havelund

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Monitoring Programs Using Rewriting.

Klaus Havelund, Grigore Rosu

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Automata-Based Verification of Temporal Properties on Running Programs.

Dimitra Giannakopoulou, Klaus Havelund

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Model Checking JAVA Programs using JAVA PathFinder.

Klaus Havelund, Thomas Pressburger

Int. J. Softw. Tools Technol. Transf., 2000

Using Runtime Analysis to Guide Model Checking of Java Programs.

Klaus Havelund

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Model Checking Programs.

Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Verification of Plan Models Using UPPAAL.

Lina Khatib, Nicola Muscettola, Klaus Havelund

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999

Applying Model Checking in Java Verification.

Klaus Havelund, Jens U. Skakkebæk

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

Java PathFinder, A Translator from Java to Promela.

Klaus Havelund

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

Mechanical Verification of a Garbage Collector.

Klaus Havelund

Proceedings of the Parallel and Distributed Processing, 1999

Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL.

Klaus Havelund, Kim Guldstrand Larsen, Arne Skou

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1997

Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL.

Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Declarative Specification of Software Architectures.

John Penix, Perry Alexander, Klaus Havelund

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Verification and Validation of AI Systems that Control Deep-Space Spacecraft.

Michael R. Lowry, Klaus Havelund, John Penix

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

1996

Experiments in Theorem Proving and Model Checking for Protocol Verification.

Klaus Havelund, Natarajan Shankar

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1994

The Fork Calculus.

Klaus Havelund, Kim Guldstrand Larsen

Nord. J. Comput., 1994

A refinement logic for the fork calculus.

Klaus Havelund, Kim Guldstrand Larsen

Proceedings of the Protocol Specification, 1994

1992

Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS.

Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund

Future Gener. Comput. Syst., 1992

1989

The RAISE Language, Method and Tools.

Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George

Formal Aspects Comput., 1989