Carina Pilch
© Carina Pilch
Carina Pilch
Researcher (PhD Student)
Room 802a
Tel: +49 251 83-32765
carina.pilch@wwu.de
Consultation hours: by Arrangement.

Research interests

  • Dependability evaluation for critical infrastructures and energy-related systems
  • Development of a Java tool for the analysis and simulation of hybrid Petri nets with random variables
    (HPnGs)
  • Discrete-event simulation
  • Statistical Model Checking: hypothesis tests and confidence intervals for probabilities
  • Non-linear continuous behavior
  • Non-deterministic systems
  • Rare-event simulation

Publications

C. Pilch, M. Niehage and A. Remke, "HPnGs go non-linear: statistical dependability evaluation of battery-powered systems", 2018 26th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Milwaukee, WI, USA, 2018.

C. Pilch, F. Edenfeld and A. Remke, "HYPEG: Statistical Model Checking for hybrid Petri nets", 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), Venice, Italy, 2017.

J. Chromik, B. Haverkort, A. Remke, C. Pilch, P. Brackmann, C. Duhme, F. Everinghoff, A. Giberlein, T. Teodorowicz and J. Wieland, "Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases", 8th IEEE International Conference on Smart Grid Communications (SmartGridComm), Dresden, Germany, 2017.

C. Pilch and A. Remke, "Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions," 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Denver, CO, USA, 2017, pp. 475-486.

C. Pilch, "Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation," 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Denver, CO, USA, 2017, pp. 160-163.

C. Pilch, "Development of an event-based simulator for model checking hybrid Petri nets with random variables", Master’s thesis, University of Münster, Germany, 2016.

Teaching

  • Übung: Tutorial Discrete Structures [106085]
    (in cooperation with Prof. Dr. Jan Vahrenhold, Jana Seep)
    [ - | | wöchentlich | Do. | SRZ 104 | Carina Pilch]
    [ - | | wöchentlich | Do. | SRZ 104 | Carina Pilch]
    [ - | | wöchentlich | Do. | SRZ 114 | Carina Pilch]
    [ - | | wöchentlich | Fr. | SRZ 104 | Carina Pilch]
    [ - | | wöchentlich | Fr. | SRZ 104 | Carina Pilch]
    [ | wöchentlich | Fr. | SRZ 115 | Carina Pilch]

  • Projektseminar: Implementation of a SCADA Testbed [104036]
    (in cooperation with Prof. Dr. Karina Höveler, Janet Winzen, Prof. Dr. Anne Remke)
    [ - | | wöchentlich | Mi. | M A 101 (SR 1A) | Prof. Dr. Karina Höveler]
    [ - | M A 109 (SR 1B) | Prof. Dr. Karina Höveler]
    [ - | SRZ 215 | Prof. Dr. Karina Höveler]
    [ - | SRZ 113 | Prof. Dr. Karina Höveler]
  • Seminar: Variants of Hybrid Automata [102053]
    (in cooperation with Prof. Dr. Anne Remke)
    [wöchentlich | Carina Pilch]
  • V/Ü: Quantative Model Checking [104030]
    (in cooperation with Prof. Dr. Anne Remke)
    [ - | | wöchentlich | Mo. | M B 4 (M 4) | Carina Pilch]
    [ | wöchentlich | Do. | SRZ 114 | Carina Pilch]