Christian Rohr

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 9

Top Topics

Automated Verification

Temporal Properties

Top Venues

Trans. Petri Nets Other Model. Concurr.

Fundam. Informaticae

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)
David R. Gilbert, Monika Heiner, Yasoda Jayaweera, Christian Rohr
Towards dynamic genome-scale models. Briefings Bioinform. 20 (4) (2019)
Christian Rohr
Discrete-Time Leap Method For Stochastic Simulation. Fundam. Informaticae 160 (1-2) (2018)
Mostafa Herajy, Fei Liu, Christian Rohr, Monika Heiner
Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks. Comput. Biol. Chem. 76 (2018)
David R. Gilbert, Monika Heiner, Christian Rohr
Petri-net-based 2D design of DNA walker circuits. Nat. Comput. 17 (1) (2018)
Mary Ann Blätke, Christian Rohr
BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems Based on Modular Models. Fundam. Informaticae 160 (1-2) (2018)
Mostafa Herajy, Fei Liu, Christian Rohr, Monika Heiner
Snoopy's hybrid simulator: a tool to construct and simulate hybrid biological models. BMC Syst. Biol. 11 (1) (2017)
Christian Rohr
Discrete-Time Leap Method for Stochastic Simulation. PNSE @ Petri Nets (2016)
Monika Heiner, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko
MARCIE's Secrets of Efficient Model Checking. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Mary Ann Blätke, Christian Rohr
A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit. BioPPN@Petri Nets (2015)
Mostafa Herajy, Fei Liu, Christian Rohr
Coloured hybrid Petri nets for systems biology. BioPPN@Petri Nets (2014)
Monika Heiner, Christian Rohr, Martin Schwarick
MARCIE - Model Checking and Reachability Analysis Done Efficiently. Petri Nets (2013)
Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR (2013)
Christian Rohr
Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR (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)
Christian Rohr, Wolfgang Marwan, Monika Heiner
Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinform. 26 (7) (2010)
Christian Rohr
Simulative CSL model checking of Stochastic Petri nets in IDD-MC. AWPN (2010)
Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif
A comparative study of stochastic analysis techniques. CMSB (2010)