![](https://dblp.uni-trier.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Kim G. Larsen
Person information
- affiliation: Aalborg University, Department of Computer Science, Denmark
SPARQL queries ![](https://dblp.uni-trier.de/img/new.blue.24x12.png)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j110]Esther H. Kim
, Martijn A. Goorden, Kim G. Larsen, Thomas D. Nielsen:
Controlling stormwater detention ponds under partial observability. J. Log. Algebraic Methods Program. 141: 100979 (2024) - [j109]Weizhu Qian
, Thomas Dyhre Nielsen, Yan Zhao
, Kim Guldstrand Larsen
, James Jianqiao Yu
:
Uncertainty-Aware Temporal Graph Convolutional Network for Traffic Speed Forecasting. IEEE Trans. Intell. Transp. Syst. 25(8): 8578-8590 (2024) - [c379]Esther H. Kim, Kim G. Larsen, Martijn A. Goorden, Thomas D. Nielsen:
Compositional Control Synthesis for Water Management System. ECC 2024: 3130-3137 - [c378]Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ø. Nielsen, Álvaro Torralba, Kim G. Larsen:
Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. ICAPS 2024: 588-596 - [c377]Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba:
SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. INFOCOM 2024: 2398-2407 - [c376]Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Dissimilarity for Linear Dynamical Systems. QEST+FORMATS 2024: 125-142 - [c375]Antonio Jiménez-Pastor
, Kim G. Larsen
, Mirco Tribastone
, Max Tschaikowski
:
Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) 2024: 343-362 - [c374]Pieter J. L. Cuijpers
, Jonas Hansen
, Kim G. Larsen
:
Safe and Infinite Resource Scheduling Using Energy Timed Automata. TASE 2024: 73-90 - [c373]Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano:
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. TASE 2024: 356-373 - [d2]Csaba Györgyi, Kim Guldstrand Larsen
, Stefan Schmid, Jirí Srba
:
Reproducibility Package for SYPER: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. Zenodo, 2024 - [d1]Rasmus G. Tollund
, Nicklas S. Johansen, Kristian Ødum Knorborg, Kim Guldstrand Larsen
, Álvaro Torralba
:
Artefact for: "Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata". Zenodo, 2024 - [i46]Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann:
Monitoring Real-Time Systems under Parametric Delay. CoRR abs/2404.18282 (2024) - [i45]Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
The Complexity of Data-Free Nfer. CoRR abs/2407.03155 (2024) - [i44]Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling:
Efficient Shield Synthesis via State-Space Transformation. CoRR abs/2407.19911 (2024) - [i43]Rong Gu, Kaige Tan, Andreas Holck Høeg-Petersen, Lei Feng, Kim Guldstrand Larsen:
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. CoRR abs/2408.01093 (2024) - 2023
- [j108]Imran Riaz Hasrat
, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
:
A toolchain for domestic heat-pump control using Uppaal Stratego. Sci. Comput. Program. 230: 102987 (2023) - [j107]Kim G. Larsen
, Anders Mariegaard, Stefan Schmid
, Jirí Srba
:
AllSynth: A BDD-based approach for network update synthesis. Sci. Comput. Program. 230: 102992 (2023) - [j106]Luca Cardelli
, Radu Grosu
, Kim Guldstrand Larsen
, Mirco Tribastone
, Max Tschaikowski
, Andrea Vandin
:
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. 68(11): 6557-6572 (2023) - [c372]Pieter J. L. Cuijpers
, Jonas Hansen
, Kim G. Larsen
:
Assume-Guarantee Reasoning for Additive Hybrid Behaviour. Theories of Programming and Formal Methods 2023: 297-322 - [c371]Martijn A. Goorden
, Kim G. Larsen
, Jesper E. Nielsen, Thomas D. Nielsen
, Weizhu Qian, Michael R. Rasmussen, Guohan Zhao:
Guaranteed safe controller synthesis for switched systems using analytical solutions*. CCTA 2023: 784-790 - [c370]Muhammad Naeem, Michele Albano
, Kim Guldstrand Larsen
, Brian Nielsen
:
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. ECBS 2023: 153-169 - [c369]Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen
, Marcel Baunach:
A Modeling Concept for Formal Verification of OS-Based Compositional Software. FASE 2023: 26-46 - [c368]Kim Guldstrand Larsen
, Axel Legay
, Danny Bøgsted Poulsen
:
Refinement of Systems with an Attacker Focus. FMICS 2023: 96-112 - [c367]Imran Riaz Hasrat, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
:
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. FMICS 2023: 113-130 - [c366]Andrej Kiviriga
, Kim Guldstrand Larsen
, Dejan Nickovic
, Ulrik Nyman:
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. FORMATS 2023: 141-157 - [c365]Nicolaj Ø. Jensen, Peter Gjøl Jensen
, Kim G. Larsen
:
Dynamic Extrapolation in Extended Timed Automata. ICFEM 2023: 83-99 - [c364]Martin Kristjansen
, Abhijit Kulkarni
, Peter Gjøl Jensen
, Remus Teodorescu
, Kim Guldstrand Larsen
:
Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego. IECON 2023: 1-6 - [c363]Simon Dierl
, Falk Maria Howar
, Sean Kauffman
, Martin Kristjansen
, Kim Guldstrand Larsen
, Florian Lorber, Malte Mauritz
:
Learning Symbolic Timed Models from Concrete Timed Data. NFM 2023: 104-121 - [c362]Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen:
Safety Verification of Decision-Tree Policies in Continuous Time. NeurIPS 2023 - [c361]Giovanni Bacci
, Anna Ingólfsdóttir, Kim G. Larsen
, Raphaël Reynouard
:
An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. QEST 2023: 82-100 - [c360]Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
, Nikolaj Jensen Ulrik:
Elimination of Detached Regions in Dependency Graph Verification. SPIN 2023: 163-179 - [c359]Nils Jansen
, Bettina Könighofer, Jan Kretínský, Kim G. Larsen:
Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA 2023: 25-32 - [c358]Asger Horn Brorholt, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Florian Lorber, Christian Schilling
:
Shielded Reinforcement Learning for Hybrid Systems. AISoLA 2023: 33-54 - [c357]Falke B. Ø. Carlsen, Lars Bo P. Frydenskov, Nicolaj Ø. Jensen, Jener Rasmussen, Mathias M. Sørensen, Asger G. Weirsøe, Mathias Claus Jensen, Kim G. Larsen
:
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics. GandALF 2023: 99-114 - [i42]Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR abs/2301.08553 (2023) - [i41]Martijn A. Goorden
, Kim G. Larsen
, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski:
Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR abs/2302.04529 (2023) - [i40]Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
MM Algorithms to Estimate Parameters in Continuous-time Markov Chains. CoRR abs/2302.08588 (2023) - [i39]Anders Mariegaard, Kim G. Larsen, Marco Muñiz
, Thomas Dyhre Nielsen:
Energy Consumption Optimization in Radio Access Networks (ECO-RAN). CoRR abs/2304.00277 (2023) - [i38]Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR abs/2308.09510 (2023) - [i37]Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. CoRR abs/2308.14424 (2023) - 2022
- [j105]Ahmad Madary
, Hamid Reza Momeni, Alessandro Abate
, Kim G. Larsen:
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework. Inf. Comput. 289(Part): 104947 (2022) - [j104]Søren Enevoldsen, Kim Guldstrand Larsen
, Jirí Srba
:
Extended abstract dependency graphs. Int. J. Softw. Tools Technol. Transf. 24(1): 49-65 (2022) - [j103]Maurice H. ter Beek, Kim G. Larsen
, Dejan Nickovic
, Tim A. C. Willemse:
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24(3): 325-330 (2022) - [j102]Andrej Kiviriga
, Kim Guldstrand Larsen
, Ulrik Nyman:
Randomized reachability analysis in UPPAAL: fast error detection in timed systems. Int. J. Softw. Tools Technol. Transf. 24(6): 1025-1042 (2022) - [c356]Simon Bøgh, Peter Gjøl Jensen, Martin Kristjansen, Kim Guldstrand Larsen, Ulrik Nyman:
Distributed Fleet Management in Noisy Environments via Model-Predictive Control. ICAPS 2022: 565-573 - [c355]Martijn A. Goorden
, Peter Gjøl Jensen
, Kim G. Larsen
, Mihhail Samusev, Jirí Srba
, Guohan Zhao:
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. ATVA 2022: 327-333 - [c354]Kim G. Larsen
, Christian Schilling
, Jirí Srba
:
Simulation Relations and Applications in Formal Methods. Principles of Systems Design 2022: 272-291 - [c353]Peter Gjøl Jensen
, Kim G. Larsen
, Marius Mikucionis
:
Playing Wordle with Uppaal Stratego. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 283-305 - [c352]Giorgio Bacci
, Giovanni Bacci
, Mathias Claus Jensen, Kim G. Larsen
:
Convex Lattice Equation Systems. Principles of Systems Design 2022: 438-455 - [c351]Thomas Møller Grosen, Sean Kauffman
, Kim Guldstrand Larsen
, Martin Zimmermann
:
Monitoring Timed Properties (Revisited). FORMATS 2022: 43-62 - [c350]Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen:
Automata Learning Meets Shielding. ISoLA (1) 2022: 335-359 - [c349]Kim G. Larsen
, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga
, Bernhard Steffen:
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) 2022: 393-405 - [c348]Kim Guldstrand Larsen
, Axel Legay
, Marius Mikucionis
, Danny Bøgsted Poulsen
:
Importance Splitting in Uppaal. ISoLA (3) 2022: 433-447 - [c347]Jonas Hansen
, Kim Guldstrand Larsen
, Pieter J. L. Cuijpers:
Balancing Flexible Production and Consumption of Energy using Resource Timed Automata. MECO 2022: 1-6 - [c346]Peter Gjøl Jensen
, Andrej Kiviriga
, Kim Guldstrand Larsen
, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen:
Monte Carlo Tree Search for Priced Timed Automata. QEST 2022: 381-398 - [c345]Shiraj Arora
, René Rydhof Hansen
, Kim Guldstrand Larsen
, Axel Legay
, Danny Bøgsted Poulsen
:
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. SPIN 2022: 61-78 - [c344]Kim Guldstrand Larsen
, Anders Mariegaard, Stefan Schmid
, Jirí Srba
:
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. TASE 2022: 344-362 - [c343]Imran Riaz Hasrat
, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
:
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. TASE 2022: 363-380 - [c342]Muhammad Naeem, Michele Albano
, Davide Magrin, Brian Nielsen
, Kim Guldstrand Larsen
:
A Sigfox Module for the Network Simulator 3. WNS3 2022: 81-88 - [i36]Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
Monitoring Timed Properties (Revisited). CoRR abs/2206.14590 (2022) - [i35]Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen:
Automata Learning meets Shielding. CoRR abs/2212.01838 (2022) - 2021
- [j101]Giovanni Bacci
, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen
, Nicolas Markey, Pierre-Alain Reynier:
Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. 33(1): 3-25 (2021) - [j100]Martin Tappler, Bernhard K. Aichernig
, Giovanni Bacci
, Maria Eichlseder
, Kim G. Larsen
:
L*-based learning of Markov decision processes (extended version). Formal Aspects Comput. 33(4-5): 575-615 (2021) - [j99]Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha:
2018 CAV award. Formal Methods Syst. Des. 57(1): 116-117 (2021) - [j98]Franck Cassez, Peter Gjøl Jensen
, Kim Guldstrand Larsen
:
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. Fundam. Informaticae 178(1-2): 31-57 (2021) - [j97]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel:
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Log. Methods Comput. Sci. 17(1) (2021) - [j96]Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba:
Stubborn Set Reduction for Two-Player Reachability Games. Log. Methods Comput. Sci. 17(1) (2021) - [j95]Kim G. Larsen, Oleg Sokolsky, Ji Wang:
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). Sci. Comput. Program. 206: 102622 (2021) - [j94]René Rydhof Hansen
, Kim Guldstrand Larsen
, Axel Legay, Peter Gjøl Jensen
, Danny Bøgsted Poulsen
:
ADTLang: a programming language approach to attack defense trees. Int. J. Softw. Tools Technol. Transf. 23(1): 89-104 (2021) - [c341]Martijn A. Goorden
, Kim G. Larsen
, Jesper E. Nielsen, Thomas D. Nielsen
, Michael R. Rasmussen, Jirí Srba
:
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. ADHS 2021: 13-18 - [c340]Ahmad Madary
, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
:
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. ADHS 2021: 259-264 - [c339]Giovanni Bacci
, Benoît Delahaye
, Kim G. Larsen
, Anders Mariegaard:
Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning 2021: 57-77 - [c338]Andrej Kiviriga
, Kim Guldstrand Larsen
, Ulrik Nyman:
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. FMICS 2021: 149-166 - [c337]Frederik M. Bønneland, Peter Gjøl Jensen
, Kim G. Larsen
, Marco Muñiz
, Jirí Srba
:
Stubborn Set Reduction for Timed Reachability and Safety Games. FORMATS 2021: 32-49 - [c336]Sebastian Lund
, Jesper van Diepen, Kim G. Larsen
, Marco Muñiz
, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen:
An Integer Static Analysis for Better Extrapolation in Uppaal. FORMATS 2021: 84-99 - [c335]Giovanni Bacci
, Anna Ingólfsdóttir, Kim G. Larsen
, Raphaël Reynouard
:
Active Learning of Markov Decision Processes using Baum-Welch algorithm. ICMLA 2021: 1203-1208 - [c334]Michele Albano
, Stefano Chessa
, Kim Guldstrand Larsen
:
A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT. ISCC 2021: 1-7 - [c333]Giorgio Bacci
, Giovanni Bacci
, Kim G. Larsen
, Mirco Tribastone, Max Tschaikowski
, Andrea Vandin:
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS 2021: 1-14 - [c332]Muhammad Naeem, Michele Albano
, Kim G. Larsen
, Brian Nielsen
, Anders Høedholt, Christian Ø. Laursen:
Battery Aware Analysis of Sensor Networks in Uppaal SMC. MECO 2021: 1-6 - [c331]Bjarke Hilmer Møller, Jacob Gosch Søndergaard, Kristoffer Skagbæk Jensen, Magnus Winkel Pedersen, Tobias Worm Bøgedal, Anton Christensen
, Danny Bøgsted Poulsen
, Kim Guldstrand Larsen
, René Rydhof Hansen
, Thomas Rosted Jensen, Heino Juvoll Madsen, Henrik Uhrenfeldt:
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code. NordSec 2021: 192-211 - [c330]Luca Cardelli, Radu Grosu, Kim G. Larsen
, Mirco Tribastone, Max Tschaikowski
, Andrea Vandin
:
Lumpability for Uncertain Continuous-Time Markov Chains. QEST 2021: 391-409 - [e16]Jan Friso Groote
, Kim Guldstrand Larsen
:
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I. Lecture Notes in Computer Science 12651, Springer 2021, ISBN 978-3-030-72015-5 [contents] - [e15]Jan Friso Groote
, Kim Guldstrand Larsen
:
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. Lecture Notes in Computer Science 12652, Springer 2021, ISBN 978-3-030-72012-4 [contents] - [i34]Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba:
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. CoRR abs/2104.12509 (2021) - [i33]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR abs/2104.13160 (2021) - [i32]Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended). CoRR abs/2110.03014 (2021) - 2020
- [j93]Mathias Claus Jensen
, Kim Guldstrand Larsen
:
A complete axiomatization of weighted branching bisimulation. Acta Informatica 57(3-5): 689-725 (2020) - [j92]Søren Enevoldsen, Kim G. Larsen
, Anders Mariegaard, Jirí Srba
:
Dependency graphs with applications to verification. Int. J. Softw. Tools Technol. Transf. 22(5): 635-654 (2020) - [c329]Isabella Kaufmann, Kim Guldstrand Larsen
, Jirí Srba
:
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. Petri Nets 2020: 46-66 - [c328]Shyam Lal Karra, Kim Guldstrand Larsen
, Marco Muñiz
, Jirí Srba
:
On-the-Fly Synthesis for Strictly Alternating Games. Petri Nets 2020: 109-128 - [c327]Kim G. Larsen
, Marius Mikucionis
, Marco Muñiz
, Jirí Srba
:
Urgent Partial Order Reduction for Extended Timed Automata. ATVA 2020: 179-195 - [c326]Manfred Jaeger
, Giorgio Bacci
, Giovanni Bacci
, Kim Guldstrand Larsen
, Peter Gjøl Jensen
:
Approximating Euclidean by Imprecise Markov Decision Processes. ISoLA (1) 2020: 275-289 - [c325]Kim G. Larsen
, Axel Legay:
30 Years of Statistical Model Checking. ISoLA (1) 2020: 325-330 - [c324]Peter Gjøl Jensen
, Kenneth Yrke Jørgensen, Kim G. Larsen
, Marius Mikucionis
, Marco Muñiz
, Danny Bøgsted Poulsen
:
Fluid Model-Checking in UPPAAL for Covid-19. ISoLA (1) 2020: 385-403 - [c323]Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen
, Anders Mariegaard, Jirí Srba
:
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. LOPSTR 2020: 249-268 - [c322]Manfred Jaeger
, Kim G. Larsen
, Alessandro Tibo
:
From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. RV 2020: 517-535 - [c321]Andrej Kiviriga
, Kim Guldstrand Larsen
, Ulrik Nyman:
Randomized Refinement Checking of Timed I/O Automata. SETTA 2020: 70-88 - [i31]Alessandro Tibo, Manfred Jaeger, Kim G. Larsen:
A general framework for defining and optimizing robustness. CoRR abs/2006.11122 (2020) - [i30]Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen:
Approximating Euclidean by Imprecise Markov Decision Processes. CoRR abs/2006.14923 (2020) - [i29]Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano:
It's Time to Play Safe: Shield Synthesis for Timed Systems. CoRR abs/2006.16688 (2020) - [i28]Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen:
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. CoRR abs/2007.10539 (2020) - [i27]Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet:
Mixed Nondeterministic-Probabilistic Interfaces. CoRR abs/2011.09435 (2020)
2010 – 2019
- 2019
- [j91]Kim G. Larsen
, Jirí Srba
:
Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16). J. Log. Algebraic Methods Program. 107: 177-178 (2019) - [j90]Lasse S. Jensen, Isabella Kaufmann, Kim G. Larsen
, Søren M. Nielsen, Jirí Srba
:
Model checking and synthesis for branching multi-weighted logics. J. Log. Algebraic Methods Program. 105: 28-46 (2019) - [j89]Giorgio Bacci
, Giovanni Bacci
, Kim G. Larsen
, Radu Mardare:
Converging from branching to linear metrics on Markov chains. Math. Struct. Comput. Sci. 29(1): 3-37 (2019) - [c320]Manfred Jaeger
, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist:
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. ATVA 2019: 81-97 - [c319]Kim G. Larsen
:
Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper). CONCUR 2019: 2:1-2:5 - [c318]Giorgio Bacci
, Giovanni Bacci
, Kim G. Larsen
, Radu Mardare, Qiyi Tang
, Franck van Breugel:
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CONCUR 2019: 9:1-9:17 - [c317]Frederik M. Bønneland, Peter Gjøl Jensen
, Kim G. Larsen
, Marco Muñiz
, Jirí Srba
:
Partial Order Reduction for Reachability Games. CONCUR 2019: 23:1-23:15 - [c316]Martin Tappler
, Bernhard K. Aichernig, Giovanni Bacci
, Maria Eichlseder
, Kim G. Larsen
:
L*-Based Learning of Markov Decision Processes. FM 2019: 651-669 - [c315]Martin Tappler
, Bernhard K. Aichernig, Kim Guldstrand Larsen
, Florian Lorber:
Time to Learn - Learning Timed Automata from Tests. FORMATS 2019: 216-235 - [c314]Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen
:
Symbolic Model Checking of Weighted PCTL Using Dependency Graphs. NFM 2019: 298-315 - [c313]Giovanni Bacci
, Mikkel Hansen, Kim Guldstrand Larsen
:
Model Checking Constrained Markov Reward Models with Uncertainties. QEST 2019: 37-51 - [c312]Pranav Ashok
, Jan Kretínský, Kim Guldstrand Larsen
, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
:
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. QEST 2019: 147-164 - [c311]Shyam Lal Karra, Kim Guldstrand Larsen
, Florian Lorber, Jirí Srba
:
Safe and Time-Optimal Control for Railway Games. RSSRail 2019: 106-122 - [c310]Søren Enevoldsen, Kim Guldstrand Larsen
, Jirí Srba
:
Model Verification Through Dependency Graphs. SPIN 2019: 1-19 - [c309]Søren Enevoldsen, Kim Guldstrand Larsen
, Jirí Srba
:
Abstract Dependency Graphs and Their Application to Model Checking. TACAS (1) 2019: 316-333 - [c308]Mathias Ruggaard Pedersen
, Giorgio Bacci
, Kim G. Larsen
:
A Faster-Than Relation for Semi-Markov Decision Processes. QAPL@ETAPS 2019: 29-42 - [p7]Rajeev Alur, Mirco Giacobbe
, Thomas A. Henzinger, Kim G. Larsen
, Marius Mikucionis
:
Continuous-Time Models for System Design and Analysis. Computing and Software Science 2019: 452-477 - [e14]Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11200, Springer 2019, ISBN 978-3-030-22347-2 [contents] - [e13]Kim Guldstrand Larsen
, Tim A. C. Willemse:
Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings. Lecture Notes in Computer Science 11687, Springer 2019, ISBN 978-3-030-27007-0 [contents] - [i26]Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger:
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. CoRR abs/1906.10640 (2019) - [i25]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-Based Learning of Markov Decision Processes (Extended Version). CoRR abs/1906.12239 (2019) - [i24]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel:
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CoRR abs/1907.01768 (2019) - [i23]Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba:
Stubborn Set Reduction for Two-Player Reachability Games. CoRR abs/1912.09875 (2019) - 2018
- [j88]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen
, Simon Laursen:
Average-energy games. Acta Informatica 55(2): 91-127 (2018) - [j87]Albert Benveniste, Benoît Caillaud
, Dejan Nickovic
, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
:
Contracts for System Design. Found. Trends Electron. Des. Autom. 12(2-3): 124-400 (2018) - [j86]Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba:
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae 161(4): 351-381 (2018) - [j85]Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare:
On the metric-based approximate minimization of Markov Chains. J. Log. Algebraic Methods Program. 100: 36-56 (2018) - [j84]Giorgio Bacci
, Giovanni Bacci
, Kim G. Larsen
, Radu Mardare:
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Log. Methods Comput. Sci. 14(4) (2018) - [j83]Mikkel Hansen
, Kim Guldstrand Larsen
, Radu Mardare, Mathias Ruggaard Pedersen
:
Reasoning About Bounds in Weighted Transition Systems. Log. Methods Comput. Sci. 14(4) (2018) - [j82]Manfred Droste, Kim G. Larsen
:
Preface: Dedicated to the memory of Zoltán Ésik (1951-2016). Soft Comput. 22(4): 1033 (2018) - [j81]Kim G. Larsen
, Radu Mardare, Bingtian Xue:
On decidability of recursive weighted logics. Soft Comput. 22(4): 1085-1102 (2018) - [j80]Mounir Chadli, Jin Hyun Kim, Kim G. Larsen
, Axel Legay, Stefan Naujokat
, Bernhard Steffen, Louis-Marie Traonouez:
High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. 20(4): 397-422 (2018) - [j79]Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
:
Discrete and continuous strategies for timed-arc Petri net games. Int. J. Softw. Tools Technol. Transf. 20(5): 529-546 (2018) - [j78]Kim G. Larsen
, Igor Potapov, Jirí Srba
:
Reachability problems: Special issue. Theor. Comput. Sci. 750: 1 (2018) - [c307]Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta 2018: 3-13 - [c306]Thomas Bøgholm, Kim G. Larsen
, Marco Muñiz
, Bent Thomsen
, Lone Leth Thomsen
:
Analyzing Spreadsheets for Parallel Execution via Model Checking. Models, Mindsets, Meta 2018: 27-35 - [c305]Frederik M. Bønneland, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Marco Muñiz
, Jirí Srba
:
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. CAV (1) 2018: 527-546 - [c304]Henrik Schiøler
, Luminita Totu
, Jan Dimon Bendtsen, Kim Guldstrand Larsen
, Jakob Haahr Taankvist:
Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation. CCTA 2018: 146-152 - [c303]Kim Guldstrand Larsen
, Adrien Le Coënt, Marius Mikucionis
, Jakob Haahr Taankvist:
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. CyPhy/WESE 2018: 113-133 - [c302]Kim Guldstrand Larsen
, Florian Lorber, Brian Nielsen
:
20 Years of Real Real Time Model Validation. FM 2018: 22-36 - [c301]Giovanni Bacci
, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen
, Nicolas Markey, Pierre-Alain Reynier:
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM 2018: 203-221 - [c300]Mathias Claus Jensen, Kim Guldstrand Larsen
, Radu Mardare:
Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. FORMATS 2018: 145-161 - [c299]Florian Lorber, Kim G. Larsen
, Brian Nielsen
:
Model-Based Mutation Testing of Real-Time Systems via Model Checking. ICST Workshops 2018: 59-68 - [c298]Kim G. Larsen
, Florian Lorber, Brian Nielsen
:
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. ISoLA (4) 2018: 212-229 - [c297]Kim Guldstrand Larsen
, Axel Legay:
Statistical Model Checking the 2018 Edition! ISoLA (2) 2018: 261-270 - [c296]Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen
, Ulrik Nyman:
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. ISORC 2018: 51-58 - [c295]Mathias Ruggaard Pedersen
, Nathanaël Fijalkow, Giorgio Bacci
, Kim G. Larsen
, Radu Mardare:
Timed Comparisons of Semi-Markov Processes. LATA 2018: 271-283 - [c294]Uli Fahrenberg, Kim G. Larsen:
Energiautomater, energifunktioner og Kleene-algebra. NIK 2018 - [c293]Giovanni Bacci
, Mikkel Hansen
, Kim Guldstrand Larsen
:
On the Verification of Weighted Kripke Structures Under Uncertainty. QEST 2018: 71-86 - [c292]Dmitry Ivanov, Kim G. Larsen
, Sibylle Schupp, Jirí Srba
:
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. QEST 2018: 173-189 - [c291]Mathias Ruggaard Pedersen
, Giorgio Bacci
, Kim Guldstrand Larsen
, Radu Mardare:
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. QEST 2018: 339-355 - [c290]Giorgio Bacci
, Giovanni Bacci
, Kim G. Larsen
, Radu Mardare:
Complete Axiomatization for the Total Variation Distance of Markov Chains. MFPS 2018: 27-39 - [p6]Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen
, Nicolas Markey
, Joël Ouaknine, James Worrell
:
Model Checking Real-Time Systems. Handbook of Model Checking 2018: 1001-1046 - [i22]Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier:
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. CoRR abs/1805.00847 (2018) - [i21]Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare:
On the Metric-based Approximate Minimization of Markov Chains. CoRR abs/1806.00528 (2018) - [i20]Martin Tappler, Bernhard K. Aichernig
, Kim Guldstrand Larsen, Florian Lorber:
Learning Timed Automata via Genetic Programming. CoRR abs/1808.07744 (2018) - [i19]Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen:
Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR abs/1809.07177 (2018) - 2017
- [j77]Giorgio Bacci
, Giovanni Bacci
, Kim G. Larsen
, Radu Mardare:
On-the-Fly Computation of Bisimilarity Distances. Log. Methods Comput. Sci. 13(2) (2017) - [c289]Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen
, Isabella Kaufmann, Kim G. Larsen
, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva
, Jirí Srba
:
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Petri Nets 2017: 139-158 - [c288]Kim G. Larsen
, Axel Legay, Marius Mikucionis
, Brian Nielsen
, Ulrik Nyman
:
Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd 2017: 107-124 - [c287]René Rydhof Hansen
, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Axel Legay, Danny Bøgsted Poulsen:
Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. GraMSec@CSF 2017: 75-90 - [c286]Anders Mariegaard, Kim Guldstrand Larsen
:
Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-Checking. FORMATS 2017: 153-169 - [c285]Giovanni Bacci
, Giorgio Bacci
, Kim G. Larsen
, Radu Mardare:
On the Metric-Based Approximate Minimization of Markov Chains. ICALP 2017: 104:1-104:14 - [c284]Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Axel Legay, Ulrik Nyman
:
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. ICECCS 2017: 11-19 - [c283]Zhengkui Zhang, Brian Nielsen
, Kim Guldstrand Larsen
, Gilles Nies
, Marvin Stenger, Holger Hermanns:
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM 2017: 481-495 - [c282]Kim G. Larsen
, Florian Lorber, Brian Nielsen
, Ulrik Nyman
:
Mutation-Based Test-Case Generation with Ecdar. ICST Workshops 2017: 319-328 - [c281]Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
:
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. ICTAC 2017: 248-265 - [c280]Gayathri Sugumar, Rajasekar Selvamuthukumaran, Tomislav Dragicevic
, Ulrik Nyman
, Kim G. Larsen
, Frede Blaabjerg:
Formal validation of supervisory energy management systems for microgrids. IECON 2017: 1154-1159 - [c279]Robert Furber
, Dexter Kozen, Kim G. Larsen
, Radu Mardare, Prakash Panangaden:
Unrestricted stone duality for Markov processes. LICS 2017: 1-9 - [c278]Franck Cassez
, Peter Gjøl Jensen
, Kim Guldstrand Larsen
:
Refinement of Trace Abstraction for Real-Time Programs. RP 2017: 42-58 - [c277]Kim Guldstrand Larsen
:
Dependable and Optimal Cyber-Physical Systems. SOFSEM 2017: 3-10 - [c276]Guangyuan Li, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Axel Legay, Danny Bøgsted Poulsen:
Practical controller synthesis for MTL0, ∞. SPIN 2017: 102-111 - [c275]Kim Guldstrand Larsen
:
Validation, Synthesis and Optimization for Cyber-Physical Systems. TACAS (1) 2017: 3-20 - [c274]Kim G. Larsen
, Doron Peled, Sean Sedwards:
Memory-Efficient Tactics for Randomized LTL Model Checking. VSTTE 2017: 152-169 - [c273]Kim Guldstrand Larsen:
Timed and Untimed Energy Games. CIAA 2017: xiii-xvi - [p5]Kim G. Larsen
, Uli Fahrenberg, Axel Legay:
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Dependable Software Systems Engineering 2017: 60-103 - [e12]Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin:
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark. LIPIcs 83, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-046-0 [contents] - [e11]Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang:
Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Lecture Notes in Computer Science 10606, Springer 2017, ISBN 978-3-319-69482-5 [contents] - [i18]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. CoRR abs/1702.02528 (2017) - [i17]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
On-the-Fly Computation of Bisimilarity Distances. CoRR abs/1702.08306 (2017) - [i16]Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue:
Reasoning About Bounds in Weighted Transition Systems. CoRR abs/1703.03346 (2017) - [i15]Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare:
Timed Comparisons of Semi-Markov Processes. CoRR abs/1711.10216 (2017) - 2016
- [j76]Daniel Gebler, Kim G. Larsen
, Simone Tini
:
Compositional bisimulation metric reasoning with Probabilistic Process Calculi. Log. Methods Comput. Sci. 12(4) (2016) - [j75]René Rydhof Hansen
, Kim Guldstrand Larsen
, Mads Chr. Olesen, Erik Ramsgaard Wognsen:
Formal modelling and analysis of Bitflips in ARM assembly code. Inf. Syst. Frontiers 18(5): 909-925 (2016) - [j74]Hua Mao
, Yingke Chen, Manfred Jaeger
, Thomas D. Nielsen
, Kim G. Larsen
, Brian Nielsen
:
Learning deterministic probabilistic automata from a model checking perspective. Mach. Learn. 105(2): 255-299 (2016) - [j73]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen
, Marius Mikucionis
, Ulrik Nyman
, Arne Skou:
Statistical and exact schedulability analysis of hierarchical scheduling systems. Sci. Comput. Program. 127: 103-130 (2016) - [j72]Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman
, Kim G. Larsen
, Insup Lee, Jin-Young Choi:
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13(3): 41-48 (2016) - [j71]Jonas Finnemann Jensen, Kim Guldstrand Larsen
, Jirí Srba
, Lars Kaerlund Oestergaard:
Efficient model-checking of weighted CTL with upper-bound constraints. Int. J. Softw. Tools Technol. Transf. 18(4): 409-426 (2016) - [c272]Mads Christian Olesen, René Rydhof Hansen
, Kim Guldstrand Larsen
:
An Automata-Based Approach to Trace Partitioned Abstract Interpretation. Semantics, Logics, and Calculi 2016: 88-110 - [c271]Giorgio Bacci
, Giovanni Bacci
, Kim G. Larsen
, Radu Mardare:
Complete Axiomatization for the Bisimilarity Distance on Markov Chains. CONCUR 2016: 21:1-21:14 - [c270]Erik Ramsgaard Wognsen, René Rydhof Hansen
, Kim Guldstrand Larsen
, Peter Koch
:
Energy-aware scheduling of FIR filter structures using a timed automata model. DDECS 2016: 163-168 - [c269]Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat
, Bernhard Steffen, Kim Guldstrand Larsen
:
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016: 133-141 - [c268]Olga Gadyatskaya, René Rydhof Hansen
, Kim Guldstrand Larsen
, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen
:
Modelling Attack-defense Trees Using Timed Automata. FORMATS 2016: 35-50 - [c267]Zhengkui Zhang, Brian Nielsen
, Kim G. Larsen
:
Distributed Algorithms for Time Optimal Reachability Analysis. FORMATS 2016: 157-173 - [c266]Kim G. Larsen
, Radu Mardare, Bingtian Xue:
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization. FSTTCS 2016: 25:1-25:18 - [c265]Mads Kronborg Agesen, Kim Guldstrand Larsen
, Marius Mikucionis
, Marco Muñiz
, Petur Olsen, Thomas Pedersen, Jirí Srba
, Arne Skou:
Toolchain for user-centered intelligent floor heating control. IECON 2016: 5296-5301 - [c264]Kim G. Larsen
, Axel Legay:
Statistical Model Checking: Past, Present, and Future. ISoLA (1) 2016: 3-15 - [c263]Kim G. Larsen, Axel Legay:
On the Power of Statistical Model Checking. ISoLA (2) 2016: 843-862 - [c262]Kim G. Larsen, Stefan Schmid
, Bingtian Xue:
WNetKAT: A Weighted SDN Programming and Verification Language. OPODIS 2016: 18:1-18:18 - [c261]Zhengkui Zhang, Brian Nielsen
, Kim G. Larsen
:
Time optimal reachability analysis using swarm verification. SAC 2016: 1634-1640 - [c260]Cyrille Jégourel, Kim G. Larsen
, Axel Legay, Marius Mikucionis
, Danny Bøgsted Poulsen
, Sean Sedwards:
Importance Sampling for Stochastic Timed Automata. SETTA 2016: 163-178 - [c259]Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen
, Jirí Srba
:
Distributed Computation of Fixed Points on Dependency Graphs. SETTA 2016: 197-212 - [c258]Mikkel Hansen
, Kim Guldstrand Larsen
, Radu Mardare, Mathias Ruggaard Pedersen
, Bingtian Xue:
A Complete Approximation Theory for Weighted Transition Systems. SETTA 2016: 213-228 - [c257]Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
:
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. SPIN 2016: 129-146 - [c256]Kim G. Larsen
, Marius Mikucionis
, Marco Muñiz
, Jirí Srba
, Jakob Haahr Taankvist:
Online and Compositional Learning of Controllers with Application to Floor Heating. TACAS 2016: 244-259 - [c255]Kim Guldstrand Larsen
:
Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. TIME 2016: 1 - [c254]Kim G. Larsen
, Simon Laursen, Martin Zimmermann
:
Limit Your Consumption! Finding Bounds in Average-energy Games. QAPL 2016: 1-14 - [c253]Louise Foshammer, Kim Guldstrand Larsen
, Anders Mariegaard:
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. Cassting/SynCoP 2016: 63-75 - [e10]Kim Guldstrand Larsen, Igor Potapov, Jirí Srba:
Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Lecture Notes in Computer Science 9899, Springer 2016, ISBN 978-3-319-45993-6 [contents] - [i14]Bingtian Xue, Stefan Schmid, Kim G. Larsen:
WNetKAT: A Weighted SDN Programming and Verification Language. CoRR abs/1608.08483 (2016) - 2015
- [j70]Nikola Benes
, Jan Kretínský, Kim G. Larsen
, Mikael H. Møller, Salomon Sickert, Jirí Srba
:
Refinement checking on parametric modal transition systems. Acta Informatica 52(2-3): 269-297 (2015) - [j69]Kim Guldstrand Larsen:
The EATCS Award 2016 - Call for Nominations. Bull. EATCS 117 (2015) - [j68]Kim G. Larsen
, Radu Mardare, Bingtian Xue:
Concurrent weighted logic. J. Log. Algebraic Methods Program. 84(6): 884-897 (2015) - [j67]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen
, Marius Mikucionis
, Ulrik Nyman
, Arne Skou:
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Sci. Comput. Program. 113: 236-260 (2015) - [j66]Alexandre David, Kim G. Larsen
, Axel Legay, Ulrik Nyman
, Louis-Marie Traonouez, Andrzej Wasowski
:
Real-time specifications. Int. J. Softw. Tools Technol. Transf. 17(1): 17-45 (2015) - [j65]Alexandre David, Kim Guldstrand Larsen
, Axel Legay, Marius Mikucionis
:
Schedulability of Herschel revisited using statistical model checking. Int. J. Softw. Tools Technol. Transf. 17(2): 187-199 (2015) - [j64]Alexandre David, Kim G. Larsen
, Axel Legay, Marius Mikucionis
, Danny Bøgsted Poulsen
, Sean Sedwards:
Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. 17(3): 351-367 (2015) - [j63]Alexandre David, Kim G. Larsen
, Axel Legay, Marius Mikucionis
, Danny Bøgsted Poulsen
:
Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4): 397-415 (2015) - [c252]Kim Guldstrand Larsen
, Marius Mikucionis
, Jakob Haahr Taankvist:
Safe and Optimal Adaptive Cruise Control. Correct System Design 2015: 260-277 - [c251]Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman
, Marius Mikucionis
, Kim G. Larsen
, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015: 91-100 - [c250]Nicolas David, Alexandre David, René Rydhof Hansen
, Kim Guldstrand Larsen
, Axel Legay, Mads Chr. Olesen, Christian W. Probst
:
Modelling Social-Technical Attacks with Timed Automata. MIST@CCS 2015: 21-28 - [c249]Jan Kretínský, Kim Guldstrand Larsen
, Simon Laursen
, Jirí Srba
:
Polynomial Time Decidability of Weighted Synchronization under Partial Observability. CONCUR 2015: 142-154 - [c248]Luca Aceto, Kim G. Larsen
, Andrea Morichetta, Francesco Tiezzi:
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. FACS 2015: 66-85 - [c247]Jin Hyun Kim, Kim G. Larsen
, Brian Nielsen
, Marius Mikucionis
, Petur Olsen:
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. FMICS 2015: 47-61 - [c246]Erik Ramsgaard Wognsen, Boudewijn R. Haverkort
, Marijn R. Jongerden
, René Rydhof Hansen
, Kim Guldstrand Larsen
:
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. FORMATS 2015: 305-320 - [c245]Giorgio Bacci
, Giovanni Bacci
, Kim Guldstrand Larsen
, Radu Mardare:
On the Total Variation Distance of Semi-Markov Chains. FoSSaCS 2015: 185-199 - [c244]Daniel Gebler, Kim Guldstrand Larsen
, Simone Tini
:
Compositional Metric Reasoning with Probabilistic Process Calculi. FoSSaCS 2015: 230-245 - [c243]Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen
, Marius Mikucionis
, Brian Nielsen
:
Resource-Parameterized Timing Analysis of Real-Time Systems. Haifa Verification Conference 2015: 190-205 - [c242]Nikola Benes
, Peter Bezdek, Kim Guldstrand Larsen
, Jirí Srba
:
Language Emptiness of Continuous-Time Parametric Timed Automata. ICALP (2) 2015: 69-81 - [c241]Giorgio Bacci
, Giovanni Bacci
, Kim G. Larsen
, Radu Mardare:
Converging from Branching to Linear Metrics on Markov Chains. ICTAC 2015: 349-367 - [c240]Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen
, Simon R. Olesen, Jirí Srba
, Jacob K. Wortmann:
CAAL: Concurrency Workbench, Aalborg Edition. ICTAC 2015: 573-582 - [c239]René Rydhof Hansen
, Kim Guldstrand Larsen
, Mads Chr. Olesen, Erik Ramsgaard Wognsen:
Formal Methods for Modelling and Analysis of Single-Event Upsets. IRI 2015: 287-294 - [c238]Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen
, Marius Mikucionis
, Ulrik Nyman
, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015: 74-83 - [c237]Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen
, Kim Guldstrand Larsen
:
Model checking of finite-state machine-based scenario-aware dataflow using timed automata. SIES 2015: 235-244 - [c236]Peter Christoffersen, Mikkel Hansen
, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen
, Radu Mardare:
Parametric Verification of Weighted Systems. SynCoP 2015: 77-90 - [c235]Alexandre David, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Marius Mikucionis
, Jakob Haahr Taankvist:
Uppaal Stratego. TACAS 2015: 206-211 - [c234]Patricia Bouyer, Nicolas Markey
, Mickael Randour, Kim Guldstrand Larsen
, Simon Laursen:
Average-energy games. GandALF 2015: 1-15 - [c233]Kim G. Larsen
, Radu Mardare, Bingtian Xue:
Alternation-Free Weighted Mu-Calculus: Decidability and Completeness. MFPS 2015: 289-313 - [i13]Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba:
Language Emptiness of Continuous-Time Parametric Timed Automata. CoRR abs/1504.07838 (2015) - [i12]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen:
Average-energy games (full version). CoRR abs/1512.08106 (2015) - 2014
- [j62]Peter E. Bulychev, Alexandre David, Kim G. Larsen
, Guangyuan Li:
Efficient controller synthesis for a fragment of MTL0,∞. Acta Informatica 51(3-4): 165-192 (2014) - [j61]Benoît Delahaye
, Uli Fahrenberg, Kim G. Larsen
, Axel Legay:
Refinement and Difference for Probabilistic Automata. Log. Methods Comput. Sci. 10(3) (2014) - [j60]Benoît Delahaye
, Kim G. Larsen
, Axel Legay:
Stuttering for Abstract Probabilistic Automata. J. Log. Algebraic Methods Program. 83(1): 1-19 (2014) - [j59]Patricia Bouyer, Kim G. Larsen
, Nicolas Markey
:
Lower-bound-constrained runs in weighted timed automata. Perform. Evaluation 73: 91-109 (2014) - [j58]Sebastian S. Bauer, Kim G. Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
A modal specification theory for components with data. Sci. Comput. Program. 83: 106-128 (2014) - [j57]Huixing Fang
, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen
, Alexandre David:
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. Int. J. Softw. Tools Technol. Transf. 16(4): 339-361 (2014) - [j56]Kim G. Larsen
, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
:
Robust synthesis for real-time systems. Theor. Comput. Sci. 515: 96-122 (2014) - [j55]Kim G. Larsen
, Radu Mardare:
Complete proof systems for weighted modal logic. Theor. Comput. Sci. 546: 164-175 (2014) - [c232]Alexandre David, Kim G. Larsen
, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
:
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. ACSD 2014: 32-41 - [c231]Alexandre David, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist:
On Time with Minimal Expected Cost! ATVA 2014: 129-145 - [c230]Giorgio Bacci
, Giovanni Bacci
, Kim Guldstrand Larsen
, Radu Mardare:
Bisimulation on Markov Processes over Arbitrary Measurable Spaces. Horizons of the Mind 2014: 76-95 - [c229]Kim Guldstrand Larsen
, Simon Laursen
, Jirí Srba
:
Synchronizing Strategies under Partial Observability. CONCUR 2014: 188-202 - [c228]Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen
, Ulrik Nyman
:
Model Checking Process Algebra of Communicating Resources for Real-Time Systems. ECRTS 2014: 51-60 - [c227]Kim Guldstrand Larsen
, Radu Mardare, Bingtian Xue:
Decidability and Expressiveness of Recursive Weighted Logic. Ershov Memorial Conference 2014: 216-231 - [c226]Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez:
Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS 2014: 84-97 - [c225]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen
, Marius Mikucionis
, Ulrik Nyman
, Arne Skou:
Widening the Schedulability of Hierarchical Scheduling Systems. FACS 2014: 209-227 - [c224]Alexandre David, Huixing Fang
, Kim Guldstrand Larsen
, Zhengkui Zhang:
Verification and Performance Evaluation of Timed Game Strategies. FORMATS 2014: 100-114 - [c223]Laurent Doyen, Line Juhl, Kim Guldstrand Larsen
, Nicolas Markey, Mahsa Shirmohammadi:
Synchronizing Words for Weighted and Timed Automata. FSTTCS 2014: 121-132 - [c222]Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman:
Compositional Schedulability Analysis of An Avionics System Using UPPAAL. ICAASE 2014: 140-147 - [c221]Kim Guldstrand Larsen
, Radu Mardare, Bingtian Xue:
A Decidable Recursive Logic for Weighted Transition Systems. ICTAC 2014: 460-476 - [c220]Kim Guldstrand Larsen, Axel Legay:
Statistical Model Checking Past, Present, and Future - (Track Introduction). ISoLA (2) 2014: 135-142 - [c219]Erik Ramsgaard Wognsen, René Rydhof Hansen
, Kim Guldstrand Larsen
:
Battery-Aware Scheduling of Mixed Criticality Systems. ISoLA (2) 2014: 208-222 - [c218]Kim G. Larsen:
Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. MODELSWARD 2014: IS-11 - [c217]Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
, Mathias Grund Sørensen, Jakob Haahr Taankvist:
Memory Efficient Data Structures for Explicit Verification of Timed Systems. NASA Formal Methods 2014: 307-312 - [c216]Kim G. Larsen:
Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. PECCS 2014: IS-9 - [c215]Manfred Jaeger
, Hua Mao
, Kim Guldstrand Larsen
, Radu Mardare:
Continuity Properties of Distances for Markov Processes. QEST 2014: 297-312 - [c214]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen
, Marius Mikucionis
, Ulrik Nyman
, Arne Skou:
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. TASE 2014: 126-130 - [c213]Samy Jaziri, Kim Guldstrand Larsen
, Radu Mardare, Bingtian Xue:
Adequacy and Complete Axiomatization for Timed Modal Logic. MFPS 2014: 183-210 - [e9]Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
:
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings. Lecture Notes in Computer Science 8931, Springer 2014, ISBN 978-3-662-46080-1 [contents] - [i11]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Topologies of Stochastic Markov Models: Computational Aspects. CoRR abs/1403.6032 (2014) - 2013
- [j54]Alexandre David, Kim G. Larsen
, Axel Legay, Danny Bøgsted Poulsen
:
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [j53]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen
, Axel Legay, Claus R. Thrane:
Weighted modal transition systems. Formal Methods Syst. Des. 42(2): 193-220 (2013) - [j52]Benoît Delahaye, Joost-Pieter Katoen
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
:
Abstract Probabilistic Automata. Inf. Comput. 232: 66-116 (2013) - [c212]Line Juhl, Kim Guldstrand Larsen
, Jean-François Raskin:
Optimal Bounds for Multiweighted and Parametrised Energy Games. Theories of Programming and Formal Methods 2013: 244-255 - [c211]Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen
:
On the Relationship between LTL Normal Forms and Büchi Automata. Theories of Programming and Formal Methods 2013: 256-270 - [c210]Alfons Laarman
, Mads Chr. Olesen
, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen
, Jaco van de Pol:
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction. CAV 2013: 968-983 - [c209]Kim G. Larsen
, Axel Legay:
Probabilistic Modal Specifications (Invited Extended Abstract). FACS 2013: 1-4 - [c208]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen
, Marius Mikucionis
, Ulrik Nyman
, Arne Skou:
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. FACS 2013: 61-78 - [c207]Uli Fahrenberg, Kim G. Larsen
, Axel Legay:
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC Training School on Software Engineering 2013: 67-108 - [c206]Kim Guldstrand Larsen
:
Priced Timed Automata and Statistical Model Checking. IFM 2013: 154-161 - [c205]Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen
, Kim Guldstrand Larsen
:
TetaSARTS: a tool for modular timing analysis of safety critical Java systems. JTRES 2013: 11-20 - [c204]Benoît Delahaye, Kim G. Larsen
, Axel Legay:
Stuttering for Abstract Probabilistic Automata. LFCS 2013: 149-163 - [c203]Dexter Kozen, Kim G. Larsen
, Radu Mardare, Prakash Panangaden:
Stone Duality for Markov Processes. LICS 2013: 321-330 - [c202]Giorgio Bacci
, Giovanni Bacci
, Kim G. Larsen
, Radu Mardare:
Computing Behavioral Distances, Compositionally. MFCS 2013: 74-85 - [c201]Alexandre David, Dehui Du, Kim Guldstrand Larsen
, Axel Legay, Marius Mikucionis
:
Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods 2013: 352-367 - [c200]Alexandre David, Kim G. Larsen
, Marius Mikucionis
, Omer Nguena-Timo
, Antoine Rollet:
Remote Testing of Timed Specifications. ICTSS 2013: 65-81 - [c199]Benoît Delahaye
, Uli Fahrenberg, Kim Guldstrand Larsen
, Axel Legay:
Refinement and Difference for Probabilistic Automata. QEST 2013: 22-38 - [c198]Giorgio Bacci
, Giovanni Bacci
, Kim Guldstrand Larsen
, Radu Mardare:
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. QEST 2013: 278-281 - [c197]Jonas Finnemann Jensen, Kim Guldstrand Larsen
, Jirí Srba
, Lars Kaerlund Oestergaard:
Local Model Checking of Weighted CTL with Upper-Bound Constraints. SPIN 2013: 178-195 - [c196]Giorgio Bacci
, Giovanni Bacci
, Kim G. Larsen
, Radu Mardare:
On-the-Fly Exact Computation of Bisimilarity Distances. TACAS 2013: 1-15 - [p4]Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen
, Paul Pettersson
, Jacob Illum Rasmussen, Jirí Srba
, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime
, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez:
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225 - [p3]Uli Fahrenberg, Kim G. Larsen
, Axel Legay, Claus R. Thrane:
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. Engineering Dependable Software Systems 2013: 235-273 - [e8]Kim G. Larsen
, Axel Legay, Ulrik Nyman
:
Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013. EPTCS 133, 2013 [contents] - 2012
- [j51]Alexandre David, Dehui Du, Kim G. Larsen
, Marius Mikucionis
, Arne Skou:
An evaluation framework for energy aware buildings using statistical model checking. Sci. China Inf. Sci. 55(12): 2694-2707 (2012) - [j50]Radu Mardare, Luca Cardelli
, Kim G. Larsen
:
Continuous Markovian Logics - Axiomatization and Quantified Metatheory. Log. Methods Comput. Sci. 8(4) (2012) - [j49]Nikola Benes
, Jan Kretínský, Kim G. Larsen
, Jirí Srba
:
EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. 218: 54-68 (2012) - [j48]Benoît Delahaye, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
:
Consistency and refinement for Interval Markov Chains. J. Log. Algebraic Methods Program. 81(3): 209-226 (2012) - [j47]Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen
:
Reachability analysis for timed automata using max-plus algebra. J. Log. Algebraic Methods Program. 81(3): 298-313 (2012) - [j46]Line Juhl, Kim G. Larsen
, Jirí Srba
:
Modal transition systems with weight intervals. J. Log. Algebraic Methods Program. 81(4): 408-421 (2012) - [j45]Sebastian S. Bauer, Line Juhl, Kim G. Larsen
, Axel Legay, Jirí Srba
:
Extending modal transition systems with structured labels. Math. Struct. Comput. Sci. 22(4): 581-617 (2012) - [j44]Benoît Delahaye, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
:
New results for Constraint Markov Chains. Perform. Evaluation 69(7-8): 379-401 (2012) - [j43]Alexandre David, Kim Guldstrand Larsen
, Axel Legay, Mikael H. Møller, Ulrik Nyman
, Anders P. Ravn, Arne Skou, Andrzej Wasowski
:
Compositional verification of real-time systems using Ecdar. Int. J. Softw. Tools Technol. Transf. 14(6): 703-720 (2012) - [c195]Peter E. Bulychev, Franck Cassez
, Alexandre David, Kim Guldstrand Larsen
, Jean-François Raskin, Pierre-Alain Reynier:
Controllers with Minimal Observation Power (Application to Timed Systems). ATVA 2012: 223-237 - [c194]Marius Bozga, Alexandre David, Arnd Hartmanns
, Holger Hermanns
, Kim G. Larsen
, Axel Legay, Jan Tretmans:
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375 - [c193]Heiko Falk, Kevin Hammond
, Kim G. Larsen
, Björn Lisper, Stefan M. Petters:
Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. EMSOFT 2012: 163-164 - [c192]Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58 - [c191]Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen
:
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. FM 2012: 471-485 - [c190]Kim G. Larsen
:
Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems. FORMATS 2012: 7-10 - [c189]Andreas Engelbredt Dalsgaard, Alfons Laarman
, Kim G. Larsen
, Mads Chr. Olesen
, Jaco van de Pol:
Multi-core Reachability for Timed Automata. FORMATS 2012: 91-106 - [c188]Joost-Pieter Katoen
, Kim Guldstrand Larsen
:
Quantitative Modelling and Analysis. ISoLA (2) 2012: 290-292 - [c187]Alexandre David, Kim Guldstrand Larsen
, Axel Legay, Marius Mikucionis
:
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) 2012: 293-307 - [c186]Alexandre David, Kim Guldstrand Larsen
, Axel Legay, Marius Mikucionis
, Danny Bøgsted Poulsen
, Sean Sedwards:
Runtime Verification of Biological Systems. ISoLA (1) 2012: 388-404 - [c185]Thomas Bøgholm, Bent Thomsen
, Kim G. Larsen
, Alan Mycroft
:
Schedulability Analysis Abstractions for Safety Critical Java. ISORC 2012: 71-78 - [c184]Miroslav Klimos, Kim G. Larsen
, Filip Stefanak, Jeppe Thaarup:
Nash Equilibria in Concurrent Priced Games. LATA 2012: 363-376 - [c183]Nikola Benes
, Jan Kretínský, Kim Guldstrand Larsen
, Mikael H. Møller, Jirí Srba
:
Dual-Priced Modal Transition Systems with Time Durations. LPAR 2012: 122-137 - [c182]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen
, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
, Amélie Stainer:
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR 2012: 168-182 - [c181]Kim G. Larsen
, Simon Laursen
, Jirí Srba
:
Action Investment Energy Games. MEMICS 2012: 155-167 - [c180]Kim Guldstrand Larsen
, Radu Mardare, Prakash Panangaden:
Taking It to the Limit: Approximate Reasoning for Markov Processes. MFCS 2012: 681-692 - [c179]Yingke Chen, Hua Mao
, Manfred Jaeger
, Thomas Dyhre Nielsen
, Kim Guldstrand Larsen
, Brian Nielsen
:
Learning Markov Models for Stationary System Behaviors. NASA Formal Methods 2012: 216-230 - [c178]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen
, Axel Legay, Marius Mikucionis
, Danny Bøgsted Poulsen
:
Checking and Distributing Statistical Model Checking. NASA Formal Methods 2012: 449-463 - [c177]Patricia Bouyer, Kim Guldstrand Larsen
, Nicolas Markey
:
Lower-Bound Constrained Runs in Weighted Timed Automata. QEST 2012: 128-137 - [c176]Peter E. Bulychev, Alexandre David, Kim G. Larsen
, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
:
Rewrite-Based Statistical Model Checking of WMTL. RV 2012: 260-275 - [c175]Sebastian S. Bauer, Line Juhl, Kim G. Larsen
, Jirí Srba
, Axel Legay:
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE 2012: 77-84 - [c174]Kim G. Larsen
, Axel Legay:
Quantitative Modal Transition Systems. WADT 2012: 50-58 - [c173]Peter E. Bulychev, Alexandre David, Kim G. Larsen
, Axel Legay, Marius Mikucionis
:
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. IWIGP 2012: 1-14 - [c172]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen
, Marius Mikucionis
, Danny Bøgsted Poulsen
, Axel Legay, Zheng Wang:
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. QAPL 2012: 1-16 - [c171]Kim G. Larsen
, Radu Mardare, Claus R. Thrane:
Parameterized Metatheory for Continuous Markovian Logic. QFM 2012: 33-47 - [c170]Hua Mao, Yingke Chen, Manfred Jaeger
, Thomas D. Nielsen
, Kim G. Larsen
, Brian Nielsen
:
Learning Markov Decision Processes for Model Checking. QFM 2012: 49-63 - [c169]Alexandre David, Dehui Du, Kim G. Larsen
, Axel Legay, Marius Mikucionis
, Danny Bøgsted Poulsen
, Sean Sedwards:
Statistical Model Checking for Stochastic Hybrid Systems. HSB 2012: 122-136 - [c168]Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin
, Kim G. Larsen
, Jan Madsen
, Bin Gu:
MDM: A Mode Diagram Modeling Framework. FTSCS 2012: 135-149 - [c167]Kenneth Yrke Jørgensen, Kim G. Larsen
, Jirí Srba
:
Time-Darts: A Data Structure for Verification of Closed Timed Automata. SSV 2012: 141-155 - [i10]Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen:
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. CoRR abs/1203.6025 (2012) - [i9]Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He:
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. CoRR abs/1207.0922 (2012) - [i8]Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier:
Controllers with Minimal Observation Power (Application to Timed Systems). CoRR abs/1207.1276 (2012) - [i7]Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen:
On the Relationship between LTL Normal Forms and Buechi Automata. CoRR abs/1207.3866 (2012) - [i6]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Weighted Modal Transition Systems. CoRR abs/1210.5659 (2012) - 2011
- [j42]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen
, Nicolas Markey
:
Quantitative analysis of real-time systems using priced timed automata. Commun. ACM 54(9): 78-87 (2011) - [j41]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen
, Paul Pettersson
, Wang Yi:
Developing UPPAAL over 15 years. Softw. Pract. Exp. 41(2): 133-142 (2011) - [j40]Kim G. Larsen
, Uli Fahrenberg, Claus R. Thrane:
Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. 412(28): 3358-3369 (2011) - [j39]Benoît Caillaud, Benoît Delahaye
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
:
Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011) - [c166]Benoît Delahaye, Joost-Pieter Katoen
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
:
New Results on Abstract Probabilistic Automata. ACSD 2011: 118-127 - [c165]Nikola Benes
, Jan Kretínský, Kim G. Larsen
, Mikael H. Møller, Jirí Srba
:
Parametric Modal Transition Systems. ATVA 2011: 275-289 - [c164]Alexandre David, Kim G. Larsen
, Axel Legay, Marius Mikucionis
, Zheng Wang:
Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355 - [c163]Patricia Bouyer, Kim G. Larsen
, Nicolas Markey
, Ocan Sankur, Claus R. Thrane:
Timed Automata Can Always Be Made Implementable. CONCUR 2011: 76-91 - [c162]Luca Cardelli
, Kim G. Larsen
, Radu Mardare:
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL 2011: 144-158 - [c161]Sebastian S. Bauer, Kim Guldstrand Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
A Modal Specification Theory for Components with Data. FACS 2011: 61-78 - [c160]Alexandre David, Kim G. Larsen
, Axel Legay, Marius Mikucionis
, Danny Bøgsted Poulsen
, Jonas van Vliet, Zheng Wang:
Statistical Model Checking for Networks of Priced Timed Automata. FORMATS 2011: 80-96 - [c159]Kim G. Larsen
, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
:
Robust Specification of Real Time Components. FORMATS 2011: 129-144 - [c158]Luca Cardelli
, Kim G. Larsen
, Radu Mardare:
Modular Markovian Logic. ICALP (2) 2011: 380-391 - [c157]Uli Fahrenberg, Line Juhl, Kim G. Larsen
, Jirí Srba
:
Energy Games in Multiweighted Automata. ICTAC 2011: 95-115 - [c156]Benoît Delahaye, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
:
Decision Problems for Interval Markov Chains. LATA 2011: 274-285 - [c155]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen
, Axel Legay, Claus R. Thrane:
Quantitative Refinement for Weighted Modal Transition Systems. MFCS 2011: 60-71 - [c154]Andreas Engelbredt Dalsgaard, René Rydhof Hansen
, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen
, Mads Chr. Olesen
, Petur Olsen, Jirí Srba
:
opaal: A Lattice Model Checker. NASA Formal Methods 2011: 487-493 - [c153]Goran Frehse
, Kim G. Larsen
, Marius Mikucionis
, Brian Nielsen
:
Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS 2011: 115-130 - [c152]Hua Mao, Yingke Chen, Manfred Jaeger
, Thomas D. Nielsen
, Kim G. Larsen
, Brian Nielsen
:
Learning Probabilistic Automata for Model Checking. QEST 2011: 111-120 - [c151]Benoît Delahaye, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
:
APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST 2011: 151-152 - [c150]Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen:
Adaptable Value-Set Analysis for Low-Level Code. SSV 2011: 32-43 - [c149]Benoît Delahaye, Joost-Pieter Katoen
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
:
Abstract Probabilistic Automata. VMCAI 2011: 324-339 - [c148]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen
, Marius Mikucionis
, Axel Legay:
Distributed Parametric and Statistical Model Checking. PDMC 2011: 30-42 - [c147]Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen
:
Distances for Weighted Transition Systems: Games and Properties. QAPL 2011: 134-147 - [p2]Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane:
Model-Based Verification and Analysis for Real-Time Systems. Software and Systems Safety - Specification and Verification 2011: 231-259 - [i5]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang:
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata. CoRR abs/1106.3961 (2011) - 2010
- [j38]Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen
, Brian Nielsen
, Saulius Pusinskas:
Scenario-based verification of real-time systems using Uppaal. Formal Methods Syst. Des. 37(2-3): 200-264 (2010) - [j37]Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen:
Quantitative analysis of weighted transition systems. J. Log. Algebraic Methods Program. 79(7): 689-703 (2010) - [j36]Adam Antonik, Michael Huth, Kim G. Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
Modal and mixed specifications: key decision problems and their complexities. Math. Struct. Comput. Sci. 20(1): 75-103 (2010) - [c146]Alexandre David, Kim Guldstrand Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA 2010: 365-370 - [c145]Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas:
Scenario-based analysis and synthesis of real-time systems using uppaal. DATE 2010: 447-452 - [c144]Holger Hermanns
, Kim Guldstrand Larsen
, Jean-François Raskin, Jan Tretmans:
Quantitative system validation in model driven design. EMSOFT 2010: 301-302 - [c143]Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen
, Jacob Illum Rasmussen:
Application of Model-Checking Technology to Controller Synthesis. FMCO 2010: 336-351 - [c142]Alexandre David, Kim Guldstrand Larsen
, Shuhao Li, Marius Mikucionis
, Brian Nielsen
:
Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371 - [c141]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen
, Nicolas Markey
:
Timed automata with observers under energy constraints. HSCC 2010: 61-70 - [c140]Alexandre David, Kim G. Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100 - [c139]Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen:
Quantitative Verification in Practice. ISoLA (2) 2010: 127 - [c138]Marius Mikucionis
, Kim Guldstrand Larsen
, Jacob Illum Rasmussen, Brian Nielsen
, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard:
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. ISoLA (2) 2010: 175-190 - [c137]Benoît Caillaud, Benoît Delahaye
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Compositional Design Methodology with Constraint Markov Chains. QEST 2010: 123-132 - [c136]Kim Guldstrand Larsen:
Symbolic and Compositional Reachability for Timed Automata. RP 2010: 24-28 - [c135]Timothy Bourke, Alexandre David, Kim G. Larsen
, Axel Legay, Didier Lime
, Ulrik Nyman
, Andrzej Wasowski
:
New Results on Timed Specifications. WADT 2010: 175-192 - [c134]Andreas Engelbredt Dalsgaard, Mads Chr. Olesen
, Martin Toft, René Rydhof Hansen
, Kim Guldstrand Larsen:
METAMOC: Modular Execution Time Analysis using Model Checking. WCET 2010: 113-123 - [c133]Oded Maler, Kim G. Larsen, Bruce H. Krogh:
On Zone-Based Analysis of Duration Probabilistic Automata. INFINITY 2010: 33-46 - [c132]Petur Olsen, Kim G. Larsen
, Arne Skou:
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. MBT@ETAPS 2010: 53-68 - [e7]Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen:
Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010. Dagstuhl Seminar Proceedings 10031, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i4]Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen:
10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis 2010 - [i3]Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen:
10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis 2010
2000 – 2009
- 2009
- [j35]Nikola Benes
, Jan Kretínský, Kim Guldstrand Larsen
, Jirí Srba
:
On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009) - [c131]Thomas Chatain, Alexandre David, Kim G. Larsen
:
Playing Games with Timed Games. ADHS 2009: 238-243 - [c130]Kim G. Larsen:
Compositional and Quantitative Model Checking (Extended Abstract). Ershov Memorial Conference 2009: 35-42 - [c129]Kim Guldstrand Larsen
, Shuhao Li, Brian Nielsen
, Saulius Pusinskas:
Verifying Real-Time Systems against Scenario-Based Requirements. FM 2009: 676-691 - [c128]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 - [c127]Alexandre David, Kim G. Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO 2009: 290-310 - [c126]Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen:
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS 2009: 73-87 - [c125]Uli Fahrenberg, Kim G. Larsen
, Claus R. Thrane:
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN 2009: 34-61 - [c124]Kim G. Larsen:
Priced Timed Automata: Theory and Tools. FSTTCS 2009: 417-425 - [c123]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 - [c122]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Timed Testing under Partial Observability. ICST 2009: 61-70 - [c121]Nikola Benes
, Jan Kretínský, Kim Guldstrand Larsen
, Jirí Srba
:
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126 - [c120]Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane:
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS 2009 - [c119]Kim Guldstrand Larsen
:
Verification and Performance Analysis for Embedded Systems. TASE 2009: 3-4 - [c118]Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen
, Jirí Srba
:
Teaching Concurrency: Theory in Practice. TFM 2009: 158-175 - [c117]Ulrich Fahrenberg, Kim Guldstrand Larsen
:
Discounting in Time. QAPL 2009: 25-31 - [c116]Ulrich Fahrenberg, Kim Guldstrand Larsen
:
Discount-Optimal Infinite Runs in Priced Timed Automata. INFINITY 2009: 179-191 - 2008
- [j34]Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski:
20 Years of Modal and Mixed Specifications. Bull. EATCS 95: 94-129 (2008) - [j33]Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen
:
Optimal infinite scheduling for multi-priced timed automata. Formal Methods Syst. Des. 32(1): 3-23 (2008) - [j32]Patricia Bouyer, Kim Guldstrand Larsen
, Nicolas Markey
:
Model Checking One-Clock Priced Timed Automata. Log. Methods Comput. Sci. 4(2) (2008) - [j31]Kim Guldstrand Larsen
, Jacob Illum Rasmussen:
Optimal reachability for multi-priced timed automata. Theor. Comput. Sci. 390(2-3): 197-213 (2008) - [c115]Alexandre David, Kim Guldstrand Larsen
, Shuhao Li, Brian Nielsen
:
A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491 - [c114]Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen
, Nicolas Markey
, Jirí Srba
:
Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47 - [c113]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 - [c112]Adam Antonik, Michael Huth, Kim Guldstrand Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126 - [c111]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 - [c110]Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen
:
Fast Directed Model Checking Via Russian Doll Abstraction. TACAS 2008: 203-217 - [c109]Adam Antonik, Michael Huth, Kim Guldstrand Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
EXPTIME-complete Decision Problems for Modal and Mixed Specifications. EXPRESS 2008: 19-33 - [c108]Alexandre David, Kim Guldstrand Larsen
, Shuhao Li, Brian Nielsen
:
Cooperative Testing of Timed Systems. MBT@ETAPS 2008: 79-92 - [i2]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey:
Model Checking One-clock Priced Timed Automata. CoRR abs/0805.1457 (2008) - 2007
- [j30]Kim Guldstrand Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
Modeling software product lines using color-blind transition systems. Int. J. Softw. Tools Technol. Transf. 9(5-6): 471-487 (2007) - [c107]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 - [c106]Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime:
UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125 - [c105]Kim Guldstrand Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
On Modal Refinement and Consistency. CONCUR 2007: 105-119 - [c104]Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
:
Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79 - [c103]Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen:
Automatic Abstraction Refinement for Timed Automata. FORMATS 2007: 114-129 - [c102]Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David:
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS 2007: 227-240 - [c101]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
:
Model-Checking One-Clock Priced Timed Automata. FoSSaCS 2007: 108-122 - [c100]Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen
:
Complexity in Simplicity: Flexible Agent-Based State Space Exploration. TACAS 2007: 231-245 - 2006
- [j29]Jacob Illum Rasmussen, Kim Guldstrand Larsen
, K. Subramani
:
On using priced timed automata to achieve optimal scheduling. Formal Methods Syst. Des. 29(1): 97-114 (2006) - [j28]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. Embed. Comput. 2(3-4): 347-360 (2006) - [j27]Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
:
Lower and upper bounds in zone-based abstractions of timed automata. Int. J. Softw. Tools Technol. Transf. 8(3): 204-215 (2006) - [c99]Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen:
Introducing synchronisation in deterministic network models. CAINE 2006: 236-243 - [c98]Kim Guldstrand Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
Interface Input/Output Automata. FM 2006: 82-97 - [c97]Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson
:
Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142 - [c96]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen:
Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS 2006: 345-356 - [c95]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0. QEST 2006: 125-126 - 2005
- [j26]Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Optimal scheduling using priced timed automata. SIGMETRICS Perform. Evaluation Rev. 32(4): 34-40 (2005) - [c94]Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen:
Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies. CATA 2005: 326-332 - [c93]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 - [c92]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 - [c91]Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski
:
Color-Blind Specifications for Transformations of Reactive Synchronous Programs. FASE 2005: 160-174 - [c90]Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. FORMATS 2005: 81-94 - [c89]Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Optimal Conditional Reachability for Multi-priced Timed Automata. FoSSaCS 2005: 234-249 - [c88]Gregorio Díaz
, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentín Valero:
An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. SAC 2005: 815-820 - 2004
- [c87]Kim Guldstrand Larsen, Marius Mikucionis
, Brian Nielsen:
Online Testing of Real-time Systems Using Uppaal. FATES 2004: 79-94 - [c86]Gerd Behrmann, Kim Guldstrand Larsen
, Jacob Illum Rasmussen:
Priced Timed Automata: Algorithms and Applications. FMCO 2004: 162-182 - [c85]Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen:
Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160 - [c84]Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen:
Staying Alive as Cheaply as Possible. HSCC 2004: 203-218 - [c83]Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen:
T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE 2004: 396-397 - [c82]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen:
A Tutorial on Uppaal. SFM 2004: 200-236 - [c81]Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani:
Resource-Optimal Scheduling Using Priced Timed Automata. TACAS 2004: 220-235 - [c80]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 - [c79]Patricia Bouyer, Franck Cassez
, Emmanuel Fleury, Kim Guldstrand Larsen:
Synthesis of Optimal Strategies Using HyTech. GDV@CAV 2004: 11-31 - [i1]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 - 2003
- [j25]Zoltán Ésik, Kim Guldstrand Larsen:
Regular languages definable by Lindström quantifiers. RAIRO Theor. Informatics Appl. 37(3): 179-241 (2003) - [j24]Kim Guldstrand Larsen
, Fredrik Larsson, Paul Pettersson
, Wang Yi:
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real Time Syst. 25(2-3): 255-275 (2003) - [j23]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) - [c78]Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek:
To Store or Not to Store. CAV 2003: 433-445 - [c77]Kim Guldstrand Larsen:
Resource-Efficient Scheduling for Real Time Systems. EMSOFT 2003: 16-19 - [c76]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson
, Arne Skou:
Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130 - [c75]Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager:
Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59 - [c74]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson
, Arne Skou:
Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245 - [c73]Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi:
Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229 - [c72]Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen:
Static Guard Analysis in Timed Automata Verification. TACAS 2003: 254-277 - [e6]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. Lecture Notes in Computer Science 2791, Springer 2003, ISBN 3-540-21671-5 [contents] - 2002
- [j22]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 Syst. Des. 21(2): 225-244 (2002) - [j21]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. Algebraic Methods Program. 52-53: 163-181 (2002) - [c71]Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson
, Wang Yi:
UPPAAL Implementation Secrets. FTRTFT 2002: 3-22 - [c70]Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen:
Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76 - [c69]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 - [c68]Martijn Hendriks, Kim Guldstrand Larsen:
Exact Acceleration of Real-Time Model Checking. Theory and Practice of Timed Systems @ ETAPS 2002: 120-139 - [e5]Ed Brinksma, Kim Guldstrand Larsen:
Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Lecture Notes in Computer Science 2404, Springer 2002, ISBN 3-540-43997-8 [contents] - 2001
- [j20]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 Syst. Des. 18(1): 5-23 (2001) - [j19]Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. 8(1): 43-64 (2001) - [c67]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 - [c66]Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi:
UPPAAL - present and future. CDC 2001: 2881-2886 - [c65]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 - [c64]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 - [c63]Gerd Behrmann, Ansgar Fehnker
, Thomas Hune, Kim G. Larsen, Paul Pettersson
, Judi Romijn:
Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS 2001: 174-188 - [p1]Bengt Jonsson, Wang Yi, Kim G. Larsen:
Probabilistic Extensions of Process Algebras. Handbook of Process Algebra 2001: 685-710 - [e4]Kim Guldstrand Larsen, Mogens Nielsen:
CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Lecture Notes in Computer Science 2154, Springer 2001, ISBN 3-540-42497-0 [contents] - 2000
- [j18]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. Computer 33(5): 68-75 (2000) - [c62]Kim Guldstrand Larsen:
Verification of Timed and Hybrid Systems. ICATPN 2000: 39-42 - [c61]Franck Cassez, Kim Guldstrand Larsen:
The Impressive Power of Stopwatches. CONCUR 2000: 138-152 - [c60]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 - [c59]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 - [c58]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 - [c57]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
1990 – 1999
- 1999
- [j17]Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi:
Clock Difference Diagrams. Nord. J. Comput. 6(3): 271-298 (1999) - [c56]Klaus Havelund, Kim Guldstrand Larsen, Arne Skou:
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. ARTS 1999: 277-298 - [c55]Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi:
Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353 - [c54]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 - 1998
- [c53]François Laroussinie, Kim Guldstrand Larsen:
CMC: A Tool for Compositional Model-Checking of Real-Time Systems. FORTE 1998: 439-456 - [c52]Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen:
The Power of Reachability Testing for Timed Automata. FSTTCS 1998: 245-256 - [c51]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 - [c50]Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen:
Model Checking via Reachability Testing for Timed Automata. TACAS 1998: 263-280 - [e3]Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel:
Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings. Lecture Notes in Computer Science 1443, Springer 1998, ISBN 3-540-64781-3 [contents] - 1997
- [j16]Kim Guldstrand Larsen, Wang Yi:
Time-abstracted Bisimulation: Implicit Specifications and Decidability. Inf. Comput. 134(2): 75-101 (1997) - [j15]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. Int. J. Softw. Tools Technol. Transf. 1(1-2): 64-85 (1997) - [j14]Kim Guldstrand Larsen, Paul Pettersson
, Wang Yi:
UPPAAL in a Nutshell. Int. J. Softw. Tools Technol. Transf. 1(1-2): 134-152 (1997) - [c49]Kim Guldstrand Larsen, Paul Pettersson
, Wang Yi:
UPPAAL: Status & Developments. CAV 1997: 456-459 - [c48]Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund:
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. RTSS 1997: 2-13 - [c47]Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Efficient verification of real-time systems: compact data structure and state-space reduction. RTSS 1997: 14-24 - [c46]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 - 1996
- [c45]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 - [c44]Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou:
Modelling and analysis of a collision avoidance protocol using Spin and Uppaal. The Spin Verification System 1996: 33-49 - [c43]Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson
, Wang Yi:
UPPAAL in 1995. TACAS 1996: 431-434 - 1995
- [j13]Anders Børjesson, Kim Guldstrand Larsen, Arne Skou:
Generality in Design and Compositional Verification Using TAV. Formal Methods Syst. Des. 6(3): 239-258 (1995) - [j12]Jens Chr. Godskesen, Kim Guldstrand Larsen:
Synthesizing Distinguishing Formulae for Real Time Systems. Nord. J. Comput. 2(3): 338-357 (1995) - [c42]François Laroussinie, Kim Guldstrand Larsen:
Compositional Model Checking of Real Time Systems. CONCUR 1995: 27-41 - [c41]Kim Guldstrand Larsen, Paul Pettersson
, Wang Yi:
Model-Checking for Real-Time Systems. FCT 1995: 62-88 - [c40]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 - [c39]Kim Guldstrand Larsen, Paul Pettersson
, Wang Yi:
Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems 1995: 575-586 - [c38]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. Hybrid Systems 1995: 604-615 - [c37]Jørgen H. Andersen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann:
Automatic Synthesis of Real Time Systems. ICALP 1995: 535-546 - [c36]Jens Chr. Godskesen, Kim Guldstrand Larsen:
Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). MFCS 1995: 519-528 - [c35]François Laroussinie, Kim Guldstrand Larsen, Carsten Weise:
From Timed Automata to Logic - and Back. MFCS 1995: 529-539 - [c34]Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Compositional and Symbolic Model-Checking of Real-Time Systems. RTSS 1995: 76-87 - [c33]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
A Constraint Oriented Proof Methodology Based on Modal Transition Systems. TACAS 1995: 17-40 - [e2]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. Lecture Notes in Computer Science 1019, Springer 1995, ISBN 3-540-60630-0 [contents] - 1994
- [j11]Klaus Havelund, Kim Guldstrand Larsen:
The Fork Calculus. Nord. J. Comput. 1(3): 346-363 (1994) - [c32]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
The Methodology of Modal Constraints. Formal Systems Specification 1994: 405-435 - [c31]Klaus Havelund, Kim Guldstrand Larsen:
A refinement logic for the fork calculus. PSTV 1994: 5-20 - [c30]Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou:
Automatic verification of real-tim systems using epsilon. PSTV 1994: 323-330 - 1993
- [j10]Kim Guldstrand Larsen:
The Expressive Power of Implicit Specifications. Theor. Comput. Sci. 114(1): 119-147 (1993) - [c29]Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen:
Timed Modal Specification - Theory and Tools. CAV 1993: 253-267 - [c28]Ole Høgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen:
Model Construction for Implicit Specifications in Model Logic. CONCUR 1993: 247-261 - [c27]Klaus Havelund, Kim Guldstrand Larsen:
The Fork Calculus. ICALP 1993: 544-557 - [c26]Kim Guldstrand Larsen, Wang Yi:
Time Abstracted Bisimiulation: Implicit Specifications and Decidability. MFPS 1993: 160-176 - 1992
- [j9]Kim Guldstrand Larsen, Robin Milner:
A Compositional Protocol Verification Using Relativized Bisimulation. Inf. Comput. 99(1): 80-108 (1992) - [j8]Gérard Boudol, Kim Guldstrand Larsen:
Graphical Versus Logical Specifications. Theor. Comput. Sci. 106(1): 3-20 (1992) - [c25]Kim Guldstrand Larsen:
Efficient Local Correctness Checking. CAV 1992: 30-43 - [c24]Kim Guldstrand Larsen, Arne Skou:
Compositional Verification of Probabilistic Processes. CONCUR 1992: 456-471 - [c23]Anders Børjesson, Kim Guldstrand Larsen, Arne Skou:
Generality in design and compositional verification using TAV. FORTE 1992: 449-464 - [c22]Jens Chr. Godskesen, Kim Guldstrand Larsen:
Real-Time Calculi and Expansion Theorems. FSTTCS 1992: 302-315 - [c21]Jens Chr. Godskesen, Kim Guldstrand Larsen:
Real-Time Calculi and Expansion Theorems. NAPAW 1992: 3-12 - [c20]Wang Yi, Kim Guldstrand Larsen:
Testing Probabilistic and Nondeterministic Processes. PSTV 1992: 47-61 - [e1]Kim Guldstrand Larsen, Arne Skou:
Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Lecture Notes in Computer Science 575, Springer 1992, ISBN 3-540-55179-4 [contents] - 1991
- [j7]Kim Guldstrand Larsen, Glynn Winskel:
Using Information Systems to Solve Recursive Domain Equations. Inf. Comput. 91(2): 232-258 (1991) - [j6]Kim Guldstrand Larsen, Arne Skou:
Bisimulation through Probabilistic Testing. Inf. Comput. 94(1): 1-28 (1991) - [j5]Kim Guldstrand Larsen, Xinxin Liu:
Compositionality through an Operational Semantics of Contexts. J. Log. Comput. 1(6): 761-795 (1991) - [j4]Kim Guldstrand Larsen, Bent Thomsen:
Partial Specifications and Compositional Verification. Theor. Comput. Sci. 88(1): 15-32 (1991) - [c19]Uno Holmer, Kim Guldstrand Larsen, Wang Yi:
Deciding Properties of Regular Real Time Processes. CAV 1991: 443-453 - [c18]Kim Guldstrand Larsen:
The Expressive Power of Implicit Specifications. ICALP 1991: 204-216 - [c17]Bengt Jonsson, Kim Guldstrand Larsen:
Specification and Refinement of Probabilistic Processes. LICS 1991: 266-277 - [c16]Bengt Jonsson, Kim Guldstrand Larsen:
On the Complexity of Equation Solving in Process Algebra. TAPSOFT, Vol.1 1991: 381-396 - 1990
- [j3]Kim Guldstrand Larsen:
Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion. Theor. Comput. Sci. 72(2&3): 265-288 (1990) - [c15]Gérard Boudol, Kim Guldstrand Larsen:
Graphical versus Logical Specifications. CAAP 1990: 57-71 - [c14]Kim Guldstrand Larsen:
Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... CONCUR 1990: 33-56 - [c13]Kim Guldstrand Larsen, Xinxin Liu:
Compositionality Through an Operational Semantics of Contexts. ICALP 1990: 526-539 - [c12]Kim Guldstrand Larsen, Xinxin Liu:
Equation Solving Using Modal Transition Systems. LICS 1990: 108-117
1980 – 1989
- 1989
- [c11]Kim Guldstrand Larsen:
Modal Specifications. Automatic Verification Methods for Finite State Systems 1989: 232-246 - [c10]Hans Hüttel
, Kim Guldstrand Larsen
:
The Use of Static Constructs in A Modal Process Logic. Logic at Botik 1989: 163-180 - [c9]Kim Guldstrand Larsen, Arne Skou:
Bisimulation Through Probabilistic Testing. POPL 1989: 344-352 - [c8]Kim Guldstrand Larsen:
Compositional Theories Based on an Operational Semantics of Contexts. REX Workshop 1989: 487-518 - 1988
- [c7]Kim Guldstrand Larsen:
Proof System for Hennessy-Milner Logic with Recursion. CAAP 1988: 215-230 - [c6]Kim Guldstrand Larsen, Bent Thomsen:
A Modal Process Logic. LICS 1988: 203-210 - [c5]Kim Guldstrand Larsen, Bent Thomsen:
Compositional Proofs by Partial Specification of Processes. MFCS 1988: 414-423 - 1987
- [j2]Kim Guldstrand Larsen:
A Context Dependent Equivalence Between Processes. Theor. Comput. Sci. 49: 184-215 (1987) - [j1]Finn Verner Jensen, Kim Guldstrand Larsen:
Recursively Defined Doains and their Induction Principles. Theor. Comput. Sci. 54: 29-51 (1987) - [c4]Kim Guldstrand Larsen, Robin Milner:
Verifying a Protocol Using Relativized Bisimulation. ICALP 1987: 126-135 - 1985
- [c3]Finn Verner Jensen, Kim Guldstrand Larsen:
Recursively Defined Domains and Their Induction Principles. FSTTCS 1985: 225-245 - [c2]Kim Guldstrand Larsen:
A Context Dependent Equivalence between Processes. ICALP 1985: 373-382 - 1984
- [c1]Glynn Winskel, Kim Guldstrand Larsen:
Using Information Systems to Solve Recursive Domain Equations Effectively. Semantics of Data Types 1984: 109-129
Coauthor Index
aka: Jalil Boudjadar
aka: Ulrich Fahrenberg
aka: Thomas Dyhre Nielsen
aka: Ulrik Larsen
aka: Mads Christian Olesen
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-11 00:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint