Julius Laurin Adelt

Current affiliations

Professorship for practical comuter science

Publications

Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions Herber, Paula; Adelt, Julius; Tasche, Philip (2025) In: Madeira, Alexandre; Knapp, Alexander (eds.), Software Engineering and Formal Methods, 3-21. Cham: Springer Nature. doi:10.1007/978-3-031-77382-2_1 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Reusable formal models for concurrency and communication in custom real-time operating systems Adelt Julius; Gebker Julian; Herber Paula (2024) In: International Journal on Software Tools for Technology Transfer, 26(2), 229-245. doi:10.1007/S10009-024-00743-4 Research article (journal) \| Peer reviewed \| Published
Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems Adelt, Julius; Mensing Robert; Herber Paula (2024) In: Platzer, André ; Rozier, Kristin Yvonne; Pradella, Matteo; Rossi, Matteo (eds.), Formal Methods (FM), 208-228. Milan, Italy: Springer. doi:10.1007/978-3-031-71177-0_14 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox Adelt J; Liebrenz T; Herber P (2023) In: Gregor Engels; Regina Hebig; Matthias Tichy (eds.), Software Engineering, 29-30. Paderborn: Gesellschaft für Informatik. Research article in edited proceedings (conference) \| Peer reviewed \| Published
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink 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, 94-118. Cham: Springer. doi:10.1007/978-3-031-46002-9_6 Research article in edited proceedings (conference) \| Peer reviewed \| Published

Show all publications

Projects

Safe Integration of Learning In Autonomous cyber-physical Systems (Safe ILIAS)

Duration: 01/04/2024 - 31/03/2027 | 1st Funding period

Funded by: DFG - Individual Grants Programme

Type of project: Individual project