Logo

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Dr. rer. nat. Martin Schwarick

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

Contact

locationBuilding 1c - 2nd floor, Room 215b
 Walther-Pauer-Str. 2
 D-03046 Cottbus
phone+49-(0)355-69-3826
fax+49-(0)355-69-3830
e-mailms(at)informatik(dot)tu-cottbus(dot)de

Short Biography

1980born in Herzberg/Elster
1999leaving Philip-Melanchton-Gymnasium in Herzberg/Elster
2000-2004studies of "Informations -und Medientechnik", BTU Cottbus, B.Sc.
2004-2006studies of "Informatik", BTU Cottbus, M.Sc.
2006-2015scientific staff member

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 ]

… the end …

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy