Publications

2012

2011

2010

2009

2008

2007

2006

2005

2004

  • Lower and Upper Bounds in Zone Based Abstractions of Timed Automata by Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelanek, in Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004, Proceedings (TACAS) Editor: Kurt Jensen and Andreas Podelski of Lecture Notes in Computer Science, vol: 2988 ©Springer-Verlag, pages: 312-326, 2004EE, BibTex,
  • Resource-Optimal Scheduling Using Priced Timed Automata by Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani, in Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004, Proceedings (TACAS) Editor: Kurt Jensen and Andreas Podelski of Lecture Notes in Computer Science, vol: 2988 ©Springer-Verlag, pages: 220-235, 2004EE, BibTex,
  • A Tutorial on Uppaal by Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, in Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures (SFM) Editor: Marco Bernardo and Flavio Corradini of Lecture Notes in Computer Science, vol: 3185 ©Springer-Verlag, pages: 200-236, 2004EE, BibTex,
  • Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work by Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, in Perspectives of Model-Based Testing, 5.-10. September 2004 (Perspectives of Model-Based Testing) Editor: Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans of Dagstuhl Seminar Proceedings, vol: 04371 IBFI, Schloss Dagstuhl, Germany , 2004EE, BibTex,
  • Staying Alive as Cheaply as Possible by Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen, in Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (HSCC) Editor: Rajeev Alur and George J. Pappas of Lecture Notes in Computer Science, vol: 2993 ©Springer-Verlag, pages: 203-218, 2004EE, BibTex,
  • Optimal Strategies in Priced Timed Game Automata by Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen, in FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings (FSTTCS) Editor: Kamal Lodaya and Meena Mahajan of Lecture Notes in Computer Science, vol: 3328 ©Springer-Verlag, pages: 148-160, 2004EE, BibTex,
  • Priced Timed Automata: Algorithms and Applications by Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen, in Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures (FMCO) Editor: Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever of Lecture Notes in Computer Science, vol: 3657 ©Springer-Verlag, pages: 162-182, 2004EE, BibTex,
  • Online Testing of Real-time Systems Using Uppaal by Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, in Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers (FATES) Editor: Jens Grabowski and Brian Nielsen of Lecture Notes in Computer Science, vol: 3395 ©Springer-Verlag, pages: 79-94, 2004EE, BibTex,
  • T-UPPAAL: Online Model-based Testing of Real-Time Systems by Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen, in 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria (ASE) IEEE Computer Society , pages: 396-397, 2004EE, BibTex,
  • T-UPPAAL: online model-based testing of real-time systems by Mikucionis, M., Larsen, Kim Guldstrand, Nielsen, B., in Automated Software Engineering, 2004. Proceedings. 19th International Conference on, pages: 396-397, 2004EE, BibTex, Show Abstract.

2003

2002

2001

2000

1999

1998

  • Model Checking via Reachability Testing for Timed Automata by Luca Aceto, Augusto Burgue no, Kim Guldstrand Larsen, in Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS98, Lisbon, Portugal, March 28 – April 4, 1998, Proceedings (TACAS) Editor: Bernhard Steffen of Lecture Notes in Computer Science, vol: 1384 ©Springer-Verlag, pages: 263-280, 1998EE, BibTex,
  • Verification of Large State/Event Systems Using Compositionality and Dependency Analysis by Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kaare J. Kristoffersen, Kim Guldstrand Larsen, in Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS98, Lisbon, Portugal, March 28 – April 4, 1998, Proceedings (TACAS) Editor: Bernhard Steffen of Lecture Notes in Computer Science, vol: 1384 ©Springer-Verlag, pages: 201-216, 1998EE, BibTex,
  • The Power of Reachability Testing for Timed Automata by Luca Aceto, Patricia Bouyer, Augusto Burgue no, Kim Guldstrand Larsen, in Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (FSTTCS) Editor: Vikraman Arvind and Ramaswamy Ramanujam of Lecture Notes in Computer Science, vol: 1530 ©Springer-Verlag, pages: 245-256, 1998BibTex,
  • CMC: A Tool for Compositional Model-Checking of Real-Time Systems by Franccois Laroussinie, Kim Guldstrand Larsen, in Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France (FORTE) Editor: Stanislaw Budkowski and Ana R. Cavalli and Elie Najm of IFIP Conference Proceedings, vol: 135 Kluwer , pages: 439-456, 1998BibTex,
  • The Limit of Testing for Timed Automata by L. Aceto, P. Bouyer, A. Burgueno, Kim Guldstrand Larsen, in Proceedings of Foundations of Software Technology and Theoretical Computer Science, India, 1998., 1998BibTex,
  • New Generation of UPPAAL by Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Yi Wang, Carsten Weise, in proceedings of the International Workshop on Software Tools for Technology Transfer, 1998BibTex, Show Abstract.

