Timm Liebrenz

Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.

Publikationen

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. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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 (Hrsg.), Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021. CEUR-WS. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Service-oriented decomposition and verification of hybrid system models using feature models and contracts Liebrenz T, Herber P, Glesner S (2021) In: Science of Computer Programming, 211 Art der Publikation: Forschungsartikel (Zeitschrift)
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox Adelt J, Liebrenz T, Herber P (2021) In: Huisman M, Pasareanu C, Zhan N (Hrsg.), Formal Methods. Cham: Springer International Publishing. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Combining Forces: How to Formally Verify Informally Defined Embedded Systems Herber P, Liebrenz T, Adelt J (2021) In: Huisman M, Pasareanu C, Zhan N (Hrsg.), Formal Methods. Cham: Springer International Publishing. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Alle Publikationen anzeigen