Steve Hostettler

According to our database1, Steve Hostettler authored at least 8 papers between 2010 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis.
Trans. Petri Nets Other Model. Concurr., 2012

2011
High-Level Petri Net Model Checking with AlPiNA.
Fundam. Informaticae, 2011

Modelling of Genetic Regulatory Mechanisms with GReg
CoRR, 2011

Experience-Based Model Refinement.
Proceedings of the Software Engineering for Resilient Systems, 2011

2010
AlPiNA: An Algebraic Petri Net Analyzer.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

AlPiNA: A Symbolic Model Checker.
Proceedings of the Applications and Theory of Petri Nets, 2010

Improving the Significance of Benchmarks for Petri Nets Model Checkers.
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.
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


  Loading...