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, 29-30. Paderborn: Gesellschaft für Informatik. Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
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, 1-4. CEUR-WS. Forschungsartikel in Sammelband (Konferenz) \| Veröffentlicht
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. doi:10.1016/j.scico.2021.102694 Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
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, 349-366. Cham: Springer International Publishing. doi:10.1007/978-3-030-90870-6_19 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
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, 3-22. Cham: Springer International Publishing. doi:10.1007/978-3-030-90870-6_1 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht

Alle Publikationen anzeigen