Logo

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Dr. rer. nat. Christian Rohr

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

Contact

locationBuilding VG 1c - 2nd floor, Room 2.39
 Walther-Pauer-Str. 2
 D-03046 Cottbus
phone+49-(0)355-69-3827
fax+49-(0)355-69-3587
e-mailchristian.rohr(at)b-tu(dot)de

Short Biography

1979born in Altdoebern, Germany
1999-2007studies of "Computer Science", BTU Cottbus, Germany, Dipl.-Inf.
since 2008member of the IMPRS Magdeburg
2008-2011member of the Molecular Network Group, OvGU Magdeburg
2012member of the IGS-ZUSYS, BTU Cottbus
2013-2017scientific staff member, BTU Cottbus

Teaching

Introduction into concurrency
Software Testing
Modeling and Analysis of Concurrent Systems with Petri Nets
Praktikum Softwarevalidation

Research interests

Simulation and Analysis Techniques for Systems Biology

  • 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;
  • analysis of Petri nets:
    Charlie, a Petri net analyser

Former projects

NoPain
MOPS – Modelling Pain Switches

Publications

38 entries


  • [GHR18]
    D Gilbert, M Heiner and Christian Rohr:
    Petri-net-based 2D Design of DNA Walker Circuits;
    Natural Computing, 17(1):161–182, 2018 (accepted for publication: November, 20 2017, online February, 28 2018). [ doi ] [ BibTeX ]
  • [BR17]
    MA Blätke and Rohr, C:
    BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems based on Modular Models;
    Fundamenta Informaticae, 160(1-2):221-254, 2018 (accepted for publication: May, 16 2017). [ doi ] [ BibTeX ]
  • [HLRH18]
    M Herajy, F Liu, C Rohr and M Heiner:
    Coloured Hybrid Petri Nets: an Adaptable Modelling Approach for Multi-scale Biological Networks;
    Computational Biology and Chemistry, 76:87-100, 2018. [ doi ] [ BibTeX ]
  • [R17]
    Rohr, C:
    Discrete-Time Leap Method For Stochastic Simulation;
    Fundamenta Informaticae, 160(1-2):181-198, 2018 (accepted for publication: May, 16 2017). [ doi ] [ BibTeX ]
  • [GHJR17]
    D Gilbert, M Heiner, Y Jayaweera and C Rohr:
    Towards dynamic genome scale models;
    Briefings in Bioinformatics, 2017 (online: October 13, 2017). [ doi ] [ BibTeX ]
  • [HLRH17]
    M Herajy, F Liu, C Rohr and M Heiner:
    Snoopy's Hybrid Simulator: a Tool to Construct and Simulate Hybrid Biological Models;
    BMC Systems Biology, 2017 (published: July 28, 2017). [ url ] [ doi ] [ BibTeX ]
  • [HLRH17.manual]
    M Herajy, F Liu, C Rohr and M Heiner:
    (Coloured Hybrid Petri Nets in Snoopy - User Manual;
    Technical report 01-17, Brandenburg University of Technology Cottbus, Department of Computer Science, March 2017. [ url ] [ BibTeX ]
  • [Rohr17]
    Christian Rohr:
    Simulative analysis of coloured extended stochastic Petri nets;
    PhD thesis, BTU Cottbus, Dep. of CS, January 2017. [ 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 for publication: March 11, 2016). [ url ] [ doi ] [ BibTeX ]
  • [Rohr16]
    Rohr, C:
    Discrete-Time Leap Method For Stochastic Simulation;
    In Proc. Int. Workshop on Biological Processes & Petri Nets (BioPPN 2016), CEUR-WS.org, CEUR Workshop Proceedings, volume 1591, pages 362–376, June 2016. [ url ] [ 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 ]
  • [BR15]
    MA Blätke, C Rohr:
    A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit;
    In Proc. Int. Workshop on Biological Processes & Petri Nets (BioPPN 2015), CEUR-WS.org, CEUR Workshop Proceedings, volume 1373, pages 37–54, June 2015. [ url ] [ pdf ] [ BibTeX ]
  • [R14b.mcc]
    C Rohr:
    Circadian Clock, a Petri net model;
    Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
  • [HLR14]
    M Herajy, F Liu and C Rohr:
    Coloured hybrid Petri nets for systems biology;
    In Proc. of the 5th International Workshop on Biological Processes & Petri Nets (BioPPN), satellite event of PETRI NETS 2014, CEUR-WS.org, CEUR Workshop Proceedings, volume 1159, pages 60-76, June 2014. [ url ] [ pdf ] [ BibTeX ]
  • [R14a.mcc]
    C Rohr:
    Angiogenesis, a Petri net model;
    Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
  • [BRHM14]
    MA Blätke, C Rohr, M Heiner and W Marwan:
    A Petri Net based Framework for Biomodel Engineering;
    In Large-Scale Networks in Engineering and Life Sciences, (Benner, P, Findeisen, R, Flockerzi, D, Reichl, U and Sundmacher, K, Eds.), Springer, Birkhäuser Mathematics, pages 317–366, December 2014. [ doi ] [ BibTeX ]
  • [R14c.mcc]
    C Rohr:
    ERK signalling pathway, a Petri net model;
    Technical report, Model Checking Contest @ Petri nets, June 2014. [ url ] [ pdf ] [ BibTeX ]
  • [Rohr13]
    C Rohr:
    Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators;
    ToPNoC VIII, LNCS 8100, 2013. [ doi ] [ BibTeX ]
  • [BDR+13]
    MA Blätke, A Dittrich, C Rohr, M Heiner, F Schaper and W Marwan:
    JAK/STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology;
    Molecular BioSystem, 9(6):1290-1307, 2013. [ url ] [ 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 ]
  • [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 ]
  • [Rohr12.poster]
    C Rohr:
    Simulative  Model  Checking  of Colored  Stochastic  Petri  Nets; IGS/ZUSYS, 2012;
    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 ]
  • [Rohr12.sld]
    C Rohr:
    Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators;
    Talk, 3rd International Workshop on Biological Processes & Petri Nets (BioPPN), satellite event of Petri Nets 2012, Hamburg, June 2012. [ pdf ] [ BibTeX ]
  • [MRH12]
    W Marwan, C Rohr and M Heiner:
    Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks;
    In Methods in Molecular Biology – Bacterial Molecular Networks, (Jv Helden, A Toussaint and D Thieffry, Eds.), Humana Press, pages 409–437, 2012. [ pdf ] [ doi ] [ 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 ]
  • [LHR12.manual]
    F Liu, M Heiner and C Rohr:
    Manual for Colored Petri Nets in Snoopy;
    Technical report 02-12, Brandenburg University of Technology Cottbus, Department of Computer Science, March 2012. [ pdf ] [ BibTeX ]
  • [Rohr12]
    C Rohr:
    Simulative Model Checking of Steady-State and Time-Unbounded Temporal Operators;
    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 62-75, June 2012. [ url ] [ pdf ] [ BibTeX ]
  • [HRS12]
    M Heiner, C Rohr and M Schwarick:
    Petri net based system analysis;
    Poster, 2012. [ 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 ]
  • [HRS11]
    M Heiner, C Rohr and M Schwarick:
    Petri net based system analysis;
    Poster, 2011. [ pdf ] [ BibTeX ]
  • [RMH11]
    C Rohr, M Heiner and W Marwan:
    Stochastic Modelling and Simulation of Biochemical Networks; IMPRS evaluation, November 2011;
    Poster, 2011. [ 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 ]
  • [Rohr10]
    C Rohr:
    Simulative CSL model checking of Stochastic Petri nets in IDD-MC;
    In Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), CEUR-WS.org, CEUR Workshop Proceedings, volume 643, pages 88–93, October 2010. [ pdf ] [ BibTeX ]
  • [RMH10]
    C Rohr, W Marwan and M Heiner:
    Snoopy - a unifying Petri net framework to investigate biomolecular networks;
    Bioinformatics, 26(7):974–975, 2010 ((Advanced Access published February 7, 2010)). [ url ] [ doi ] [ 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 ]
  • [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 ]

… the end …

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