Joanna Delicaris

According to our database, Joanna Delicaris authored at least 6 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.

Joanna Delicaris, Jonas Stübbe, Stefan Schupp, Anne Remke

Proceedings of the Performance Evaluation Methodologies and Tools, 2023

Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.

Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke

Proceedings of the Theoretical Aspects of Software Engineering, 2023

2021

State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.

Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke

ACM Trans. Model. Comput. Simul., 2021

ARCH-COMP21 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

ARCH-COMP20 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.

Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019