University of Münster
CRIS@UM
DE | EN

Joanna Georgia Delicaris

Current affiliations

  • Professorship for practical computer science (Prof. Remke)

Publications

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 (eds.), Performance Evaluation Methodologies and Tools, 170-182. Cham: Springer. doi:10.1007/978-3-031-48885-6_11
Research article in edited proceedings (conference) | Peer reviewed | Published
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne (2023)
In: David, Cristina; Sun, Meng (eds.), Theoretical Aspects of Software Engineering, 164-182. Cham: Springer. doi:10.1007/978-3-031-35257-7_10
Research article in edited proceedings (conference) | Peer reviewed | Published
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 (eds.), Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 113-141. München: EasyChair. doi:10.29007/lsvc
Research article in edited proceedings (conference) | Published
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:  (eds.), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 55-89. (kein Verlag angegeben). doi:10.29007/dprv
Research article in edited proceedings (conference) | Published
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), 1-37. doi:10.1145/3449353
Research article (journal) | Peer reviewed | Published
Show all publications