| Publication | Date of Publication | Type |
|---|
| Timed non-interference under partial observability and bounded memory | 2024-05-03 | Paper |
Parametric updates in parametric timed automata
Formal Techniques for Distributed Objects, Components, and Systems | 2024-02-06 | Paper |
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets
Application and Theory of Petri Nets and Concurrency | 2024-01-29 | Paper |
| A state class based controller synthesis approach for time Petri nets | 2023-11-16 | Paper |
scientific article; zbMATH DE number 7566044 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-02 | Paper |
| scientific article; zbMATH DE number 7566044 (Why is no real title available?) | 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
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Parametric analyses of attack-fault trees
Fundamenta Informaticae | 2022-02-01 | Paper |
Cost problems for parametric time Petri nets
Fundamenta Informaticae | 2022-02-01 | Paper |
Logical time control of concurrent DES
Discrete Event Dynamic Systems | 2021-12-09 | Paper |
| An algorithm for single-source shortest paths enumeration in parameterized weighted graphs | 2021-10-04 | Paper |
Parametric verification: an introduction
(available as arXiv preprint) | 2021-06-14 | Paper |
scientific article; zbMATH DE number 7350779 (Why is no real title available?)
(available as arXiv preprint) | 2021-05-25 | Paper |
| scientific article; zbMATH DE number 7350779 (Why is no real title available?) | 2021-05-25 | Paper |
| Backward symbolic optimal reachability in weighted timed automata | 2021-03-02 | Paper |
| Coverability synthesis in parametric Petri nets | 2020-05-27 | Paper |
Parametric timed broadcast protocols
(available as arXiv preprint) | 2020-01-23 | Paper |
Language preservation problems in parametric timed automata
(available as arXiv preprint) | 2020-01-22 | Paper |
Reachability in parametric interval Markov chains using constraints
Lecture Notes in Computer Science | 2019-09-17 | Paper |
A game approach to the parametric control of real-time systems
International Journal of Control | 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
Theoretical Computer Science | 2018-09-24 | Paper |
| Lazy reachability analysis in distributed systems | 2018-03-21 | Paper |
On the expressiveness of parametric timed automata
Lecture Notes in Computer Science | 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
Fundamenta Informaticae | 2017-03-16 | Paper |
Probabilistic time Petri nets
Application and Theory of Petri Nets and Concurrency | 2016-10-04 | Paper |
| Channel synthesis for finite transducers | 2016-07-26 | Paper |
Parameter synthesis for parametric interval Markov chains
Lecture Notes in Computer Science | 2016-03-23 | Paper |
On time with minimal expected cost!
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Discrete parameters in Petri nets
Application and Theory of Petri Nets and Concurrency | 2015-08-27 | Paper |
Control and synthesis of non-interferent timed systems
International Journal of Control | 2015-07-29 | Paper |
Synthesis of bounded integer parameters for parametric timed reachability games
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Parametric Interrupt Timed Automata
Lecture Notes in Computer Science | 2014-07-07 | Paper |
Symbolic unfolding of parametric stopwatch Petri nets
Formal Methods in System Design | 2014-06-30 | Paper |
Blending timed formal models with clock transition systems
Fundamenta Informaticae | 2014-04-25 | Paper |
Shrinking of time Petri nets
Discrete Event Dynamic Systems | 2013-11-12 | Paper |
Integer Parameter Synthesis for Timed Automata
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
On Multi-enabledness in Time Petri Nets
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Channel synthesis for finite transducers
International Journal of Foundations of Computer Science | 2013-06-06 | Paper |
The expressive power of time Petri nets
Theoretical Computer Science | 2013-03-27 | Paper |
Robustness of time Petri nets under architectural constraints
Lecture Notes in Computer Science | 2012-11-21 | Paper |
New results on timed specifications
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Symbolic unfolding of parametric stopwatch Petri nets
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
| Parametric model-checking of stopwatch Petri nets | 2010-09-22 | Paper |
Diagnosis Using Unfoldings of Parametric Time Petri Nets
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Formal verification of real-time systems with preemptive scheduling
Real-Time Systems | 2010-01-18 | Paper |
Synthesis of Non-Interferent Timed Systems
Lecture Notes in Computer Science | 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
Lecture Notes in Computer Science | 2008-12-02 | Paper |
When are timed automata weakly timed bisimilar to time Petri nets?
Theoretical Computer Science | 2008-09-16 | Paper |
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
Timed Control with Observation Based and Stuttering Invariant Strategies
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Reachability problems and abstract state spaces for time Petri nets with stopwatches
Discrete Event Dynamic Systems | 2007-06-07 | Paper |
Model checking of time Petri nets using the state class timed automaton
Discrete Event Dynamic Systems | 2007-01-18 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Applications and Theory of Petri Nets 2004
Lecture Notes in Computer Science | 2005-12-23 | Paper |
