Concepedia
Statistics
Publications
6
Citations
96
H-Index
Active since
2017
Affiliations
University of Münster(Current)
University of Twente
Carina Pilch is an author at University of Münster specializing in petri nets, computing, and hybrid petri nets.
Publications per year
2017–2021
Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions
Carina Pilch, Anne Remke · 2017 · 27 citations
Computing, Computer Science, Formal Methods +15
HYPEG
Carina Pilch, Fabian Edenfeld, Anne Remke · 2017 · 18 citations
Computing, Computer Science, Systems Engineering +15
Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases
Justyna J. Chromik, Carina Pilch, Pascal Brackmann et al. · 2017 · 16 citations
Computing, Computer Engineering, Electrical Engineering +16
HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems
Carina Pilch, Mathis Niehage, Anne Remke · 2018 · 13 citations
Engineering, Systems Engineering, Model-based Systems Engineering +16
State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
Jannik Hüls, Carina Pilch, Patricia Schinke et al. · ACM Transactions on Modeling and Computer Simulation · 2021 · 12 citations · Full text
Computing, Computer Engineering, Computer Science +17
1–5 of 6