| ARCH-COMP19 category report: Stochastic modelling A Abate, H Blom, N Cauchi, K Degiorgio, M Fraenzle, EM Hahn, ... 6th International Workshop on Applied Verification of Continuous and Hybrid …, 2019 | 31 | 2019 |
| 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 | 29 | 2017 |
| Arch-comp21 category report: Stochastic models A Abate, H Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ... 8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021 | 27 | 2021 |
| 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 | 23 | 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 | 22 | 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 | 21 | 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 | 19 | 2021 |
| 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 | 12 | 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 |
| 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 | 11 | 2023 |
| 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 | 11 | 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 | 10 | 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 |
| 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 D22, 11-20, 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 |
Anne RemkeUniversität MünsterOverená e-mailová adresa na: wwu.de
