| Publication | Date of Publication | Type |
|---|
| Timed non-interference under partial observability and bounded memory | 2024-05-03 | Paper |
| Parametric updates in parametric timed automata | 2024-02-06 | Paper |
| Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets | 2024-01-29 | Paper |
| A state class based controller synthesis approach for time Petri nets | 2023-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094115 | 2022-08-02 | Paper |
| A turn-based approach for qualitative time concurrent games | 2022-03-21 | Paper |
| A lazy query scheme for reachability analysis in Petri nets | 2022-03-21 | Paper |
| Control of Real-Time Systems With Integer Parameters | 2022-02-24 | Paper |
| Parametric Analyses of Attack-fault Trees* | 2022-02-01 | Paper |
| Cost Problems for Parametric Time Petri Nets* | 2022-02-01 | Paper |
| Logical time control of concurrent DES | 2021-12-09 | Paper |
| An algorithm for single-source shortest paths enumeration in parameterized weighted graphs | 2021-10-04 | Paper |
| Parametric verification: an introduction | 2021-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4989408 | 2021-05-25 | Paper |
| Backward symbolic optimal reachability in weighted timed automata | 2021-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111627 | 2020-05-27 | Paper |
| Parametric timed broadcast protocols | 2020-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208876 | 2020-01-22 | Paper |
| Reachability in parametric interval Markov chains using constraints | 2019-09-17 | Paper |
| A game approach to the parametric control of real-time systems | 2019-08-27 | Paper |
| TCTL model checking lower/upper-bound parametric timed automata without invariants | 2018-12-06 | Paper |
| Reachability in parametric interval Markov chains using constraints | 2018-09-24 | Paper |
| Lazy Reachability Analysis in Distributed Systems | 2018-03-21 | Paper |
| On the Expressiveness of Parametric Timed Automata | 2018-02-16 | Paper |
| Optimal reachability in cost time Petri nets | 2017-12-01 | Paper |
| Let's be lazy, we have time -- or, lazy reachability analysis for timed automata | 2017-12-01 | Paper |
| Integer-complete synthesis for bounded parametric timed automata | 2017-10-27 | Paper |
| Interrupt Timed Automata with Auxiliary Clocks and Parameters* | 2017-03-16 | Paper |
| Probabilistic Time Petri Nets | 2016-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740413 | 2016-07-26 | Paper |
| Parameter Synthesis for Parametric Interval Markov Chains | 2016-03-23 | Paper |
| On Time with Minimal Expected Cost! | 2015-12-17 | Paper |
| Discrete Parameters in Petri Nets | 2015-08-27 | Paper |
| Control and synthesis of non-interferent timed systems | 2015-07-29 | Paper |
| Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games | 2014-07-08 | Paper |
| Parametric Interrupt Timed Automata | 2014-07-07 | Paper |
| Symbolic unfolding of parametric stopwatch Petri nets | 2014-06-30 | Paper |
| Blending Timed Formal Models with Clock Transition Systems | 2014-04-25 | Paper |
| Shrinking of time Petri nets | 2013-11-12 | Paper |
| Integer Parameter Synthesis for Timed Automata | 2013-08-05 | Paper |
| On Multi-enabledness in Time Petri Nets | 2013-06-28 | Paper |
| CHANNEL SYNTHESIS FOR FINITE TRANSDUCERS | 2013-06-06 | Paper |
| The expressive power of time Petri nets | 2013-03-27 | Paper |
| Robustness of Time Petri Nets under Architectural Constraints | 2012-11-21 | Paper |
| New Results on Timed Specifications | 2012-06-08 | Paper |
| Symbolic Unfolding of Parametric Stopwatch Petri Nets | 2010-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4929342 | 2010-09-22 | Paper |
| Diagnosis Using Unfoldings of Parametric Time Petri Nets | 2010-09-10 | Paper |
| Formal verification of real-time systems with preemptive scheduling | 2010-01-18 | Paper |
| Synthesis of Non-Interferent Timed Systems | 2009-12-01 | Paper |
| Romeo: a parametric model-checker for Petri nets with stopwatches | 2009-03-31 | Paper |
| Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph | 2008-12-02 | Paper |
| When are timed automata weakly timed bisimilar to time Petri nets? | 2008-09-16 | Paper |
| Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) | 2008-07-03 | Paper |
| Timed Control with Observation Based and Stuttering Invariant Strategies | 2008-07-03 | Paper |
| Reachability problems and abstract state spaces for time Petri nets with stopwatches | 2007-06-07 | Paper |
| Model checking of time Petri nets using the state class timed automaton | 2007-01-18 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Applications and Theory of Petri Nets 2004 | 2005-12-23 | Paper |
