Herr Mathis Niehage, Institut für Informatik

Private Homepagehttps://www.uni-muenster.de/Informatik.AGRemke
Current PublicationsNiehage, Mathis; Remke, Anne The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability. Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, ProceedingsLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringLecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2024, pp 61-81 online
Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A. Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, ProceedingsLecture Notes in Computer ScienceLecture notes in computer science, 2023, pp 94-118 online
Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part ILecture Notes in Computer Science, 2022, pp 299-319 online
Niehage, Mathis; Remke, Anne Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty. Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, ProceedingsLecture Notes in Computer Science, 2022 online
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 ARCH-COMP22 Category Report: Stochastic Models. Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)EPiC Series in Computing, 2022 online
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 ARCH-COMP21 Category Report: Stochastic Models. 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)EPiC Series in Computing, 2021, pp 55-89 online
Niehage, Mathis; Hartmanns, Arnd; Remke, Anne Learning optimal decisions for stochastic hybrid systems. 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, 2021, pp 44-55 online
Niehage, Mathis; Pilch, Carina; Remke, Anne Simulating Hybrid Petri nets with general transitions and non-linear differential equations. Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020 online
Pilch, Carina; Niehage, Mathis; Remke, Anne HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), 2018, pp 157-169 online
E-Mailmathis.niehage@uni-muenster.de
Phone+49 251 83-32773
FAX+49 251 83-33755
Room201
Secretary   Sekretariat Sichma
Frau Katharina Sichma
Telefon +49 251 83-32700
Fax +49 251 83-33755
Zimmer 604b
AddressHerr Mathis Niehage
Institut für Informatik
Fachbereich Mathematik und Informatik der Universität Münster
Einsteinstrasse 62
48149 Münster
Deutschland
Diese Seite editieren