Martin Schwarick

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 2

Top Venues

Petri Nets

Trans. Petri Nets Other Model. Concurr.

CS&P

Brandenburg University of Technology, Cottbus - Senftenberg, Germany (PHD)

Education History

Brandenburg University of Technology, Cottbus - Senftenberg, Germany

PHD

Publications

Martin Schwarick, Christian Rohr, Fei Liu, George Assaf, Jacek Chodak, Monika Heiner
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams. Petri Nets (2020)
Monika Heiner, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko
MARCIE's Secrets of Efficient Model Checking. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Monika Heiner, Martin Schwarick, Jan-Thierry Wegener
Charlie - An Extensible Petri Net Analysis Tool. Petri Nets (2015)
Monika Heiner, Christian Rohr, Martin Schwarick
MARCIE - Model Checking and Reachability Analysis Done Efficiently. Petri Nets (2013)
Mostafa Herajy, Martin Schwarick, Monika Heiner
Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Martin Schwarick
Symbolic Model Checking of Stochastic Reward Nets. CS&P (2012)
Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, Martin Schwarick
Snoopy - A Unifying Petri Net Tool. Petri Nets (2012)
Martin Schwarick, Monika Heiner, Christian Rohr
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. QEST (2011)
Martin Schwarick, Alexej Tovchigrechko
IDD-based model validation of biochemical networks. Theor. Comput. Sci. 412 (26) (2011)
Martin Schwarick
IDD-MC - A Model Checker for Bounded Stochastic Petri nets. AWPN (2010)
Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif
A comparative study of stochastic analysis techniques. CMSB (2010)
Martin Schwarick, Monika Heiner
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams. CMSB (2009)
Monika Heiner, Martin Schwarick, Alexej Tovchigrechko
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. Petri Nets (2009)
Monika Heiner, Ronny Richter, Martin Schwarick
Snoopy: a tool to design and animate/simulate graph-based formalisms. SimuTools (2008)
Martin Schwarick
Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams. AWPN (2008)

Martin Schwarick.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Schwarick