Julius Adelt

According to our database, Julius Adelt authored at least 10 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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., April, 2024

Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems.

Julius Adelt, Robert Mensing, Paula Herber

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.

Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox.

Julius Adelt, Timm Liebrenz, Paula Herber

Proceedings of the Software Engineering 2023, 2023

Safe Integration of Learning in SystemC using Timed Contracts and Model Checking.

Pauline Blohm, Julius Adelt, Paula Herber

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

2022

Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.

Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Towards Reusable Formal Models for Custom Real-Time Operating Systems.

Julius Adelt, Julian Gebker, Paula Herber

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems.

Julius Adelt, Daniel Brettschneider, Paula Herber

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X.

Paula Herber, Julius Adelt, Timm Liebrenz

Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22, 2021

Combining Forces: How to Formally Verify Informally Defined Embedded Systems.

Paula Herber, Timm Liebrenz, Julius Adelt

Proceedings of the Formal Methods - 24th International Symposium, 2021