Dr. Carina da Silva
Current affiliations
- Institute of Computer Science
Publications
Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (eds.), NASA Formal Methods. Cham: Springer. Type of Publication: Research article in edited proceedings (conference) | |
da Silva, Carina; Schupp, Stefan; Remke, Anne (2023) In: ACM Transactions on Modeling and Computer Simulation, 33(4) Type of Publication: Research article (journal) | |
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 (eds.), Ausgezeichnete Informatikdissertationen 2021. Bonn: Köllen. Type of Publication: Research article (book contribution) | |
Pilch, Carina (2021) Münster: Universität Münster. Type of Publication: Thesis (doctoral or post-doctoral) | |
Pilch Carina, Schupp Stefan, Remke Anne (2021) In: Abate, Alessandro; Marin, Andrea (eds.), Quantitative Evaluation of Systems. QEST 2021. Cham: Springer. Type of Publication: Research article in edited proceedings (conference) |
Doctorates
| Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Candidate: Pilch, Carina | Supervisors: Remke, Anne Period of time: until 07/10/2021 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |