Timm Liebrenz

According to our database, Timm Liebrenz authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Service-oriented design and verification of hybrid systems.

Timm Liebrenz

PhD thesis, 2023

Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox.

Julius Adelt, Timm Liebrenz, Paula Herber

Proceedings of the Software Engineering 2023, 2023

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 Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X.

Paula Herber, Julius Adelt, Timm Liebrenz

Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22, 2021

Combining Forces: How to Formally Verify Informally Defined Embedded Systems.

Paula Herber, Timm Liebrenz, Julius Adelt

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs.

Paula Herber, Timm Liebrenz

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink.

Timm Liebrenz, Paula Herber, Sabine Glesner

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models.

Timm Liebrenz, Paula Herber, Sabine Glesner

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X.

Timm Liebrenz, Paula Herber, Sabine Glesner

Proceedings of the Formal Methods and Software Engineering, 2018

Service-Oriented Design and Verification of Hybrid Control Systems.

Timm Liebrenz

Proceedings of the Formal Methods and Software Engineering, 2018

2017

Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink.

Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017