Person:
Zeige 1 bis 7 von 7 Ergebnissen
Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne (2024) In: Kalyvianaki, Evangelia; Paolieri, Marco (Hrsg.), Performance Evaluation Methodologies and Tools. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne (2023) In: David, Cristina; Sun, Meng (Hrsg.), Theoretical Aspects of Software Engineering. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
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: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
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).. Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
Hüls, Jannik; Pilch, Carina; Schinke, Patricia; Niehaus, Henner; Delicaris, Joanna; Remke, Anne (2021) In: ACM Transactions on Modeling and Computer Simulation, 31(3) Art der Publikation: Forschungsartikel (Zeitschrift) | |
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: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
Hüls. Jannik; Pilch, Carina; Schinke, Patricia; Delicaris, Joanna; Remke, Anne (2019) In: Parker, David; Wolf, Verena (Hrsg.), Quantitative Evaluation of Systems. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz) |