1997

1996

1995

  • Synthesizing Distinguishing Formulae for Real Time Systems by Jens Chr. Godskesen, Kim Guldstrand Larsen, Nord. J. Comput. vol: 2 pages: 338-357, 1995BibTex,
  • Generality in Design and Compositional Verification Using TAV by Anders Børjesson, Kim Guldstrand Larsen, Arne Skou, Formal Methods in System Design vol: 6 pages: 239-258, 1995BibTex,
  • A Constraint Oriented Proof Methodology Based on Modal Transition Systems by Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise, in Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995, Proceedings (TACAS) Editor: Ed Brinksma and Rance Cleaveland and Kim Guldstrand Larsen and Tiziana Margaria and Bernhard Steffen of Lecture Notes in Computer Science, vol: 1019 ©Springer-Verlag, pages: 17-40, 1995BibTex,
  • From Timed Automata to Logic – and Back by Franccois Laroussinie, Kim Guldstrand Larsen, Carsten Weise, in Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS95, Prague, Czech Republic, August 28 – September 1, 1995, Proceedings (MFCS) Editor: Jiri Wiedermann and Petr Hajek of Lecture Notes in Computer Science, vol: 969 ©Springer-Verlag, pages: 529-539, 1995BibTex,
  • Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract) by Jens Chr. Godskesen, Kim Guldstrand Larsen, in Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS95, Prague, Czech Republic, August 28 – September 1, 1995, Proceedings (MFCS) Editor: Jiri Wiedermann and Petr Hajek of Lecture Notes in Computer Science, vol: 969 ©Springer-Verlag, pages: 519-528, 1995BibTex,
  • Compositional and Symbolic Model-Checking of Real-Time Systems by Kim Guldstrand Larsen, Paul Pettersson, Wang Yi, in IEEE Real-Time Systems Symposium, pages: 76-89, 1995BibTex,
  • Automatic Synthesis of Real Time Systems by Jørgen H. Andersen, Kaare J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann, in Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings (ICALP) Editor: Zoltan Fülöp and Ferenc Gecseg of Lecture Notes in Computer Science, vol: 944 ©Springer-Verlag, pages: 535-546, 1995BibTex,
  • Fischers Protocol Revisited: A Simple Proof Using Modal Constraints by Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise, in Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA (Hybrid Systems) Editor: Rajeev Alur and Thomas A. Henzinger and Eduardo D. Sontag of Lecture Notes in Computer Science, vol: 1066 ©Springer-Verlag, pages: 604-615, 1995BibTex,
  • Diagnostic Model-Checking for Real-Time Systems by Kim Guldstrand Larsen, Paul Pettersson, Wang Yi, in Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA (Hybrid Systems) Editor: Rajeev Alur and Thomas A. Henzinger and Eduardo D. Sontag of Lecture Notes in Computer Science, vol: 1066 ©Springer-Verlag, pages: 575-586, 1995BibTex,
  • UPPAAL – a Tool Suite for Automatic Verification of Real-Time Systems by Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi, in Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA (Hybrid Systems) Editor: Rajeev Alur and Thomas A. Henzinger and Eduardo D. Sontag of Lecture Notes in Computer Science, vol: 1066 ©Springer-Verlag, pages: 232-243, 1995BibTex,
  • Model-Checking for Real-Time Systems by Kim Guldstrand Larsen, Paul Pettersson, Wang Yi, in Fundamentals of Computation Theory, 10th International Symposium, FCT 95, Dresden, Germany, August 22-25, 1995, Proceedings (FCT) Editor: Horst Reichel of Lecture Notes in Computer Science, vol: 965 ©Springer-Verlag, pages: 62-88, 1995BibTex,
  • Compositional Model Checking of Real Time Systems by Franccois Laroussinie, Kim Guldstrand Larsen, in CONCUR 95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings (CONCUR) Editor: Insup Lee and Scott A. Smolka of Lecture Notes in Computer Science, vol: 962 ©Springer-Verlag, pages: 27-41, 1995BibTex,
  • A refinement logic for the Fork Calculus by Havelund, Klaus, Larsen, Kim Guldstrand, in PSTV 94: Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV, pages: 5–20, 1995BibTex,

