Person:

Zeige:

Publikationen

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) Art der Publikation: Forschungsartikel (Zeitschrift)
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 (Hrsg.), Ausgezeichnete Informatikdissertationen 2021. Bonn: . Art der Publikation: Forschungsartikel (Buchbeitrag)
Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Pilch, Carina (2021) Münster: . Art der Publikation: Qualifikationsschrift (Dissertation, Habilitationsschrift)
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 (Hrsg.), Quantitative Evaluation of Systems. QEST 2021. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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) Art der Publikation: Forschungsartikel (Zeitschrift)
Simulating Hybrid Petri nets with general transitions and non-linear differential equations Niehage, Mathis; Pilch, Carina; Remke, Anne (2020) In: ACM (Hrsg.), Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools. New York, NY, USA: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata Pilch, Carina; Krause, Maurice; Remke, Anne; Ábrahám, Erika (2020) In: Lee, Ritchie; Jha, Susmit; Mavridou, Anastasia (Hrsg.), NASA Formal Methods. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings Pilch, Carina; Hartmanns, Arnd; Remke, Anne (2020) In: ACM (Hrsg.), Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
ARCH-COMP20 Category Report: Stochastic Models 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 (2020) In: Frehse, Goran; Althoff, Matthias (Hrsg.), ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20). online: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
ARCH-COMP19 Category Report: Stochastic Modelling Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Degiorgio, Kurt; Fränzle, Martin; Hahn, Ernst Moritz ; Haesaert, Sofie; Ma, Hao; Oishi, Meeko ; Pilch, Carina; Remke, Anne; Salamati, Mahmoud; Soudjani, Sadegh; van Huijgevoort, Birgit; Vinod, Abraham (2019) In: Frehse, Goran; Althoff, Matthias (Hrsg.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Montreal,: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)