Timm Liebrenz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2017–2021
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FM | Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox. | Julius Adelt, Timm Liebrenz, Paula Herber |
| 2021 | FM | Combining Forces: How to Formally Verify Informally Defined Embedded Systems. | Paula Herber, Timm Liebrenz, Julius Adelt |
| 2020 | ISoLA | Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. | Timm Liebrenz, Paula Herber, Sabine Glesner |
| 2020 | MEMOCODE | Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. | Paula Herber, Timm Liebrenz |
| 2018 | ICFEM | Service-Oriented Design and Verification of Hybrid Control Systems. | Timm Liebrenz |
| 2018 | ICFEM | Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. | Timm Liebrenz, Paula Herber, Sabine Glesner |
| 2017 | COMPSAC | Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. | Timm Liebrenz, Paula Herber, Thomas Gthel, Sabine Glesner |