University of Münster
CRIS@UM
DE | EN

Dr. Carina da Silva

Current affiliations

  • Institute of Computer Science

Publications

Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction
da Silva, Carina; Schupp, Stefan; Remke, Anne (2023)
In: ACM Transactions on Modeling and Computer Simulation, 33(4)
Type of Publication: Research article (journal)
SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs
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)
Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables
Pilch, Carina (2021)
Münster: Universität Münster.
Type of Publication: Thesis (doctoral or post-doctoral)
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction
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)
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
Hüls, Jannik; Pilch, Carina; Schinke, Patricia; Niehaus, Henner; Delicaris, Joanna; Remke, Anne (2021)
In: ACM Transactions on Modeling and Computer Simulation, 31(3)
Type of Publication: Research article (journal)
Show all publications

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