• home

• contact

• members

• teaching

• research

• publications

• software

• events

Dr. rer. nat. Martin Schwarick

latest update: October 04, 2017, at 01:04 PM

Contact

Short Biography

Teaching

Introduction into concurrency
Software Testing
Modeling and Analysis of Concurrent Systems with Petri Nets
Praktikum Softwarevalidation
Programmieren mit C und C++ für Ingenieure (online)

Research interests

• analysis of Petri nets:
  Charlie, a Petri net analyser
• probabilistic model checking of stochastic Petri nets:
  Marcie, an analysis tool for Generalized Stochastic Petri Nets (SPN);
• modelling with (coloured) Petri nets:
  Snoopy, a generic tool to construct hierarchical (coloured) Petri nets;

Publications

37 entries

• [SRL+20]
  M Schwarick and C Rohr, F Liu, G Assaf, J Chodak, M Heiner:
  Efficient Unfolding of Coloured Petri Nets using Interval Decision Diagrams;
  In Proc. PETRI NETS 2020, Paris, Springer, Cham, LNCS, volume 12152, pages 324-344, June 2020. [ doi ] [ BibTeX ]
• [SRL+20b.sld]
  M Schwarick, C Rohr, F Liu, G Assaf, J Chodak and M Heiner:
  Efficient Unfolding of Coloured Petri Nets using Interval Decision Diagrams - Teaser;
  Talk, PETRI NETS 2020, Paris, June 2020. [ pdf ] [ BibTeX ]
• [SRL+20a.sld]
  M Schwarick, C Rohr, F Liu, G Assaf, J Chodak and M Heiner:
  Efficient Unfolding of Coloured Petri Nets using Interval Decision Diagrams;
  Talk, PETRI NETS 2020, Paris, June 2020. [ pdf ] [ BibTeX ]
• [SRH16]
  M Schwarick, C Rohr and M Heiner:
  MARCIE Manual;
  Technical report 02-16, Brandenburg University of Technology Cottbus, Department of Computer Science, December 2016. [ url ] [ pdf ] [ BibTeX ]
• [HRST16]
  M Heiner, C Rohr, M Schwarick and A Tovchigrechko:
  MARCIE’s secrets of efficient model checking;
  Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XI, LNCS 9930, 2016 (accepted: March 11, 2016). [ url ] [ doi ] [ BibTeX ]
• [HSW15.sld]
  M Heiner, M Schwarick and J Wegener:
  Charlie – an extensible Petri net analysis tool;
  Talk, PETRI NETS 2015, Brussels, June 2015. [ pdf ] [ BibTeX ]
• [HSW15]
  M Heiner, M Schwarick and J Wegener:
  Charlie – an extensible Petri net analysis tool;
  In Proc. PETRI NETS 2015, Brussels, Springer, LNCS, volume 9115, pages 200–211, June 2015. [ url ] [ doi ] [ BibTeX ]
• [Schwarick14]
  Martin Schwarick:
  Symbolic on-the-fly analysis of stochastic Petri nets;
  PhD thesis, BTU Cottbus, Dep. of CS, June 2014. [ pdf ] [ BibTeX ]
• [HRS13]
  M Heiner, C Rohr and M Schwarick:
  MARCIE - Model checking And Reachability analysis done effiCIEntly;
  In Proc. PETRI NETS 2013, Milano, Springer, LNCS, volume 7927, pages 389–399, June 2013. [ url ] [ pdf ] [ doi ] [ BibTeX ]
• [HSH13]
  M Herajy, M Schwarick and M Heiner:
  Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle;
  ToPNoC VIII, LNCS 8100, 2013. [ pdf ] [ doi ] [ BibTeX ]
• [HRS13.poster]
  M Heiner, C Rohr and M Schwarick:
  Petri net based system analysis;
  Poster, 2013. [ pdf ] [ BibTeX ]
• [HRS13.sld]
  M Heiner, C Rohr and M Schwarick:
  MARCIE - Model checking And Reachability analysis done effiCIEntly;
  Talk, PETRI NETS 2013, Milano, June 2013. [ pdf ] [ BibTeX ]
• [HS12]
  M Herajy and M Schwarick:
  A Hybrid Petri Net Model of the Eukaryotic Cell Cycle;
  In Proc. of the 3rd International Workshop on Biological Processes & Petri Nets (BioPPN), satellite event of PETRI NETS 2012, CEUR-WS.org, CEUR Workshop Proceedings, volume 852, pages 29-43, June 2012. [ url ] [ pdf ] [ BibTeX ]
• [HS12.sld2]
  M Heiner and M Schwarick:
  Markov Chains & Functional Safety;
  Talk, Philotech Academy, Berlin, October 2012. [ pdf ] [ BibTeX ]
• [HRS12]
  M Heiner, C Rohr and M Schwarick:
  Petri net based system analysis;
  Poster, 2012. [ pdf ] [ BibTeX ]
• [HH+12]
  M Heiner, M Herajy, F Liu, C Rohr and M Schwarick:
  Snoopy – a unifying Petri net tool;
  In Proc. PETRI NETS 2012, Hamburg, Springer, LNCS, volume 7347, 398–407, June 2012. [ url ] [ doi ] [ BibTeX ]
• [Schw12]
  M Schwarick:
  Symbolic model checking of stochastic reward nets;
  In Proc. International Workshop on Concurrency, Specification, and Programming (CSP 2012), CEUR-WS.org, CEUR Workshop Proceedings, volume 928, pages 343–357, September 2012. [ url ] [ pdf ] [ BibTeX ]
