Kim Guldstrand Larsen

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 105

Top Venues

CoRR

FORMATS

Int. J. Softw. Tools Technol. Transf.

QEST

Publications

Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
The Complexity of Data-Free Nfer. CoRR (2024)
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling
Efficient Shield Synthesis via State-Space Transformation. CoRR (2024)
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)
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) (2024)
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)
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)
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)
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling
Shielded Reinforcement Learning for Hybrid Systems. AISoLA (2023)
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling
Shielded Reinforcement Learning for Hybrid Systems. CoRR (2023)
Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen
Safety Verification of Decision-Tree Policies in Continuous Time. NeurIPS (2023)
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 (2023)
Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Refinement of Systems with an Attacker Focus. FMICS (2023)
Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. FORMATS (2023)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik
Elimination of Detached Regions in Dependency Graph Verification. SPIN (2023)
Muhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. ECBS (2023)
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) (2023)
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)
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) (2022)
Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. TASE (2022)
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
Monitoring Timed Properties (Revisited). FORMATS (2022)
Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
Importance Splitting in Uppaal. ISoLA (3) (2022)
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)
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
Monitoring Timed Properties (Revisited). CoRR (2022)
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)
Jonas Hansen, Kim Guldstrand Larsen, Pieter J. L. Cuijpers
Balancing Flexible Production and Consumption of Energy using Resource Timed Automata. MECO (2022)
Muhammad Naeem, Michele Albano, Davide Magrin, Brian Nielsen, Kim Guldstrand Larsen
A Sigfox Module for the Network Simulator 3. WNS3 (2022)
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)
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Extended abstract dependency graphs. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
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)
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) (2021)
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)
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. FMICS (2021)
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) (2021)
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)
Michele Albano, Stefano Chessa, Kim Guldstrand Larsen
A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT. ISCC (2021)
Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. Petri Nets (2020)
Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. LOPSTR (2020)
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. CoRR (2020)
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 (2020)
Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
Approximating Euclidean by Imprecise Markov Decision Processes. ISoLA (1) (2020)
Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
Approximating Euclidean by Imprecise Markov Decision Processes. CoRR (2020)
Mathias Claus Jensen, Kim Guldstrand Larsen
A complete axiomatization of weighted branching bisimulation. Acta Informatica 57 (3-5) (2020)
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
Randomized Refinement Checking of Timed I/O Automata. SETTA (2020)
Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
On-the-Fly Synthesis for Strictly Alternating Games. Petri Nets (2020)
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Model Verification Through Dependency Graphs. SPIN (2019)
Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
Model Checking Constrained Markov Reward Models with Uncertainties. QEST (2019)
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 (2019)
Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba
Safe and Time-Optimal Control for Railway Games. RSSRail (2019)
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)
Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen
Symbolic Model Checking of Weighted PCTL Using Dependency Graphs. NFM (2019)
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 (2019)
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Abstract Dependency Graphs and Their Application to Model Checking. TACAS (1) (2019)
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)
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
Time to Learn - Learning Timed Automata from Tests. FORMATS (2019)
Mathias Claus Jensen, Kim Guldstrand Larsen, Radu Mardare
Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. FORMATS (2018)
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) (2018)
Henrik Schiøler, Luminita Totu, Jan Dimon, Kim Guldstrand Larsen, Jakob Haahr Taankvist
Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation. CCTA (2018)
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)
Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen
20 Years of Real Real Time Model Validation. FM (2018)
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
Learning Timed Automata via Genetic Programming. CoRR (2018)
Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. CyPhy/WESE (2018)
Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
On the Verification of Weighted Kripke Structures Under Uncertainty. QEST (2018)
Kim Guldstrand Larsen, Axel Legay
Statistical Model Checking the 2018 Edition! ISoLA (2) (2018)
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. QEST (2018)
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)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen
Reasoning About Bounds in Weighted Transition Systems. Log. Methods Comput. Sci. 14 (4) (2018)
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
Timed Comparisons of Semi-Markov Processes. CoRR (2017)
Anders Mariegaard, Kim Guldstrand Larsen
Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-Checking. FORMATS (2017)
Kim Guldstrand Larsen
Validation, Synthesis and Optimization for Cyber-Physical Systems. TACAS (1) (2017)
Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
. SPIN (2017)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. ICTAC (2017)
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)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. ICECCS (2017)
Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM (2017)
Kim Guldstrand Larsen
Timed and Untimed Energy Games. CIAA (2017)
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Refinement of Trace Abstraction for Real-Time Programs. RP (2017)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
Reasoning About Bounds in Weighted Transition Systems. CoRR (2017)
Kim Guldstrand Larsen
Dependable and Optimal Cyber-Physical Systems. SOFSEM (2017)
Kim Guldstrand Larsen
Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. TIME (2016)
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)
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)
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)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
A Complete Approximation Theory for Weighted Transition Systems. SETTA (2016)
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)
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) (2016)
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) (2016)
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Distributed Computation of Fixed Points on Dependency Graphs. SETTA (2016)
Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. Cassting/SynCoP (2016)
Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
An Automata-Based Approach to Trace Partitioned Abstract Interpretation. Semantics, Logics, and Calculi (2016)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. SPIN (2016)
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)
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) (2015)
Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Mardare
Parametric Verification of Weighted Systems. SynCoP (2015)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
On the Total Variation Distance of Semi-Markov Chains. FoSSaCS (2015)
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)
Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jirí Srba
Language Emptiness of Continuous-Time Parametric Timed Automata. ICALP (2) (2015)
Daniel Gebler, Kim Guldstrand Larsen, Simone Tini
Compositional Metric Reasoning with Probabilistic Process Calculi. FoSSaCS (2015)
Kim Guldstrand Larsen
The EATCS Award 2016 - Call for Nominations. Bull. EATCS 117 (2015)
Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba
Polynomial Time Decidability of Weighted Synchronization under Partial Observability. CONCUR (2015)
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist
Uppaal Stratego. TACAS (2015)

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

Publication Activity (10 Years)

Top Topics

Top Venues

Kim Guldstrand Larsen