Kim Guldstrand Larsen

发表

Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems. EU FP-7 Application

Brian Nielsen, Arne Skou, Kim Guldstrand Larsen, 2007 .

Reactive Systems: CCS with time delays

Anna Ingólfsdóttir, Kim Guldstrand Larsen, Luca Aceto, 2007 .

Interface Input/Output Automata: Splitting Assumptions from Guarantees

Andrzej Wasowski, Kim Guldstrand Larsen, Ulrik Nyman, 2006 .

Outils pour le Model-Checking de Systèmes Temporisés

Paul Pettersson, Wang Yi, Jacob Illum Rasmussen, 2008 .

Optimization of Power-to-Heat Flexibility for Residential Buildings in Response to Day-Ahead Electricity Price

Kim Guldstrand Larsen, Hessam Golmohamadi, Peter Gjøl Jensen, 2020 .

T-UPPAAL: online model-based testing of real-time systems

Marius Mikucionis, Brian Nielsen, Kim Guldstrand Larsen, 2004 .

Computer Aided Verification: Proceding of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31 2002

Ed Brinksma, Kim Guldstrand Larsen, 2002 .

Contracts for Systems Design: Methodology and Application cases

Dejan Nickovic, Thomas A. Henzinger, Roberto Passerone, 2015 .

UPPAAL: Status and Developments

Wang Yi, Kim Guldstrand Larsen, Paul Pettersson, 1997 .

Formal Methods and Testing

Marius Mikucionis, Brian Nielsen, Kim Guldstrand Larsen, 2008 .

Reactive Systems: Frontmatter

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, 2007 .

Reactive Systems: Modelling mutual exclusion algorithms

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, 2007 .

An introduction to controller synthesis

Jean-François Raskin, Pierre-Alain Reynier, Kim Guldstrand Larsen, 2013 .

Verification of Real-Time Applications Using the Epsilon System

Arne Skou, Kim Guldstrand Larsen, Jens Chr. Godskesen, 1994 .

Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project

Brian Nielsen, Jan Tretmans, Kim Guldstrand Larsen, 2015 .

Contracts for Systems Design: Theory

Dejan Nickovic, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2015 .

Testing and Verification of Probabilistic Processes

Arne Skou, Kim Guldstrand Larsen, 1992 .

Reactive Systems: Suggestions for student projects

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, 2007 .

Formal Modelling and Analysis of an Audio/Video Protocol

Kim Guldstrand Larsen, Arne Skou, Klaus Havelund, 1997 .

Proceedings of the 12th International Conference on Concurrency Theory

Mogens Nielsen, Kim Guldstrand Larsen, 2001 .

Modelling and analysis of Fischer's algorithm

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, 2007 .

Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

Arne Skou, Kim Guldstrand Larsen, K. Larsen, 1992, CAV 1992.

20 Years of Mixed and Modal Specifications

Andrzej Wasowski, Michael Huth, Kim Guldstrand Larsen, 2008 .

Proceedings of MOVEP 2004

Kim Guldstrand Larsen, 2004 .

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

Arne Skou, Klaus Havelund, Kim Guldstrand Larsen, 1999, ARTS.

Uppaal Stratego for Intelligent Traffic Lights

Marco Muñiz, Jakob Haahr Taankvist, Chao Huang, 2017 .

AAAI Spring Symposium Model-Based Validation of Intelligence

Paul Pettersson, Gerd Behrmann, Ansgar Fehnker, 2001 .

Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94

Arne Skou, Kim Guldstrand Larsen, Jens Chr. Godskesen, 1994 .

CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings

Kim Guldstrand Larsen, M. Nielsen, 2001 .

Timed Modal Specification —Theory and Tools

Kim Guldstrand Larsen, Karlis Cerans, Jens Chr. Godskesen, 1997 .

Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems

Rance Cleaveland, Tiziana Margaria, Bernhard Steffen, 1995 .

New Generation of UPPAAL

Wang Yi, Paul Pettersson, Fredrik Larsson, 1998 .

Guided Synthesis of Control Programs using UPPAAL for VHS Case Study 5

Paul Pettersson, Kim Guldstrand Larsen, Thomas Hune, 1999 .

Automatic Verification of Real-Timed Systems Using EPSILON

Arne Skou, Kim Guldstrand Larsen, Jens Chr. Godskesen, 1994 .

Symposium on Dependable Software Engineering

