Person:808272

Available identifiers

zbMath Open larsen.kim-guldstrandDBLPl/KimGuldstrandLarsenWikidataQ62560107 ScholiaQ62560107MaRDI QIDQ808272

List of research outcomes

Publication	Date of Publication	Type
Deciding properties of regular real timed processes	2024-04-29	Paper
Model Checking Constrained Markov Reward Models with Uncertainties	2024-03-14	Paper
Model verification through dependency graphs	2024-02-23	Paper
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains	2024-01-26	Paper
Abstract Dependency Graphs and Their Application to Model Checking	2023-11-24	Paper
Elimination of detached regions in dependency graph verification	2023-10-16	Paper
Simulation relations and applications in formal methods	2023-08-10	Paper
Convex lattice equation systems	2023-08-10	Paper
On the Verification of Weighted Kripke Structures Under Uncertainty	2023-06-28	Paper
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes	2023-06-28	Paper
Monte Carlo tree search for priced timed automata	2023-06-02	Paper
Start pruning when time gets urgent: partial order reduction for timed systems	2023-05-26	Paper
Quantitative analysis of interval Markov chains	2023-05-26	Paper
Time abstracted bisimulation: Implicit specifications and decidability	2023-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5875370	2023-02-03	Paper
Partial order reduction for reachability games	2023-02-03	Paper
Monitoring timed properties (revisited)	2023-01-18	Paper
Model-checking for real-time systems	2022-12-09	Paper
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals	2022-12-07	Paper
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions	2022-09-01	Paper
On-the-Fly Synthesis for Strictly Alternating Games	2022-09-01	Paper
Randomized refinement checking of timed I/O automata	2022-09-01	Paper
Complete axiomatization for the total variation distance of Markov chains	2022-04-25	Paper
Stubborn set reduction for timed reachability and safety games	2022-03-24	Paper
An integer static analysis for better extrapolation in Uppaal	2022-03-24	Paper
Lumpability for uncertain continuous-time Markov chains	2022-03-24	Paper
Verification of multiplayer stochastic games via abstract dependency graphs	2022-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q5013874	2021-12-03	Paper
\(L^\ast\)-based learning of Markov decision processes (extended version)	2021-09-14	Paper
Optimal and robust controller synthesis. Using energy timed automata with uncertainty	2021-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q5856412	2021-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q5856425	2021-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q4965817	2021-03-10	Paper
Optimal and robust controller synthesis using energy timed automata with uncertainty	2021-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q5111436	2020-05-27	Paper
A complete axiomatization of weighted branching bisimulation	2020-05-26	Paper
Time to learn -- learning timed automata from tests	2020-05-05	Paper
Parametric Verification of Weighted Systems	2019-10-24	Paper
Model checking and synthesis for branching multi-weighted logics	2019-06-20	Paper
The fork calculus	2019-03-29	Paper
Automatic synthesis of real time systems	2019-01-10	Paper
Memory-efficient tactics for randomized LTL model checking	2018-12-07	Paper
Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations	2018-12-06	Paper
Converging from branching to linear metrics on Markov chains	2018-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4558787	2018-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q4558788	2018-11-30	Paper
On decidability of recursive weighted logics	2018-10-22	Paper
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs*	2018-10-02	Paper
On the metric-based approximate minimization of Markov chains	2018-10-01	Paper
Extended dependency graphs and efficient distributed fixed-point computation	2018-08-20	Paper
Importance sampling for stochastic timed automata	2018-08-16	Paper
Distributed computation of fixed points on dependency graphs	2018-08-16	Paper
A complete approximation theory for weighted transition systems	2018-08-16	Paper
Model Checking Real-Time Systems	2018-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q3174943	2018-07-18	Paper
Timed comparisons of semi-Markov processes	2018-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4636572	2018-04-19	Paper
Average-energy games	2018-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q4608673	2018-03-21	Paper
Modelling Attack-defense Trees Using Timed Automata	2018-02-16	Paper
Distributed Algorithms for Time Optimal Reachability Analysis	2018-02-16	Paper
Learning deterministic probabilistic automata from a model checking perspective	2018-01-12	Paper
Refinement of trace abstraction for real-time programs	2017-12-20	Paper
Symbolic dependency graphs for \(\mathrm {PCTL}^{>}_{\leq}\) model-checking	2017-12-01	Paper
PTrie: data structure for compressing and storing sets via prefix sharing	2017-11-03	Paper
Polynomial Time Decidability of Weighted Synchronization under Partial Observability	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5278079	2017-07-13	Paper
Stone Duality for Markov Processes	2017-07-03	Paper
Timed automata with observers under energy constraints	2017-05-10	Paper
Timed I/O automata	2017-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q2978507	2017-04-25	Paper
Compositional bisimulation metric reasoning with Probabilistic Process Calculi	2017-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q2970258	2017-03-29	Paper
Alternation-free weighted mu-calculus: decidability and completeness	2016-12-16	Paper
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization	2016-06-22	Paper
Adequacy and complete axiomatization for timed modal logic	2016-05-13	Paper
An Automata-Based Approach to Trace Partitioned Abstract Interpretation	2016-03-23	Paper
Converging from Branching to Linear Metrics on Markov Chains	2016-02-25	Paper
On Time with Minimal Expected Cost!	2015-12-17	Paper
Stuttering for Abstract Probabilistic Automata	2015-12-11	Paper
Decidability and Expressiveness of Recursive Weighted Logic	2015-12-03	Paper
Concurrent weighted logic	2015-11-10	Paper
Language Emptiness of Continuous-Time Parametric Timed Automata	2015-11-04	Paper
Safe and Optimal Adaptive Cruise Control	2015-11-04	Paper
On the Total Variation Distance of Semi-Markov Chains	2015-10-01	Paper
Compositional Metric Reasoning with Probabilistic Process Calculi	2015-10-01	Paper
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems	2015-09-30	Paper
Verification and Performance Evaluation of Timed Game Strategies	2015-08-06	Paper
Refinement checking on parametric modal transition systems	2015-04-16	Paper
Discount-Optimal Infinite Runs in Priced Timed Automata	2015-03-19	Paper
A Decidable Recursive Logic for Weighted Transition Systems	2015-01-13	Paper
Synchronizing Strategies under Partial Observability	2014-09-15	Paper
Refinement and Difference for Probabilistic Automata	2014-09-05	Paper
Complete proof systems for weighted modal logic	2014-07-25	Paper
Parametric and Quantitative Extensions of Modal Transition Systems	2014-07-24	Paper
EXPTIME-complete Decision Problems for Modal and Mixed Specifications	2014-07-23	Paper
Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)	2014-07-03	Paper
Weighted modal transition systems	2014-06-30	Paper
Bisimulation on Markov Processes over Arbitrary Measurable Spaces	2014-06-02	Paper
Stuttering for abstract probabilistic automata	2014-02-25	Paper
Abstract probabilistic automata	2013-12-13	Paper
Robust synthesis for real-time systems	2013-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q2849560	2013-09-20	Paper
Computing Behavioral Distances, Compositionally	2013-09-20	Paper
Quantitative Modal Transition Systems	2013-09-13	Paper
Optimal Bounds for Multiweighted and Parametrised Energy Games	2013-08-16	Paper
On the Relationship between LTL Normal Forms and Büchi Automata	2013-08-16	Paper
Exact Acceleration of Real-Time Model Checking	2013-08-15	Paper
On-the-Fly Exact Computation of Bisimilarity Distances	2013-08-05	Paper
Continuous Markovian Logics - Axiomatization and Quantified Metatheory	2013-01-07	Paper
EXPTIME-completeness of thorough refinement on modal transition systems	2012-11-27	Paper
Controllers with Minimal Observation Power (Application to Timed Systems)	2012-11-21	Paper
Multi-core Reachability for Timed Automata	2012-11-21	Paper
A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example	2012-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q2920149	2012-10-24	Paper
A quantitative characterization of weighted Kripke structures in temporal logic	2012-09-28	Paper
Taking It to the Limit: Approximate Reasoning for Markov Processes	2012-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2915679	2012-09-18	Paper
Extending modal transition systems with structured labels	2012-09-06	Paper
Consistency and refinement for interval Markov chains	2012-08-14	Paper
Reachability analysis for timed automata using max-plus algebra	2012-08-14	Paper
Modal transition systems with weight intervals	2012-08-14	Paper
Dual-Priced Modal Transition Systems with Time Durations	2012-06-15	Paper
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic	2012-06-15	Paper
Nash Equilibria in Concurrent Priced Games	2012-06-08	Paper
New Results on Timed Specifications	2012-06-08	Paper
Energy Games in Multiweighted Automata	2012-01-06	Paper
Statistical Model Checking for Networks of Priced Timed Automata	2011-10-07	Paper
Robust Specification of Real Time Components	2011-10-07	Paper
Parametric Modal Transition Systems	2011-10-07	Paper
Timed Automata Can Always Be Made Implementable	2011-09-02	Paper
Quantitative Refinement for Weighted Modal Transition Systems	2011-08-17	Paper
Constraint Markov chains	2011-07-29	Paper
Metrics for weighted transition systems: axiomatization and complexity	2011-07-07	Paper
Modular Markovian Logic	2011-07-07	Paper
Decision Problems for Interval Markov Chains	2011-06-03	Paper
Scenario-based verification of real-time systems using UPPAAL	2011-03-31	Paper
Abstract Probabilistic Automata	2011-02-15	Paper
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata	2011-01-08	Paper
Quantitative analysis of weighted transition systems	2010-10-22	Paper
Symbolic and Compositional Reachability for Timed Automata	2010-08-31	Paper
Synthesizing distinguishing formulae for real time systems -extended abstract	2010-06-17	Paper
From timed automata to logic — and back	2010-06-17	Paper
Computer Aided Verification	2010-04-20	Paper
Modal and mixed specifications: key decision problems and their complexities	2010-04-01	Paper
Compositional and Quantitative Model Checking (Extended Abstract)	2010-02-02	Paper
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems	2010-01-28	Paper
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation	2009-12-01	Paper
On determinism in modal transition systems	2009-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q3396636	2009-09-19	Paper
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete	2009-08-20	Paper
Formal Approaches to Software Testing	2009-06-04	Paper
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study	2009-04-30	Paper
Infinite Runs in Weighted Timed Automata with Energy Constraints	2008-12-02	Paper
On Modal Refinement and Consistency	2008-09-18	Paper
Model Checking One-clock Priced Timed Automata	2008-08-07	Paper
Model Checking Timed Automata with Priorities Using DBM Subtraction	2008-07-08	Paper
Timed Control with Observation Based and Stuttering Invariant Strategies	2008-07-03	Paper
Automatic Abstraction Refinement for Timed Automata	2008-07-03	Paper
Almost Optimal Strategies in One Clock Priced Timed Games	2008-04-17	Paper
Fast Directed Model Checking Via Russian Doll Abstraction	2008-04-11	Paper
Complexity of Decision Problems for Mixed and Modal Specifications	2008-04-11	Paper
Optimal infinite scheduling for multi-priced timed automata	2008-03-11	Paper
Optimal reachability for multi-priced timed automata	2008-03-05	Paper
Reactive Systems	2007-10-04	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
Model-Checking One-Clock Priced Timed Automata	2007-09-07	Paper
Modal I/O Automata for Interface and Product Line Theories	2007-09-04	Paper
On using priced timed automata to achieve optimal scheduling	2006-11-17	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Formal Methods for the Design of Real-Time Systems	2006-10-19	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4818802	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4813198	2004-08-13	Paper
Compact data structures and state-space reduction for model-checking real-time systems	2004-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4453869	2004-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4426385	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4417927	2003-07-30	Paper
The power of reachability testing for timed automata	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4798031	2003-03-18	Paper
Automated verification of an audio-control protocol using UPPAAL	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4536599	2002-11-28	Paper
Verification of hierarchical state/Event systems using reusability and compositionality	2002-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4551180	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4552463	2002-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q2766550	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2766627	2002-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q2769586	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2743706	2001-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q2736352	2001-08-29	Paper
Verification of large state/event systems using compositionality and dependency analysis	2001-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q2718777	2001-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q2760248	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4939617	2000-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4356436	1997-10-01	Paper
Time-abstracted bisimulation: Implicit specifications and decidability	1997-08-11	Paper
Uppaal in a nutshell	1997-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4764628	1995-05-04	Paper
Graphical versus logical specifications	1993-10-25	Paper
The expressive power of implicit specifications	1993-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4036564	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4038716	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4027619	1993-02-21	Paper
A compositional protocol verification using relativized bisimulation	1992-09-27	Paper
Compositionality Through an Operational Semantics of Contexts	1992-06-28	Paper
Partial specifications and compositional verification	1992-06-26	Paper
Bisimulation through probabilistic testing	1992-06-25	Paper
Using information systems to solve recursive domain equations	1991-01-01	Paper
Proof systems for satisfiability in Hennessy-Milner logic with recursion	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4732449	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792217	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795197	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3765231	1987-01-01	Paper
A context dependent equivalence between processes	1987-01-01	Paper
Recursively defined domains and their induction principles	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3681914	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709857	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3326830	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kim Guldstrand Larsen