Person:
Show:
Show 1 to 10 of 12 results
Show 1 to 10 of 12 results
Herber, Paula; Adelt, Julius; Tasche, Philip (2025) In: Madeira, Alexandre; Knapp, Alexander (eds.), Software Engineering and Formal Methods. Cham: . Research article in edited proceedings (conference) | |
Adelt Julius; Gebker Julian; Herber Paula (2024) In: International Journal on Software Tools for Technology Transfer, 26(2). Research article (journal) | |
Adelt, Julius; Mensing Robert; Herber Paula (2024) In: Platzer, André ; Rozier, Kristin Yvonne; Pradella, Matteo; Rossi, Matteo (eds.), Formal Methods (FM). Milan, Italy: . Research article in edited proceedings (conference) | |
Adelt J; Liebrenz T; Herber P (2023) In: Gregor Engels; Regina Hebig; Matthias Tichy (eds.), Software Engineering. Paderborn: . Research article in edited proceedings (conference) | |
Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A. (2023) In: Steffen, Bernhard (eds.), Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Cham: . Research article in edited proceedings (conference) | |
Blohm, Pauline; Adelt, Julius; Herber, Paula (2023) In: von Hanxleden, Reinhard; Edwards, Stephen A.; Brandt, Jens; Zhu, Qi (eds.), 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023. Hamburg: . Research article in edited proceedings (conference) | |
In: (eds.), . | |
In: (eds.), . | |
In: (eds.), . | |
In: (eds.), . |