• [HH12+.sld]
  M Heiner, M Herajy, F Liu, C Rohr and M Schwarick:
  Snoopy – a unifying Petri net tool;
  Talk, PETRI NETS 2012, Hamburg, June 2012. [ pdf ] [ BibTeX ]
• [HS12.sld1]
  M Herajy and M Schwarick:
  A Hybrid Petri Net Model of the Eukaryotic Cell Cycle;
  Talk, 3rd International Workshop on Biological Processes & Petri Nets (BioPPN), satellite event of Petri Nets 2012, Hamburg, June 2012. [ pdf ] [ BibTeX ]
• [SRH11.sld]
  M Schwarick, C Rohr and M Heiner:
  MARCIE - Model checking And Reachability analysis done effiCIEntly;
  Talk, QEST 2011, Aachen, September 2011. [ pdf ] [ BibTeX ]
• [SRH11]
  M Schwarick , C Rohr and M Heiner:
  MARCIE - Model checking And Reachability analysis done effiCIEntly;
  In Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST 2011), Aachen, Germany, IEEE CS Press, pages 91–100, September 2011. [ url ] [ pdf ] [ BibTeX ]
• [WSH11]
  J Wegener, M Schwarick and M Heiner:
  A Plugin System for Charlie;
  In Proc. International Workshop on Concurrency, Specification, and Programming (CSP 2011), Biaystok University of Technology, ISBN: 978-83-62582-06-8, pages 531–554, September 2011. [ url ] [ pdf ] [ BibTeX ]
• [ST11]
  M Schwarick and A Tovchigrechko:
  IDD-based model validation of biochemical networks;
  Theoretical Computer Science, 412(26):2884–2908, 2011 (online: July 2010). [ pdf ] [ doi ] [ BibTeX ]
• [HRS11]
  M Heiner, C Rohr and M Schwarick:
  Petri net based system analysis;
  Poster, 2011. [ pdf ] [ BibTeX ]
• [WSH11.sld]
  J Wegener, M Schwarick and M Heiner:
  A Plugin System for Charlie;
  Talk, International Workshop on Concurrency, Specification, and Programming (CSP 2011), September 2011. [ pdf ] [ BibTeX ]
• [Schw10]
  M Schwarick:
  IDD-MC - a model checker for bounded stochastic Petri nets;
  In Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), CEUR-WS.org, CEUR Workshop Proceedings, volume 643, pages 80–87, October 2010. [ pdf ] [ BibTeX ]
• [HRSS10]
  M Heiner, C Rohr, M Schwarick and S Streif:
  A Comparative Study of Stochastic Analysis Techniques;
  In Proc. 8th International Conference on Computational Methods in Systems Biology (CMSB 2010), Trento, ACM digital library, pages 96–106, September 2010. [ pdf ] [ doi ] [ BibTeX ]
• [SH09.sld]
  M Schwarick and M Heiner:
  CSL model checking of biochemical networks with Interval Decision Diagrams;
  Talk, CMSB 2009, Bologna, September 2009. [ pdf ] [ BibTeX ]
• [HST09.sld]
  M Heiner, M Schwarick and A Tovchigrechko:
  DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets;
  Talk, PETRI NETS 2009 Paris, June 2009. [ pdf ] [ BibTeX ]
• [SH09]
  M Schwarick and M Heiner:
  CSL model checking of biochemical networks with Interval Decision Diagrams;
  In Proc. 7th International Conference on Computational Methods in Systems Biology (CMSB 2009), Bologna, Italy, Springer, LNCS/LNBI, volume 5688, pages 296–312, September 2009. [ url ] [ pdf ] [ doi ] [ BibTeX ]
• [HST09]
  M Heiner, M Schwarick and A Tovchigrechko:
  DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets;
  In Proc. PETRI NETS 2009, Paris, Springer, LNCS, volume 5606, pages 323–332, June 2009. [ url ] [ pdf ] [ doi ] [ BibTeX ]
• [Schw08]
  M Schwarick:
  Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams;
  In Proc. 15th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2008), CEUR-WS.org, CEUR Workshop Proceedings, volume 380, pages 43–48, September 2008. [ pdf ] [ BibTeX ]
• [HRRS08]
  M Heiner, R Richter, C Rohr and M Schwarick:
  Snoopy – A Tool to Design and Animate/Simulate Graph-Based Formalisms;
  In Petri Net Newsletter, GI, pages 8–22, April 2008 (This paper is an extended version of Proc. PNTAP 2008). [ pdf ] [ BibTeX ]
• [HRS08]
  M Heiner, R Richter and M Schwarick:
  Snoopy - A Tool to Design and Animate/Simulate Graph-Based Formalisms;
  In Proc. International Workshop on Petri Nets Tools and APplications (PNTAP 2008, associated to SIMUTools 2008), ACM digital library, 2008. [ url ] [ pdf ] [ BibTeX ]
• [HRS07]
  M Heiner, R Richter and M Schwarick:
  Snoopy - A Tool to Design and Animate/Simulate Graph-Based Formalisms;
  In Proc. AWPN Workshop, Koblenz, Sept. 2007, pages 8-13, 2007. [ url ] [ pdf ] [ BibTeX ]
• [Schw06]
  Martin Schwarick:
  A Tool to Analyse Petri Net Models (in German);
  Master thesis, BTU Cottbus, Dep. of CS, September 2006. [ BibTeX ]
• [Schw04]
  Martin Schwarick:
  Extension of a BDD-based LTL Model Checker (in German);
  Bachelor thesis, BTU Cottbus, Dep. of CS, April 2004. [ pdf ] [ BibTeX ]