Research interests

Research Articles in Edited Proceedings (Conferences)

2024

• Niehage, Mathis; 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, edited by Kalyvianaki, Evangelia; Paolieri, Marco, 61–81. Cham: Springer. doi: 10.1007/978-3-031-48885-6_5.
• Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A. 2024. ‘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, edited by Steffen, Bernhard, 94–118. Cham: Springer. doi: 10.1007/978-3-031-46002-9_6.

2022

• Adelt, Julius; Herber, Paula; Niehage, Mathis; 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, edited by Margaria, Tiziana; Steffen, Bernhard, 299–319. Rhodes, Greece: Springer. doi: 10.1007/978-3-031-19849-6_18.
• Niehage, Mathis; 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, edited by Bogomolov, Sergiy; Parker, David, 298–306. 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; Willemsen, Lisa. 2022. ‘ARCH-COMP22 Category Report: Stochastic Models.’ In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), edited by Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie, 113–141. 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, Zuliani Paolo. 2021. ‘ARCH-COMP21 Category Report: Stochastic Models.’ In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 55–89. doi: 10.29007/dprv.
• Niehage, Mathis; Hartmanns, Arnd; 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, edited by Saha, Indranil; Zhang, Lijun, 44–55. Virtual Event, China: Association for Computing Machinery. doi: 10.1145/3487212.3487339.

2020

• Niehage Mathis, Pilch Carina, Remke Anne. 2020. ‘Simulating Hybrid Petri nets with general transitions and non-linear differential equations.’ Contributed to the 13thth EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2020, Tsukuba, Japan, May 18-20, 2020, Tsukuba, Japan. doi: 10.1145/3388831.3388842.

2018

• Pilch Carina, Niehage Mathis, Remke Anne. 2018. ‘HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems.’ Contributed to the 26th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2018, Milwaukee, WI, USA, September 25-28, 2018, Milwaukee. doi: 10.1109/MASCOTS.2018.00024.