Follow
Carina da Silva (née Pilch)
Carina da Silva (née Pilch)
Researcher, University of Münster (WWU)
Verified email at wwu.de - Homepage
Title
Cited by
Cited by
Year
Statistical Model Checking for hybrid Petri nets with multiple general transitions
C Pilch, A Remke
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems …, 2017
192017
Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases
JJ Chromik, C Pilch, P Brackmann, C Duhme, F Everinghoff, A Giberlein, ...
2017 IEEE International Conference on Smart Grid Communications …, 2017
132017
ARCH-COMP19 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, K Degiorgio, M Fränzle, EM Hahn, ...
ARCH@ CPSIoTWeek, 62-102, 2019
122019
Hypeg: Statistical model checking for hybrid petri nets: Tool paper
C Pilch, F Edenfeld, A Remke
Proceedings of the 11th EAI International Conference on Performance …, 2017
122017
State-space construction of hybrid petri nets with multiple stochastic firings
J Hüls, C Pilch, P Schinke, H Niehaus, J Delicaris, A Remke
ACM Transactions on Modeling and Computer Simulation (TOMACS) 31 (3), 1-37, 2021
112021
ARCH-COMP20 Category Report: Stochastic Models.
A Abate, H Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, A Lavaei, ...
ARCH, 76-106, 2020
92020
HPnGs go non-linear: Statistical dependability evaluation of battery-powered systems
C Pilch, M Niehage, A Remke
2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation …, 2018
62018
Development of an event-based simulator for model checking hybrid Petri nets with random variables
C Pilch
Master’s thesis, Wesfälische Wilhelms-Universität Münster, 2016
52016
Simulating Hybrid Petri nets with general transitions and non-linear differential equations
M Niehage, C Pilch, A Remke
Proceedings of the 13th EAI International Conference on Performance …, 2020
32020
A transformation of hybrid petri nets with stochastic firings into a subclass of stochastic hybrid automata
C Pilch, M Krause, A Remke, E Ábrahám
NASA Formal Methods Symposium, 381-400, 2020
32020
Classic and non-prophetic model checking for hybrid petri nets with stochastic firings
C Pilch, A Hartmanns, A Remke
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
32020
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction
C Pilch, S Schupp, A Remke
International Conference on Quantitative Evaluation of Systems, 435-456, 2021
12021
Student research paper: Evaluation of the dependability of critical infrastructures using hybrid Petri nets with random variables and stochastic simulation
C Pilch
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems …, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–13