Person:
Zeige 1 bis 10 von 11 Ergebnissen
Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449). Forschungsartikel (Zeitschrift) | |
Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (Hrsg.), NASA Formal Methods. Cham: . Forschungsartikel in Sammelband (Konferenz) | |
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: . Forschungsartikel in Sammelband (Konferenz) | |
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: . 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, Proceedings, Part I. Rhodes, Greece: . 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: . 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: . 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). (kein Verlag angegeben). Forschungsartikel in Sammelband (Konferenz) | |
Niehage, Mathis; Hartmanns, Arnd; Remke, Anne (2021) In: Saha, Indranil; Zhang, Lijun (Hrsg.), MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021. Virtual Event, China: . Forschungsartikel in Sammelband (Konferenz) | |
Niehage, Mathis; Pilch, Carina; Remke, Anne (2020) In: ACM (Hrsg.), Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools. New York, NY, USA: . Forschungsartikel in Sammelband (Konferenz) |