Timm Liebrenz

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