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
Publications
- . . ‘Reusable formal models for concurrency and communication in custom real-time operating systems.’ International Journal on Software Tools for Technology Transfer 26, № 2: 229–245. doi: 10.1007/S10009-024-00743-4.
- . ‘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. 0th Ed. Heidelberg: 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. 0th Ed. Bonn: Gesellschaft für Informatik.
- . . ‘Safe Integration of Learning in SystemC using Timed Contracts and Model Checking.’ In 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, edited by , 12–22. 0th Ed. New York City: Wiley-IEEE Computer Society Press. doi: 10.1145/3610579.3611078.
- . . ‘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. 0th Ed. Heidelberg: 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. 0th Ed. Heidelberg: 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. 0th Ed. Heidelberg: 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. 0th Ed. Aachen: CEUR-WS.
- . . ‘Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox.’ In Formal Methods, edited by , 349–366. 0th Ed. Basel : 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. 0th Ed. Basel : Springer International Publishing. doi: 10.1007/978-3-030-90870-6_1.
Teaching
- Seminar: Seminar Safe & Secure Embedded Systems [108063]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm)
[n. V. | Prof. Dr. Paula Herber] - Projektseminar: Capstone Project: Design of a Safe Walking Hexapod Robot [108062]
(in cooperation with Janosch Bajorath, Prof. Dr. Paula Herber, Prof. Dr. Malte Schilling, Pauline Blohm)
[ - | | wöchentlich | Mo | SRZ 202 | Janosch Bajorath] - Oberseminar: Research Topics in Embedded Systems [108061]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm)
[ - | | wöchentlich | Di | SRZ 202 | Pauline Blohm]
- Projektseminar: Capstone Project: Design of Safe Embedded Systems [106042]
(in cooperation with Prof. Dr. Paula Herber, Pauline Blohm) - Oberseminar: Research Topics in Embedded Systems [106038]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm) - Tutorial "Quality-oriented Design of Embedded Systems" [106037]
(in cooperation with Prof. Dr. Paula Herber, Pauline Blohm)
- Seminar: Seminar Safe & Secure Embedded Systems [104761]
(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) - Oberseminar: Research Topics in Embedded Systems [104758]
(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 [102029]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm) - Tutorial Computer Organisation and Architecture [102094]
(in cooperation with Jonas Becker-Kupczok, Dr. Dietmar Lammers)
- 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 and Intelligent Embedded Systems [100061]
(in cooperation with Prof. Dr. Paula Herber) - 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 Embedded Systems [108061]
(in cooperation with Prof. Dr. Paula Herber)
- Projektseminar: Capstone Project: Mindstorm embedded [106062]
(in cooperation with Prof. Dr. Paula Herber)
- 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)
- Seminar: Seminar Safe & Secure Embedded Systems [108063]