SH
Hostettler, Steve Patrick
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| High-level Petri net model checking : the symbolic way |  | 2011 | 1,719 | 1,566 | |||
| High-Level Petri Net Model Checking with AlPiNA | Fundamenta informaticae | | 2011 | 2,490 | 975 | ||
| Toward efficient state space generation of algebraic Petri nets | SMV technical report series | | 2010 | 831 | 386 | ||
| Specification of Decision Diagram Operations | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 567 | 191 | ||
| AlPiNA: an Algebraic Petri Net Analyzer | Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference | | 2010 | 1,006 | 387 | ||
| Improving the significance of benchmarks for Petri nets model checkers | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 544 | 736 | ||
| AlPiNA: A Symbolic Model Checker | Applications and Theory of Petri Nets | | 2010 | 762 | 1,021 | ||
| Sigma Decision Diagrams | TERMGRAPH 2009 : Preliminary proceedings of the 5th International Workshop on Computing with Terms and Graphs | | 2009 | 876 | 300 |
