Person:
Zeige:
Zeige 1 bis 10 von 57 Ergebnissen
Zeige 1 bis 10 von 57 Ergebnissen
Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne (2025) In: Margaria, Tiziana; Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. Crete: . Forschungsartikel in Sammelband (Konferenz) | |
Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (Hrsg.), Integrated Formal Methods. iFM 2024. Switzerland: . Forschungsartikel in Sammelband (Konferenz) | |
Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449). Forschungsartikel (Zeitschrift) | |
Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (Hrsg.), NASA Formal Methods. Cham: . Forschungsartikel in Sammelband (Konferenz) | |
Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula (2025) In: Prabhakar, Pavithra; Vandin, Andrea (Hrsg.), International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. Switzerland: . Forschungsartikel in Sammelband (Konferenz) | |
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: Forschungsartikel in Sammelband (Konferenz) | |
In: (Hrsg.), . | |
In: . | |
In: (Hrsg.), . | |
In: (Hrsg.), . |