dblp.uni-trier.dewww.uni-trier.de

Kim Guldstrand Larsen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
159EEPeter Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen: Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS 2009: 73-87
158EEFranck 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
157EENikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126
156EEKim Guldstrand Larsen: Verification and Performance Analysis for Embedded Systems. TASE 2009: 3-4
155EEUlrich Fahrenberg, Kim Guldstrand Larsen: Discount-Optimal Infinite Runs in Priced Timed Automata. Electr. Notes Theor. Comput. Sci. 239: 179-191 (2009)
154EEAdam 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)
153EENikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009)
2008
152EEAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491
151EEPatricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba: Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47
150EEAdam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126
149EEAnders 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
148EEThomas 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
147EESebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen: Fast Directed Model Checking Via Russian Doll Abstraction. TACAS 2008: 203-217
146EEPatricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model Checking One-clock Priced Timed Automata CoRR abs/0805.1457: (2008)
145EEAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Cooperative Testing of Timed Systems. Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008)
144EEPatricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design 32(1): 3-23 (2008)
143EEPatricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model Checking One-Clock Priced Timed Automata. Logical Methods in Computer Science 4(2): (2008)
142EEKim Guldstrand Larsen, Jacob Illum Rasmussen: Optimal reachability for multi-priced timed automata. Theor. Comput. Sci. 390(2-3): 197-213 (2008)
2007
141EEFranck 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
140EEGerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125
139EEKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: On Modal Refinement and Consistency. CONCUR 2007: 105-119
138EEKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79
137EEHenning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen: Automatic Abstraction Refinement for Timed Automata. FORMATS 2007: 114-129
136EEJan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David: Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS 2007: 227-240
135EEPatricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model-Checking One-Clock Priced Timed Automata. FoSSaCS 2007: 108-122
134EEJacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen: Complexity in Simplicity: Flexible Agent-Based State Space Exploration. TACAS 2007: 231-245
133EEKim 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
131EEKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Interface Input/Output Automata. FM 2006: 82-97
130EEAlexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson: Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142
129EEPatricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen: Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS 2006: 345-356
128EEGerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
127EEJacob 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)
126EEHenrik 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)
125EEGerd 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
124EEFranck 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
122EEKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou: Testing real-time embedded software using UPPAAL-TRON: an industrial case study. EMSOFT 2005: 299-306
121EEKim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski: Color-Blind Specifications for Transformations of Reactive Synchronous Programs. FASE 2005: 160-174
120EEGerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. FORMATS 2005: 81-94
119EEKim Guldstrand Larsen, Jacob Illum Rasmussen: Optimal Conditional Reachability for Multi-priced Timed Automata. FoSSaCS 2005: 234-249
118EEGregorio 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
117EEPatricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Synthesis of Optimal Strategies Using HyTech. Electr. Notes Theor. Comput. Sci. 119(1): 11-31 (2005)
116EEGerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Optimal scheduling using priced timed automata. SIGMETRICS Performance Evaluation Review 32(4): 34-40 (2005)
2004
115EEMarius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen: T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE 2004: 396-397
114EEKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-time Systems Using Uppaal. FATES 2004: 79-94
113EEGerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Priced Timed Automata: Algorithms and Applications. FMCO 2004: 162-182
112EEPatricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160
111EEPatricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Staying Alive as Cheaply as Possible. HSCC 2004: 203-218
110EEKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. Perspectives of Model-Based Testing 2004
109EEGerd Behrmann, Alexandre David, Kim Guldstrand Larsen: A Tutorial on Uppaal. SFM 2004: 200-236
108EEJacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani: Resource-Optimal Scheduling Using Priced Timed Automata. TACAS 2004: 220-235
107EEGerd 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
105EEGerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek: To Store or Not to Store. CAV 2003: 433-445
104EEKim Guldstrand Larsen: Resource-Efficient Scheduling for Real Time Systems. EMSOFT 2003: 16-19
103EEAnders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130
102EEAnders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou: Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245
101EEMartijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager: Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59
100EEAlexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229
99EEGerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen: Static Guard Analysis in Timed Automata Verification. TACAS 2003: 254-277
98EEZoltán Ésik, Kim Guldstrand Larsen: Regular languages definable by Lindström quantifiers. ITA 37(3): 179-241 (2003)
97EEKim 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)
96EELuca 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
94EEAlexandre 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
93EEGerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
92EEPedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76
91EEMartijn 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)
89EEJohan 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
87EEKim 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
86EEGerd 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
85EEPedro 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
82EEFranck Cassez, Kim Guldstrand Larsen: The Impressive Power of Stopwatches. CONCUR 2000: 138-152
81EETorsten 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
80EEHenrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou: Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. FTRTFT 2000: 19-30
79EEKim 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
77EETobias 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
76EEJø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
75EEKlaus Havelund, Kim Guldstrand Larsen, Arne Skou: Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298
74EEGerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353
73EEGerd 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
69EELuca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen: The Power of Reachability Testing for Timed Automata. FSTTCS 1998: 245-256
68EEJø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
67EELuca Aceto, Augusto Burgueño, Kim Guldstrand Larsen: Model Checking via Reachability Testing for Timed Automata. TACAS 1998: 263-280
1997
66EEKim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL: Status & Developments. CAV 1997: 456-459
65EEKim 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
64EEKlaus 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
63EEKå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)
61EEKim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL in a Nutshell. STTT 1(1-2): 134-152 (1997)
60EEKim 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
59EEJohan 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
56EEFranç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
51EEJø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
49EEJens Chr. Godskesen, Kim Guldstrand Larsen: Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). MFCS 1995: 519-528
48EEFranç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
40EEKarlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen: Timed Modal Specification - Theory and Tools. CAV 1993: 253-267
39EEOle Høgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen: Model Construction for Implicit Specifications in Model Logic. CONCUR 1993: 247-261
38EEKlaus Havelund, Kim Guldstrand Larsen: The Fork Calculus. ICALP 1993: 544-557
37EEKim 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
34EEKim Guldstrand Larsen: Efficient Local Correctness Checking. CAV 1992: 30-43
33EEKim 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
31EEJens 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
26EEUno Holmer, Kim Guldstrand Larsen, Wang Yi: Deciding Properties of Regular Real Time Processes. CAV 1991: 443-453
25EEKim 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
23EEBengt 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
18EEGérard Boudol, Kim Guldstrand Larsen: Graphical versus Logical Specifications. CAAP 1990: 57-71
17EEKim Guldstrand Larsen: Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... CONCUR 1990: 33-56
16EEKim 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
13EEKim Guldstrand Larsen: Modal Specifications. Automatic Verification Methods for Finite State Systems 1989: 232-246
12EEHans 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
10EEKim Guldstrand Larsen: Compositional Theories Based on an Operational Semantics of Contexts. REX Workshop 1989: 487-518
1988
9EEKim 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
7EEKim Guldstrand Larsen, Bent Thomsen: Compositional Proofs by Partial Specification of Processes. MFCS 1988: 414-423
1987
6EEKim 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
3EEFinn Verner Jensen, Kim Guldstrand Larsen: Recursively Defined Domains and Their Induction Principles. FSTTCS 1985: 225-245
2EEKim 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

