Dr. Carina da Silva
Aktuelle Zugehörigkeiten
- Institut für Informatik
Publikationen
Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (Hrsg.), NASA Formal Methods, 254-274. Cham: Springer. doi:10.1007/978-3-031-93706-4_15 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
da Silva, Carina; Schupp, Stefan; Remke, Anne (2023) In: ACM Transactions on Modeling and Computer Simulation, 33(4), 1-27. doi:10.1145/3607197 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
da Silva, Carina (2022) In: 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 (Hrsg.), Ausgezeichnete Informatikdissertationen 2021, 11-20. Bonn: Köllen. Forschungsartikel (Buchbeitrag) | Veröffentlicht | |
Pilch, Carina (2021) Münster: Universität Münster. Qualifikationsschrift (Dissertation, Habilitationsschrift) | Veröffentlicht | |
Pilch Carina, Schupp Stefan, Remke Anne (2021) In: Abate, Alessandro; Marin, Andrea (Hrsg.), Quantitative Evaluation of Systems. QEST 2021, 435-456. Cham: Springer. doi:10.1007/978-3-030-85172-9_23 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht |
Promotionen
| Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Promovend*in: Pilch, Carina | Betreuer*innen: Remke, Anne Zeitraum: bis 07.10.2021 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |