Follow
Carina da Silva
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
272017
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
212021
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
212017
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
192017
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
152021
ARCH-COMP19 category report: Stochastic modelling
A Abate, HAP Blom, N Cauchi, K Degiorgio, M Franzle, EM Hahn, ...
6th International Workshop on Applied veRification for Continuous and Hybrid …, 2019
142019
ARCH-COMP20 Category Report: Stochastic Models.
A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ...
ARCH, 76-106, 2020
132020
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
122018
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
102020
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
92020
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: 12th International Symposium, NFM 2020, Moffett Field …, 2020
92020
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
92016
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction
C Da Silva, S Schupp, A Remke
ACM Transactions on Modeling and Computer Simulation 33 (4), 1-27, 2023
52023
Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables
C Pilch
Westfälische Wilhelms-Univeraität Münster, 2021
22021
SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs
C Da Silva
Köllen Druck+ Verlag GmbH, 2022
2022
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
Entwicklung eines Software-Prototypen zur Zusammenführung von 3D CAD Strukturen mit Stücklistenelementen der GE Wind Energy GmbH
C Pilch
Hochschule Osnabrück, 2012
2012
Statistisches Model Checking und zeitlich begrenzte Erreichbarkeitsanalyse für hybride Petri-Netze mit mehreren stochastischen Variablen1
C da Silva
The system can't perform the operation now. Try again later.
Articles 1–18