Books
Books I have written, proceedings and journal special issues I have co-edited, and proceedings featuring tracks I have co-organized.
Authored book · LNCS books and proceedings · Other proceedings · Journal special issues · Tracks organized within proceedings
Authored book
The RAISE Specification Language
1992 · Prentice Hall · BCS Practitioner Series
By the RAISE Language Group: Chris George, Peter Haff, Klaus Havelund, Anne E. Haxthausen, Robert Milne, Claus Bendix Nielsen, Søren Prehn, and Kim Ritter Wagner.
A tutorial and reference description of RSL. I wrote the tutorial (Part I) and co-wrote the reference description (Part II) with Anne Haxthausen.
LNCS books and proceedings
Conference volumes in Springer’s Lecture Notes in Computer Science series.
NASA Formal Methods · NFM 2026
2026 · Springer · LNCS 16622
Edited by Jyotirmoy Deshmukh, Klaus Havelund, and Alessandro Pinto.
18th International Symposium, Los Angeles, USA, May 5–7, 2026. Proceedings.
NASA Formal Methods · NFM 2022
2022 · Springer · LNCS 13260
Edited by Jyotirmoy V. Deshmukh, Klaus Havelund, and Ivan Perez.
14th International Symposium, Pasadena, USA, May 24–27, 2022. Proceedings.
Formal Methods · FM 2018
2018 · Springer · LNCS 10951
Edited by Klaus Havelund, Jan Peleska, Bill Roscoe, and Erik de Vink.
22nd International Symposium, held as part of FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings.
NASA Formal Methods · NFM 2015
2015 · Springer · LNCS 9058
Edited by Klaus Havelund, Gerard Holzmann, and Rajeev Joshi.
7th International Symposium, Pasadena, USA, April 27–29, 2015. Proceedings.
Tools and Algorithms for the Construction and Analysis of Systems · TACAS 2014
2014 · Springer · LNCS 8413
Edited by Erika Ábrahám and Klaus Havelund.
20th International Conference, held as part of ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings.
NASA Formal Methods · NFM 2011
2011 · Springer · LNCS 6617
Edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, and Rajeev Joshi.
3rd International Symposium, Pasadena, USA, April 18–20, 2011. Proceedings.
Runtime Verification · RV 2010
2010 · Springer · LNCS 6418
Edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, and Nikolai Tillmann.
1st International Conference, St. Julians, Malta, November 1–4, 2010. Proceedings.
Formal Approaches to Software Testing and Runtime Verification · FATES / RV 2006
2006 · Springer · LNCS 4262
Edited by Klaus Havelund, Manuel Núñez, Grigore Roşu, and Burkhart Wolff.
1st Combined International Workshops, Seattle, USA, August 15–16, 2006. Revised selected papers.
SPIN Model Checking and Software Verification · SPIN 2000
2000 · Springer · LNCS 1885
Edited by Klaus Havelund, John Penix, and Willem Visser.
7th International SPIN Workshop, Stanford, USA, August 30–September 1, 2000. Proceedings.
Other proceedings
RV-CuBES 2017
2017 · EasyChair · Kalpa Publications in Computing 3 · Open access
Edited by Giles Reger and Klaus Havelund.
An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Seattle, USA, September 15, 2017. The volume contains 18 articles, published December 14, 2017.
Image: opening page of the workshop report.
Journal special issues
SPIN 2017 · STTT special issue
2019 · STTT · Volume 21, issue 3
Guest edited by Hakan Erdogmus and Klaus Havelund.
Extended papers from the 24th International SPIN Symposium on Model Checking of Software. The SPIN 2017 special issue occupies pages 247–349 of the June 2019 issue.
TACAS 2014 · STTT special issue
2016 · STTT · Volume 18, issue 2
Guest edited by Erika Ábrahám and Klaus Havelund.
Six extended papers from TACAS 2014, introduced by “Some Recent Advances in Automated Analysis.” Published in April 2016.
TACAS 2014 · LMCS special issue
Logical Methods in Computer Science · Open access
Guest edited by Erika Ábrahám and Klaus Havelund.
Seven revised and extended papers from the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Grenoble, France, 2014.
Image: special-issue preface.
Verification and Validation of Planning and Scheduling Systems · STTT special section
2014 · STTT · Volume 16, issue 1
Guest edited by Saddek Bensalem, Klaus Havelund, and Andrea Orlandini.
Extended papers from the third ICAPS workshop on Verification and Validation of Planning and Scheduling Systems (VVPS 2011). The special section occupies pages 1–65 of the February 2014 issue.
Runtime Verification · STTT special section
2012 · STTT · Volume 14, issue 3
Guest edited by Oleg Sokolsky, Klaus Havelund, and Insup Lee.
A special section on runtime verification, published in June 2012, with an introduction surveying the field and the selected papers.
SPIN 2000 · STTT special section
2002 · STTT · Volume 4, issue 1
Guest edited by Klaus Havelund and Willem Visser.
Five selected papers from the seventh International SPIN Workshop, Stanford, 2000. Published in October 2002, with the editorial “Program Model Checking as a New Trend.”
Tracks organized within proceedings
Springer LNCS proceedings featuring the AI Assisted Programming tracks I have co-organized. My role concerns the track; the volume editor is credited separately on each published book.
Bridging the Gap Between AI and Reality · AISoLA 2026
In preparation · AISoLA 2026
Conference scheduled for October 27–31, 2026, Kos, Greece.
AI Assisted Programming track co-organized with Wolfgang Ahrendt and Bernhard Aichernig. Book details and a cover will be added when available.
Bridging the Gap Between AI and Reality · AISoLA 2025
Published 2025 · Springer · LNCS 16220 · Open access
My role: AI Assisted Programming track co-organizer.
Volume editor: Bernhard Steffen.
Third International Conference, Rhodes, Greece, November 1–5, 2025. Selected papers.
Bridging the Gap Between AI and Reality · AISoLA 2024 selected papers
Published 2025 · Springer · LNCS 16032 · Open access
My role: AI Assisted Programming track co-organizer.
Volume editor: Bernhard Steffen.
Second International Conference, Crete, Greece, October 30–November 3, 2024. Selected papers.
Bridging the Gap Between AI and Reality · AISoLA 2024 proceedings
Published 2024 · Springer · LNCS 15217
My role: AI Assisted Programming track co-organizer.
Volume editor: Bernhard Steffen.
Second International Conference, Crete, Greece, October 30–November 3, 2024. Proceedings.
Bridging the Gap Between AI and Reality · AISoLA 2023 selected papers
Published 2024 · Springer · LNCS 14129 · Open access
My role: AI Assisted Programming track co-organizer.
Volume editor: Bernhard Steffen.
First International Conference, Crete, Greece, October 23–28, 2023. Selected papers.