default search action
Klaus Havelund
Person information
- affiliation: NASA Jet Propulsion Laboratory, Pasadena, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j39]Alwyn E. Goodloe
, Klaus Havelund
High-Integrity Runtime Verification. Computer 57(4): 37-45 (2024) - [j38]Klaus Havelund, Gerard J. Holzmann:
Programming event monitors. Int. J. Softw. Tools Technol. Transf. 26(1): 33-47 (2024) - [c97]Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis:
TP-DejaVu: Combining Operational and Declarative Runtime Verification. VMCAI (2) 2024: 249-263 - [c96]Klaus Havelund
Operational and Declarative Runtime Verification (Keynote). VORTEX@ISSTA 2024: 3-12 - 2023
- [j37]Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz:
Concurrent runtime verification of data rich events. Int. J. Softw. Tools Technol. Transf. 25(4): 481-501 (2023) - [c95]Bevin Duckett, Klaus Havelund, Luke Stewart:
Space Telemetry Analysis with PyContract. Applicable Formal Methods for Safe Industrial Products 2023: 272-288 - [c94]Klaus Havelund, Doron Peled:
Monitorability for Runtime Verification. RV 2023: 447-460 - [c93]Wolfgang Ahrendt, Klaus Havelund:
AI Assisted Programming - (AISoLA 2023 Track Introduction). AISoLA 2023: 351-354 - [c92]Bernhard K. Aichernig, Klaus Havelund:
AI-Assisted Programming with Test-Based Refinement. AISoLA (Selected Papers) 2023: 385-411 - 2022
- [j36]Klaus Havelund, Doron Peled
On monitoring linear temporal properties. Formal Methods Syst. Des. 60(3): 405-425 (2022) - [c91]Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen:
Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). ISoLA (2) 2022: 3-9 - [c90]Klaus Havelund:
Specification-Based Monitoring in C++. ISoLA (1) 2022: 65-87 - [c89]Dennis Dams, Klaus Havelund, Sean Kauffman
Runtime Verification as Documentation. ISoLA (2) 2022: 157-173 - [c88]Dennis Dams, Klaus Havelund, Sean Kauffman
A Python Library for Trace Analysis. RV 2022: 264-273 - [e16]Jyotirmoy V. Deshmukh
NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Lecture Notes in Computer Science 13260, Springer 2022, ISBN 978-3-031-06772-3 [contents] - 2021
- [j35]Klaus Havelund, Doron Peled:
An extension of first-order LTL with rules with application to runtime verification. Int. J. Softw. Tools Technol. Transf. 23(4): 547-563 (2021) - [j34]Sean Kauffman, Klaus Havelund, Sebastian Fischmeister:
What can we monitor over unreliable channels? Int. J. Softw. Tools Technol. Transf. 23(4): 579-600 (2021) - [c87]Klaus Havelund, Bernhard Steffen:
Programming - What is Next? ISoLA 2021: 195-201 - [c86]Klaus Havelund, Robert Bocchino:
Integrated Modeling and Development of Component-Based Embedded Software in Scala. ISoLA 2021: 233-252 - [c85]Klaus Havelund, Moran Omer, Doron Peled:
Monitoring First-Order Interval Logic. SEFM 2021: 66-83 - 2020
- [j33]Klaus Havelund
First-order temporal logic monitoring with BDDs. Formal Methods Syst. Des. 56(1): 1-21 (2020) - [c84]Klaus Havelund, Doron Peled:
First-Order Timed Runtime Verification Using BDDs. ATVA 2020: 3-24 - [c83]Elif Kürklü, Klaus Havelund:
A Flight Rule Checker for the LADEE Lunar Spacecraft. ICTAC 2020: 3-20 - [c82]Klaus Havelund, Doron Peled:
BDDs for Representing Data in Runtime Verification. RV 2020: 107-128 - [c81]Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz:
Actor-Based Runtime Verification with MESA. RV 2020: 221-240
2010 – 2019
- 2019
- [j32]Ezio Bartocci
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21(1): 31-70 (2019) - [j31]Hakan Erdogmus
Introduction to Selected Papers from SPIN 2017. Int. J. Softw. Tools Technol. Transf. 21(3): 247-248 (2019) - [c80]Klaus Havelund, Natarajan Shankar:
A Refinement Proof for a Garbage Collector. From Reactive Systems to Cyber-Physical Systems 2019: 73-103 - [c79]Klaus Havelund, Doron Peled:
An Extension of LTL with Rules and Its Application to Runtime Verification. RV 2019: 239-255 - [c78]Sean Kauffman
Monitorability over Unreliable Channels. RV 2019: 256-272 - [p5]Klaus Havelund, Giles Reger, Grigore Rosu:
Runtime Verification Past Experiences and Future Projections. Computing and Software Science 2019: 532-562 - 2018
- [j30]Sean Kauffman
Inferring event stream abstractions. Formal Methods Syst. Des. 53(1): 54-82 (2018) - [c77]Doron Peled, Klaus Havelund:
Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. Models, Mindsets, Meta 2018: 218-234 - [c76]Klaus Havelund, Doron Peled, Dogan Ulus
DejaVu: A Monitoring Tool for First-Order Temporal Logic. MT@CPSWeek 2018: 12-13 - [c75]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). ISoLA (1) 2018: 3-21 - [c74]Klaus Havelund, Doron Peled:
BDDs on the Run. ISoLA (4) 2018: 58-69 - [c73]Klaus Havelund, Rajeev Joshi:
Modeling with Scala. ISoLA (1) 2018: 184-205 - [c72]Klaus Havelund, Grigore Rosu:
Runtime Verification - 17 Years Later. RV 2018: 3-17 - [c71]Klaus Havelund, Doron Peled:
Runtime Verification: From Propositional to First-Order Temporal Logic. RV 2018: 90-112 - [c70]Klaus Havelund, Doron Peled:
Efficient Runtime Verification of First-Order Temporal Properties. SPIN 2018: 26-47 - [p4]Klaus Havelund, Giles Reger
Monitoring Events that Carry Data. Lectures on Runtime Verification 2018: 61-102 - [e15]Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink:
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Lecture Notes in Computer Science 10951, Springer 2018, ISBN 978-3-319-95581-0 [contents] - 2017
- [c69]Klaus Havelund, Giles Reger
Runtime Verification Logics A Language Design Perspective. Models, Algorithms, Logics and Tools 2017: 310-338 - [c68]Klaus Havelund, Doron Peled, Dogan Ulus
First order temporal logic monitoring with BDDs. FMCAD 2017: 116-123 - [c67]Klaus Havelund, Rajeev Joshi:
Modeling Rover Communication Using Hierarchical State Machines with Scala. SAFECOMP Workshops 2017: 447-461 - [c66]Klaus Havelund, Rajeev Joshi:
Modeling and Monitoring of Hierarchical State Machines in Scala. SERENE 2017: 21-36 - [e14]Giles Reger, Klaus Havelund:
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA. Kalpa Publications in Computing 3, EasyChair 2017 [contents] - [e13]Hakan Erdogmus, Klaus Havelund:
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. ACM 2017, ISBN 978-1-4503-5077-8 [contents] - [i5]Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz:
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports 7(11): 59-85 (2017) - 2016
- [j29]Klaus Havelund, Rahul Kumar:
Verified Change. LNCS Trans. Found. Mastering Chang. 1: 71-89 (2016) - [j28]Erika Ábrahám
Some recent advances in automated analysis. Int. J. Softw. Tools Technol. Transf. 18(2): 121-128 (2016) - [c65]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) 2016: 3-10 - [c64]Manfred Broy, Klaus Havelund, Rahul Kumar:
Towards a Unified View of Modeling and Programming. ISoLA (2) 2016: 238-257 - [c63]Giles Reger
What Is a Trace? A Runtime Verification Perspective. ISoLA (2) 2016: 339-355 - [c62]Sean Kauffman
Towards a Logic for Inferring Properties of Event Streams. ISoLA (2) 2016: 394-399 - [c61]Dilian Gurov
Static and Runtime Verification, Competitors or Friends? (Track Summary). ISoLA (1) 2016: 397-401 - [c60]Klaus Havelund, Rahul Kumar, Chris Delp, Bradley Clement:
K: A Wide Spectrum Language for Modeling, Programming and Analysis. MODELSWARD 2016: 111-122 - [c59]Sean Kauffman
nfer - A Notation and System for Inferring Event Stream Abstractions. RV 2016: 235-250 - 2015
- [j27]Klaus Havelund:
Rule-based runtime verification revisited. Int. J. Softw. Tools Technol. Transf. 17(2): 143-170 (2015) - [c58]Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
Domain-Specific Languages with Scala. ICFEM 2015: 1-16 - [c57]Klaus Havelund, Giles Reger
Specification of Parametric Monitors. SyDe Summer School 2015: 151-189 - [e12]Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi:
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Lecture Notes in Computer Science 9058, Springer 2015, ISBN 978-3-319-17523-2 [contents] - 2014
- [j26]Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu:
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. Ann. Math. Artif. Intell. 70(4): 315-349 (2014) - [j25]Saddek Bensalem, Klaus Havelund, Andrea Orlandini
Verification and validation meet planning and scheduling. Int. J. Softw. Tools Technol. Transf. 16(1): 1-12 (2014) - [c56]Dines Bjørner, Klaus Havelund:
40 Years of Formal Methods - Some Obstacles and Some Possibilities? FM 2014: 42-61 - [c55]Klaus Havelund, Rajeev Joshi:
Experience with Rule-Based Analysis of Spacecraft Logs. FTSCS 2014: 1-16 - [c54]Klaus Havelund, Rajeev Joshi:
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior. ICFEM 2014: 187-202 - [c53]Klaus Havelund:
Monitoring with Data Automata. ISoLA (2) 2014: 254-273 - [c52]Klaus Havelund:
Data Automata in Scala. TASE 2014: 1-9 - [p3]Klaus Havelund:
Howard Barringer: the Man who Invented the Past. HOWARD-60 2014: 1-12 - [p2]Klaus Havelund:
Closing the Gap Between Specification and Programming: VDM++ and Scala. HOWARD-60 2014: 210-233 - [e11]Erika Ábrahám
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. Lecture Notes in Computer Science 8413, Springer 2014, ISBN 978-3-642-54861-1 [contents] - 2013
- [c51]Klaus Havelund:
A Scala DSL for Rete-Based Runtime Verification. RV 2013: 322-327 - [p1]Yliès Falcone, Klaus Havelund, Giles Reger:
A Tutorial on Runtime Verification. Engineering Dependable Software Systems 2013: 141-175 - 2012
- [j24]Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok:
InterAspect: aspect-oriented instrumentation with GCC. Formal Methods Syst. Des. 41(3): 295-320 (2012) - [j23]Oleg Sokolsky, Klaus Havelund, Insup Lee:
Introduction to the special section on runtime verification. Int. J. Softw. Tools Technol. Transf. 14(3): 243-247 (2012) - [c50]Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM 2012: 68-84 - [c49]Klaus Havelund:
What Does AI Have to Do with RV? - (Extended Abstract). ISoLA (1) 2012: 292-294 - [c48]Klaus Havelund:
Requirements-Driven Log Analysis (Extended Abstract). ICTSS 2012: 1-4 - 2011
- [c47]Klaus Havelund, Gerard J. Holzmann:
Software certification: coding, code, and coders. EMSOFT 2011: 205-210 - [c46]Howard Barringer, Klaus Havelund:
TraceContract: A Scala DSL for Trace Analysis. FM 2011: 57-72 - [c45]Howard Barringer, Klaus Havelund:
Internal versus External DSLs for Trace Analysis - (Extended Abstract). RV 2011: 1-3 - [c44]Scott D. Stoller, Ezio Bartocci
Runtime Verification with State Estimation. RV 2011: 193-207 - [e10]Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi:
NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Lecture Notes in Computer Science 6617, Springer 2011, ISBN 978-3-642-20397-8 [contents] - 2010
- [j22]Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang:
Detection of deadlock potentials in multithreaded programs. IBM J. Res. Dev. 54(5): 3 (2010) - [j21]Matthew Bennett, Richard Borgen, Klaus Havelund, Michel D. Ingham, David A. Wagner:
Prototyping a Domain-Specific Language for Monitor and Control Systems. J. Aerosp. Comput. Inf. Commun. 7(11): 338-364 (2010) - [j20]Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith:
Formal Analysis of Log Files. J. Aerosp. Comput. Inf. Commun. 7(11): 365-390 (2010) - [j19]Howard Barringer, David E. Rydeheard, Klaus Havelund:
Rule Systems for Run-time Monitoring: from Eagle to RuleR. J. Log. Comput. 20(3): 675-706 (2010) - [j18]Eric Bodden
Aspect-Oriented Race Detection in Java. IEEE Trans. Software Eng. 36(4): 509-527 (2010) - [c43]Alex Groce, Klaus Havelund, Margaret H. Smith:
From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) 2010: 129-138 - [c42]Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok:
Aspect-Oriented Instrumentation with GCC. RV 2010: 405-420 - [e9]Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams:
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010. Dagstuhl Seminar Proceedings 10451, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [e8]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2 [contents] - [i4]Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams:
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems 2010 - [i3]Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams:
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems 2010
2000 – 2009
- 2009
- [c41]Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce:
Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24 - [c40]Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith:
An Entry Point for Formal Methods: Specification and Analysis of Event Logs. FMA 2009: 16-21 - 2008
- [c39]Eric Bodden
Racer: effective race detection using aspectj. ISSTA 2008: 155-166 - [c38]Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith:
Automated Testing of Planning Models. MoChArt 2008: 90-105 - [c37]Klaus Havelund:
Runtime Verification of C Programs. TestCom/FATES 2008: 7-22 - [c36]Margaret H. Smith, Klaus Havelund:
Requirements Capture with RCAT. RE 2008: 183-192 - [e7]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
Runtime Verification, 02.01. - 06.01.2007. Dagstuhl Seminar Proceedings 07011, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [e6]Klaus Havelund, Rupak Majumdar, Jens Palsberg:
Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Lecture Notes in Computer Science 5156, Springer 2008, ISBN 978-3-540-85113-4 [contents] - 2007
- [j17]Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur:
Towards a framework and a benchmark for testing tools for multi-threaded programs. Concurr. Comput. Pract. Exp. 19(3): 267-279 (2007) - [c35]Cyrille Artho, Klaus Havelund, Shinichi Honiden:
Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546 - [c34]Howard Barringer, David E. Rydeheard, Klaus Havelund:
Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV 2007: 111-125 - [i2]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
07011 Executive Summary -- Runtime Verification. Runtime Verification 2007 - [i1]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007 - 2006
- [c33]Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier:
Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50 - [e5]Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff:
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. Lecture Notes in Computer Science 4262, Springer 2006, ISBN 3-540-49699-8 [contents] - 2005
- [j16]Grigore Rosu, Klaus Havelund:
Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2): 151-197 (2005) - [j15]Klaus Havelund, Grigore Rosu:
Foreword. Formal Methods Syst. Des. 27(3): 211-212 (2005) - [j14]Marcelo d'Amorim
Event-based runtime verification of java programs. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j13]Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington:
Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005) - [c32]Saddek Bensalem, Klaus Havelund:
Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference 2005: 208-223 - [c31]Klaus Havelund, Allen Goldberg:
Verify Your Runs. VSTTE 2005: 374-383 - [c30]Allen Goldberg, Klaus Havelund:
Automated Runtime Verification with Eagle. MSVVEIS 2005 - [e4]Klaus Havelund, Grigore Rosu:
Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 113, Elsevier 2005 [contents] - 2004
- [j12]Klaus Havelund, Grigore Rosu:
Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). Formal Methods Syst. Des. 24(2): 99-100 (2004) - [j11]Klaus Havelund, Grigore Rosu:
An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods Syst. Des. 24(2): 189-215 (2004) - [j10]Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods Syst. Des. 25(2-3): 167-198 (2004) - [j9]Klaus Havelund, Grigore Rosu:
Efficient monitoring of safety properties. Int. J. Softw. Tools Technol. Transf. 6(2): 158-173 (2004) - [c29]Cyrille Artho, Klaus Havelund, Armin Biere:
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164 - [c28]Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Program Monitoring with LTL in EAGLE. IPDPS 2004 - [c27]Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Rule-Based Runtime Verification. VMCAI 2004: 44-57 - [c26]Cyrille Artho, Klaus Havelund:
Applying Jlint to Space Exploration Software. VMCAI 2004: 297-308 - [c25]Klaus Havelund, Grigore Rosu:
Preface. RV@ETAPS 2004: 1-2 - 2003
- [j8]Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda:
Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003) - [j7]Cyrille Artho, Klaus Havelund, Armin Biere
High-level data races. Softw. Test. Verification Reliab. 13(4): 207-227 (2003) - [c24]Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser:
Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines 2003: 87-107 - [c23]Klaus Havelund, Scott D. Stoller, Shmuel Ur:
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS 2003: 286 - [c22]Cyrille Artho, Klaus Havelund, Armin Biere:
High-Level Data Races. NDDL/VVEIS 2003: 82-93 - 2002
- [j6]Klaus Havelund, Willem Visser:
Program model checking as a new trend. Int. J. Softw. Tools Technol. Transf. 4(1): 8-20 (2002) - [c21]Klaus Havelund, Grigore Rosu
Synthesizing Monitors for Safety Properties. TACAS 2002: 342-356 - [c20]Klaus Havelund, Grigore Rosu:
Preface. RV@FLoC 2002: 201-202 - [e3]Klaus Havelund, Grigore Rosu:
Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(4), Elsevier 2002 [contents] - 2001
- [j5]Klaus Havelund, Michael R. Lowry, John Penix:
Formal Analysis of a Space-Craft Controller Using SPIN. IEEE Trans. Software Eng. 27(8): 749-765 (2001) - [c19]Klaus Havelund, Grigore Rosu:
Monitoring Programs Using Rewriting. ASE 2001: 135-143 - [c18]Dimitra Giannakopoulou, Klaus Havelund:
Automata-Based Verification of Temporal Properties on Running Programs. ASE 2001: 412-416 - [c17]Lina Khatib, Nicola Muscettola, Klaus Havelund:
Mapping Temporal Planning Constraints into Timed Automata. TIME 2001: 21-27 - [c16]Klaus Havelund, Grigore Rosu:
Monitoring Java Programs with Java PathExplorer. RV@CAV 2001: 200-217 - [c15]Klaus Havelund, Grigore Rosu:
Preface. RV@CAV 2001: 287-288 - [e2]Klaus Havelund, Grigore Rosu:
Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001. Electronic Notes in Theoretical Computer Science 55(2), Elsevier 2001 [contents] - 2000
- [j4]Klaus Havelund, Thomas Pressburger:
Model Checking JAVA Programs using JAVA PathFinder. Int. J. Softw. Tools Technol. Transf. 2(4): 366-381 (2000) - [c14]Lina Khatib, Nicola Muscettola, Klaus Havelund:
Verification of Plan Models Using UPPAAL. FAABS 2000: 114-122 - [c13]Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park:
Model Checking Programs. ASE 2000: 3-12 - [c12]Klaus Havelund:
Using Runtime Analysis to Guide Model Checking of Java Programs. SPIN 2000: 245-264 - [e1]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. Lecture Notes in Computer Science 1885, Springer 2000, ISBN 3-540-41030-9 [contents]
1990 – 1999
- 1999
- [c11]Klaus Havelund, Kim Guldstrand Larsen, Arne Skou
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298 - [c10]Klaus Havelund:
Mechanical Verification of a Garbage Collector. IPPS/SPDP Workshops 1999: 1258-1283 - [c9]Klaus Havelund:
Java PathFinder, A Translator from Java to Promela. SPIN 1999: 152 - [c8]Klaus Havelund, Jens U. Skakkebæk:
Applying Model Checking in Java Verification. SPIN 1999: 216-231 - 1997
- [c7]Michael R. Lowry, Klaus Havelund, John Penix:
Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS 1997: 35-47 - [c6]John Penix, Perry Alexander, Klaus Havelund:
Declarative Specification of Software Architectures. ASE 1997: 201- - [c5]Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund:
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. RTSS 1997: 2-13 - 1996
- [c4]Klaus Havelund, Natarajan Shankar:
Experiments in Theorem Proving and Model Checking for Protocol Verification. FME 1996: 662-681 - 1994
- [j3]Klaus Havelund, Kim Guldstrand Larsen:
The Fork Calculus. Nord. J. Comput. 1(3): 346-363 (1994) - [c3]Klaus Havelund, Kim Guldstrand Larsen:
A refinement logic for the fork calculus. PSTV 1994: 5-20 - 1993
- [c2]Klaus Havelund, Kim Guldstrand Larsen:
The Fork Calculus. ICALP 1993: 544-557 - 1992
- [j2]Dines Bjørner, Anne Elisabeth Haxthausen
Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS. Future Gener. Comput. Syst. 7(2-3): 111-138 (1992)
1980 – 1989
- 1989
- [j1]Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George:
The RAISE Language, Method and Tools. Formal Aspects Comput. 1(1): 85-114 (1989) - 1988
- [c1]Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George:
The RAISE Language, Method and Tools. VDM Europe 1988: 376-405
Coauthor Index
Doron A. Peled
aka: Doron Peled
aka: Doron Peled
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: