| Private Homepage | https://www.uni-muenster.de/Informatik/u/dasilva/index.html |
| Current Publications | • 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 Vol. 33 (4), 2023 online • da Silva, Carina SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs. Ausgezeichnete Informatikdissertationen 2021Lecture Notes on Informatics, 2022 online • Pilch, Carina Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables. , 2021 online • Pilch Carina, Schupp Stefan, Remke Anne Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. Quantitative Evaluation of Systems. QEST 2021, 2021 online • 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 Vol. 31 (3), 2021 online • Niehage, Mathis; Pilch, Carina; Remke, Anne Simulating Hybrid Petri nets with general transitions and non-linear differential equations. Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020 online • 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. NASA Formal MethodsLecture Notes in Computer Science (LNCS), 2020, pp 381-400 online • Pilch, Carina; Hartmanns, Arnd; Remke, Anne Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings. Proceedings of the 23rd International Conference on Hybrid Systems: Computation and ControlHSCC '20, 2020, pp 1-11 online • 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. ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)EPiC Series in Computing, 2020 online | carina.dasilva@uni-muenster.de |
| Phone | +49 251 83-32765 |
| Room | 215 |
| Secretary | Sekretariat Sichma Frau Katharina Sichma Telefon +49 251 83-32700 Zimmer 604b |
| Address | Dr. Carina da Silva Institut für Informatik Fachbereich Mathematik und Informatik der Universität Münster Einsteinstrasse 62 48149 Münster Deutschland |
| Diese Seite editieren |
