| Publication | Date of Publication | Type |
|---|
Binary decision diagrams with edge-specified reductions
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
| Computing under-approximations of multivalued decision diagrams | 2023-11-16 | Paper |
| Bddl: A Type System for Binary Decision Diagrams | 2022-12-07 | Paper |
| HyperPCTL model checking by probabilistic decomposition | 2022-08-19 | Paper |
The footprint form of a matrix: definition, properties, and an application
Linear Algebra and its Applications | 2022-07-26 | Paper |
| Generation of minimum tree-like witnesses for existential CTL | 2019-09-16 | Paper |
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse
EPiC Series in Computing | 2019-07-04 | Paper |
Symbolic termination and confluence checking for ECA rules
Lecture Notes in Computer Science | 2015-11-12 | Paper |
Tutorial on structured continuous-time Markov processes
Journal of Artificial Intelligence Research | 2015-01-14 | Paper |
| A pattern recognition approach for speculative firing prediction in distributed saturation state-space generation | 2013-09-26 | Paper |
An efficient fully symbolic bisimulation algorithm for non-deterministic systems
International Journal of Foundations of Computer Science | 2013-07-30 | Paper |
Ten years of saturation: a Petri net perspective
Lecture Notes in Computer Science | 2012-06-08 | Paper |
A fully symbolic bisimulation algorithm
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Symbolic verification and test generation for a network of communicating FSMs
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Data representation and efficient solution: a decision diagram approach
Formal Methods for Performance Evaluation | 2011-03-25 | Paper |
Speculative image computation for distributed symbolic reachability analysis
Journal Of Logic And Computation | 2011-02-02 | Paper |
Structural symbolic CTL model checking of asynchronous systems.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Symbolic CTL model checking of asynchronous systems using constrained saturation
Automated Technology for Verification and Analysis | 2009-12-01 | Paper |
P-Semiflow Computation with Decision Diagrams
Applications and Theory of Petri Nets | 2009-06-30 | Paper |
Improving Static Variable Orders Via Invariants
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Symbolic Reachability Analysis of Integer Timed Petri Nets
Lecture Notes in Computer Science | 2009-02-03 | Paper |
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
Lecture Notes in Computer Science | 2009-02-03 | Paper |
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Exploiting interleaving semantics in symbolic state-space generation
Formal Methods in System Design | 2007-08-17 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Applications and Theory of Petri Nets 2004
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
INFORMS Journal on Computing | 2003-10-28 | Paper |
Comments on "Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets"
IEEE Transactions on Computers | 2003-10-16 | Paper |
| scientific article; zbMATH DE number 1979555 (Why is no real title available?) | 2003-09-14 | Paper |
| scientific article; zbMATH DE number 1956594 (Why is no real title available?) | 2003-07-30 | Paper |
ETAQA: an efficient technique for the analysis of QBD-processes by aggregation
Performance Evaluation | 2003-06-24 | Paper |
Approximate transient analysis for subclasses of deterministic and stochastic Petri nets
Performance Evaluation | 2003-06-24 | Paper |
| scientific article; zbMATH DE number 1786480 (Why is no real title available?) | 2002-08-21 | Paper |
EquiLoad: a load balancing policy for clustered web servers
Performance Evaluation | 2002-07-14 | Paper |
| scientific article; zbMATH DE number 1696452 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1756091 (Why is no real title available?) | 2002-06-16 | Paper |
| scientific article; zbMATH DE number 1701768 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1424143 (Why is no real title available?) | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 956814 (Why is no real title available?) | 1996-12-11 | Paper |
| scientific article; zbMATH DE number 744054 (Why is no real title available?) | 1995-11-28 | Paper |
| scientific article; zbMATH DE number 510833 (Why is no real title available?) | 1994-11-17 | Paper |
A decomposition approach for stochastic reward net models
Performance Evaluation | 1994-06-09 | Paper |
Analysis of Stiff Markov Chains
ORSA Journal on Computing | 1993-01-16 | Paper |
On the solution of GSPN reward models
Performance Evaluation | 1992-08-13 | Paper |
| scientific article; zbMATH DE number 19255 (Why is no real title available?) | 1992-06-26 | Paper |
Stochastic Petri net analysis of a replicated file system
IEEE Transactions on Software Engineering | 1989-01-01 | Paper |
