| Publication | Date of Publication | Type |
|---|
Structural reductions and stutter sensitive properties
Logical Methods in Computer Science | 2025-07-11 | Paper |
LTL under reductions with weaker conditions than stutter invariance
(available as arXiv preprint) | 2022-08-19 | Paper |
An efficient algorithm for the computation of stubborn sets of well formed Petri nets
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Parallel Explicit Model Checking for Generalized Büchi Automata
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
Three SCC-based emptiness checks for generalized Büchi automata
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Strength-based decomposition of the property Büchi automaton for faster model checking
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Branching processes of general Petri nets
Fundamenta Informaticae | 2013-04-18 | Paper |
Feasibility analysis for robustness quantification by symbolic model checking
Formal Methods in System Design | 2012-09-27 | Paper |
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Branching Processes of General Petri Nets
Applications and Theory of Petri Nets | 2011-06-29 | Paper |
On-the-fly emptiness check of transition-based Streett automata
Automated Technology for Verification and Analysis | 2009-12-01 | Paper |
Hierarchical Set Decision Diagrams and Regular Models
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
Recursive Petri nets
Acta Informatica | 2007-12-10 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Formal Techniques for Networked and Distributed Systems – FORTE 2004
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2088658 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2080568 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1836397 (Why is no real title available?) | 2003-04-06 | Paper |
| scientific article; zbMATH DE number 1756007 (Why is no real title available?) | 2002-06-16 | Paper |
| scientific article; zbMATH DE number 1696453 (Why is no real title available?) | 2002-06-13 | Paper |
| scientific article; zbMATH DE number 1696466 (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 |
