Martin Schwarick

According to our database1, Martin Schwarick authored at least 15 papers between 2008 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2016
MARCIE's Secrets of Efficient Model Checking.
Trans. Petri Nets Other Model. Concurr., 2016

2015
Charlie - An Extensible Petri Net Analysis Tool.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014
Symbolic on-the-fly analysis of stochastic Petri nets.
PhD thesis, 2014

2013
Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle.
Trans. Petri Nets Other Model. Concurr., 2013

2012
Symbolic Model Checking of Stochastic Reward Nets.
Proceedings of the 21th International Workshop on Concurrency, 2012

Snoopy - A Unifying Petri Net Tool.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011
IDD-based model validation of biochemical networks.
Theor. Comput. Sci., 2011

MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

2010
A comparative study of stochastic analysis techniques.
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

IDD-MC - A Model Checker for Bounded Stochastic Petri nets.
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

2009
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 2009

2008
Snoopy: a tool to design and animate/simulate graph-based formalisms.
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008

Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams.
Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008


  Loading...