C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Julius Adelt
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 9
Top Topics
Formal Models
Hybrid Systems
Theorem Prover
Model Checking
Top Venues
FM
Software Engineering (Satellite Events)
MEMOCODE
AISoLA
</>
Publications
</>
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)