1994

  • The Fork Calculus by Klaus Havelund, Kim Guldstrand Larsen, Nord. J. Comput. vol: 1 pages: 346-363, 1994BibTex,
  • A refinement logic for the fork calculus by Klaus Havelund, Kim Guldstrand Larsen, in Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994 (PSTV) Editor: Son T. Vuong and Samuel T. Chanson of IFIP Conference Proceedings, vol: 1 Chapman & Hall , pages: 5-20, 1994BibTex,
  • Automatic verification of real-tim systems using epsilon by Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou, in Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994 (PSTV) Editor: Son T. Vuong and Samuel T. Chanson of IFIP Conference Proceedings, vol: 1 Chapman & Hall , pages: 323-330, 1994BibTex,
  • The Methodology of Modal Constraints by Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise, in Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994) (Formal Systems Specification) Editor: Manfred Broy and Stephan Merz and Katharina Spies of Lecture Notes in Computer Science, vol: 1169 ©Springer-Verlag, pages: 405-435, 1994BibTex,

1993

  • The Expressive Power of Implicit Specifications by Kim Guldstrand Larsen, Theor. Comput. Sci. vol: 114 pages: 119-147, 1993BibTex,
  • Time Abstracted Bisimiulation: Implicit Specifications and Decidability by Kim Guldstrand Larsen, Wang Yi, in Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings (MFPS) Editor: Stephen D. Brookes and Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt of Lecture Notes in Computer Science, vol: 802 ©Springer-Verlag, pages: 160-176, 1993BibTex,
  • The Fork Calculus by Klaus Havelund, Kim Guldstrand Larsen, in Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings (ICALP) Editor: Andrzej Lingas and Rolf G. Karlsson and Svante Carlsson of Lecture Notes in Computer Science, vol: 700 ©Springer-Verlag, pages: 544-557, 1993BibTex,
  • Model Construction for Implicit Specifications in Model Logic by Ole Høgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen, in CONCUR 93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings (CONCUR) Editor: Eike Best of Lecture Notes in Computer Science, vol: 715 ©Springer-Verlag, pages: 247-261, 1993BibTex,
  • Timed Modal Specification – Theory and Tools by Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen, in Computer Aided Verification, 5th International Conference, CAV 93, Elounda, Greece, June 28 – July 1, 1993, Proceedings (CAV) Editor: Costas Courcoubetis of Lecture Notes in Computer Science, vol: 697 ©Springer-Verlag, pages: 253-267, 1993BibTex,

