Julius Laurin Adelt

Aktuelle Zugehörigkeiten

Professur für Praktische Informatik (Prof. Herber)

Publikationen

Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions Herber, Paula; Adelt, Julius; Tasche, Philip (2025) In: Madeira, Alexandre; Knapp, Alexander (Hrsg.), Software Engineering and Formal Methods. Cham: Springer Nature. Forschungsartikel in Sammelband (Konferenz)
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). Forschungsartikel (Zeitschrift)
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 (Hrsg.), Formal Methods (FM). Milan, Italy: Springer. Forschungsartikel in Sammelband (Konferenz)
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 (Hrsg.), Software Engineering. Paderborn: Gesellschaft für Informatik. Forschungsartikel in Sammelband (Konferenz)
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 (Hrsg.), Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Cham: Springer. Forschungsartikel in Sammelband (Konferenz)

Alle Publikationen anzeigen

Projekte

Sichere Integration von Lernen in Autonomen cyber-physischen Systemen (Safe ILIAS)

Laufzeit: 01.04.2024 - 31.03.2027 | 1. Förderperiode

Gefördert durch: DFG - Sachbeihilfe/Einzelförderung

Art des Projekts: Gefördertes Einzelprojekt