| Publication | Date of Publication | Type |
|---|
| Finding Stubborn Sets of Coloured Petri Nets without Unfolding | 2022-12-09 | Paper |
| MC/DC test cases generation based on BDDs | 2022-07-13 | Paper |
Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
A sweep-line method for Büchi automata-based model checking
Fundamenta Informaticae | 2014-05-12 | Paper |
Applications of coloured Petri nets for functional validation of protocol designs
Transactions on Petri Nets and Other Models of Concurrency VII | 2013-05-31 | Paper |
Hybrid on-the-fly LTL model checking with the sweep-line method
Lecture Notes in Computer Science | 2012-09-04 | Paper |
The sweep-line state space exploration method
Theoretical Computer Science | 2012-05-30 | Paper |
Search-Order Independent State Caching
Transactions on Petri Nets and Other Models of Concurrency IV | 2011-01-08 | Paper |
A perspective on explicit state space exploration of coloured Petri nets: past, present, and future
Applications and Theory of Petri Nets | 2010-06-22 | Paper |
The ComBack method revisited: caching strategies and extension with delayed duplicate detection
Transactions on Petri Nets and Other Models of Concurrency III | 2009-12-09 | Paper |
| Coloured Petri Nets | 2009-03-20 | Paper |
The ComBack Method – Extending Hash Compaction with Backtracking
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
Question-guided stubborn set methods for state properties
Formal Methods in System Design | 2007-01-24 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Applications and Theory of Petri Nets 2004
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Implementing coloured Petri nets using a functional programming language
Higher-Order and Symbolic Computation | 2005-03-15 | Paper |
| scientific article; zbMATH DE number 2090157 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2088671 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1973992 (Why is no real title available?) | 2003-09-03 | Paper |
The practitioner's guide to coloured Petri nets.
International Journal on Software Tools for Technology Transfer. STTT | 2003-07-15 | Paper |
| scientific article; zbMATH DE number 1927319 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1696461 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1696464 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1755141 (Why is no real title available?) | 2002-06-13 | Paper |
| scientific article; zbMATH DE number 1701774 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1540512 (Why is no real title available?) | 2000-12-04 | Paper |
