Timm Liebrenz

No current affiliations available for this person. The person is no longer active at the university.

Publications

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: Gesellschaft für Informatik. 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. CEUR-WS. Type of Publication: Research article in edited proceedings (conference)
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 Type of Publication: Research article (journal)
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 (eds.), Formal Methods. Cham: Springer International Publishing. Type of Publication: Research article in edited proceedings (conference)
Combining Forces: How to Formally Verify Informally Defined Embedded Systems Herber P, Liebrenz T, Adelt J (2021) In: Huisman M, Pasareanu C, Zhan N (eds.), Formal Methods. Cham: Springer International Publishing. Type of Publication: Research article in edited proceedings (conference)

Show all publications