Timm Liebrenz

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 11

Top Topics

Formal Verification

Top Venues

Sci. Comput. Program.

Publications

Julius Adelt, Timm Liebrenz, Paula Herber
Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox. Software Engineering (2023)
Julius Adelt, Timm Liebrenz, Paula Herber
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox. FM (2021)
Timm Liebrenz, Paula Herber, Sabine Glesner
Service-oriented decomposition and verification of hybrid system models using feature models and contracts. Sci. Comput. Program. 211 (2021)
Paula Herber, Julius Adelt, Timm Liebrenz
Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X. Software Engineering (Satellite Events) (2021)
Paula Herber, Timm Liebrenz, Julius Adelt
Combining Forces: How to Formally Verify Informally Defined Embedded Systems. FM (2021)
Timm Liebrenz, Paula Herber, Sabine Glesner
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. ISoLA (3) (2020)
Paula Herber, Timm Liebrenz
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. MEMOCODE (2020)
Timm Liebrenz, Paula Herber, Sabine Glesner
A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. FACS (2019)
Timm Liebrenz, Paula Herber, Sabine Glesner
Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. ICFEM (2018)
Timm Liebrenz
Service-Oriented Design and Verification of Hybrid Control Systems. ICFEM (2018)
Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner
Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. COMPSAC (2) (2017)