 | 2009 |
|---|
| 162 |       | Kim Guldstrand Larsen,
Shuhao Li,
Brian Nielsen,
Saulius Pusinskas:
Verifying Real-Time Systems against Scenario-Based Requirements.
FM 2009: 676-691 |
| 161 | | Ulrik H. Hjort,
Jacob Illum Rasmussen,
Kim Guldstrand Larsen,
Michael A. Petersen,
Arne Skou:
Model-Based GUI Testing Using Uppaal at Novo Nordisk.
FM 2009: 814-818 |
| 160 | | Peter Bulychev,
Thomas Chatain,
Alexandre David,
Kim Guldstrand Larsen:
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.
FORMATS 2009: 73-87 |
| 159 | | Franck Cassez,
Jan Jakob Jessen,
Kim Guldstrand Larsen,
Jean-François Raskin,
Pierre-Alain Reynier:
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study.
HSCC 2009: 90-104 |
| 158 | | Nikola Benes,
Jan Kretínský,
Kim Guldstrand Larsen,
Jirí Srba:
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.
ICTAC 2009: 112-126 |
| 157 | | Kim Guldstrand Larsen:
Verification and Performance Analysis for Embedded Systems.
TASE 2009: 3-4 |
| 156 | | Luca Aceto,
Anna Ingólfsdóttir,
Kim Guldstrand Larsen,
Jirí Srba:
Teaching Concurrency: Theory in Practice.
TFM 2009: 158-175 |
| 155 | | Ulrich Fahrenberg,
Kim Guldstrand Larsen:
Discount-Optimal Infinite Runs in Priced Timed Automata.
Electr. Notes Theor. Comput. Sci. 239: 179-191 (2009) |
| 154 | | Adam Antonik,
Michael Huth,
Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
EXPTIME-complete Decision Problems for Modal and Mixed Specifications.
Electr. Notes Theor. Comput. Sci. 242(1): 19-33 (2009) |
| 153 | | Nikola Benes,
Jan Kretínský,
Kim Guldstrand Larsen,
Jirí Srba:
On determinism in modal transition systems.
Theor. Comput. Sci. 410(41): 4026-4043 (2009) |
| 2008 |
|---|
| 152 | | Alexandre David,
Kim Guldstrand Larsen,
Shuhao Li,
Brian Nielsen:
A Game-Theoretic Approach to Real-Time System Testing.
DATE 2008: 486-491 |
| 151 | | Patricia Bouyer,
Ulrich Fahrenberg,
Kim Guldstrand Larsen,
Nicolas Markey,
Jirí Srba:
Infinite Runs in Weighted Timed Automata with Energy Constraints.
FORMATS 2008: 33-47 |
| 150 | | Adam Antonik,
Michael Huth,
Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Complexity of Decision Problems for Mixed and Modal Specifications.
FoSSaCS 2008: 112-126 |
| 149 | | Anders Hessel,
Kim Guldstrand Larsen,
Marius Mikucionis,
Brian Nielsen,
Paul Pettersson,
Arne Skou:
Testing Real-Time Systems Using UPPAAL.
Formal Methods and Testing 2008: 77-117 |
| 148 | | Thomas Bøgholm,
Henrik Kragh-Hansen,
Petur Olsen,
Bent Thomsen,
Kim Guldstrand Larsen:
Model-based schedulability analysis of safety critical hard real-time Java programs.
JTRES 2008: 106-114 |
| 147 | | Sebastian Kupferschmid,
Jörg Hoffmann,
Kim Guldstrand Larsen:
Fast Directed Model Checking Via Russian Doll Abstraction.
TACAS 2008: 203-217 |
| 146 | | Patricia Bouyer,
Kim Guldstrand Larsen,
Nicolas Markey:
Model Checking One-clock Priced Timed Automata
CoRR abs/0805.1457: (2008) |
| 145 | | Alexandre David,
Kim Guldstrand Larsen,
Shuhao Li,
Brian Nielsen:
Cooperative Testing of Timed Systems.
Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008) |
| 144 | | Patricia Bouyer,
Ed Brinksma,
Kim Guldstrand Larsen:
Optimal infinite scheduling for multi-priced timed automata.
Formal Methods in System Design 32(1): 3-23 (2008) |
| 143 | | Patricia Bouyer,
Kim Guldstrand Larsen,
Nicolas Markey:
Model Checking One-Clock Priced Timed Automata.
Logical Methods in Computer Science 4(2): (2008) |
| 142 | | Kim Guldstrand Larsen,
Jacob Illum Rasmussen:
Optimal reachability for multi-priced timed automata.
Theor. Comput. Sci. 390(2-3): 197-213 (2008) |
| 2007 |
|---|
| 141 | | Franck Cassez,
Alexandre David,
Kim Guldstrand Larsen,
Didier Lime,
Jean-François Raskin:
Timed Control with Observation Based and Stuttering Invariant Strategies.
ATVA 2007: 192-206 |
| 140 | | Gerd Behrmann,
Agnès Cougnard,
Alexandre David,
Emmanuel Fleury,
Kim Guldstrand Larsen,
Didier Lime:
UPPAAL-Tiga: Time for Playing Games!
CAV 2007: 121-125 |
| 139 | | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
On Modal Refinement and Consistency.
CONCUR 2007: 105-119 |
| 138 | | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Modal I/O Automata for Interface and Product Line Theories.
ESOP 2007: 64-79 |
| 137 | | Henning Dierks,
Sebastian Kupferschmid,
Kim Guldstrand Larsen:
Automatic Abstraction Refinement for Timed Automata.
FORMATS 2007: 114-129 |
| 136 | | Jan Jakob Jessen,
Jacob Illum Rasmussen,
Kim Guldstrand Larsen,
Alexandre David:
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.
FORMATS 2007: 227-240 |
| 135 | | Patricia Bouyer,
Kim Guldstrand Larsen,
Nicolas Markey:
Model-Checking One-Clock Priced Timed Automata.
FoSSaCS 2007: 108-122 |
| 134 | | Jacob Illum Rasmussen,
Gerd Behrmann,
Kim Guldstrand Larsen:
Complexity in Simplicity: Flexible Agent-Based State Space Exploration.
TACAS 2007: 231-245 |
| 133 | | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Modeling software product lines using color-blind transition systems.
STTT 9(5-6): 471-487 (2007) |
| 2006 |
|---|
| 132 |  | Henrik Schiøler,
Jan Jakob Jessen,
Jens Dalsgaard,
Kim Guldstrand Larsen:
Introducing synchronisation in deterministic network models.
CAINE 2006: 236-243 |
| 131 | | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Interface Input/Output Automata.
FM 2006: 82-97 |
| 130 | | Alexandre David,
John Håkansson,
Kim Guldstrand Larsen,
Paul Pettersson:
Model Checking Timed Automata with Priorities Using DBM Subtraction.
FORMATS 2006: 128-142 |
| 129 | | Patricia Bouyer,
Kim Guldstrand Larsen,
Nicolas Markey,
Jacob Illum Rasmussen:
Almost Optimal Strategies in One Clock Priced Timed Games.
FSTTCS 2006: 345-356 |
| 128 | | Gerd Behrmann,
Alexandre David,
Kim Guldstrand Larsen,
John Håkansson,
Paul Pettersson,
Wang Yi,
Martijn Hendriks:
UPPAAL 4.0.
QEST 2006: 125-126 |
| 127 | | Jacob Illum Rasmussen,
Kim Guldstrand Larsen,
K. Subramani:
On using priced timed automata to achieve optimal scheduling.
Formal Methods in System Design 29(1): 97-114 (2006) |
| 126 | | Henrik Schiøler,
Jens Dalsgaard Nielsen,
Kim Guldstrand Larsen,
Jan Jakob Jessen:
CyNC: A method for real time analysis of systems with cyclic data flows.
J. Embedded Computing 2(3-4): 347-360 (2006) |
| 125 | | Gerd Behrmann,
Patricia Bouyer,
Kim Guldstrand Larsen,
Radek Pelánek:
Lower and upper bounds in zone-based abstractions of timed automata.
STTT 8(3): 204-215 (2006) |
| 2005 |
|---|
| 124 | | Franck Cassez,
Alexandre David,
Emmanuel Fleury,
Kim Guldstrand Larsen,
Didier Lime:
Efficient On-the-Fly Algorithms for the Analysis of Timed Games.
CONCUR 2005: 66-80 |
| 123 | | Henrik Schiøler,
Jan Jakob Jessen,
Jens Dalsgaard,
Kim Guldstrand Larsen:
Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies.
Computers and Their Applications 2005: 326-332 |
| 122 | | Kim Guldstrand Larsen,
Marius Mikucionis,
Brian Nielsen,
Arne Skou:
Testing real-time embedded software using UPPAAL-TRON: an industrial case study.
EMSOFT 2005: 299-306 |
| 121 | | Kim Guldstrand Larsen,
Ulrik Larsen,
Andrzej Wasowski:
Color-Blind Specifications for Transformations of Reactive Synchronous Programs.
FASE 2005: 160-174 |
| 120 | | Gerd Behrmann,
Kim Guldstrand Larsen,
Jacob Illum Rasmussen:
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.
FORMATS 2005: 81-94 |
| 119 | | Kim Guldstrand Larsen,
Jacob Illum Rasmussen:
Optimal Conditional Reachability for Multi-priced Timed Automata.
FoSSaCS 2005: 234-249 |
| 118 | | Gregorio Díaz,
Kim Guldstrand Larsen,
Juan José Pardo,
Fernando Cuartero,
Valentin Valero:
An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol.
SAC 2005: 815-820 |
| 117 | | Patricia Bouyer,
Franck Cassez,
Emmanuel Fleury,
Kim Guldstrand Larsen:
Synthesis of Optimal Strategies Using HyTech.
Electr. Notes Theor. Comput. Sci. 119(1): 11-31 (2005) |
| 116 | | Gerd Behrmann,
Kim Guldstrand Larsen,
Jacob Illum Rasmussen:
Optimal scheduling using priced timed automata.
SIGMETRICS Performance Evaluation Review 32(4): 34-40 (2005) |
| 2004 |
|---|
| 115 | | Marius Mikucionis,
Kim Guldstrand Larsen,
Brian Nielsen:
T-UPPAAL: Online Model-based Testing of Real-Time Systems.
ASE 2004: 396-397 |
| 114 | | Kim Guldstrand Larsen,
Marius Mikucionis,
Brian Nielsen:
Online Testing of Real-time Systems Using Uppaal.
FATES 2004: 79-94 |
| 113 | | Gerd Behrmann,
Kim Guldstrand Larsen,
Jacob Illum Rasmussen:
Priced Timed Automata: Algorithms and Applications.
FMCO 2004: 162-182 |
| 112 | | Patricia Bouyer,
Franck Cassez,
Emmanuel Fleury,
Kim Guldstrand Larsen:
Optimal Strategies in Priced Timed Game Automata.
FSTTCS 2004: 148-160 |
| 111 | | Patricia Bouyer,
Ed Brinksma,
Kim Guldstrand Larsen:
Staying Alive as Cheaply as Possible.
HSCC 2004: 203-218 |
| 110 | | Kim Guldstrand Larsen,
Marius Mikucionis,
Brian Nielsen:
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work.
Perspectives of Model-Based Testing 2004 |
| 109 | | Gerd Behrmann,
Alexandre David,
Kim Guldstrand Larsen:
A Tutorial on Uppaal.
SFM 2004: 200-236 |
| 108 | | Jacob Illum Rasmussen,
Kim Guldstrand Larsen,
K. Subramani:
Resource-Optimal Scheduling Using Priced Timed Automata.
TACAS 2004: 220-235 |
| 107 | | Gerd Behrmann,
Patricia Bouyer,
Kim Guldstrand Larsen,
Radek Pelánek:
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.
TACAS 2004: 312-326 |
| 2003 |
|---|
| 106 | | Kim Guldstrand Larsen,
Peter Niebert:
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
Springer 2003 |
| 105 | | Gerd Behrmann,
Kim Guldstrand Larsen,
Radek Pelánek:
To Store or Not to Store.
CAV 2003: 433-445 |
| 104 | | Kim Guldstrand Larsen:
Resource-Efficient Scheduling for Real Time Systems.
EMSOFT 2003: 16-19 |
| 103 | | Anders Hessel,
Kim Guldstrand Larsen,
Brian Nielsen,
Paul Pettersson,
Arne Skou:
Time-Optimal Real-Time Test Case Generation Using Uppaal.
FATES 2003: 114-130 |
| 102 | | Anders Hessel,
Kim Guldstrand Larsen,
Brian Nielsen,
Paul Pettersson,
Arne Skou:
Time-Optimal Test Cases for Real-Time Systems.
FORMATS 2003: 234-245 |
| 101 | | Martijn Hendriks,
Gerd Behrmann,
Kim Guldstrand Larsen,
Peter Niebert,
Frits W. Vaandrager:
Adding Symmetry Reduction to Uppaal.
FORMATS 2003: 46-59 |
| 100 | | Alexandre David,
Gerd Behrmann,
Kim Guldstrand Larsen,
Wang Yi:
Unification & Sharing in Timed Automata Verification.
SPIN 2003: 225-229 |
| 99 | | Gerd Behrmann,
Patricia Bouyer,
Emmanuel Fleury,
Kim Guldstrand Larsen:
Static Guard Analysis in Timed Automata Verification.
TACAS 2003: 254-277 |
| 98 | | Zoltán Ésik,
Kim Guldstrand Larsen:
Regular languages definable by Lindström quantifiers.
ITA 37(3): 179-241 (2003) |
| 97 | | Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.
Real-Time Systems 25(2-3): 255-275 (2003) |
| 96 | | Luca Aceto,
Patricia Bouyer,
Augusto Burgueño,
Kim Guldstrand Larsen:
The power of reachability testing for timed automata.
Theor. Comput. Sci. 300(1-3): 411-475 (2003) |
| 2002 |
|---|
| 95 | | Ed Brinksma,
Kim Guldstrand Larsen:
Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings
Springer 2002 |
| 94 | | Alexandre David,
Gerd Behrmann,
Kim Guldstrand Larsen,
Wang Yi:
A Tool Architecture for the Next Generation of Uppaal.
10th Anniversary Colloquium of UNU/IIST 2002: 352-366 |
| 93 | | Gerd Behrmann,
Johan Bengtsson,
Alexandre David,
Kim Guldstrand Larsen,
Paul Pettersson,
Wang Yi:
UPPAAL Implementation Secrets.
FTRTFT 2002: 3-22 |
| 92 | | Pedro R. D'Argenio,
Bertrand Jeannet,
Henrik Ejersbo Jensen,
Kim Guldstrand Larsen:
Reduction and Refinement Strategies for Probabilistic Analysis.
PAPM-PROBMIV 2002: 57-76 |
| 91 | | Martijn Hendriks,
Kim Guldstrand Larsen:
Exact Acceleration of Real-Time Model Checking.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 90 | | Gerd Behrmann,
Kim Guldstrand Larsen,
Henrik Reif Andersen,
Henrik Hulgaard,
Jørn Lind-Nielsen:
Verification of Hierarchical State/Event Systems using Reusability and Compositionality.
Formal Methods in System Design 21(2): 225-244 (2002) |
| 89 | | Johan Bengtsson,
W. O. David Griffioen,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
Automated verification of an audio-control protocol using UPPAAL.
J. Log. Algebr. Program. 52-53: 163-181 (2002) |
| 2001 |
|---|
| 88 | | Kim Guldstrand Larsen,
Mogens Nielsen:
CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings
Springer 2001 |
| 87 | | Kim Guldstrand Larsen,
Gerd Behrmann,
Ed Brinksma,
Ansgar Fehnker,
Thomas Hune,
Paul Pettersson,
Judi Romijn:
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.
CAV 2001: 493-505 |
| 86 | | Gerd Behrmann,
Ansgar Fehnker,
Thomas Hune,
Kim Guldstrand Larsen,
Paul Pettersson,
Judi Romijn,
Frits W. Vaandrager:
Minimum-Cost Reachability for Priced Timed Automata.
HSCC 2001: 147-161 |
| 85 | | Pedro R. D'Argenio,
Bertrand Jeannet,
Henrik Ejersbo Jensen,
Kim Guldstrand Larsen:
Reachability Analysis of Probabilistic Systems by Successive Refinements.
PAPM-PROBMIV 2001: 39-56 |
| 84 | | Jørn Lind-Nielsen,
Henrik Reif Andersen,
Henrik Hulgaard,
Gerd Behrmann,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen:
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
Formal Methods in System Design 18(1): 5-23 (2001) |
| 83 | | Thomas Hune,
Kim Guldstrand Larsen,
Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL.
Nord. J. Comput. 8(1): 43-64 (2001) |
| 2000 |
|---|
| 82 | | Franck Cassez,
Kim Guldstrand Larsen:
The Impressive Power of Stopwatches.
CONCUR 2000: 138-152 |
| 81 | | Torsten K. Iversen,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen,
Morten Laursen,
Rune G. Madsen,
Steffen K. Mortensen,
Paul Pettersson,
Chris B. Thomasen:
Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL.
ECRTS 2000: 147-155 |
| 80 | | Henrik Ejersbo Jensen,
Kim Guldstrand Larsen,
Arne Skou:
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction.
FTRTFT 2000: 19-30 |
| 79 | | Kim Guldstrand Larsen:
Verification of Timed and Hybrid Systems.
ICATPN 2000: 39-42 |
| 78 | | Thomas Hune,
Kim Guldstrand Larsen,
Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL.
ICDCS Workshop on Distributed System Validation and Verification 2000: E15-E22 |
| 77 | | Tobias Amnell,
Gerd Behrmann,
Johan Bengtsson,
Pedro R. D'Argenio,
Alexandre David,
Ansgar Fehnker,
Thomas Hune,
Bertrand Jeannet,
Kim Guldstrand Larsen,
M. Oliver Möller,
Paul Pettersson,
Carsten Weise,
Wang Yi:
UPPAAL - Now, Next, and Future.
MOVEP 2000: 99-124 |
| 76 | | Jørgen Staunstrup,
Henrik Reif Andersen,
Henrik Hulgaard,
Jørn Lind-Nielsen,
Kim Guldstrand Larsen,
Gerd Behrmann,
Kåre J. Kristoffersen,
Arne Skou,
Henrik Leerberg,
Niels Bo Theilgaard:
Practical Verification of Embedded Software.
IEEE Computer 33(5): 68-75 (2000) |
| 1999 |
|---|
| 75 | | Klaus Havelund,
Kim Guldstrand Larsen,
Arne Skou:
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL.
ARTS 1999: 277-298 |
| 74 | | Gerd Behrmann,
Kim Guldstrand Larsen,
Justin Pearson,
Carsten Weise,
Wang Yi:
Efficient Timed Reachability Analysis Using Clock Difference Diagrams.
CAV 1999: 341-353 |
| 73 | | Gerd Behrmann,
Kim Guldstrand Larsen,
Henrik Reif Andersen,
Henrik Hulgaard,
Jørn Lind-Nielsen:
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.
TACAS 1999: 163-177 |
| 72 | | Kim Guldstrand Larsen,
Justin Pearson,
Carsten Weise,
Wang Yi:
Clock Difference Diagrams.
Nord. J. Comput. 6(3): 271-298 (1999) |
| 1998 |
|---|
| 71 | | Kim Guldstrand Larsen,
Sven Skyum,
Glynn Winskel:
Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings
Springer 1998 |
| 70 | | François Laroussinie,
Kim Guldstrand Larsen:
CMC: A Tool for Compositional Model-Checking of Real-Time Systems.
FORTE 1998: 439-456 |
| 69 | | Luca Aceto,
Patricia Bouyer,
Augusto Burgueño,
Kim Guldstrand Larsen:
The Power of Reachability Testing for Timed Automata.
FSTTCS 1998: 245-256 |
| 68 | | Jørn Lind-Nielsen,
Henrik Reif Andersen,
Gerd Behrmann,
Henrik Hulgaard,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen:
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
TACAS 1998: 201-216 |
| 67 | | Luca Aceto,
Augusto Burgueño,
Kim Guldstrand Larsen:
Model Checking via Reachability Testing for Timed Automata.
TACAS 1998: 263-280 |
| 1997 |
|---|
| 66 | | Kim Guldstrand Larsen,
Paul Pettersson,
Wang Yi:
UPPAAL: Status & Developments.
CAV 1997: 456-459 |
| 65 | | Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
Efficient verification of real-time systems: compact data structure and state-space reduction.
IEEE Real-Time Systems Symposium 1997: 14-24 |
| 64 | | Klaus Havelund,
Arne Skou,
Kim Guldstrand Larsen,
K. Lund:
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAA.
IEEE Real-Time Systems Symposium 1997: 2-13 |
| 63 | | Kåre J. Kristoffersen,
François Laroussinie,
Kim Guldstrand Larsen,
Paul Pettersson,
Wang Yi:
A Compositional Proof of a Real-Time Mutual Exclusion Protocol.
TAPSOFT 1997: 565-579 |
| 62 | | Kim Guldstrand Larsen,
Wang Yi:
Time-abstracted Bisimulation: Implicit Specifications and Decidability.
Inf. Comput. 134(2): 75-101 (1997) |
| 61 | | Kim Guldstrand Larsen,
Paul Pettersson,
Wang Yi:
UPPAAL in a Nutshell.
STTT 1(1-2): 134-152 (1997) |
| 60 | | Kim Guldstrand Larsen,
Bernhard Steffen,
Carsten Weise:
Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools.
STTT 1(1-2): 64-85 (1997) |
| 1996 |
|---|
| 59 | | Johan Bengtsson,
W. O. David Griffioen,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
Verification of an Audio Protocol with Bus Collision Using UPPAAL.
CAV 1996: 244-256 |
| 58 | | Johan Bengtsson,
Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
UPPAAL in 1995.
TACAS 1996: 431-434 |
| 1995 |
|---|
| 57 | | Ed Brinksma,
Rance Cleaveland,
Kim Guldstrand Larsen,
Tiziana Margaria,
Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings
Springer 1995 |
| 56 | | François Laroussinie,
Kim Guldstrand Larsen:
Compositional Model Checking of Real Time Systems.
CONCUR 1995: 27-41 |
| 55 | | Kim Guldstrand Larsen,
Paul Pettersson,
Wang Yi:
Model-Checking for Real-Time Systems.
FCT 1995: 62-88 |
| 54 | | Johan Bengtsson,
Kim Guldstrand Larsen,
Fredrik Larsson,
Paul Pettersson,
Wang Yi:
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.
Hybrid Systems 1995: 232-243 |
| 53 | | Kim Guldstrand Larsen,
Paul Pettersson,
Wang Yi:
Diagnostic Model-Checking for Real-Time Systems.
Hybrid Systems 1995: 575-586 |
| 52 | | Kim Guldstrand Larsen,
Bernhard Steffen,
Carsten Weise:
Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints.
Hybrid Systems 1995: 604-615 |
| 51 | | Jørgen H. Andersen,
Kåre J. Kristoffersen,
Kim Guldstrand Larsen,
Jesper Niedermann:
Automatic Synthesis of Real Time Systems.
ICALP 1995: 535-546 |
| 50 | | Kim Guldstrand Larsen,
Paul Pettersson,
Wang Yi:
Compositional and Symbolic Model-Checking of Real-Time Systems.
IEEE Real-Time Systems Symposium 1995: 76-89 |
| 49 | | Jens Chr. Godskesen,
Kim Guldstrand Larsen:
Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract).
MFCS 1995: 519-528 |
| 48 | | François Laroussinie,
Kim Guldstrand Larsen,
Carsten Weise:
From Timed Automata to Logic - and Back.
MFCS 1995: 529-539 |
| 47 | | Kim Guldstrand Larsen,
Bernhard Steffen,
Carsten Weise:
A Constraint Oriented Proof Methodology Based on Modal Transition Systems.
TACAS 1995: 17-40 |
| 46 | | Anders Børjesson,
Kim Guldstrand Larsen,
Arne Skou:
Generality in Design and Compositional Verification Using TAV.
Formal Methods in System Design 6(3): 239-258 (1995) |
| 45 | | Jens Chr. Godskesen,
Kim Guldstrand Larsen:
Synthesizing Distinguishing Formulae for Real Time Systems.
Nord. J. Comput. 2(3): 338-357 (1995) |
| 1994 |
|---|
| 44 | | Kim Guldstrand Larsen,
Bernhard Steffen,
Carsten Weise:
The Methodology of Modal Constraints.
Formal Systems Specification 1994: 405-435 |
| 43 | | Jens Chr. Godskesen,
Kim Guldstrand Larsen,
Arne Skou:
Automatic verification of real-tim systems using epsilon.
PSTV 1994: 323-330 |
| 42 | | Klaus Havelund,
Kim Guldstrand Larsen:
A refinement logic for the fork calculus.
PSTV 1994: 5-20 |
| 41 | | Klaus Havelund,
Kim Guldstrand Larsen:
The Fork Calculus.
Nord. J. Comput. 1(3): 346-363 (1994) |
| 1993 |
|---|
| 40 | | Karlis Cerans,
Jens Chr. Godskesen,
Kim Guldstrand Larsen:
Timed Modal Specification - Theory and Tools.
CAV 1993: 253-267 |
| 39 | | Ole Høgh Jensen,
Jarl Tuxen Lang,
Christian Jeppesen,
Kim Guldstrand Larsen:
Model Construction for Implicit Specifications in Model Logic.
CONCUR 1993: 247-261 |
| 38 | | Klaus Havelund,
Kim Guldstrand Larsen:
The Fork Calculus.
ICALP 1993: 544-557 |
| 37 | | Kim Guldstrand Larsen,
Wang Yi:
Time Abstracted Bisimiulation: Implicit Specifications and Decidability.
MFPS 1993: 160-176 |
| 36 | | Kim Guldstrand Larsen:
The Expressive Power of Implicit Specifications.
Theor. Comput. Sci. 114(1): 119-147 (1993) |
| 1992 |
|---|
| 35 | | Kim Guldstrand Larsen,
Arne Skou:
Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings
Springer 1992 |
| 34 | | Kim Guldstrand Larsen:
Efficient Local Correctness Checking.
CAV 1992: 30-43 |
| 33 | | Kim Guldstrand Larsen,
Arne Skou:
Compositional Verification of Probabilistic Processes.
CONCUR 1992: 456-471 |
| 32 | | Anders Børjesson,
Kim Guldstrand Larsen,
Arne Skou:
Generality in design and compositional verification using TAV.
FORTE 1992: 449-464 |
| 31 | | Jens Chr. Godskesen,
Kim Guldstrand Larsen:
Real-Time Calculi and Expansion Theorems.
FSTTCS 1992: 302-315 |
| 30 | | Jens Chr. Godskesen,
Kim Guldstrand Larsen:
Real-Time Calculi and Expansion Theorems.
NAPAW 1992: 3-12 |
| 29 | | Wang Yi,
Kim Guldstrand Larsen:
Testing Probabilistic and Nondeterministic Processes.
PSTV 1992: 47-61 |
| 28 | | Kim Guldstrand Larsen,
Robin Milner:
A Compositional Protocol Verification Using Relativized Bisimulation
Inf. Comput. 99(1): 80-108 (1992) |
| 27 | | Gérard Boudol,
Kim Guldstrand Larsen:
Graphical Versus Logical Specifications.
Theor. Comput. Sci. 106(1): 3-20 (1992) |
| 1991 |
|---|
| 26 | | Uno Holmer,
Kim Guldstrand Larsen,
Wang Yi:
Deciding Properties of Regular Real Time Processes.
CAV 1991: 443-453 |
| 25 | | Kim Guldstrand Larsen:
The Expressive Power of Implicit Specifications.
ICALP 1991: 204-216 |
| 24 | | Bengt Jonsson,
Kim Guldstrand Larsen:
Specification and Refinement of Probabilistic Processes
LICS 1991: 266-277 |
| 23 | | Bengt Jonsson,
Kim Guldstrand Larsen:
On the Complexity of Equation Solving in Process Algebra.
TAPSOFT, Vol.1 1991: 381-396 |
| 22 | | Kim Guldstrand Larsen,
Glynn Winskel:
Using Information Systems to Solve Recursive Domain Equations
Inf. Comput. 91(2): 232-258 (1991) |
| 21 | | Kim Guldstrand Larsen,
Arne Skou:
Bisimulation through Probabilistic Testing
Inf. Comput. 94(1): 1-28 (1991) |
| 20 | | Kim Guldstrand Larsen,
Liu Xinxin:
Compositionality through an Operational Semantics of Contexts.
J. Log. Comput. 1(6): 761-795 (1991) |
| 19 | | Kim Guldstrand Larsen,
Bent Thomsen:
Partial Specifications and Compositional Verification.
Theor. Comput. Sci. 88(1): 15-32 (1991) |
| 1990 |
|---|
| 18 | | Gérard Boudol,
Kim Guldstrand Larsen:
Graphical versus Logical Specifications.
CAAP 1990: 57-71 |
| 17 | | Kim Guldstrand Larsen:
Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ...
CONCUR 1990: 33-56 |
| 16 | | Kim Guldstrand Larsen,
Liu Xinxin:
Compositionality Through an Operational Semantics of Contexts.
ICALP 1990: 526-539 |
| 15 | | Kim Guldstrand Larsen,
Liu Xinxin:
Equation Solving Using Modal Transition Systems
LICS 1990: 108-117 |
| 14 | | Kim Guldstrand Larsen:
Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion.
Theor. Comput. Sci. 72(2&3): 265-288 (1990) |
| 1989 |
|---|
| 13 | | Kim Guldstrand Larsen:
Modal Specifications.
Automatic Verification Methods for Finite State Systems 1989: 232-246 |
| 12 | | Hans Hüttel,
Kim Guldstrand Larsen:
The Use of Static Constructs in A Modal Process Logic.
Logic at Botik 1989: 163-180 |
| 11 | | Kim Guldstrand Larsen,
Arne Skou:
Bisimulation Through Probabilistic Testing.
POPL 1989: 344-352 |
| 10 | | Kim Guldstrand Larsen:
Compositional Theories Based on an Operational Semantics of Contexts.
REX Workshop 1989: 487-518 |
| 1988 |
|---|
| 9 | | Kim Guldstrand Larsen:
Proof System for Hennessy-Milner Logic with Recursion.
CAAP 1988: 215-230 |
| 8 | | Kim Guldstrand Larsen,
Bent Thomsen:
A Modal Process Logic
LICS 1988: 203-210 |
| 7 | | Kim Guldstrand Larsen,
Bent Thomsen:
Compositional Proofs by Partial Specification of Processes.
MFCS 1988: 414-423 |
| 1987 |
|---|
| 6 | | Kim Guldstrand Larsen,
Robin Milner:
Verifying a Protocol Using Relativized Bisimulation.
ICALP 1987: 126-135 |
| 5 | | Kim Guldstrand Larsen:
A Context Dependent Equivalence Between Processes.
Theor. Comput. Sci. 49: 184-215 (1987) |
| 4 | | Finn Verner Jensen,
Kim Guldstrand Larsen:
Recursively Defined Doains and their Induction Principles.
Theor. Comput. Sci. 54: 29-51 (1987) |
| 1985 |
|---|
| 3 | | Finn Verner Jensen,
Kim Guldstrand Larsen:
Recursively Defined Domains and Their Induction Principles.
FSTTCS 1985: 225-245 |
| 2 | | Kim Guldstrand Larsen:
A Context Dependent Equivalence between Processes.
ICALP 1985: 373-382 |
| 1984 |
|---|
| 1 | | Glynn Winskel,
Kim Guldstrand Larsen:
Using Information Systems to Solve Recursive Domain Equations Effectively.
Semantics of Data Types 1984: 109-129 |
