Steve Hostettler

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Computational Models

Genetic Regulatory Networks

Quantitative Analysis

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal
Modelling of Genetic Regulatory Mechanisms with GReg CoRR (2011)
Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs
High-Level Petri Net Model Checking with AlPiNA. Fundam. Informaticae 113 (3-4) (2011)
Didier Buchs, Steve Hostettler, Alexis Marechal
Experience-Based Model Refinement. SERENE (2011)
Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi
Improving the Significance of Benchmarks for Petri Nets Model Checkers. ACSD/Petri Nets Workshops (2010)
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
AlPiNA: A Symbolic Model Checker. Petri Nets (2010)
Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi
Specification of Decision Diagram Operations. ACSD/Petri Nets Workshops (2010)
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
AlPiNA: An Algebraic Petri Net Analyzer. TACAS (2010)