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 | 28 | 2017 |
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 | 21 | 2021 |
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 | 21 | 2017 |
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 | 19 | 2017 |
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 | 15 | 2021 |
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 | 14 | 2019 |
ARCH-COMP20 Category Report: Stochastic Models. A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ... ARCH, 76-106, 2020 | 13 | 2020 |
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 | 12 | 2018 |
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 | 10 | 2020 |
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 | 9 | 2020 |
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 | 9 | 2020 |
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 | 9 | 2016 |
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 | 5 | 2023 |
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 | 2 | 2021 |
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 | | |