Publication | Date of Publication | Type |
---|
Parametric updates in parametric timed automata | 2024-02-06 | Paper |
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets | 2024-01-29 | 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 |
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 |
Timed Control with Observation Based and Stuttering Invariant Strategies | 2008-07-03 | 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 |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
Formal Modeling and Analysis of Timed Systems | 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 |