Mathis Friedrich Niehage

No current affiliations available for this person. The person is no longer active at the university.

Publications

Symbolic state-space exploration meets statistical model checking Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449). doi:10.1016/j.peva.2024.102449 Research article (journal) \| Peer reviewed \| Published
Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (eds.), NASA Formal Methods, 254-274. Cham: Springer. doi:10.1007/978-3-031-93706-4_15 Research article in edited proceedings (conference) \| Peer reviewed \| Published
The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability Niehage, Mathis; Remke, Anne (2024) In: Kalyvianaki, Evangelia; Paolieri, Marco (eds.), 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 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A. (2023) In: Steffen, Bernhard (eds.), 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 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne (2022) In: Margaria, Tiziana; Steffen, Bernhard (eds.), 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 Research article in edited proceedings (conference) \| Peer reviewed \| Published

Show all publications

Prizes

Best paper award 2023
Awarded by: Conference Program Committee of the European Alliance for Innovation (EAI)
Award given to: Niehage, Mathis; Remke, Anne
Announced at: 07/09/2023 | Date of awarding: 07/09/2023
Type of distinction: Best publication award

Symbolic state-space exploration meets statistical model checking Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449). doi:10.1016/j.peva.2024.102449 Research article (journal) \| Peer reviewed \| Published
Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (eds.), NASA Formal Methods, 254-274. Cham: Springer. doi:10.1007/978-3-031-93706-4_15 Research article in edited proceedings (conference) \| Peer reviewed \| Published
The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability Niehage, Mathis; Remke, Anne (2024) In: Kalyvianaki, Evangelia; Paolieri, Marco (eds.), 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 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A. (2023) In: Steffen, Bernhard (eds.), 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 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne (2022) In: Margaria, Tiziana; Steffen, Bernhard (eds.), 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 Research article in edited proceedings (conference) \| Peer reviewed \| Published

Mathis Friedrich Niehage

Publications

Prizes

Contact

Top-Links