Kim G. Larsen

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 108

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

Publications

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)
Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann
Monitoring Real-Time Systems under Parametric Delay. CoRR (2024)
Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen
Safe and Infinite Resource Scheduling Using Energy Timed Automata. TASE (2024)
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) (2024)
Esther H. Kim, Kim G. Larsen, Martijn A. Goorden, Thomas D. Nielsen
Compositional Control Synthesis for Water Management System. ECC (2024)
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 (2024)
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)
Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen
Dynamic Extrapolation in Extended Timed Automata. ICFEM (2023)
Kim G. Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba
AllSynth: A BDD-based approach for network update synthesis. Sci. Comput. Program. 230 (2023)
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 (2023)
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)
Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen
Assume-Guarantee Reasoning for Additive Hybrid Behaviour. Theories of Programming and Formal Methods (2023)
Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Weizhu Qian, Michael R. Rasmussen, Guohan Zhao
. CCTA (2023)
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
MM Algorithms to Estimate Parameters in Continuous-time Markov Chains. CoRR (2023)
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR (2023)
Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen
Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA (2023)
Anders Mariegaard, Kim G. Larsen, Marco Muñiz, Thomas Dyhre Nielsen
Energy Consumption Optimization in Radio Access Networks (ECO-RAN). CoRR (2023)
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)
Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR (2023)
Kim G. Larsen, Christian Schilling, Jirí Srba
Simulation Relations and Applications in Formal Methods. Principles of Systems Design (2022)
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) (2022)
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)
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)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Automata Learning Meets Shielding. ISoLA (1) (2022)
Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework. Inf. Comput. 289 (Part) (2022)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Automata Learning meets Shielding. CoRR (2022)
Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen
Convex Lattice Equation Systems. Principles of Systems Design (2022)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) (2022)
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)
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)
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
Active Learning of Markov Decision Processes using Baum-Welch algorithm. ICMLA (2021)
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 (2021)
Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. ADHS (2021)
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) (2021)
Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard
Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning (2021)
Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Lumpability for Uncertain Continuous-Time Markov Chains. QEST (2021)
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)
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 (2021)
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended). CoRR (2021)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
-based learning of Markov decision processes (extended version). Formal Aspects Comput. 33 (4-5) (2021)
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)
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)
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 (2021)
Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha
2018 CAV award. Formal Methods Syst. Des. 57 (1) (2021)
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)
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)
Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba
Urgent Partial Order Reduction for Extended Timed Automata. ATVA (2020)
Kim G. Larsen, Axel Legay
30 Years of Statistical Model Checking. ISoLA (1) (2020)
Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Interfaces. CoRR (2020)
Alessandro Tibo, Manfred Jaeger, Kim G. Larsen
A general framework for defining and optimizing robustness. CoRR (2020)
Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba
Dependency graphs with applications to verification. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Manfred Jaeger, Kim G. Larsen, Alessandro Tibo
From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. RV (2020)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Converging from branching to linear metrics on Markov chains. Math. Struct. Comput. Sci. 29 (1) (2019)
Kim G. Larsen, Jirí Srba
Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16). J. Log. Algebraic Methods Program. 107 (2019)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CoRR (2019)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
-Based Learning of Markov Decision Processes. FM (2019)
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 (2019)
Kim G. Larsen
Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper). CONCUR (2019)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
L*-Based Learning of Markov Decision Processes (Extended Version). CoRR (2019)
Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba
Partial Order Reduction for Reachability Games. CONCUR (2019)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CONCUR (2019)
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen
A Faster-Than Relation for Semi-Markov Decision Processes. QAPL@ETAPS (2019)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Average-energy games. Acta Informatica 55 (2) (2018)
Kim G. Larsen, Radu Mardare, Bingtian Xue
On decidability of recursive weighted logics. Soft Comput. 22 (4) (2018)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the metric-based approximate minimization of Markov Chains. J. Log. Algebraic Methods Program. 100 (2018)
Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen
Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR (2018)
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)
Kim G. Larsen, Florian Lorber, Brian Nielsen
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. ISoLA (4) (2018)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the Metric-based Approximate Minimization of Markov Chains. CoRR (2018)
Manfred Droste, Kim G. Larsen
Preface: Dedicated to the memory of Zoltán Ésik (1951-2016). Soft Comput. 22 (4) (2018)
Kim G. Larsen, Igor Potapov, Jirí Srba
Reachability problems: Special issue. Theor. Comput. Sci. 750 (2018)
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) (2018)
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) (2018)
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)
Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. QEST (2018)
Uli Fahrenberg, Kim G. Larsen
Energiautomater, energifunktioner og Kleene-algebra. NIK (2018)
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) (2018)
Tiziana Margaria, Susanne Graf, Kim G. Larsen
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta (2018)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Complete Axiomatization for the Total Variation Distance of Markov Chains. MFPS (2018)
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 (2018)
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Timed Comparisons of Semi-Markov Processes. LATA (2018)
Florian Lorber, Kim G. Larsen, Brian Nielsen
Model-Based Mutation Testing of Real-Time Systems via Model Checking. ICST Workshops (2018)
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)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Computation of Bisimilarity Distances. CoRR (2017)
Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
Unrestricted stone duality for Markov processes. LICS (2017)
Gayathri Sugumar, Rajasekar Selvamuthukumaran, Tomislav Dragicevic, Ulrik Nyman, Kim G. Larsen, Frede Blaabjerg
Formal validation of supervisory energy management systems for microgrids. IECON (2017)
Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman
Mutation-Based Test-Case Generation with Ecdar. ICST Workshops (2017)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. CoRR (2017)
Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman
Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd (2017)
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)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Computation of Bisimilarity Distances. Log. Methods Comput. Sci. 13 (2) (2017)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the Metric-Based Approximate Minimization of Markov Chains. ICALP (2017)
Kim G. Larsen, Doron Peled, Sean Sedwards
Memory-Efficient Tactics for Randomized LTL Model Checking. VSTTE (2017)
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) (2016)
Bingtian Xue, Stefan Schmid, Kim G. Larsen
WNetKAT: A Weighted SDN Programming and Verification Language. CoRR (2016)
Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Importance Sampling for Stochastic Timed Automata. SETTA (2016)
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)
Kim G. Larsen, Stefan Schmid, Bingtian Xue
WNetKAT: A Weighted SDN Programming and Verification Language. OPODIS (2016)
Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Distributed Algorithms for Time Optimal Reachability Analysis. FORMATS (2016)
Kim G. Larsen, Radu Mardare, Bingtian Xue
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization. FSTTCS (2016)

Kim G. Larsen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kim G. Larsen