| Publication | Date of Publication | Type |
|---|
| Active prediction for discrete event systems | 2026-03-23 | Paper |
| Introducing divergence for infinite probabilistic models | 2024-10-23 | Paper |
Analyzing robustness of Angluin's \(L^*\) algorithm in presence of noise
Logical Methods in Computer Science | 2024-06-27 | Paper |
Analyzing robustness of Angluin's \(\mathrm{L}^\ast\) algorithm in presence of noise
(available as arXiv preprint) | 2024-02-08 | Paper |
| Analyzing robustness of Angluin's \(\mathrm{L}^\ast\) algorithm in presence of noise | 2024-02-08 | Paper |
Coverability and Termination in Recursive Petri Nets
Application and Theory of Petri Nets and Concurrency | 2024-01-29 | Paper |
| Efficient handling of Phase-type distributions in generalized stochastic Petri nets | 2022-12-09 | Paper |
Dynamic Recursive Petri Nets
Application and Theory of Petri Nets and Concurrency | 2022-09-01 | Paper |
Symbolic reachability graph and partial symmetries
Lecture Notes in Computer Science | 2022-08-16 | Paper |
| Property-directed verification and robustness certification of recurrent neural networks | 2022-06-22 | Paper |
| A turn-based approach for qualitative time concurrent games | 2022-03-21 | Paper |
Coverability, termination, and finiteness in recursive Petri nets
Fundamenta Informaticae | 2022-02-01 | Paper |
Revisiting reachability in polynomial interrupt timed automata
Information Processing Letters | 2021-12-14 | Paper |
Corrigendum to: ``Revisiting reachability in polynomial interrupt timed automata
Information Processing Letters | 2021-12-14 | Paper |
Commodification of accelerations for the Karp and Miller construction
Discrete Event Dynamic Systems | 2021-12-09 | Paper |
Polynomial interrupt timed automata: verification and expressiveness
Information and Computation | 2021-04-13 | Paper |
| Guarded autonomous transitions increase conciseness and expressiveness of timed automata | 2021-03-02 | Paper |
Diagnosis and degradation control for probabilistic systems
Discrete Event Dynamic Systems | 2021-01-22 | Paper |
| Probabilistic disclosure: maximisation vs. minimisation | 2020-11-25 | Paper |
| Minimal coverability tree construction made complete and efficient | 2020-09-23 | Paper |
| Expressiveness and conciseness of timed automata for the verification of stochastic models | 2020-07-27 | Paper |
Unbounded product-form Petri nets
(available as arXiv preprint) | 2020-05-27 | Paper |
A tale of two diagnoses in probabilistic systems
Information and Computation | 2019-12-18 | Paper |
Approaching the coverability problem continuously
(available as arXiv preprint) | 2019-09-17 | Paper |
Asynchronous composition of high level Petri nets: a quantitative approach
Application and Theory of Petri Nets 1996 | 2019-05-02 | Paper |
Interval iteration algorithm for MDPs and IMDPs
Theoretical Computer Science | 2018-06-05 | Paper |
| Diagnosis in infinite-state probabilistic systems | 2018-03-21 | Paper |
Memoryless determinacy of finite parity games: another simple proof
Information Processing Letters | 2018-03-16 | Paper |
Polynomial interrupt timed automata
(available as arXiv preprint) | 2017-10-27 | Paper |
The logical view on continuous Petri nets
ACM Transactions on Computational Logic | 2017-10-16 | Paper |
The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| scientific article; zbMATH DE number 6707784 (Why is no real title available?) | 2017-04-25 | Paper |
Interrupt timed automata with auxiliary clocks and parameters
Fundamenta Informaticae | 2017-03-16 | Paper |
| Optimal constructions for active diagnosis | 2017-02-21 | Paper |
Specification of asynchronous component systems with modal I/O-Petri nets
Trustworthy Global Computing | 2016-11-09 | Paper |
Optimal constructions for active diagnosis
Journal of Computer and System Sciences | 2016-09-16 | Paper |
Complexity analysis of continuous Petri nets
Fundamenta Informaticae | 2016-05-11 | Paper |
Accurate approximate diagnosability of stochastic systems
Language and Automata Theory and Applications | 2016-04-13 | Paper |
Reachability in MDPs: refining convergence of value iteration
Lecture Notes in Computer Science | 2015-10-28 | Paper |
Parametric Interrupt Timed Automata
Lecture Notes in Computer Science | 2014-07-07 | Paper |
Active Diagnosis for Probabilistic Systems
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Channel Properties of Asynchronously Composed Petri Nets
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Complexity analysis of continuous Petri nets
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Ordinal theory for expressiveness of well-structured transition systems
Information and Computation | 2013-06-06 | Paper |
Synthesis and analysis of product-form Petri nets
Fundamenta Informaticae | 2013-04-18 | Paper |
The expressive power of time Petri nets
Theoretical Computer Science | 2013-03-27 | Paper |
Interrupt timed automata: verification and expressiveness
Formal Methods in System Design | 2012-09-27 | Paper |
Concurrent games on VASS with inhibition
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Coupling and importance sampling for statistical model checking
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Refinement and asynchronous composition of modal Petri nets
Lecture Notes in Computer Science | 2012-06-08 | Paper |
Synthesis and analysis of product-form Petri nets
Applications and Theory of Petri Nets | 2011-06-29 | Paper |
Ordinal theory for expressiveness of well structured transition systems
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Continuous Petri nets: expressive power and decidability issues
International Journal of Foundations of Computer Science | 2010-04-22 | Paper |
Undecidability Results for Timed Automata with Silent Transitions
Fundamenta Informaticae | 2009-06-30 | Paper |
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
Petri Nets and Other Models of Concurrency - ICATPN 2006 | 2009-04-02 | Paper |
Interrupt Timed Automata
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Transactional Reduction of Component Compositions
Lecture Notes in Computer Science | 2009-03-10 | Paper |
When are timed automata weakly timed bisimilar to time Petri nets?
Theoretical Computer Science | 2008-09-16 | Paper |
Timed Unfoldings for Networks of Timed Automata
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
On the Computational Power of Timed Differentiable Petri Nets
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Continuous Petri Nets: Expressive Power and Decidability Issues
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Timed Petri nets and timed automata: On the discriminating power of Zeno sequences
Information and Computation | 2008-03-11 | Paper |
Recursive Petri nets
Acta Informatica | 2007-12-10 | Paper |
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences
Automata, Languages and Programming | 2007-09-11 | Paper |
Sub-stochastic matrix analysis for bounds computation -- theoretical results
European Journal of Operational Research | 2006-11-15 | 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 |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
A fault-tolerant communication mechanism for cooperative robots
International Journal of Production Research | 2005-04-26 | Paper |
| scientific article; zbMATH DE number 1836397 (Why is no real title available?) | 2003-04-06 | Paper |
| scientific article; zbMATH DE number 1755143 (Why is no real title available?) | 2002-06-13 | Paper |
| scientific article; zbMATH DE number 1341756 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 4037228 (Why is no real title available?) | 1987-01-01 | Paper |
