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. Cham: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

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,…. Rhodes, Greece: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

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)
In: Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie (Hrsg.), Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). München: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Niehage, Mathis; Hartmanns, Arnd; Remke, Anne (2021)
In: Saha, Indranil; Zhang, Lijun (Hrsg.), 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. Virtual Event, China: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Pilch, Carina; Niehage, Mathis; Remke, Anne (2018)
In: IEEE (Hrsg.), 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS). Milwaukee: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)