| High-level petri net model checking with alpina S Hostettler, A Marechal, A Linard, M Risoldi, D Buchs Fundamenta Informaticae 113 (3-4), 229-264, 2011 | 48 | 2011 |
| Alpina: A symbolic model checker D Buchs, S Hostettler, A Marechal, M Risoldi Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010 | 38 | 2010 |
| Sigma decision diagrams D Buchs, S Hostettler TERMGRAPH, 18-32, 2009 | 29 | 2009 |
| Alpina: An algebraic petri net analyzer D Buchs, S Hostettler, A Marechal, M Risoldi International Conference on Tools and Algorithms for the Construction and …, 2010 | 26 | 2010 |
| High-level Petri net model checking: the symbolic way S Hostettler University of Geneva, Switzerland, 2011 | 10 | 2011 |
| Toward efficient state space generation of algebraic Petri nets D Buchs, S Hostettler Technical Report 206, CUI, Université de Genève, http://archive-ouverte …, 2009 | 9 | 2009 |
| GReg: a domain specific language for the modeling of genetic regulatory mechanisms N Sedlmajer, D Buchs, S Hostettler, A Linard, E Lopez, A Marechal International Workshop on Biological Processes & Petri Nets (BioPPN 2011 …, 2012 | 6 | 2012 |
| Multi-set decision diagrams L Lucio, S Hostettler Technical Report 205, Centre Universitaire D’Informatique, Université de Genève, 2009 | 5 | 2009 |
| Managing complexity in model checking with decision diagrams for algebraic petri net D Buchs, S Hostettler Pre-proceedings of the International Workshop on Petri Nets and Software …, 2009 | 5 | 2009 |
| Java decisions diagrams library S Hostettler Technical report, Université de Geneve (June 2008) http://smv. unige. ch …, 2008 | 5 | 2008 |
| Improving the Significance of Benchmarks for Petri Nets Model Checkers. S Hostettler, A Linard, A Marechal, M Risoldi ACSD/Petri Nets Workshops, 475-489, 2010 | 2 | 2010 |
| Introducing Formal Verification with LEGO R O D Lawrence, D Racordon, M Colange, S Hostettler, A Linard, EL Bóbeda, ... | 1 | |
| A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis N Sedlmajer, D Buchs, S Hostettler, A Linard, E López Bóbeda, ... Transactions on Petri Nets and Other Models of Concurrency VI, 123-145, 2012 | | 2012 |
| Modelling of Genetic Regulatory Mechanisms with GReg N Sedlmajer, D Buchs, S Hostettler, A Linard, E Lopez, A Marechal arXiv preprint arXiv:1108.3436, 2011 | | 2011 |
| Experience-based model refinement D Buchs, S Hostettler, A Marechal Software Engineering for Resilient Systems: Third International Workshop …, 2011 | | 2011 |
| Specification of Decision Diagram Operations A Hamez, S Hostettler, A Linard, A Marechal, E Paviot-Adet, M Risoldi | | 2010 |
| High-Level Petri Net Model Checking S Hostettler | | |
| GReg: a domain specific language for the N Sedlmajer, D Buchs, S Hostettler, A Linard, E Lopez, A Marechal BioPPN 2011 International Workshop on Biological Processes & Petri Nets, 21, 0 | | |
Matteo RisoldiExecutive director, Waystone Fund Services (Switzerland) SAVerified email at waystone.com
