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
von Hanxleden, Reinhard; Edwards, Stephen A.; Brandt, Jens; Zhu, Qi
21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023
12
22
Hamburg:
Forschungsartikel in Sammelband (Konferenz)
| Veröffentlicht
Adelt, Julius; Brettschneider, Daniel; Herber, Paula
(2022)
Bouajjani A, Holik L, Wu Z
Automated Technology for Verification and Analysis - 20th International Symposium (ATVA)
58
74
China:
Forschungsartikel in Sammelband (Konferenz)
| Veröffentlicht
Adelt Julius, Gebker Julian, Herber Paula
(2022)
Groote JF, Huisman M
Formal Methods for Industrial Critical Systems - 27th International Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
69
85
Warsaw, Poland:
Forschungsartikel in Sammelband (Konferenz)
| Veröffentlicht
Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne
(2022)
Margaria, Tiziana; Steffen, Bernhard
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)
| Veröffentlicht
Herber Paula, Adelt Julius, Liebrenz Timm
(2021)
Götz S, Linsbauer L, Schaefer I, Wortmann A
Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021
1
4
Forschungsartikel in Sammelband (Konferenz)
| Veröffentlicht
Springer Nature
doi:10.1007/978-3-031-77382-2_1
Springer
doi:10.1007/978-3-031-71177-0_14
Gesellschaft für Informatik
Springer
doi:10.1007/978-3-031-46002-9_6
Wiley-IEEE Computer Society Press. doi:10.1145/3610579.3611078
