| Publication | Date of Publication | Type |
|---|
Taking Some Burden Off an Explicit CTL Model Checker
Application and Theory of Petri Nets and Concurrency | 2024-01-29 | Paper |
| Siphons, traps and high-level nets with infinite color domains | 2022-12-09 | Paper |
Skeleton Abstraction for Universal Temporal Properties
Fundamenta Informaticae | 2022-10-31 | Paper |
| Using approximation for the verification of token-scaling models | 2022-08-11 | Paper |
Skeleton abstraction for universal temporal properties
(available as arXiv preprint) | 2022-03-21 | Paper |
| Solving finite-linear-path CTL-formulas using the CEGAR approach | 2021-06-14 | Paper |
| How Petri net theory serves Petri net model checking: a survey | 2021-06-14 | Paper |
Synthesis for various Petri net classes with union/find
Fundamenta Informaticae | 2020-01-24 | Paper |
| Elementary net synthesis remains NP-complete even for extremely simple inputs | 2019-12-18 | Paper |
| Petri net synthesis with union/find | 2019-12-18 | Paper |
Interleaving based model checking of concurrency and causality
Fundamenta Informaticae | 2018-10-02 | Paper |
| Model checking concurrency and causality | 2018-08-20 | Paper |
| Modeling and model checking web services | 2013-09-25 | Paper |
Applying CEGAR to the Petri net state equation
Logical Methods in Computer Science | 2012-10-22 | Paper |
Stubborn sets for simple linear time properties
Lecture Notes in Computer Science | 2012-09-04 | Paper |
Compact representations and efficient algorithms for operating guidelines
Fundamenta Informaticae | 2012-07-04 | Paper |
Guaranteeing weak termination in service discovery
Fundamenta Informaticae | 2012-07-04 | Paper |
Finding a witness path for non-liveness in free-choice nets
Applications and Theory of Petri Nets | 2011-06-29 | Paper |
Applying CEGAR to the Petri net state equation
Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
New algorithms for deciding the siphon-trap property
Applications and Theory of Petri Nets | 2010-06-22 | Paper |
Can I find a partner? Undecidability of partner existence for open nets
Information Processing Letters | 2010-06-09 | Paper |
Separability in Conflict-Free Petri Nets
Perspectives of Systems Informatics | 2010-02-02 | Paper |
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II | 2009-04-24 | Paper |
On the Step Explosion Problem
Petri Nets and Other Models of Concurrency - ICATPN 2006 | 2009-04-02 | Paper |
Operating Guidelines for Finite-State Services
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Question-guided stubborn set methods for state properties
Formal Methods in System Design | 2007-01-24 | Paper |
| scientific article; zbMATH DE number 2064469 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 1956602 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1696471 (Why is no real title available?) | 2002-06-17 | Paper |
Narrowing Petri net state spaces using the state equation
Fundamenta Informaticae | 2002-02-28 | Paper |
| scientific article; zbMATH DE number 1538046 (Why is no real title available?) | 2000-12-03 | Paper |
How to calculate symmetries of Petri nets
Acta Informatica | 2000-04-26 | Paper |
