Martin Schwarick

17 papers B 5Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2020 B conf
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams.
Petri Nets
Martin Schwarick, Christian Rohr, Fei Liu, George Assaf, Jacek Chodak, Monika Heiner
2016 J jnl
MARCIE's Secrets of Efficient Model Checking.
Trans. Petri Nets Other Model. Concurr.
Monika Heiner, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko
2015 B conf
Charlie - An Extensible Petri Net Analysis Tool.
Petri Nets
Monika Heiner, Martin Schwarick, Jan-Thierry Wegener
2014 — —
Symbolic on-the-fly analysis of stochastic Petri nets.
Martin Schwarick
2013 J jnl
Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle.
Trans. Petri Nets Other Model. Concurr.
Mostafa Herajy, Martin Schwarick, Monika Heiner
2013 B conf
MARCIE - Model Checking and Reachability Analysis Done Efficiently.
Petri Nets
Monika Heiner, Christian Rohr, Martin Schwarick
2012 B conf
Snoopy - A Unifying Petri Net Tool.
Petri Nets
Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, Martin Schwarick
2012 — conf
Symbolic Model Checking of Stochastic Reward Nets.
CS&P
Martin Schwarick
2011 J jnl
IDD-based model validation of biochemical networks.
Theor. Comput. Sci.
Martin Schwarick, Alexej Tovchigrechko
2011 — conf
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly.
QEST
Martin Schwarick, Monika Heiner, Christian Rohr
2010 — conf
A comparative study of stochastic analysis techniques.
CMSB
Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif
2010 — conf
IDD-MC - A Model Checker for Bounded Stochastic Petri nets.
AWPN
Martin Schwarick
2010 — ed.
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010
AWPN
Martin Schwarick, Monika Heiner
2009 — conf
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams.
CMSB
Martin Schwarick, Monika Heiner
2009 B conf
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.
Petri Nets
Monika Heiner, Martin Schwarick, Alexej Tovchigrechko
2008 — conf
Snoopy: a tool to design and animate/simulate graph-based formalisms.
SimuTools
Monika Heiner, Ronny Richter, Martin Schwarick
2008 — conf
Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams.
AWPN
Martin Schwarick