| Publication | Date of Publication | Type |
|---|
| Timed non-interference under partial observability and bounded memory | 2024-05-03 | 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 |
| Design and verification of pipelined circuits with timed Petri nets | 2023-06-26 | Paper |
| Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems | 2023-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094115 | 2022-08-02 | Paper |
| A turn-based approach for qualitative time concurrent games | 2022-03-21 | Paper |
| Timed Petri nets with reset for pipelined synchronous circuit design | 2022-03-21 | Paper |
| Pomset bisimulation and unfolding for reset Petri nets | 2022-03-14 | Paper |
| Control of Real-Time Systems With Integer Parameters | 2022-02-24 | Paper |
| Cost Problems for Parametric Time Petri Nets* | 2022-02-01 | Paper |
| Logical time control of concurrent DES | 2021-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111627 | 2020-05-27 | Paper |
| A game approach to the parametric control of real-time systems | 2019-08-27 | Paper |
| Pomsets and unfolding of reset Petri nets | 2018-06-26 | Paper |
| On the Expressiveness of Parametric Timed Automata | 2018-02-16 | Paper |
| Optimal reachability in cost time Petri nets | 2017-12-01 | Paper |
| Integer-complete synthesis for bounded parametric timed automata | 2017-10-27 | Paper |
| Probabilistic Time Petri Nets | 2016-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740413 | 2016-07-26 | 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 |
| Symbolic unfolding of parametric stopwatch Petri nets | 2014-06-30 | Paper |
| Blending Timed Formal Models with Clock Transition Systems | 2014-04-25 | Paper |
| Non-interference control synthesis for security timed automata | 2013-12-06 | Paper |
| Shrinking of time Petri nets | 2013-11-12 | Paper |
| Structural translation from time Petri nets to timed automata | 2013-09-26 | 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 |
| 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 |
| Expressiveness of Petri Nets with Stopwatches. Dense-time Part | 2010-02-05 | Paper |
| Expressiveness of Petri Nets with Stopwatches. Discrete-time Part | 2010-02-05 | Paper |
| Formal verification of real-time systems with preemptive scheduling | 2010-01-18 | Paper |
| TCTL model checking of time Petri nets | 2010-01-14 | 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 |
| Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets | 2009-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601860 | 2009-02-12 | 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 |
| 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 |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| State space computation and analysis of Time Petri Nets | 2006-07-14 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-01-10 | Paper |
| Applications and Theory of Petri Nets 2004 | 2005-12-23 | Paper |
| Parallel Ant Colonies for the quadratic assignment problem | 2002-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766658 | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722099 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4233450 | 1999-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4764002 | 1995-05-30 | Paper |
