Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarKlaus Havelund
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
[j36]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:
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. STTT 21(1): 31-70 (2019)- [j35]Hakan Erdogmus, Klaus Havelund:
Introduction to Selected Papers from SPIN 2017. STTT 21(3): 247-248 (2019) - [c76]Klaus Havelund, Natarajan Shankar:
A Refinement Proof for a Garbage Collector. From Reactive Systems to Cyber-Physical Systems 2019: 73-103 - [c75]Klaus Havelund, Doron Peled:
An Extension of LTL with Rules and Its Application to Runtime Verification. RV 2019: 239-255 - [c74]Sean Kauffman, Klaus Havelund, Sebastian Fischmeister:
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
- [j34]Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister:
Inferring event stream abstractions. Formal Methods in System Design 53(1): 54-82 (2018) - [c73]Doron Peled, Klaus Havelund:
Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. Models, Mindsets, Meta 2018: 218-234 - [c72]Klaus Havelund, Doron Peled, Dogan Ulus:
DejaVu: A Monitoring Tool for First-Order Temporal Logic. MT@CPSWeek 2018: 12-13 - [c71]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 - [c70]Klaus Havelund, Doron Peled:
BDDs on the Run. ISoLA (4) 2018: 58-69 - [c69]Klaus Havelund, Rajeev Joshi:
Modeling with Scala. ISoLA (1) 2018: 184-205 - [c68]Klaus Havelund, Grigore Rosu:
Runtime Verification - 17 Years Later. RV 2018: 3-17 - [c67]Klaus Havelund, Doron Peled:
Runtime Verification: From Propositional to First-Order Temporal Logic. RV 2018: 90-112 - [c66]Klaus Havelund, Doron Peled:
Efficient Runtime Verification of First-Order Temporal Properties. SPIN 2018: 26-47 - [p4]Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu:
Monitoring Events that Carry Data. Lectures on Runtime Verification 2018: 61-102 - [e12]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
- [c65]Klaus Havelund, Giles Reger:
Runtime Verification Logics A Language Design Perspective. Models, Algorithms, Logics and Tools 2017: 310-338 - [c64]Klaus Havelund, Doron Peled, Dogan Ulus:
First order temporal logic monitoring with BDDs. FMCAD 2017: 116-123 - [c63]Klaus Havelund, Rajeev Joshi:
Modeling Rover Communication Using Hierarchical State Machines with Scala. SAFECOMP Workshops 2017: 447-461 - [c62]Klaus Havelund, Rajeev Joshi:
Modeling and Monitoring of Hierarchical State Machines in Scala. SERENE 2017: 21-36 - [e11]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] - [e10]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
- [j33]Klaus Havelund, Rahul Kumar:
Verified Change. Trans. Found. Mastering Chang. 1: 71-89 (2016) - [j32]Erika Ábrahám, Klaus Havelund:
Some recent advances in automated analysis. STTT 18(2): 121-128 (2016) - [c61]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) 2016: 3-10 - [c60]Manfred Broy, Klaus Havelund, Rahul Kumar:
Towards a Unified View of Modeling and Programming. ISoLA (2) 2016: 238-257 - [c59]Giles Reger, Klaus Havelund:
What Is a Trace? A Runtime Verification Perspective. ISoLA (2) 2016: 339-355 - [c58]Sean Kauffman, Rajeev Joshi, Klaus Havelund:
Towards a Logic for Inferring Properties of Event Streams. ISoLA (2) 2016: 394-399 - [c57]Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan:
Static and Runtime Verification, Competitors or Friends? (Track Summary). ISoLA (1) 2016: 397-401 - [c56]Klaus Havelund, Rahul Kumar, Chris Delp, Bradley Clement:
K: A Wide Spectrum Language for Modeling, Programming and Analysis. MODELSWARD 2016: 111-122 - [c55]Sean Kauffman, Klaus Havelund, Rajeev Joshi:
nfer - A Notation and System for Inferring Event Stream Abstractions. RV 2016: 235-250 - 2015
- [j31]Klaus Havelund:
Rule-based runtime verification revisited. STTT 17(2): 143-170 (2015) - [c54]Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata:
Domain-Specific Languages with Scala. ICFEM 2015: 1-16 - [c53]Klaus Havelund, Giles Reger:
Specification of Parametric Monitors. SyDe Summer School 2015: 151-189 - [e9]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
- [j30]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) - [j29]Saddek Bensalem, Klaus Havelund, Andrea Orlandini:
Verification and validation meet planning and scheduling. STTT 16(1): 1-12 (2014) - [c52]Dines Bjørner, Klaus Havelund:
40 Years of Formal Methods - Some Obstacles and Some Possibilities? FM 2014: 42-61 - [c51]Klaus Havelund, Rajeev Joshi:
Experience with Rule-Based Analysis of Spacecraft Logs. FTSCS 2014: 1-16 - [c50]Klaus Havelund, Rajeev Joshi:
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior. ICFEM 2014: 187-202 - [c49]Klaus Havelund:
Monitoring with Data Automata. ISoLA (2) 2014: 254-273 - [c48]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 - [e8]Erika Ábrahám, Klaus Havelund:
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
- [c47]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
- [j28]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 in System Design 41(3): 295-320 (2012) - [j27]Oleg Sokolsky, Klaus Havelund, Insup Lee:
Introduction to the special section on runtime verification. STTT 14(3): 243-247 (2012) - [c46]Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard:
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM 2012: 68-84 - [c45]Klaus Havelund:
What Does AI Have to Do with RV? - (Extended Abstract). ISoLA (1) 2012: 292-294 - [c44]Klaus Havelund:
Requirements-Driven Log Analysis (Extended Abstract). ICTSS 2012: 1-4 - 2011
- [c43]Klaus Havelund, Gerard J. Holzmann:
Software certification: coding, code, and coders. EMSOFT 2011: 205-210 - [c42]Howard Barringer, Klaus Havelund:
TraceContract: A Scala DSL for Trace Analysis. FM 2011: 57-72 - [c41]Howard Barringer, Klaus Havelund:
Internal versus External DSLs for Trace Analysis - (Extended Abstract). RV 2011: 1-3 - [c40]Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok:
Runtime Verification with State Estimation. RV 2011: 193-207 - [e7]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
- [j26]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 Journal of Research and Development 54(5): 3 (2010) - [j25]Matthew Bennett, Richard Borgen, Klaus Havelund, Michel D. Ingham, David A. Wagner:
Prototyping a Domain-Specific Language for Monitor and Control Systems. JACIC 7(11): 338-364 (2010) - [j24]Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith:
Formal Analysis of Log Files. JACIC 7(11): 365-390 (2010) - [j23]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) - [j22]Eric Bodden, Klaus Havelund:
Aspect-Oriented Race Detection in Java. IEEE Trans. Software Eng. 36(4): 509-527 (2010) - [c39]Alex Groce, Klaus Havelund, Margaret H. Smith:
From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) 2010: 129-138 - [c38]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 - [e6]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] - [e5]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann:
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
- [c37]Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce:
Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24 - [c36]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
- [c35]Eric Bodden, Klaus Havelund:
Racer: effective race detection using aspectj. ISSTA 2008: 155-166 - [c34]Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith:
Automated Testing of Planning Models. MoChArt 2008: 90-105 - [c33]Klaus Havelund:
Runtime Verification of C Programs. TestCom/FATES 2008: 7-22 - [c32]Margaret H. Smith, Klaus Havelund:
Requirements Capture with RCAT. RE 2008: 183-192 - [e4]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] - [e3]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
- [j21]Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur:
Towards a framework and a benchmark for testing tools for multi-threaded programs. Concurrency and Computation: Practice and Experience 19(3): 267-279 (2007) - [c31]Cyrille Artho, Klaus Havelund, Shinichi Honiden:
Visualization of Concurrent Program Executions. COMPSAC (2) 2007: 541-546 - [c30]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
- [c29]Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier:
Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50 - [e2]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
- [j20]Grigore Rosu, Klaus Havelund:
Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2): 151-197 (2005) - [j19]Klaus Havelund, Grigore Rosu:
Preface. Electr. Notes Theor. Comput. Sci. 113: 1-2 (2005) - [j18]Klaus Havelund, Grigore Rosu:
Foreword. Formal Methods in System Design 27(3): 211-212 (2005) - [j17]Marcelo d'Amorim, Klaus Havelund:
Event-based runtime verification of java programs. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) - [j16]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) - [c28]Saddek Bensalem, Klaus Havelund:
Dynamic Deadlock Analysis of Multi-threaded Programs. Haifa Verification Conference 2005: 208-223 - [c27]Klaus Havelund, Allen Goldberg:
Verify Your Runs. VSTTE 2005: 374-383 - [c26]Allen Goldberg, Klaus Havelund:
Automated Runtime Verification with Eagle. MSVVEIS 2005 - 2004
- [j15]Klaus Havelund, Grigore Rosu:
Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). Formal Methods in System Design 24(2): 99-100 (2004) - [j14]Klaus Havelund, Grigore Rosu:
An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design 24(2): 189-215 (2004) - [j13]Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington:
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design 25(2-3): 167-198 (2004) - [j12]Klaus Havelund, Grigore Rosu:
Efficient monitoring of safety properties. STTT 6(2): 158-173 (2004) - [c25]Cyrille Artho, Klaus Havelund, Armin Biere:
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164 - [c24]Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Program Monitoring with LTL in EAGLE. IPDPS 2004 - [c23]Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Rule-Based Runtime Verification. VMCAI 2004: 44-57 - [c22]Cyrille Artho, Klaus Havelund:
Applying Jlint to Space Exploration Software. VMCAI 2004: 297-308 - 2003
- [j11]Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda:
Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003) - [j10]Cyrille Artho, Klaus Havelund, Armin Biere:
High-level data races. Softw. Test., Verif. Reliab. 13(4): 207-227 (2003) - [c21]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 - [c20]Klaus Havelund, Scott D. Stoller, Shmuel Ur:
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS 2003: 286 - [c19]Cyrille Artho, Klaus Havelund, Armin Biere:
High-Level Data Races. NDDL/VVEIS 2003: 82-93 - 2002
- [j9]Klaus Havelund, Grigore Rosu:
Preface. Electr. Notes Theor. Comput. Sci. 70(4): 201-202 (2002) - [j8]Klaus Havelund, Willem Visser:
Program model checking as a new trend. STTT 4(1): 8-20 (2002) - [c18]Klaus Havelund, Grigore Rosu:
Synthesizing Monitors for Safety Properties. TACAS 2002: 342-356 - 2001
- [j7]Klaus Havelund, Grigore Rosu:
Monitoring Java Programs with Java PathExplorer. Electr. Notes Theor. Comput. Sci. 55(2): 200-217 (2001) - [j6]Klaus Havelund, Grigore Rosu:
Preface. Electr. Notes Theor. Comput. Sci. 55(2): 287-288 (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) - [c17]Klaus Havelund, Grigore Rosu:
Monitoring Programs Using Rewriting. ASE 2001: 135-143 - [c16]Dimitra Giannakopoulou, Klaus Havelund:
Automata-Based Verification of Temporal Properties on Running Programs. ASE 2001: 412-416 - [c15]Lina Khatib, Nicola Muscettola, Klaus Havelund:
Mapping Temporal Planning Constraints into Timed Automata. TIME 2001: 21-27 - 2000
- [j4]Klaus Havelund, Thomas Pressburger:
Model Checking JAVA Programs using JAVA PathFinder. STTT 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, K. 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]