Research
My research interest are in the topic of Monte Carlo simulation and statistical model checking for the evaluation of stochastic hybrid systems.
Publications
- Niehage, Mathis, da Silva, Carina, Remke, Anne, and Hartmanns, Arnd. . “Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions.” in NASA Formal Methods, Vol. 15682 of Lecture Notes in Computer Science (LNCS), edited by Aaron Dutle, Laura Humphrey and Laura Titolo. Heidelberg: Springer. doi: 10.1007/978-3-031-93706-4_15.
- da Silva, Carina, Schupp, Stefan, and Remke, Anne. . “Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.” ACM Transactions on Modeling and Computer Simulation, № 33 (4): 1–27. doi: 10.1145/3607197.
- da Silva, Carina. . “SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs.” in Ausgezeichnete Informatikdissertationen 2021, Vol. D-22 of Lecture Notes on Informatics, edited by Steffen Steffen Hölldobler, Rüdiger Reischuk, Sven Apel, Abraham Bernstein, Felix C. Freiling, Hans-Peter Lenhof, Gustaf Neumann, Kay Uwe Römer, Björn Scheuermann, Nicole Schweikardt and Klaus Wehrle. Bonn: Köllen.
- Pilch, Carina. . “Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables.” Dissertation thesis, Westfälische Wilhelms-Universität Münster.
- Pilch, Carina, Schupp, Stefan, and Remke, Anne. . “Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.” in Quantitative Evaluation of Systems. QEST 2021, edited by Alessandro Abate and Andrea Marin. Heidelberg: Springer. doi: 10.1007/978-3-030-85172-9_23.
- Hüls, Jannik, Pilch, Carina, Schinke, Patricia, Niehaus, Henner, Delicaris, Joanna, and Remke, Anne. . “State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.” ACM Transactions on Modeling and Computer Simulation, № 31 (3): 1–37. doi: 10.1145/3449353.
- Niehage, Mathis, Pilch, Carina, and 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, edited by ACM. New York, NY: ACM Press. doi: 10.1145/3388831.3388842.
- Pilch, Carina, Krause, Maurice, Remke, Anne, and Ábrahám, Erika. . “A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.” in NASA Formal Methods, Vol. 12229 of Lecture Notes in Computer Science (LNCS), edited by Ritchie Lee, Susmit Jha and Anastasia Mavridou. Heidelberg: Springer. doi: 10.1007/978-3-030-55754-6_23.
- Pilch, Carina, Hartmanns, Arnd, and 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, edited by ACM. New York, NY: ACM Press. doi: 10.1145/3365365.3382198.
- Abate, Alessandro, Blom, Henk, Cauchi, Nathalie, Delicaris, Joanna, Hartmanns, Arnd, Khaled, Mahmoud, Lavaei, Abolfazl, Pilch, Carina, Remke, Anne, Schupp, Stefan, Shmarov, Fedor, Soudjani, Sadegh, Vinod, Abraham, Wooding, Ben, Zamani, Majid, and Zuliani, Paolo. . “ARCH-COMP20 Category Report: Stochastic Models.” in ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Vol. 74 of EPiC Series in Computing, edited by Goran Frehse and Matthias Althoff. Bramhall: EasyChair. doi: 10.29007/mqzc.
- Abate, Alessandro, Blom, Henk, Cauchi, Nathalie, Degiorgio, Kurt, Fränzle, Martin, Hahn, Ernst Moritz, Haesaert, Sofie, Ma, Hao, Oishi, Meeko, Pilch, Carina, Remke, Anne, Salamati, Mahmoud, Soudjani, Sadegh, van Huijgevoort, Birgit, and Vinod, Abraham. . “ARCH-COMP19 Category Report: Stochastic Modelling.” in ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Vol. 61 of EPiC Series in Computing, edited by Goran Frehse and Matthias Althoff. Bramhall: EasyChair. doi: 10.29007/f2vb.
- Jannik, Hüls., Pilch, Carina, Schinke, Patricia, Delicaris, Joanna, and Remke, Anne. . “State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.” in Quantitative Evaluation of Systems, Vol. 11785 of LNCS, edited by David Parker and Verena Wolf. Heidelberg: Springer. doi: 10.1007/978-3-030-30281-8_11.
- Pilch, Carina, Niehage, Mathis, and 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), edited by 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), edited by IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/DSN-W.2017.21.
- Pilch, Carina, and 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), edited by IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/DSN.2017.41.
- Chromik, Justyna J., Pilch, Carina, Brackmann, Pascal, Duhme, Christof, Everinghoff, Franzika, Giberlein, Artur, Teodorowicz, Thomas, Wieland, Julian, Haverkort, Boudewijn R., and Remke, Anne. . “Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases.” in IEEE International Conference on Smart Grid Communications (SmartGridComm), edited by IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/SmartGridComm.2017.8340672.
- Pilch, Carina, Edenfeld, Fabian, and 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, edited by 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.