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)

Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. - Julius Adelt; Daniel Brettschneider; Paula Herber (ATVA, 2022)

Towards Reusable Formal Models for Custom Real-Time Operating Systems. - Julius Adelt; Julian Gebker; Paula Herber (FMICS, 2022)

Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. - Julius Adelt; Paula Herber; Mathis Niehage; Anne Remke (ISoLA (1), 2022)

Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. - Pauline Blohm; Julius Adelt; Paula Herber (MEMOCODE, 2023)

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)

Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. - Julius Adelt; Sebastian Bruch 002; Paula Herber; Mathis Niehage; Anne Remke (AISoLA, 2023)

Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems. - Julius Adelt; Robert Mensing; Paula Herber (FM (2), 2024)

Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. - Paula Herber; Julius Adelt; Philip Tasche (SEFM, 2024)

Reusable formal models for concurrency and communication in custom real-time operating systems. - Julius Adelt; Julian Gebker; Paula Herber (Int. J. Softw. Tools Technol. Transf., 2024)