Joanna Delicaris

11 papers Misc 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Maximizing reachability probabilities in rectangular automata with random events.
Sci. Comput. Program.
Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe
2023 — conf
ARCH-COMP23 Category Report: Stochastic Models.
ARCH
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani
2023 Misc conf
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.
TASE
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
2023 J jnl
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.
CoRR
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
2023 — conf
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.
VALUETOOLS
Joanna Delicaris, Jonas Stübbe, Stefan Schupp, Anne Remke
2022 — conf
ARCH-COMP22 Category Report: Stochastic Models.
ARCH@SAFECOMP
Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen
2021 — conf
ARCH-COMP21 Category Report: Stochastic Models.
ARCH@ADHS
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 J. Thorpe, Vlad Turcuman, Paolo Zuliani
2021 J jnl
State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.
ACM Trans. Model. Comput. Simul.
Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
2020 — conf
ARCH-COMP20 Category Report: Stochastic Models.
ARCH
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
2020 J jnl
State-space construction of Hybrid Petri nets with multiple stochastic firings.
CoRR
Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
2019 — conf
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.
QEST
Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke