Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A. (2023)
In: Steffen, Bernhard (Hrsg.), Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings, 94-118. Cham:
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht
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, Proceedings, Part I, 299-319. Rhodes, Greece:
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
55
89
Forschungsartikel in Sammelband (Konferenz)
| Veröffentlicht
Niehage, Mathis; Hartmanns, Arnd; Remke, Anne
(2021)
Saha, Indranil; Zhang, Lijun
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
44
55
Virtual Event, China:
Forschungsartikel in Sammelband (Konferenz)
| Veröffentlicht
Niehage, Mathis; Pilch, Carina; Remke, Anne
(2020)
ACM
Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools
