JULIUS ADELT, M.SC.
Einsteinstr. 62, 48149 Münster
Raum 218
Phone: +49 251 83 33807
Research Interests:
- Intelligent Cyber-Physical Systems
- Safe Reinforcement Learning
- Contract-Based Verification
Research Articles in Edited Proceedings (Conferences)
- . ‘Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.’ In Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings, edited by , 94–118. Cham: Springer. doi: 10.1007/978-3-031-46002-9_6.
- . . ‘Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox.’ In Software Engineering, edited by , 29–30. Paderborn: Gesellschaft für Informatik.
- . . ‘Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems.’ In Automated Technology for Verification and Analysis - 20th International Symposium (ATVA), edited by , 58–74. China: Springer. doi: 10.1007/978-3-031-19992-9\_4.
- . . ‘Towards Reusable Formal Models for Custom Real-Time Operating Systems.’ In Formal Methods for Industrial Critical Systems - 27th International Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings, edited by , 69–85. Warsaw, Poland: Springer. doi: 10.1007/978-3-031-15008-1\_6.
- . . ‘Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.’ In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, edited by , 299–319. Rhodes, Greece: Springer. doi: 10.1007/978-3-031-19849-6_18.
- . . ‘Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X.’ In Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021, edited by , 1–4.: CEUR-WS.org.
- . . ‘Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox.’ In Formal Methods, edited by , 349–366. Cham: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_19.
- . . ‘Combining Forces: How to Formally Verify Informally Defined Embedded Systems.’ In Formal Methods, edited by , 3–22. Cham: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_1.
Teaching
- Übung: Tutorial "Quality-oriented Design of Embedded Systems" [106037]
(in cooperation with Prof. Dr. Paula Herber, Pauline Blohm)
[ - | | wöchentlich | Mo. | SRZ 202 | Prof. Dr. Paula Herber] - Oberseminar: Research Topics in Embedded Systems [106038]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm)
[ - | | wöchentlich | Mo. | SRZ 202 | Julius Adelt] - Projektseminar: Capstone Project: Design of Safe Embedded Systems [106042]
(in cooperation with Prof. Dr. Paula Herber, Pauline Blohm)
[ - | | wöchentlich | Di. | SRZ 202 | Prof. Dr. Paula Herber]
- Oberseminar: Research Topics in Embedded Systems [104758]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm) - Projektseminar: Capstone Project: Design of a Safe Walking Hexapod Robot [104757]
(in cooperation with Prof. Dr. Paula Herber, Prof. Dr. Malte Schilling, Pauline Blohm) - Seminar: Seminar Safe & Secure Embedded Systems [104761]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm)
- Übung: Tutorial Computer Organisation and Architecture [102094]
(in cooperation with Jonas Becker-Kupczok, Dr. Dietmar Lammers) - Oberseminar: Research Topics in Embedded Systems [102029]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm) - Vorlesung: Computer Organisation and Architecture [102085]
(in cooperation with Jonas Becker-Kupczok, Dr. Dietmar Lammers)
- Oberseminar: Research Topics in Embedded Systems [100062]
(in cooperation with Prof. Dr. Paula Herber, Dr. Marco Wehrmeister, Jonas Becker-Kupczok) - Projektseminar: Capstone Project: Design of Safe and Intelligent Embedded Systems [100061]
(in cooperation with Prof. Dr. Paula Herber) - Seminar: Seminar Safe & Secure Embedded Systems [100063]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm)
- Projektseminar: Capstone Project: Design of Safe Embedded Systems [108061]
(in cooperation with Prof. Dr. Paula Herber)
- Projektseminar: Capstone Project: Mindstorm embedded [106062]
(in cooperation with Prof. Dr. Paula Herber)
- V/Ü: Embedded Systems [104058]
(in cooperation with Prof. Dr. Paula Herber)
- Projektseminar: Capstone Project: Mindstorm embedded [102061]
(in cooperation with Prof. Dr. Paula Herber, Timm Liebrenz)
- Übung: Tutorial "Quality-oriented Design of Embedded Systems" [106037]