Julius Adelt

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 10

Top Topics

Top Venues

Int. J. Softw. Tools Technol. Transf.

Software Engineering (Satellite Events)

Publications

Julius Adelt, Julian Gebker, Paula Herber
Reusable formal models for concurrency and communication in custom real-time operating systems. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Pauline Blohm, Julius Adelt, Paula Herber
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. MEMOCODE (2023)
Julius Adelt, Timm Liebrenz, Paula Herber
Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox. Software Engineering (2023)
Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. AISoLA (2023)
Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. ISoLA (1) (2022)
Julius Adelt, Julian Gebker, Paula Herber
Towards Reusable Formal Models for Custom Real-Time Operating Systems. FMICS (2022)
Julius Adelt, Daniel Brettschneider, Paula Herber
Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. ATVA (2022)
Julius Adelt, Timm Liebrenz, Paula Herber
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox. FM (2021)
Paula Herber, Julius Adelt, Timm Liebrenz
Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X. Software Engineering (Satellite Events) (2021)
Paula Herber, Timm Liebrenz, Julius Adelt
Combining Forces: How to Formally Verify Informally Defined Embedded Systems. FM (2021)