Coauthor Index

1Luca Aceto [67] [69] [96]
2Tobias Amnell [77]
3Henrik Reif Andersen [68] [73] [76] [84] [90]
4Jørgen H. Andersen [51]
5Adam Antonik [150] [154]
6Gerd Behrmann [68] [73] [74] [76] [77] [84] [86] [87] [90] [93] [94] [99] [100] [101] [105] [107] [109] [113] [116] [120] [125] [128] [134] [140]
7Nikola Benes [153] [157]
8Johan Bengtsson [54] [58] [59] [77] [89] [93]
9Thomas Bøgholm [148]
10Anders Børjesson [32] [46]
11Gérard Boudol [18] [27]
12Patricia Bouyer [69] [96] [99] [107] [111] [112] [117] [125] [129] [135] [143] [144] [146] [151]
13Ed Brinksma [57] [87] [95] [111] [144]
14Peter Bulychev [159]
15Augusto Burgueño [67] [69] [96]
16Franck Cassez [82] [112] [117] [124] [141] [158]
17Karlis Cerans [40]
18Thomas Chatain [159]
19Rance Cleaveland [57]
20Agnès Cougnard [140]
21Fernando Cuartero [118]
22Pedro R. D'Argenio [77] [85] [92]
23Jens Dalsgaard [123] [132]
24Alexandre David [77] [93] [94] [100] [109] [124] [128] [130] [136] [140] [141] [145] [152] [159]
25Gregorio Díaz [118]
26Henning Dierks [137]
27Zoltán Ésik [98]
28Ulrich Fahrenberg [151] [155]
29Ansgar Fehnker [77] [86] [87]
30Emmanuel Fleury [99] [112] [117] [124] [140]
31Jens Chr. Godskesen [30] [31] [40] [43] [45] [49]
32W. O. David Griffioen [59] [89]
33John Håkansson [128] [130]
34Klaus Havelund [38] [41] [42] [64] [75]
35Martijn Hendriks [91] [101] [128]
36Anders Hessel [102] [103] [149]
37Jörg Hoffmann [147]
38Uno Holmer [26]
39Henrik Hulgaard [68] [73] [76] [84] [90]
40Thomas Hune [77] [78] [83] [86] [87]
41Michael Huth [150] [154]
42Hans Hüttel [12]
43Torsten K. Iversen [81]
44Bertrand Jeannet [77] [85] [92]
45Finn Verner Jensen [3] [4]
46Henrik Ejersbo Jensen [80] [85] [92]
47Ole Høgh Jensen [39]
48Christian Jeppesen [39]
49Jan Jakob Jessen [123] [126] [132] [136] [158]
50Bengt Jonsson [23] [24]
51Henrik Kragh-Hansen [148]
52Jan Kretínský [153] [157]
53Kåre J. Kristoffersen [51] [59] [63] [68] [76] [81] [84] [89]
54Sebastian Kupferschmid [137] [147]
55Jarl Tuxen Lang [39]
56François Laroussinie [48] [56] [63] [70]
57Fredrik Larsson [54] [58] [59] [65] [89] [97]
58Morten Laursen [81]
59Henrik Leerberg [76]
60Shuhao Li [145] [152]
61Didier Lime [124] [140] [141]
62Jørn Lind-Nielsen [68] [73] [76] [84] [90]
63K. Lund [64]
64Rune G. Madsen [81]
65Tiziana Margaria (Tiziana Margaria-Steffen) [57]
66Nicolas Markey [129] [135] [143] [146] [151]
67Marius Mikucionis [110] [114] [115] [122] [149]
68Robin Milner [6] [28]
69M. Oliver Möller [77]
70Steffen K. Mortensen [81]
71Peter Niebert [101] [106]
72Jesper Niedermann [51]
73Brian Nielsen [102] [103] [110] [114] [115] [122] [145] [149] [152]
74Jens Dalsgaard Nielsen [126]
75Mogens Nielsen [88]
76Ulrik Nyman (Ulrik Larsen) [121] [131] [133] [138] [139] [150] [154]
77Petur Olsen [148]
78Juan José Pardo [118]
79Justin Pearson [72] [74]
80Radek Pelánek [105] [107] [125]
81Paul Pettersson [50] [53] [54] [55] [58] [59] [61] [63] [65] [66] [77] [78] [81] [83] [86] [87] [89] [93] [97] [102] [103] [128] [130] [149]
82Jean-François Raskin [141] [158]
83Jacob Illum Rasmussen [108] [113] [116] [119] [120] [127] [129] [134] [136] [142]
84Pierre-Alain Reynier [158]
85Judi Romijn [86] [87]
86Valentín Valero Ruiz (Valentin Valero) [118]
87Henrik Schiøler [123] [126] [132]
88Arne Skou [11] [21] [32] [33] [35] [43] [46] [64] [75] [76] [80] [102] [103] [122] [149]
89Sven Skyum [71]
90Jirí Srba [151] [153] [157]
91Jørgen Staunstrup [76]
92Bernhard Steffen [44] [47] [52] [57] [60]
93K. Subramani [108] [127]
94Niels Bo Theilgaard [76]
95Chris B. Thomasen [81]
96Bent Thomsen [7] [8] [19] [148]
97Frits W. Vaandrager [86] [101]
98Andrzej Wasowski [121] [131] [133] [138] [139] [150] [154]
99Carsten Weise [44] [47] [48] [52] [60] [72] [74] [77]
100Glynn Winskel [1] [22] [71]
101Liu Xinxin [15] [16] [20]
102Wang Yi [26] [29] [37] [50] [53] [54] [55] [58] [59] [61] [62] [63] [65] [66] [72] [74] [77] [89] [93] [94] [97] [100] [128]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)