1992

  • Graphical Versus Logical Specifications by Gerard Boudol, Kim Guldstrand Larsen, Theor. Comput. Sci. vol: 106 pages: 3-20, 1992BibTex,
  • A Compositional Protocol Verification Using Relativized Bisimulation by Kim Guldstrand Larsen, Robin Milner, Inf. Comput. vol: 99 pages: 80-108, 1992BibTex,
  • Testing Probabilistic and Nondeterministic Processes by Wang Yi, Kim Guldstrand Larsen, in Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992 (PSTV) Editor: Richard J. Linn Jr. and M. “Umit Uyar of IFIP Transactions, vol: C-8 North-Holland , pages: 47-61, 1992BibTex,
  • Real-Time Calculi and Expansion Theorems by Jens Chr. Godskesen, Kim Guldstrand Larsen, in NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 (NAPAW) Editor: S. Purushothaman and Amy E. Zwarico of Workshops in Computing, ©Springer-Verlag, pages: 3-12, 1992BibTex,
  • Real-Time Calculi and Expansion Theorems by Jens Chr. Godskesen, Kim Guldstrand Larsen, in Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings (FSTTCS) Editor: R. K. Shyamasundar of Lecture Notes in Computer Science, vol: 652 ©Springer-Verlag, pages: 302-315, 1992BibTex,
  • Generality in design and compositional verification using TAV by Anders Børjesson, Kim Guldstrand Larsen, Arne Skou, in Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 92, Perros-Guirec, France, 13-16 October 1992 (FORTE) Editor: Michel Diaz and Roland Groz of IFIP Transactions, vol: C-10 North-Holland , pages: 449-464, 1992BibTex,
  • Compositional Verification of Probabilistic Processes by Kim Guldstrand Larsen, Arne Skou, in CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings (CONCUR) Editor: Rance Cleaveland of Lecture Notes in Computer Science, vol: 630 ©Springer-Verlag, pages: 456-471, 1992BibTex,
  • Efficient Local Correctness Checking by Kim Guldstrand Larsen, in Computer Aided Verification, Fourth International Workshop, CAV 92, Montreal, Canada, June 29 – July 1, 1992, Proceedings (CAV) Editor: Gregor von Bochmann and David K. Probst of Lecture Notes in Computer Science, vol: 663 ©Springer-Verlag, pages: 30-43, 1992BibTex,

1991

  • Partial Specifications and Compositional Verification by Kim Guldstrand Larsen, Bent Thomsen, Theor. Comput. Sci. vol: 88 pages: 15-32, 1991BibTex,
  • Compositionality through an Operational Semantics of Contexts by Kim Guldstrand Larsen, Liu Xinxin, J. Log. Comput. vol: 1 pages: 761-795, 1991BibTex,
  • Bisimulation through Probabilistic Testing by Kim Guldstrand Larsen, Arne Skou, Inf. Comput. vol: 94 pages: 1-28, 1991BibTex,
  • Using Information Systems to Solve Recursive Domain Equations by Kim Guldstrand Larsen, Glynn Winskel, Inf. Comput. vol: 91 pages: 232-258, 1991BibTex,
  • On the Complexity of Equation Solving in Process Algebra by Bengt Jonsson, Kim Guldstrand Larsen, in TAPSOFT91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP91) (TAPSOFT, Vol.1) Editor: Samson Abramsky and T. S. E. Maibaum of Lecture Notes in Computer Science, vol: 493 ©Springer-Verlag, pages: 381-396, 1991BibTex,
  • Specification and Refinement of Probabilistic Processes by Bengt Jonsson, Kim Guldstrand Larsen, in Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, 15-18 July, 1991, Amsterdam, The Netherlands (LICS) IEEE Computer Society , pages: 266-277, 1991BibTex,
  • The Expressive Power of Implicit Specifications by Kim Guldstrand Larsen, in Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings (ICALP) Editor: Javier Leach Albert and Burkhard Monien and Mario Rodriguez-Artalejo of Lecture Notes in Computer Science, vol: 510 ©Springer-Verlag, pages: 204-216, 1991BibTex,
  • Deciding Properties of Regular Real Time Processes by Uno Holmer, Kim Guldstrand Larsen, Wang Yi, in Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings (CAV) Editor: Kim Guldstrand Larsen and Arne Skou of Lecture Notes in Computer Science, vol: 575 ©Springer-Verlag, pages: 443-453, 1991BibTex,
  • Bisimulation Through Probabilistic Testing by Kim Guldstrand Larsen, Arne Skou, in Information and Control (IC91), 1991BibTex,

