Person:

Zeige:

Publikationen

RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne (2024) In: Kalyvianaki, Evangelia; Paolieri, Marco (Hrsg.), Performance Evaluation Methodologies and Tools. Cham: . Forschungsartikel in Sammelband (Konferenz)
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne (2023) In: David, Cristina; Sun, Meng (Hrsg.), Theoretical Aspects of Software Engineering. Cham: . Forschungsartikel in Sammelband (Konferenz)
ARCH-COMP22 Category Report: Stochastic Models Abate, Alessandro; Blom, Henk; Delicaris, Joanna; Haesaert, Sofie; Hartmanns, Arnd; van Huijgevoort, Birgit; Lavaei, Abolfazl; Ma, Hao; Niehage, Mathis; Remke, Anne; Schön, Oliver; Schupp, Stefan; Soudjani, Sadegh; Willemsen, Lisa (2022) In: Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie (Hrsg.), Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). München: . Forschungsartikel in Sammelband (Konferenz)
ARCH-COMP21 Category Report: Stochastic Models Abate Alessandro, Blom Henk, Bouissou Marc, Cauchi Nathalie, Chraibi Hassane, Delicaris Joanna, Haesaert Sofie, Hartmanns Arnd, Khaled Mahmoud, Lavaei Abolfazl, Ma Hao, Mallik Kaushik, Niehage Mathis, Remke Anne, Schupp Stefan, Shmarov Fedor, Soudjani Sadegh, Thorpe Adam, Turcuman Vlad, Zuliani Paolo (2021) In: (Hrsg.), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). (kein Verlag angegeben). 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). Forschungsartikel (Zeitschrift)
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: . Forschungsartikel in Sammelband (Konferenz)
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings Hüls. Jannik; Pilch, Carina; Schinke, Patricia; Delicaris, Joanna; Remke, Anne (2019) In: Parker, David; Wolf, Verena (Hrsg.), Quantitative Evaluation of Systems. Cham: . Forschungsartikel in Sammelband (Konferenz)