Steve Hostettler

According to our database, Steve Hostettler authored at least 9 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis.

Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal

Trans. Petri Nets Other Model. Concurr., 2012

2011

High-level Petri net model checking: the symbolic way.

Steve Hostettler

PhD thesis, 2011

High-Level Petri Net Model Checking with AlPiNA.

Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs

Fundam. Informaticae, 2011

Modelling of Genetic Regulatory Mechanisms with GReg

Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal

CoRR, 2011

Experience-Based Model Refinement.

Didier Buchs, Steve Hostettler, Alexis Marechal

Proceedings of the Software Engineering for Resilient Systems, 2011

2010

AlPiNA: An Algebraic Petri Net Analyzer.

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

AlPiNA: A Symbolic Model Checker.

Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi

Proceedings of the Applications and Theory of Petri Nets, 2010

Improving the Significance of Benchmarks for Petri Nets Model Checkers.

Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

Specification of Decision Diagram Operations.

Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, Matteo Risoldi

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010