Person:
Zeige 1 bis 10 von 55 Ergebnissen
Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne (2025) In: Margaria, Tiziana; Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. Crete: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (Hrsg.), Integrated Formal Methods. iFM 2024. Manchester: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449) Art der Publikation: Forschungsartikel (Zeitschrift) | |
Niehage, Mathis; Remke, Anne (2024) In: Kalyvianaki, Evangelia; Paolieri, Marco (Hrsg.), Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings. Cham: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
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) | |
da Silva, Carina; Schupp, Stefan; Remke, Anne (2023) In: ACM Transactions on Modeling and Computer Simulation, 33(4) Art der Publikation: Forschungsartikel (Zeitschrift) | |
Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A. (2023) In: Steffen, Bernhard (Hrsg.), Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. 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) | |
Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne (2022) In: Margaria, Tiziana; Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022,…. Rhodes, Greece: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
Niehage, Mathis; Remke, Anne (2022) In: Bogomolov, Sergiy; Parker, David (Hrsg.), Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Warsaw, Poland: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz) |