Frau Joanna Delicaris, Institut für Informatik

Private Homepagehttps://www.uni-muenster.de/Informatik.AGRemke
Current PublicationsAbate, 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 ARCH-COMP22 Category Report: Stochastic Models. Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)EPiC Series in Computing, 2022 online
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 ARCH-COMP21 Category Report: Stochastic Models. 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)EPiC Series in Computing, 2021, pp 55-89 online
Hüls Jannik, Pilch Carina, Schinke Patricia, Niehaus Henner, Delicaris Joanna, Remke Anne State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. ACM Transactions on Modeling and Computer Simulation Vol. 31 (3), 2021 online
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 ARCH-COMP20 Category Report: Stochastic Models. , 2020 online
Hüls Jannik, Pilch Carina, Schinke Patricia, Delicaris Joanna, Remke Anne State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. , 2019, pp 182-199 online
E-Mailjoannadelicaris@uni-muenster.de
Phone+49 251 83-32773
FAX+49 251 83-33755
Room201 a
Secretary   Sekretariat Sichma
Frau Katharina Sichma
Telefon +49 251 83-32700
Fax +49 251 83-33755
Zimmer 604b
AddressFrau Joanna Delicaris
Institut für Informatik
Fachbereich Mathematik und Informatik der Universität Münster
Einsteinstrasse 62
48149 Münster
Deutschland
Diese Seite editieren