Martin Schwarick

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

Collaborative distances:

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

2020

Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams.

Martin Schwarick, Christian Rohr, Fei Liu, George Assaf, Jacek Chodak, Monika Heiner

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2016

MARCIE's Secrets of Efficient Model Checking.

Monika Heiner, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko

Trans. Petri Nets Other Model. Concurr., 2016

2015

Charlie - An Extensible Petri Net Analysis Tool.

Monika Heiner, Martin Schwarick, Jan-Thierry Wegener

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Symbolic on-the-fly analysis of stochastic Petri nets.

Martin Schwarick

PhD thesis, 2014

2013

Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle.

Mostafa Herajy, Martin Schwarick, Monika Heiner

Trans. Petri Nets Other Model. Concurr., 2013

2012

Symbolic Model Checking of Stochastic Reward Nets.

Martin Schwarick

Proceedings of the 21th International Workshop on Concurrency, 2012

Snoopy - A Unifying Petri Net Tool.

Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, Martin Schwarick

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

IDD-based model validation of biochemical networks.

Martin Schwarick, Alexej Tovchigrechko

Theor. Comput. Sci., 2011

MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly.

Martin Schwarick, Monika Heiner, Christian Rohr

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

2010

A comparative study of stochastic analysis techniques.

Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

IDD-MC - A Model Checker for Bounded Stochastic Petri nets.

Martin Schwarick

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.

Martin Schwarick, Monika Heiner

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.

Monika Heiner, Martin Schwarick, Alexej Tovchigrechko

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Snoopy: a tool to design and animate/simulate graph-based formalisms.

Monika Heiner, Ronny Richter, Martin Schwarick

Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008

Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams.

Martin Schwarick

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008