| Publication | Date of Publication | Type |
|---|
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
Fundamenta Informaticae | 2024-10-22 | Paper |
| Avoiding state explosion by composition of minimal covering graphs | 2024-04-29 | Paper |
| Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving | 2023-11-16 | Paper |
Distributed parametric model checking timed automata under non-zenoness assumption
Formal Methods in System Design | 2023-06-29 | Paper |
Quasi-optimal partial order reduction
Computer Aided Verification | 2023-05-05 | Paper |
Parameter Synthesis Algorithms for Parametric Interval Markov Chains
Formal Techniques for Distributed Objects, Components, and Systems | 2023-03-10 | Paper |
Efficient convex zone merging in parametric timed automata
(available as arXiv preprint) | 2023-01-18 | Paper |
| Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption | 2022-09-23 | Dataset |
| Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata" | 2022-07-07 | Dataset |
| On completeness of liveness synthesis for parametric timed automata (Extended Abstract) | 2021-10-27 | Paper |
Quasi-optimal partial order reduction
Formal Methods in System Design | 2021-08-30 | Paper |
| Iterative bounded synthesis for efficient cycle detection in parametric timed automata | 2021-08-04 | Paper |
Parametric verification: an introduction
(available as arXiv preprint) | 2021-06-14 | Paper |
Timed ATL: Forget Memory, Just Count
Journal of Artificial Intelligence Research | 2019-10-11 | Paper |
Parameter synthesis for parametric interval Markov chains
Lecture Notes in Computer Science | 2016-03-23 | Paper |
PeCAn: compositional verification of Petri nets made easy
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Verification of reachability properties for time Petri nets
Lecture Notes in Computer Science | 2014-07-07 | Paper |
Experimenting Formal Proofs of Petri Nets Refinements
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
Precise robustness analysis of time Petri nets with inhibitor ARCS
Lecture Notes in Computer Science | 2013-08-16 | Paper |
Extending PNML scope: a framework to combine Petri nets types
Transactions on Petri Nets and Other Models of Concurrency VI | 2013-03-13 | Paper |
Improved multi-core nested depth-first search
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Parallel nested depth-first searches for LTL model checking
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
| Modular synthesis of Petri nets from regular languages | 2009-07-27 | Paper |
Towards a Standard for Modular Petri Nets: A Formalisation
Applications and Theory of Petri Nets | 2009-06-30 | Paper |
PN Standardisation: A Survey
Lecture Notes in Computer Science | 2009-03-11 | Paper |
An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
Lecture Notes in Computer Science | 2009-03-10 | Paper |
| FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets | 2006-02-06 | Paper |
Applications and Theory of Petri Nets 2004
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Specification and validation of a concurrent system: An educational project
International Journal on Software Tools for Technology Transfer. STTT | 2002-09-29 | Paper |
| scientific article; zbMATH DE number 1633145 (Why is no real title available?) | 2001-08-12 | Paper |
Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture
RAIRO - Theoretical Informatics and Applications | 1997-12-03 | Paper |
| scientific article; zbMATH DE number 177238 (Why is no real title available?) | 1993-05-18 | Paper |
