| 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 | 23 | 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 | 16 | 2017 |
| 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 | 15 | 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 | 14 | 2021 |
| ARCH-COMP19 Category Report: Stochastic Modelling. A Abate, H Blom, N Cauchi, K Degiorgio, M Fraenzle, EM Hahn, ... ARCH@ CPSIoTWeek, 62-102, 2019 | 14 | 2019 |
| ARCH-COMP20 Category Report: Stochastic Models. A Abate, H Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, A Lavaei, ... 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 | 8 | 2018 |
| 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 | 7 | 2016 |
| 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 | 6 | 2020 |
| Optimizing reachability probabilities for a restricted class of Stochastic Hybrid Automata via Flowpipe-Construction C Pilch, S Schupp, A Remke Quantitative Evaluation of Systems: 18th International Conference, QEST 2021 …, 2021 | 4 | 2021 |
| 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 | 4 | 2020 |
| 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 | 4 | 2020 |
| 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 | 1 | 2021 |
| 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 |
Anne RemkeUniversität MünsterVerified email at wwu.de
