Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. - Timm Liebrenz; Paula Herber; Thomas Göthel; Sabine Glesner (COMPSAC (2), 2017)

Service-Oriented Design and Verification of Hybrid Control Systems. - Timm Liebrenz (ICFEM, 2018)

Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. - Timm Liebrenz; Paula Herber; Sabine Glesner (ICFEM, 2018)

A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. - Timm Liebrenz; Paula Herber; Sabine Glesner (FACS, 2019)

Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. - Timm Liebrenz; Paula Herber; Sabine Glesner (ISoLA (3), 2020)

Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. - Paula Herber; Timm Liebrenz (MEMOCODE, 2020)

Combining Forces: How to Formally Verify Informally Defined Embedded Systems. - Paula Herber; Timm Liebrenz; Julius Adelt (FM, 2021)

Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X. - Paula Herber; Julius Adelt; Timm Liebrenz (Software Engineering (Satellite Events), 2021)

Service-oriented decomposition and verification of hybrid system models using feature models and contracts. - Timm Liebrenz; Paula Herber; Sabine Glesner (Sci. Comput. Program., 2021)

Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox. - Julius Adelt; Timm Liebrenz; Paula Herber (Software Engineering, 2023)

Service-oriented design and verification of hybrid systems. - Timm Liebrenz (2023)