Forschung

Meine Forschungsinteressen liegen im Bereich Monte Carlo Simulation und statistisches Model Checking zur Evaluation stochastischer hybrider Systeme.

Google Scholar Profil

dblp Bibliothek

  • Publikationen

    • da Silva, Carina; Schupp, Stefan; Remke, Anne. . ‘Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.’ ACM Transactions on Modeling and Computer Simulation 33, Nr. 4: 1–27. doi: 10.1145/3607197.

    • da Silva, Carina. . „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. 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. Münster: Universität Münster.
    • Pilch Carina, Schupp Stefan, 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 Abate, Alessandro; Marin, Andrea, 435–456. Heidelberg: Springer. doi: 10.1007/978-3-030-85172-9_23.
    • Hüls, Jannik; Pilch, Carina; Schinke, Patricia; Niehaus, Henner; Delicaris, Joanna; Remke, Anne. . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ ACM Transactions on Modeling and Computer Simulation 31, Nr. 3: 1–37. doi: 10.1145/3449353.

    • Niehage, Mathis; Pilch, Carina; 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, 88–95. New York, NY: ACM Press. doi: 10.1145/3388831.3388842.
    • Pilch, Carina; Krause, Maurice; Remke, Anne; Ábrahám, Erika. . ‘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. Heidelberg: Springer. doi: 10.1007/978-3-030-55754-6_23.
    • Pilch, Carina; Hartmanns, Arnd; 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, edited by ACM, 1–11. 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. . ‘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. 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; Vinod, Abraham. . ‘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. Bramhall: EasyChair. doi: 10.29007/f2vb.
    • Hüls. Jannik; Pilch, Carina; Schinke, Patricia; Delicaris, Joanna; Remke, Anne. . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ In Quantitative Evaluation of Systems, edited by Parker, David; Wolf, Verena, 182–199. Heidelberg: Springer. doi: 10.1007/978-3-030-30281-8_11.

    • Pilch, Carina; Niehage, Mathis; 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, 157–169. 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, 160–163. New York City: Wiley-IEEE Press. doi: 10.1109/DSN-W.2017.21.
    • Pilch, Carina; 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, 475–486. 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. . ‘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. New York City: Wiley-IEEE Press. doi: 10.1109/SmartGridComm.2017.8340672.
    • Pilch, Carina; Edenfeld, Fabian; 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, 186–191. New York, NY: ACM Press. doi: 10.1145/3150928.3150956.

    • Pilch Carina. . 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.