Julius Adelt

13 papers B 4C 4Journal 1Unranked 4
YearRankTypeTitle / Venue / Authors
2024 B conf
Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions.
SEFM
Paula Herber, Julius Adelt, Philip Tasche
2024 — conf
Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems.
FM (2)
Julius Adelt, Robert Mensing, Paula Herber
2024 J jnl
Reusable formal models for concurrency and communication in custom real-time operating systems.
Int. J. Softw. Tools Technol. Transf.
Julius Adelt, Julian Gebker, Paula Herber
2024 — conf
Safe Battery Use and Grid-Convenience in an Intelligent Energy Control System.
VALUETOOLS
Julius Adelt, Paula Herber, Johann L. Hurink, Mathis Niehage, Anne Remke, Lisa Willemsen
2023 C conf
Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox.
Software Engineering
Julius Adelt, Timm Liebrenz, Paula Herber
2023 C conf
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking.
MEMOCODE
Pauline Blohm, Julius Adelt, Paula Herber
2023 — conf
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.
AISoLA
Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke
2022 B conf
Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems.
ATVA
Julius Adelt, Daniel Brettschneider, Paula Herber
2022 C conf
Towards Reusable Formal Models for Custom Real-Time Operating Systems.
FMICS
Julius Adelt, Julian Gebker, Paula Herber
2022 — conf
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.
ISoLA (1)
Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke
2021 B conf
Combining Forces: How to Formally Verify Informally Defined Embedded Systems.
FM
Paula Herber, Timm Liebrenz, Julius Adelt
2021 C conf
Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X.
Software Engineering (Satellite Events)
Paula Herber, Julius Adelt, Timm Liebrenz
2021 B conf
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox.
FM
Julius Adelt, Timm Liebrenz, Paula Herber