Promotion
Promotion am 07.10.2021
Titel der Dissertation: Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables
Forschungsinteressen
- Zuverlässigkeitsanalyse für sicherheitskritische Systeme
- Entwicklung von Tools zur Analyse und Simulation hybrider Petri-Netze mit Zufallsvariablen (HPnGs)
- Discrete-event Simulation
- Statistical Model Checking
- Nicht-lineares kontinuierliches Verhalten
- Nicht-deterministische Systeme, Finden optimaler Scheduler
- Transformation hybrider Petri-Netze in hybride Automaten
- Zeitlich begrenzte Erreichbarkeitsanalyse
Publikationen
- da Silva, Carina, Schupp, Stefan, und Remke, Anne. . „Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.“ ACM Transactions on Modeling and Computer Simulation, Nr. 33 (4): 1–27. doi: 10.1145/3607197.
- da, Silva Carina. . „SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs.“ In Ausgezeichnete Informatikdissertationen 2021, Bd. D-22 aus Lecture Notes on Informatics, herausgegeben von Steffen Steffen Hölldobler, Rüdiger Reischuk, Sven Apel, u. a.. Bonn: Köllen.
- Pilch, Carina. . „Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables.“ Dissertationsschrift, Westfälische Wilhelms-Universität Münster.
- Pilch, Carina, Schupp, Stefan, und Remke, Anne. . „Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.“ In Quantitative Evaluation of Systems. QEST 2021, herausgegeben von Alessandro Abate und Andrea Marin. Heidelberg: Springer. doi: 10.1007/978-3-030-85172-9_23.
- Hüls, Jannik, Pilch, Carina, Schinke, Patricia, Niehaus, Henner, Delicaris, Joanna, und Remke, Anne. . „State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.“ ACM Transactions on Modeling and Computer Simulation, Nr. 31 (3): 1–37. doi: 10.1145/3449353.
- Niehage, Mathis, Pilch, Carina, und Remke, Anne. . „Simulating Hybrid Petri nets with general transitions and non-linear differential equations.“ In Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools, herausgegeben von ACM. New York, NY: ACM Press. doi: 10.1145/3388831.3388842.
- Pilch, Carina, Krause, Maurice, Remke, Anne, und Ábrahám, Erika. . „A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.“ In NASA Formal Methods, Bd. 12229 aus Lecture Notes in Computer Science (LNCS), herausgegeben von Ritchie Lee, Susmit Jha und Anastasia Mavridou. Heidelberg: Springer. doi: 10.1007/978-3-030-55754-6_23.
- Pilch, Carina, Hartmanns, Arnd, und Remke, Anne. . „Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings.“ In Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, HSCC '20, herausgegeben von ACM. New York, NY: ACM Press. doi: 10.1145/3365365.3382198.
- Abate, Alessandro, Blom, Henk, Cauchi, Nathalie, u. a. . „ARCH-COMP20 Category Report: Stochastic Models.“ In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Bd. 74 aus EPiC Series in Computing, herausgegeben von Goran Frehse und Matthias Althoff. Bramhall: EasyChair. doi: 10.29007/mqzc.
- Abate, Alessandro, Blom, Henk, Cauchi, Nathalie, u. a. . „ARCH-COMP19 Category Report: Stochastic Modelling.“ In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Bd. 61 aus EPiC Series in Computing, herausgegeben von Goran Frehse und Matthias Althoff. Bramhall: EasyChair. doi: 10.29007/f2vb.
- Jannik, Hüls., Pilch, Carina, Schinke, Patricia, Delicaris, Joanna, und Remke, Anne. . „State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.“ In Quantitative Evaluation of Systems, Bd. 11785 aus LNCS, herausgegeben von David Parker und Verena Wolf. Heidelberg: Springer. doi: 10.1007/978-3-030-30281-8_11.
- Pilch, Carina, Niehage, Mathis, und Remke, Anne. . „HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems.“ In 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/MASCOTS.2018.00024.
- Pilch, Carina. . „Student research paper: Evaluation of the dependability of critical infrastructures using hybrid Petri nets with random variables and stochastic simulation.“ In 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/DSN-W.2017.21.
- Pilch, Carina, und Remke, Anne. . „Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions.“ In 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/DSN.2017.41.
- Chromik, Justyna J., Pilch, Carina, Brackmann, Pascal, u. a. . „Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases.“ In IEEE International Conference on Smart Grid Communications (SmartGridComm), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/SmartGridComm.2017.8340672.
- Pilch, Carina, Edenfeld, Fabian, und Remke, Anne. . „HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper.“ In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, herausgegeben von ACM. New York, NY: ACM Press. doi: 10.1145/3150928.3150956.
- Carina, Pilch. . Development of an event-based simulator for model checking hybrid Petri nets with random variables,
- Pilch, Carina. . Entwicklung eines Software-Prototypen zur Zusammenführung von 3D CAD Strukturen mit Stücklistenelementen der GE Wind Energy GmbH, Osnabrück: Hochschule Osnabrück.
1