Person:

Zeige:

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. Cham: .
Type of Publication: Research article in edited proceedings (conference)

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)
Type of Publication: Research article (journal)

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). Milan, Italy: .
Type of Publication: Research article in edited proceedings (conference)

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. Paderborn: .
Type of Publication: Research article in edited proceedings (conference)

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. Cham: .
Type of Publication: Research article in edited proceedings (conference)

Safe Integration of Learning in SystemC using Timed Contracts and Model Checking

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: .
Type of Publication: Research article in edited proceedings (conference)

Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems

Adelt, Julius; Brettschneider, Daniel; Herber, Paula (2022)
In: Bouajjani A, Holik L, Wu Z (eds.), Automated Technology for Verification and Analysis - 20th International Symposium (ATVA). China: .
Type of Publication: Research article in edited proceedings (conference)

Towards Reusable Formal Models for Custom Real-Time Operating Systems

Adelt Julius, Gebker Julian, Herber Paula (2022)
In: Groote JF, Huisman M (eds.), Formal Methods for Industrial Critical Systems - 27th International Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Warsaw, Poland: .
Type of Publication: Research article in edited proceedings (conference)

Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty

Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne (2022)
In: Margaria, Tiziana; Steffen, Bernhard (eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022,…. Rhodes, Greece: .
Type of Publication: Research article in edited proceedings (conference)

Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X

Herber Paula, Adelt Julius, Liebrenz Timm (2021)
In: Götz S, Linsbauer L, Schaefer I, Wortmann A (eds.), Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021..
Type of Publication: Research article in edited proceedings (conference)