Follow
Steve Hostettler
Steve Hostettler
Post-doctorate, University of Geneva
Verified email at unige.ch - Homepage
Title
Cited by
Cited by
Year
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
472011
Alpina: A symbolic model checker
D Buchs, S Hostettler, A Marechal, M Risoldi
International Conference on Applications and Theory of Petri Nets, 287-296, 2010
322010
Sigma decision diagrams
D Buchs, SP Hostettler
TERMGRAPH 2009: Preliminary proceedings of the 5th International Workshop on …, 2009
252009
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
202010
High-level Petri net model checking: the symbolic way
SP Hostettler
University of Geneva, 2011
92011
Toward efficient state space generation of algebraic Petri nets
D Buchs, SP Hostettler
SMV technical report series, 2010
82010
GReg: a domain specific language for the modeling of genetic regulatory mechanisms
N Sedlmajer, D Buchs, S Hostettler, A Linard, E Lopez, A Marechal
52012
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
52009
Java decisions diagrams library
S Hostettler
Technical report, Université de Geneve (June 2008) http://smv. unige. ch …, 2008
42008
Improving the significance of benchmarks for petri nets model checkers
SP Hostettler, A Linard, AA Marechal Marin, M Risoldi
Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010, 97-111, 2010
22010
Introducing Formal Verification with LEGO R O
D Lawrence, D Racordon, M Colange, S Hostettler, A Linard, EL Bóbeda, ...
2nd workshop on Fun With Formal Methods, Vienna, Austria, 2014
12014
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
Experience-based model refinement
D Buchs, S Hostettler, A Marechal
International Workshop on Software Engineering for Resilient Systems, 40-47, 2011
2011
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
Specification of Decision Diagram Operations
A Hamez, S Hostettler, A Linard, A Marechal, E Paviot-Adet, M Risoldi
2010
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
The system can't perform the operation now. Try again later.
Articles 1–16