• Doctorate

    Doctorate: 7th October 2021
    PhD thesis title: Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables

     

  • Research interests

    • Dependability evaluation for safety-critical systems
    • Development of tools for the analysis and simulation of hybrid Petri nets with random variables
      (HPnGs)
      • Analyse: HPnmG (C++)
      • Simulation: HYPEG (Java library)
    • Discrete-event simulation
    • Statistical model checking
    • Non-linear continuous behavior
    • Non-deterministic systems, Finding optimal schedulers
    • Transformation of hybrid Petri nets to hybrid automata
    • Time-bounded reachability analysis

     

  • Publications

    • Pilch Carina, Schupp Stefan, Remke Anne. . ‘Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.’ ACM Transactions on Modeling and Computer Simulation 33, No. 4: 1–27. doi: https://doi.org/10.1145/3607197.

    • Pilch, Carina. . Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Dissertation thesis, Westfälische Wilhelms-Universität Münster. Münster: Universität Münster.
    • Pilch Carina, Schupp Stefan, Remke Anne. . ‘Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.’ Contributed to the 18th International Conference on Quantitative Evaluation of Systems, QEST 2021, Paris, France, August 23–27, 2021, Paris, France. doi: 10.1007/978-3-030-85172-9_23.
    • Hüls Jannik, Pilch Carina, Schinke Patricia, Niehaus Henner, Delicaris Joanna, Remke Anne. . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ ACM Transactions on Modeling and Computer Simulation 31, No. 3: 1–37. doi: 10.1145/3449353.

    • Niehage Mathis, Pilch Carina, Remke Anne. . ‘Simulating Hybrid Petri nets with general transitions and non-linear differential equations.’ Contributed to the 13thth EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2020, Tsukuba, Japan, May 18-20, 2020, Tsukuba, Japan. doi: 10.1145/3388831.3388842.
    • Pilch Carina, Krause Maurice, Remke Anne, Ábrahám Erika. . ‘A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.’ Contributed to the 12th NASA Formal Methods Symposium, NFM 2020, NASA Ames Research Center, Moffett Field, CA, USA, May 11-15, 2020, Moffett Field, CA, USA. doi: 10.1007/978-3-030-55754-6_23.
    • Pilch Carina, Hartmanns Arnd, Remke Anne. . ‘Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings.’ Contributed to the 23rd ACM International Conference on Hybrid Systems: Computation and Control, HSCC '20, Sydney, Australia, April 21-24, 2020, Sydney, Australia. doi: 10.1145/3365365.3382198.
    • Abate Alessandro, Blom Henk, Cauchi Nathalie, Delicaris Joanna, Hartmanns Arnd, Khaled Mahmoud, Lavaei Abolfazl, Pilch Carina, Remke Anne, Schupp Stefan, Shmarov Fedor, Soudjani Sadegh, Vinod Abraham, Wooding Ben, Zamani Majid, Zuliani Paolo. . ‘ARCH-COMP20 Category Report: Stochastic Models.’ Contributed to the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, -. doi: 10.29007/mqzc.

    • Abate A, Blom H, Cauchi N, Degiorgio K, Fränzle M, Hahn EM, Haesaert S, Ma H, Oishi M, Pilch C, Remke A, Salamati M, Soudjani S, Huijgevoort B, Vinod AP. . ‘ARCH-COMP19 Category Report: Stochastic Modelling.’ Contributed to the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019, Montreal. doi: 10.29007/f2vb.
    • Hüls Jannik, Pilch Carina, Schinke Patricia, Delicaris Joanna, Remke Anne. . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ Contributed to the 16th International Conference on Quantitative Evaluation of Systems, QEST 2019, Glasgow, UK, September 10-12, 2019, Glasgow. doi: 10.1007/978-3-030-30281-8_11.

    • Pilch Carina. . ‘Student research paper: Evaluation of the dependability of critical infrastructures using hybrid Petri nets with random variables and stochastic simulation.’ Contributed to the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Denver, CO, USA, 26-29 June, 2017, Denver, USA. doi: 10.1109/DSN-W.2017.21.
    • Pilch Carina, Remke Anne. . ‘Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions.’ Contributed to the 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Denver, CO, USA, 26-29 June, 2017, Denver, USA. doi: 10.1109/DSN.2017.41.
    • Chromik JJ, Pilch C, Brackmann P, Duhme C, Everinghoff F, Giberlein A, Teodorowicz T, Wieland J, Haverkort BR, Remke A. . ‘Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases.’ Contributed to the 2017 IEEE International Conference on Smart Grid Communications, SmartGridComm 2017, Dresden, Germany, October 23-27, 2017, Dresden, Deutschland. doi: 10.1109/SmartGridComm.2017.8340672.
    • Pilch Carina, Edenfeld Fabian, Remke Anne. . ‘HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper.’ Contributed to the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017, Venice, Italy. doi: 10.1145/3150928.3150956.