Carina Pilch
© Carina Pilch
Carina Pilch
Wissenschaftliche Mitarbeiterin (Doktorandin)
Raum 802a
Tel: +49 251 83-32765
carina.pilch@wwu.de
Sprechstunde: nach Vereinbarung.

Forschungsinteressen

  • Sicherheitsanalyse für kritische Infrastrukturen
  • Entwicklung von Tools zur Analyse und Simulation hybrider Petri-Netze mit Zufallsvariablen (HPnGs)
    • Analyse: HPnmG (C++)
    • Simulation: HYPEG (Java library)
  • Discrete-event Simulation
  • Statistical Model Checking: Hypothesentests und Konfidenzintervallen für Wahrscheinlichkeiten
  • Nicht-lineares kontinuierliches Verhalten
  • Nicht-deterministische Systeme, Finden optimaler Scheduler
  • Transformation hybrider Petri-Netze in hybride Automaten

Lehre

  • Übung: Übungen zur Vorlesung "Diskrete Strukturen" [100032]
    (zusammen mit Joanna Georgia Delicaris, Prof. Dr. Anne Remke)
    [ - | | wöchentlich | Do. | Carina Pilch]
    [ - | | wöchentlich | Do. | Carina Pilch]
    [ - | | wöchentlich | Fr. | Carina Pilch]
  • Seminar: Varianten von Hybriden Automaten [100041]
    (zusammen mit Mathis Friedrich Niehage, Joanna Georgia Delicaris, Prof. Dr. Anne Remke)
    [ - | | wöchentlich | Di. | Carina Pilch]
  • Seminar: Learning Center Informatik [100039]
    [ | wöchentlich | Mo. | Carina Pilch]
    [ | wöchentlich | Di. | Carina Pilch]
    [ | wöchentlich | Mi. | Carina Pilch]
    [ | wöchentlich | Do. | Carina Pilch]
    [ | wöchentlich | Fr. | Carina Pilch]
  • Vorlesung: Diskrete Strukturen [100031]
    (zusammen mit Prof. Dr. Anne Remke)
    [ - | | wöchentlich | Di. | M B 1 (M 1) | Carina Pilch]