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, 29-30. Paderborn: Gesellschaft für Informatik. Research article in edited proceedings (conference) \| Peer reviewed \| Published
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, 1-4. CEUR-WS. Research article in edited proceedings (conference) \| Published
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 Research article (journal) \| Peer reviewed \| Published
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, 349-366. Cham: Springer International Publishing. doi:10.1007/978-3-030-90870-6_19 Research article in edited proceedings (conference) \| Peer reviewed \| Published
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, 3-22. Cham: Springer International Publishing. doi:10.1007/978-3-030-90870-6_1 Research article in edited proceedings (conference) \| Peer reviewed \| Published

Show all publications