| 2024 | FM | Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems. | Julius Adelt, Robert Mensing, Paula Herber |
| 2024 | SEFM | Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. | Paula Herber, Julius Adelt, Philip Tasche |
| 2023 | MEMOCODE | Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. | Pauline Blohm, Julius Adelt, Paula Herber |
| 2023 | VECoS | Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. | Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke |
| 2022 | ATVA | Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. | Julius Adelt, Daniel Brettschneider, Paula Herber |
| 2022 | FMICS | Towards Reusable Formal Models for Custom Real-Time Operating Systems. | Julius Adelt, Julian Gebker, Paula Herber |
| 2022 | ISoLA | Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. | Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke |
| 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 |