1990

  • Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion by Kim Guldstrand Larsen, Theor. Comput. Sci. vol: 72 pages: 265-288, 1990BibTex,
  • Equation Solving Using Modal Transition Systems by Kim Guldstrand Larsen, Liu Xinxin, in Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA (LICS) IEEE Computer Society , pages: 108-117, 1990BibTex,
  • Compositionality Through an Operational Semantics of Contexts by Kim Guldstrand Larsen, Liu Xinxin, in Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings (ICALP) Editor: Mike Paterson of Lecture Notes in Computer Science, vol: 443 ©Springer-Verlag, pages: 526-539, 1990BibTex,
  • Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + .. by Kim Guldstrand Larsen, in CONCUR 90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings (CONCUR) Editor: Jos C. M. Baeten and Jan Willem Klop of Lecture Notes in Computer Science, vol: 458 ©Springer-Verlag, pages: 33-56, 1990BibTex,
  • Graphical versus Logical Specifications by Gerard Boudol, Kim Guldstrand Larsen, in CAAP 90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings (CAAP) Editor: Andre Arnold of Lecture Notes in Computer Science, vol: 431 ©Springer-Verlag, pages: 57-71, 1990BibTex,

1989

  • Compositional Theories Based on an Operational Semantics of Contexts by Kim Guldstrand Larsen, in Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 – June 2, 1989, Proceedings (REX Workshop) Editor: J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg of Lecture Notes in Computer Science, vol: 430 ©Springer-Verlag, pages: 487-518, 1989BibTex,
  • Bisimulation Through Probabilistic Testing by Kim Guldstrand Larsen, Arne Skou, in POPL, pages: 344-352, 1989BibTex,
  • The Use of Static Constructs in A Modal Process Logic by Hans Hüttel, Kim Guldstrand Larsen, in Logic at Botik 89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings (Logic at Botik) Editor: Albert R. Meyer and Michael A. Taitslin of Lecture Notes in Computer Science, vol: 363 ©Springer-Verlag, pages: 163-180, 1989BibTex,
  • Modal Specifications by Kim Guldstrand Larsen, in Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings (Automatic Verification Methods for Finite State Systems) Editor: Joseph Sifakis of Lecture Notes in Computer Science, vol: 407 ©Springer-Verlag, pages: 232-246, 1989BibTex,
  • TAV — tools for automatic verification — Users Manual by Jens Godskesen, Kim Guldstrand Larsen, Michael Zeeberg, 1989BibTex,

1988

  • Compositional Proofs by Partial Specification of Processes by Kim Guldstrand Larsen, Bent Thomsen, in Mathematical Foundations of Computer Science 1988, MFCS88, Carlsbad, Czechoslovakia, August 29 – September 2, 1988, Proceedings (MFCS) Editor: Michal Chytil and Ladislav Janiga and Vaclav Koubek of Lecture Notes in Computer Science, vol: 324 ©Springer-Verlag, pages: 414-423, 1988BibTex,
  • A Modal Process Logic by Kim Guldstrand Larsen, Bent Thomsen, in Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK (LICS) IEEE Computer Society , pages: 203-210, 1988BibTex,
  • Proof System for Hennessy-Milner Logic with Recursion by Kim Guldstrand Larsen, in CAAP 88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings (CAAP) Editor: Max Dauchet and Maurice Nivat of Lecture Notes in Computer Science, vol: 299 ©Springer-Verlag, pages: 215-230, 1988BibTex,

1987

1986

1985

      • A Context Dependent Equivalence between Processes by Kim Guldstrand Larsen, in Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings (ICALP) Editor: Wilfried Brauer of Lecture Notes in Computer Science, vol: 194 ©Springer-Verlag, pages: 373-382, 1985BibTex,
      • Recursively Defined Domains and Their Induction Principles by Finn Verner Jensen, Kim Guldstrand Larsen, in Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings (FSTTCS) Editor: S. N. Maheshwari of Lecture Notes in Computer Science, vol: 206 ©Springer-Verlag, pages: 225-245, 1985BibTex,

1984

    • Using Information Systems to Solve Recursive Domain Equations Effectively by Glynn Winskel, Kim Guldstrand Larsen, in Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings (Semantics of Data Types) Editor: Gilles Kahn and David B. MacQueen and Gordon D. Plotkin of Lecture Notes in Computer Science, vol: 173 ©Springer-Verlag, pages: 109-129, 1984BibTex,