Private Homepage | https://www.uni-muenster.de/Informatik/u/dasilva/index.html |
Current Publications | • 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. , 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. , 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. , 2020 online • Pilch Carina, Hartmanns Arnd, Remke Anne Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings. , 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. , 2020 online • Abate A, Blom H, Cauchi N, Degiorgio K, Fränzle M, Hahn EM, Haesaert S, Ma H, Oishi M, Pilch C, Remke A, Salamati M, Soudjani S, Huijgevoort B, Vinod AP ARCH-COMP19 Category Report: Stochastic Modelling. , 2019, pp 62-102 online • Hüls Jannik, Pilch Carina, Schinke Patricia, Delicaris Joanna, Remke Anne State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. , 2019, pp 182-199 online | carina.dasilva@uni-muenster.de |
Phone | +49 251 83-32765 |
FAX | +49 251 83-33755 |
Room | 215 |
Secretary | Sekretariat Sichma Frau Katharina Sichma Telefon +49 251 83-32700 Fax +49 251 83-33755 Zimmer 604b |
Address | Frau 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 |