Marius Mikucionis, Axel Legay, Sean Sedwards, 2016 .

Reactive Systems: Hennessy–Milner logic

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, 2007 .

Proceedings of the 14th International Conference on Computer Aided Verification

Ed Brinksma, Kim Guldstrand Larsen, 2002 .

Reactive Systems: Figures and tables

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, 2007 .

Reactive Systems: Preface

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, 2007 .

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014

Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman, 2014, ICAASE.

Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.

Arne Skou, Kim Guldstrand Larsen, Jens Chr. Godskesen, 1994 .

18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015

Marius Mikucionis, Insup Lee, Arne Skou, 2015 .

Reactive Systems: Timed automata

Anna Ingólfsdóttir, Kim Guldstrand Larsen, Luca Aceto, 2007 .

Reactive Systems: Introduction

Anna Ingólfsdóttir, Kim Guldstrand Larsen, Luca Aceto, 2007 .

Proceedings of the 3rd International Workshop on Computer Aided Verification

Arne Skou, Kim Guldstrand Larsen, 1991 .

Proceedings of TACAS 2004

Patricia Bouyer, Gerd Behrmann, Radek Pelánek, 2004 .

Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010)

Kim Guldstrand Larsen, René Rydhof Hansen, Andreas Engelbredt Dalsgaard, 2010 .

Proceedings 1st Workshop on Advances in Systems of Systems: Preface

Axel Legay, Kim Guldstrand Larsen, Ulrik Nyman, 2013 .

Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997

Arne Skou, Klaus Havelund, Kim Guldstrand Larsen, 1997 .

Reactive Systems: Modelling, Specification and Verification

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, 2007 .

Automatic Verification of Real-Timed Systems Using

Arne Skou, Kim Guldstrand Larsen, Jens Chr, 1994 .

Validation of Continuous-Time Markov Systems

Christel Baier, Ed Brinksma, Kim Guldstrand Larsen, 1999 .

Proceedings of 2009 International Conference on Software Testing Verification and Validation

Brian Nielsen, Alexandre David, Kim Guldstrand Larsen, 2009, International Conference on Information Control Systems & Technologies.

ROAD MAP on Hard Real-Time Development Environments W1.A1.N1.Y1 Chapter 4.4.c: Testing Embedded Systems

Brian Nielsen, Kim Guldstrand Larsen, 2003 .

Reactive Systems: References

Anna Ingólfsdóttir, Kim Guldstrand Larsen, Luca Aceto, 2007 .

Guided Synthesis of Control Programs for a Batch Plant using UPPAAL

Paul Pettersson, Kim Guldstrand Larsen, Thomas Hune, 2000 .

Formal Verification of an Audio/Video Power Controller using the Real-Time Model Checker UPPAAL

Arne Skou, Klaus Havelund, Kim Guldstrand Larsen, 1997 .

Fifth ACM International Conference on Embedded Software (EMSOFT)

Marius Mikucionis, Brian Nielsen, Arne Skou, 2005 .

Formal Approaches to Testing of Software (FATES 2004) Proceedings

Marius Mikucionis, Brian Nielsen, Kim Guldstrand Larsen, 2005 .

Controller synthesis: the HYDAC case study

Jean-François Raskin, Pierre-Alain Reynier, Kim Guldstrand Larsen, 2013 .

Proceedings of the Workshop on Games in Design and Verification

Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen, 2005 .

Proceedings for International Workshop on Distributed Systems Verification and Validation

Paul Pettersson, Kim Guldstrand Larsen, T. Hune, 2000 .

Online On-the-Fly Testing of Real-time Systems

Marius Mikucionis, Brian Nielsen, Kim Guldstrand Larsen, 2003 .

Average-energy games

Patricia Bouyer, Nicolas Markey, Mickael Randour, 2015 .

Software - til verdens mindste og verdens største computer

Lone Leth Thomsen, Bent Thomsen, Kim Guldstrand Larsen, 2003 .

Proceedings of the 25th International Colloquium on Automata, Languages and Programming

Glynn Winskel, Sven Skyum, Kim Guldstrand Larsen, 1998 .

Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings

Glynn Winskel, Sven Skyum, Kim Guldstrand Larsen, 1998 .

Automata, Languages and Programming: Proceedings of the 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17 1998

Glynn Winskel, Sven Skyum, Kim Guldstrand Larsen, 1998 .

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

Brian Nielsen, Paul Pettersson, Arne Skou, 2004 .