Kim Guldstrand Larsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
133
Venues
45
Active years
1985–2026
Best venue rank
A*
Where they publish
- ATACAS13 papers
- A*CAV12 papers
- CISoLA10 papers
- BCONCUR9 papers
- A*ICALP7 papers
- CFMICS5 papers
- BATVA5 papers
- BFM5 papers
- BFOSSACS5 papers
- CICTAC4 papers
- NationalTASE4 papers
- CVECoS4 papers
- BMFCS4 papers
- BFASE3 papers
- NationalSETTA3 papers
- Journal PublishedEMSOFT3 papers
- ARTSS3 papers
- A*LICS3 papers
- CIECON2 papers
- BLPAR2 papers
- ADATE2 papers
- CFORTE2 papers
- A*ICML1 paper
- BVTC1 paper
- BSEFM1 paper
- BRV1 paper
- CISCC1 paper
- CLOPSTR1 paper
- BICECCS1 paper
- CICFEM1 paper
- BSOFSEM1 paper
- CDDECS1 paper
- CTIME1 paper
- A*CCS1 paper
- NationalIRI1 paper
- BIFM1 paper
- AICST1 paper
- AESOP1 paper
- CCAINE1 paper
- NationalCATA1 paper
- MulticonferenceSAC1 paper
- BECRTS1 paper
- BFCT1 paper
- BMFPS1 paper
- A*POPL1 paper
Papers
133 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Analysis and Verification of Quantum Communication Protocols in UPPAAL. | Ren Bdker Christensen, Nikolaj Rossander Kristensen, Kim Guldstrand Larsen, Marius Mikucionis, Jir Srba, Loke Walsted |
| 2025 | FMICS | Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs. | Andreas Kjeldgaard Brandhj, Tobias Worm Bgedal, Ren Rydhof Hansen, Kim Guldstrand Larsen, Danny Bgsted Poulsen |
| 2025 | ICML | RobustZero: Enhancing MuZero Reinforcement Learning Robustness to State Perturbations. | Yushuai Li, Hengyu Liu, Torben Bach Pedersen, Yuqiang He, Kim Guldstrand Larsen, Lu Chen, Christian S. Jensen, Jiachen Xu, Tianyi Li |
| 2025 | ICTAC | Timed Monitoring and Timed Monitorability. | Kim Guldstrand Larsen |
| 2025 | VTC | Kano Model for Enhanced Satisfaction in User-Centric EV Charging and P2P Energy Trading. | Min Zhang, Yushuai Li, Tianyi Li, Torben Bach Pedersen, Kim Guldstrand Larsen, Christian S. Jensen |
| 2025 | SEFM | Exploring Unknown Environments with Uppaal Stratego: Safe Reinforcement Learning for Navigation and Pump Localization. | Magnus Kallestrup Axelsen, Martin Kristjansen, Kim Guldstrand Larsen, Thomas Grubbe Sandborg Lauritsen |
| 2024 | ISoLA | CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. | Rong Gu, Kaige Tan, Andreas Holck Heg-Petersen, Lei Feng, Kim Guldstrand Larsen |
| 2024 | RV | The Complexity of Data-Free Nfer. | Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann |
| 2024 | TASE | Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. | Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano |
| 2024 | VECoS | Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. | Tobias Worm Bgedal, Ren Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bgsted Poulsen |
| 2024 | VECoS | Efficient Shield Synthesis via State-Space Transformation. | Asger Horn Brorholt, Andreas Holck Heg-Petersen, Kim Guldstrand Larsen, Christian Schilling |
| 2024 | VECoS | Reinforcement Learning for Discretized Euclidean MDPs. | Manfred Jaeger, Kim Guldstrand Larsen |
| 2023 | FASE | A Modeling Concept for Formal Verification of OS-Based Compositional Software. | Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach |
| 2023 | FMICS | Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. | Imran Riaz Hasrat, Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2023 | FMICS | Refinement of Systems with an Attacker Focus. | Kim Guldstrand Larsen, Axel Legay, Danny Bgsted Poulsen |
| 2023 | IECON | Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego. | Martin Kristjansen, Abhijit Kulkarni, Peter Gjl Jensen, Remus Teodorescu, Kim Guldstrand Larsen |
| 2023 | VECoS | Shielded Reinforcement Learning for Hybrid Systems. | Asger Horn Brorholt, Peter Gjl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling |
| 2022 | ISoLA | Importance Splitting in Uppaal. | Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen |
| 2022 | TASE | End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. | Imran Riaz Hasrat, Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2022 | TASE | AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. | Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jir Srba |
| 2021 | FMICS | Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
| 2021 | ISCC | A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT. | Michele Albano, Stefano Chessa, Kim Guldstrand Larsen |
| 2020 | ISoLA | Approximating Euclidean by Imprecise Markov Decision Processes. | Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjl Jensen |
| 2020 | LOPSTR | Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. | Sren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jir Srba |
| 2020 | SETTA | Randomized Refinement Checking of Timed I/O Automata. | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
| 2019 | ATVA | Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. | Manfred Jaeger, Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist |
| 2019 | TACAS | Abstract Dependency Graphs and Their Application to Model Checking. | Sren Enevoldsen, Kim Guldstrand Larsen, Jir Srba |
| 2018 | CAV | Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. | Frederik M. Bnneland, Peter Gjl Jensen, Kim Guldstrand Larsen, Marco Muiz, Jir Srba |
| 2018 | FM | Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. | Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier |
| 2018 | FM | 20 Years of Real Real Time Model Validation. | Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen |
| 2018 | ISoLA | Statistical Model Checking the 2018 Edition! | Kim Guldstrand Larsen, Axel Legay |
| 2017 | ICECCS | Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. | Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman |
| 2017 | ICFEM | Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. | Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns |
| 2017 | ICTAC | PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. | Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2017 | SOFSEM | Dependable and Optimal Cyber-Physical Systems. | Kim Guldstrand Larsen |
| 2017 | TACAS | Validation, Synthesis and Optimization for Cyber-Physical Systems. | Kim Guldstrand Larsen |
| 2016 | DDECS | Energy-aware scheduling of FIR filter structures using a timed automata model. | Erik Ramsgaard Wognsen, Ren Rydhof Hansen, Kim Guldstrand Larsen, Peter Koch |
| 2016 | FMICS | A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. | Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen |
| 2016 | IECON | Toolchain for user-centered intelligent floor heating control. | Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muiz, Petur Olsen, Thomas Pedersen, Jir Srba, Arne Skou |
| 2016 | SETTA | Distributed Computation of Fixed Points on Dependency Graphs. | Andreas Engelbredt Dalsgaard, Sren Enevoldsen, Kim Guldstrand Larsen, Jir Srba |
| 2016 | SETTA | A Complete Approximation Theory for Weighted Transition Systems. | Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue |
| 2016 | TIME | Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. | Kim Guldstrand Larsen |
| 2015 | CCS | Modelling Social-Technical Attacks with Timed Automata. | Nicolas David, Alexandre David, Ren Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst |
| 2015 | CONCUR | Polynomial Time Decidability of Weighted Synchronization under Partial Observability. | Jan Kretnsk, Kim Guldstrand Larsen, Simon Laursen, Jir Srba |
| 2015 | FOSSACS | On the Total Variation Distance of Semi-Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare |
| 2015 | FOSSACS | Compositional Metric Reasoning with Probabilistic Process Calculi. | Daniel Gebler, Kim Guldstrand Larsen, Simone Tini |
| 2015 | ICALP | Language Emptiness of Continuous-Time Parametric Timed Automata. | Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jir Srba |
| 2015 | IRI | Formal Methods for Modelling and Analysis of Single-Event Upsets. | Ren Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen |
| 2015 | TACAS | Uppaal Stratego. | Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist |
| 2014 | ATVA | On Time with Minimal Expected Cost! | Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Srensen, Jakob Haahr Taankvist |
| 2014 | CONCUR | Synchronizing Strategies under Partial Observability. | Kim Guldstrand Larsen, Simon Laursen, Jir Srba |
| 2014 | ICTAC | A Decidable Recursive Logic for Weighted Transition Systems. | Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue |
| 2014 | ISoLA | Statistical Model Checking Past, Present, and Future - (Track Introduction). | Kim Guldstrand Larsen, Axel Legay |
| 2014 | ISoLA | Battery-Aware Scheduling of Mixed Criticality Systems. | Erik Ramsgaard Wognsen, Ren Rydhof Hansen, Kim Guldstrand Larsen |
| 2013 | CAV | Multi-core Emptiness Checking of Timed Bchi Automata Using Inclusion Abstraction. | Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol |
| 2013 | IFM | Priced Timed Automata and Statistical Model Checking. | Kim Guldstrand Larsen |
| 2012 | ATVA | Controllers with Minimal Observation Power (Application to Timed Systems). | Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-Franois Raskin, Pierre-Alain Reynier |
| 2012 | FASE | Moving from Specifications to Contracts in Component-Based Design. | Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
| 2012 | ISoLA | Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis |
| 2012 | ISoLA | Runtime Verification of Biological Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2012 | ISoLA | Quantitative Modelling and Analysis. | Joost-Pieter Katoen, Kim Guldstrand Larsen |
| 2012 | LPAR | Dual-Priced Modal Transition Systems with Time Durations. | Nikola Benes, Jan Kretnsk, Kim Guldstrand Larsen, Mikael H. Mller, Jir Srba |
| 2012 | LPAR | Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen, Amlie Stainer |
| 2012 | MFCS | Taking It to the Limit: Approximate Reasoning for Markov Processes. | Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden |
| 2010 | ATVA | ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
| 2010 | DATE | Scenario-based analysis and synthesis of real-time systems using uppaal. | Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas |
| 2010 | EMSOFT | Quantitative system validation in model driven design. | Holger Hermanns, Kim Guldstrand Larsen, Jean-Franois Raskin, Jan Tretmans |
| 2010 | ISoLA | Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. | Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard |
| 2009 | FM | Model-Based GUI Testing Using Uppaal at Novo Nordisk. | Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou |
| 2009 | FM | Verifying Real-Time Systems against Scenario-Based Requirements. | Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas |
| 2009 | ICST | Timed Testing under Partial Observability. | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
| 2009 | ICTAC | Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. | Nikola Benes, Jan Kretnsk, Kim Guldstrand Larsen, Jir Srba |
| 2009 | TASE | Verification and Performance Analysis for Embedded Systems. | Kim Guldstrand Larsen |
| 2008 | DATE | A Game-Theoretic Approach to Real-Time System Testing. | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
| 2008 | FOSSACS | Complexity of Decision Problems for Mixed and Modal Specifications. | Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2008 | TACAS | Fast Directed Model Checking Via Russian Doll Abstraction. | Sebastian Kupferschmid, Jrg Hoffmann, Kim Guldstrand Larsen |
| 2007 | ATVA | Timed Control with Observation Based and Stuttering Invariant Strategies. | Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-Franois Raskin |
| 2007 | CAV | UPPAAL-Tiga: Time for Playing Games! | Gerd Behrmann, Agns Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2007 | CONCUR | On Modal Refinement and Consistency. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2007 | ESOP | Modal I/O Automata for Interface and Product Line Theories. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2007 | FOSSACS | Model-Checking One-Clock Priced Timed Automata. | Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey |
| 2007 | TACAS | Complexity in Simplicity: Flexible Agent-Based State Space Exploration. | Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen |
| 2006 | CAINE | Introducing synchronisation in deterministic network models. | Henrik Schiler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen |
| 2006 | FM | Interface Input/Output Automata. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2005 | CATA | Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies. | Henrik Schiler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen |
| 2005 | CONCUR | Efficient On-the-Fly Algorithms for the Analysis of Timed Games. | Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2005 | EMSOFT | Testing real-time embedded software using UPPAAL-TRON: an industrial case study. | Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou |
| 2005 | FASE | Color-Blind Specifications for Transformations of Reactive Synchronous Programs. | Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski |
| 2005 | FOSSACS | Optimal Conditional Reachability for Multi-priced Timed Automata. | Kim Guldstrand Larsen, Jacob Illum Rasmussen |
| 2005 | SAC | An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. | Gregorio Daz, Kim Guldstrand Larsen, Juan Jos Pardo, Fernando Cuartero, Valentn Valero |
| 2004 | TACAS | Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. | Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelnek |
| 2004 | TACAS | Resource-Optimal Scheduling Using Priced Timed Automata. | Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani |
| 2003 | CAV | To Store or Not to Store. | Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelnek |
| 2003 | EMSOFT | Resource-Efficient Scheduling for Real Time Systems. | Kim Guldstrand Larsen |
| 2003 | TACAS | Static Guard Analysis in Timed Automata Verification. | Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen |
| 2001 | CAV | As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. | Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn |
| 2000 | CONCUR | The Impressive Power of Stopwatches. | Franck Cassez, Kim Guldstrand Larsen |
| 2000 | ECRTS | Model-checking real-time control programs: verifying Lego(R) Mindstorms | Torsten K. Iversen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen |
| 1999 | CAV | Efficient Timed Reachability Analysis Using Clock Difference Diagrams. | Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi |
| 1999 | TACAS | Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. | Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jrn Lind-Nielsen |
| 1998 | FORTE | CMC: A Tool for Compositional Model-Checking of Real-Time Systems. | Franois Laroussinie, Kim Guldstrand Larsen |
| 1998 | TACAS | Model Checking via Reachability Testing for Timed Automata. | Luca Aceto, Augusto Burgueo, Kim Guldstrand Larsen |
| 1998 | TACAS | Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. | Jrn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kre J. Kristoffersen, Kim Guldstrand Larsen |
| 1997 | CAV | UPPAAL: Status & Developments. | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1997 | RTSS | Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. | Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund |
| 1997 | RTSS | Efficient verification of real-time systems: compact data structure and state-space reduction. | Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | CAV | Verification of an Audio Protocol with Bus Collision Using UPPAAL. | Johan Bengtsson, W. O. David Griffioen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | TACAS | UPPAAL in 1995. | Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1995 | CONCUR | Compositional Model Checking of Real Time Systems. | Franois Laroussinie, Kim Guldstrand Larsen |
| 1995 | FCT | Model-Checking for Real-Time Systems. | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1995 | ICALP | Automatic Synthesis of Real Time Systems. | Jrgen H. Andersen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann |
| 1995 | MFCS | Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). | Jens Chr. Godskesen, Kim Guldstrand Larsen |
| 1995 | MFCS | From Timed Automata to Logic - and Back. | Franois Laroussinie, Kim Guldstrand Larsen, Carsten Weise |
| 1995 | RTSS | Compositional and Symbolic Model-Checking of Real-Time Systems. | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1995 | TACAS | A Constraint Oriented Proof Methodology Based on Modal Transition Systems. | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise |
| 1993 | CAV | Timed Modal Specification - Theory and Tools. | Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen |
| 1993 | CONCUR | Model Construction for Implicit Specifications in Model Logic. | Ole Hgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen |
| 1993 | ICALP | The Fork Calculus. | Klaus Havelund, Kim Guldstrand Larsen |
| 1993 | MFPS | Time Abstracted Bisimiulation: Implicit Specifications and Decidability. | Kim Guldstrand Larsen, Wang Yi |
| 1992 | CAV | Efficient Local Correctness Checking. | Kim Guldstrand Larsen |
| 1992 | CONCUR | Compositional Verification of Probabilistic Processes. | Kim Guldstrand Larsen, Arne Skou |
| 1992 | FORTE | Generality in design and compositional verification using TAV. | Anders Brjesson, Kim Guldstrand Larsen, Arne Skou |
| 1991 | CAV | Deciding Properties of Regular Real Time Processes. | Uno Holmer, Kim Guldstrand Larsen, Wang Yi |
| 1991 | ICALP | The Expressive Power of Implicit Specifications. | Kim Guldstrand Larsen |
| 1991 | LICS | Specification and Refinement of Probabilistic Processes | Bengt Jonsson, Kim Guldstrand Larsen |
| 1990 | CONCUR | Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... | Kim Guldstrand Larsen |
| 1990 | ICALP | Compositionality Through an Operational Semantics of Contexts. | Kim Guldstrand Larsen, Xinxin Liu |
| 1990 | LICS | Equation Solving Using Modal Transition Systems | Kim Guldstrand Larsen, Xinxin Liu |
| 1989 | POPL | Bisimulation Through Probabilistic Testing. | Kim Guldstrand Larsen, Arne Skou |
| 1988 | LICS | A Modal Process Logic | Kim Guldstrand Larsen, Bent Thomsen |
| 1988 | MFCS | Compositional Proofs by Partial Specification of Processes. | Kim Guldstrand Larsen, Bent Thomsen |
| 1987 | ICALP | Verifying a Protocol Using Relativized Bisimulation. | Kim Guldstrand Larsen, Robin Milner |
| 1985 | ICALP | A Context Dependent Equivalence between Processes. | Kim Guldstrand Larsen |