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
502011
Alpina: A symbolic model checker
D Buchs, S Hostettler, A Marechal, M Risoldi
Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010
372010
Sigma decision diagrams
D Buchs, S Hostettler
TERMGRAPH, 18-32, 2009
282009
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
262010
High-level Petri net model checking: the symbolic way
S Hostettler
University of Geneva, Switzerland, 2011
102011
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
92009
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
62012
Multi-set decision diagrams
L Lucio, S Hostettler
Technical Report 205, Centre Universitaire D’Informatique, Université de Genève, 2009
52009
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
52008
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–18