Forschungsinteressen

Artikel

2025

• Niehage, Mathis, und Remke, Anne. 2025. „Symbolic state-space exploration meets statistical model checking.“ Performance Evaluation 167 (102449). doi: 10.1016/j.peva.2024.102449.
• Niehage, Mathis, da Silva, Carina, Remke, Anne, und Hartmanns, Arnd. 2025. „Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions.“ In NASA Formal Methods, Bd. 15682 aus Lecture Notes in Computer Science (LNCS), herausgegeben von Aaron Dutle, Laura Humphrey und Laura Titolo. Cham: Springer. doi: 10.1007/978-3-031-93706-4_15.

2024

• Niehage, Mathis, und Remke, Anne. 2024. „The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability.“ In Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings, Bd. 539 aus Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, herausgegeben von Evangelia Kalyvianaki und Marco Paolieri. Cham: Springer. doi: 10.1007/978-3-031-48885-6_5.

2023

• Adelt, J., Bruch, S., Herber, P., Niehage, M., und Remke, A. 2023. „Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.“ In Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings, Bd. 14380 aus Lecture Notes in Computer Science, herausgegeben von Bernhard Steffen. Cham: Springer. doi: 10.1007/978-3-031-46002-9_6.

2022

• Adelt, Julius, Herber, Paula, Niehage, Mathis, und Remke, Anne. 2022. „Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.“ In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, Bd. 13701 aus Lecture Notes in Computer Science, herausgegeben von Tiziana Margaria und Bernhard Steffen. Rhodes, Greece: Springer. doi: 10.1007/978-3-031-19849-6_18.
• Niehage, Mathis, und Remke, Anne. 2022. „Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty.“ In Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings, Bd. 13465 aus Lecture Notes in Computer Science, herausgegeben von Sergiy Bogomolov und David Parker. Warsaw, Poland: Springer. doi: 10.1007/978-3-031-15839-1_17.
• 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, und Willemsen, Lisa. 2022. „ARCH-COMP22 Category Report: Stochastic Models.“ In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Bd. 90 aus EPiC Series in Computing, herausgegeben von Goran Frehse, Matthias Althoff, Erwin Schoitsch und Jeremie Guiochet. München: EasyChair. doi: 10.29007/lsvc.

2021

• 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, und Zuliani, Paolo. 2021. „ARCH-COMP21 Category Report: Stochastic Models.“ In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Bd. 80 aus EPiC Series in Computing doi: 10.29007/dprv.
• Niehage, Mathis, Hartmanns, Arnd, und Remke, Anne. 2021. „Learning optimal decisions for stochastic hybrid systems.“ In 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, herausgegeben von Indranil Saha und Lijun Zhang. Virtual Event, China: ACM Press. doi: 10.1145/3487212.3487339.

2020

• Niehage, Mathis, Pilch, Carina, und Remke, Anne. 2020. „Simulating Hybrid Petri nets with general transitions and non-linear differential equations.“ In Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools, herausgegeben von ACM. New York, NY, USA: ACM Press. doi: 10.1145/3388831.3388842.

2018

• Pilch, Carina, Niehage, Mathis, und Remke, Anne. 2018. „HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems.“ In 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), herausgegeben von IEEE. Milwaukee: Wiley-IEEE Press. doi: 10.1109/MASCOTS.2018.00024.