| Publication | Date of Publication | Type |
|---|
| 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 |
| 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 |
