Research

Publications

2023

• da Silva, Carina; Schupp, Stefan; Remke, Anne. 2023. ‘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: https://doi.org/10.1145/3607197.

2022

• da Silva, Carina. 2022. „SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs.“ In Ausgezeichnete Informatikdissertationen 2021, herausgegeben von Steffen Hölldobler, Steffen; Reischuk, Rüdiger; Apel, Sven; Bernstein, Abraham; Freiling, Felix C.; Lenhof, Hans-Peter; Neumann, Gustaf; Römer, Kay Uwe; Scheuermann, Björn; Schweikardt, Nicole; Wehrle, Klaus, 11–20. 0^th Ed. Bonn: Köllen.

2021

• Pilch, Carina. 2021. 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. Münster: Universität Münster.
• Pilch Carina, Schupp Stefan, Remke Anne. 2021. ‘Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.’ In Quantitative Evaluation of Systems. QEST 2021, edited by Abate, Alessandro; Marin, Andrea, 435–456. 0^th Ed. Heidelberg: Springer. doi: 10.1007/978-3-030-85172-9_23.
• Hüls, Jannik; Pilch, Carina; Schinke, Patricia; Niehaus, Henner; Delicaris, Joanna; Remke, Anne. 2021. ‘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.

2020

• Niehage, Mathis; Pilch, Carina; Remke, Anne. 2020. ‘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, 88–95. 0^th Ed. New York, NY: ACM Press. doi: 10.1145/3388831.3388842.
• Pilch, Carina; Krause, Maurice; Remke, Anne; Ábrahám, Erika. 2020. ‘A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.’ In NASA Formal Methods, edited by Lee, Ritchie; Jha, Susmit; Mavridou, Anastasia, 381–400. 0^th Ed. Heidelberg: Springer. doi: 10.1007/978-3-030-55754-6_23.
• Pilch, Carina; Hartmanns, Arnd; Remke, Anne. 2020. ‘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, edited by ACM, 1–11. 0^th Ed. 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; Zuliani, Paolo. 2020. ‘ARCH-COMP20 Category Report: Stochastic Models.’ In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), edited by Frehse, Goran; Althoff, Matthias, 76–106. 0^th Ed. Bramhall: EasyChair. doi: 10.29007/mqzc.

2019

• 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; Vinod, Abraham. 2019. ‘ARCH-COMP19 Category Report: Stochastic Modelling.’ In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, edited by Frehse, Goran; Althoff, Matthias, 62–102. 0^th Ed. Bramhall: EasyChair. doi: 10.29007/f2vb.
• Hüls. Jannik; Pilch, Carina; Schinke, Patricia; Delicaris, Joanna; Remke, Anne. 2019. ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ In Quantitative Evaluation of Systems, edited by Parker, David; Wolf, Verena, 182–199. 0^th Ed. Heidelberg: Springer. doi: 10.1007/978-3-030-30281-8_11.

2018

• Pilch, Carina; Niehage, Mathis; Remke, Anne. 2018. ‘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, 157–169. 0^th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/MASCOTS.2018.00024.

2017

• Pilch, Carina. 2017. ‘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, 160–163. 0^th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/DSN-W.2017.21.
• Pilch, Carina; Remke, Anne. 2017. ‘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, 475–486. 0^th Ed. 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.; Remke, Anne. 2017. ‘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, 467–472. 0^th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/SmartGridComm.2017.8340672.
• Pilch, Carina; Edenfeld, Fabian; Remke, Anne. 2017. ‘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, 186–191. 0^th Ed. New York, NY: ACM Press. doi: 10.1145/3150928.3150956.

2016

• Pilch Carina. 2016. Development of an event-based simulator for model checking hybrid Petri nets with random variables. 0^th Ed. .

2012

• Pilch, Carina. 2012. Entwicklung eines Software-Prototypen zur Zusammenführung von 3D CAD Strukturen mit Stücklistenelementen der GE Wind Energy GmbH. 0^th Ed. Osnabrück: Hochschule Osnabrück.