Mathis Friedrich Niehage
Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.
Publikationen
Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449). doi:10.1016/j.peva.2024.102449 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (Hrsg.), NASA Formal Methods, 254-274. Cham: Springer. doi:10.1007/978-3-031-93706-4_15 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
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, 61-81. Cham: Springer. doi:10.1007/978-3-031-48885-6_5 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
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, 94-118. Cham: Springer. doi:10.1007/978-3-031-46002-9_6 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
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, 299-319. Rhodes, Greece: Springer. doi:10.1007/978-3-031-19849-6_18 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht |
Preise
| Best paper award 2023 Verliehen von: Conference Program Committee of the European Alliance for Innovation (EAI) Verliehen an: Niehage, Mathis; Remke, Anne Bekannt gegeben am: 07.09.2023 | Verleihung erfolgte am: 07.09.2023 Art der Preisverleihung: Preis für beste Veröffentlichung |