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
- Herber, Paula, Adelt, Julius, and Tasche, Philip. . “Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions.” in Software Engineering and Formal Methods, edited by Alexandre Madeira and Alexander Knapp. Berlin: Springer Nature. doi: 10.1007/978-3-031-77382-2_1.
- Julius, Adelt, Julian, Gebker, and Paula, Herber. . “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.
- Adelt, Julius, Robert, Mensing, and Paula, Herber. . “Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems.” in Formal Methods (FM), Lecture Notes in Computer Science, edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella and Matteo Rossi. Heidelberg: Springer. doi: 10.1007/978-3-031-71177-0_14.
- Adelt, J, Liebrenz, T, and Herber, P. . “Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox.” in Software Engineering, LNI, edited by Gregor Engels, Regina Hebig and Matthias Tichy. Bonn: Gesellschaft für Informatik.
- Blohm, Pauline, Adelt, Julius, and Herber, Paula. . “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 Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt and Qi Zhu. New York City: Wiley-IEEE Computer Society Press. doi: 10.1145/3610579.3611078.
- Adelt, J., Bruch, S., Herber, P., Niehage, M., and Remke, A. . “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, Vol. 14380 of Lecture Notes in Computer Science, edited by Bernhard Steffen. Heidelberg: Springer. doi: 10.1007/978-3-031-46002-9_6.
- Adelt, Julius, Brettschneider, Daniel, and Herber, Paula. . “Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems.” in Automated Technology for Verification and Analysis - 20th International Symposium (ATVA), Lecture Notes in Computer Science, edited by A Bouajjani, L Holik and Z Wu. Heidelberg: Springer. doi: 10.1007/978-3-031-19992-9\_4.
- Adelt, Julius, Gebker, Julian, and Herber, Paula. . “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, Lecture Notes in Computer Science, edited by JF Groote and M Huisman. Heidelberg: Springer. doi: 10.1007/978-3-031-15008-1\_6.
- Adelt, Julius, Herber, Paula, Niehage, Mathis, and Remke, Anne. . “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, Vol. 13701 of Lecture Notes in Computer Science, edited by Tiziana Margaria and Bernhard Steffen. Heidelberg: Springer. doi: 10.1007/978-3-031-19849-6_18.
- Paula, Herber, Julius, Adelt, and Timm, Liebrenz. . “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, Vol. 2814 of CEUR Workshop Proceedings, edited by S Götz, L Linsbauer, I Schaefer and A Wortmann. Aachen: CEUR-WS.
- Adelt, J, Liebrenz, T, and Herber, P. . “Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox.” in Formal Methods, edited by M Huisman, C Pasareanu and N Zhan. Basel: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_19.
- Herber, P, Liebrenz, T, and Adelt, J. . “Combining Forces: How to Formally Verify Informally Defined Embedded Systems.” in Formal Methods, edited by M Huisman, C Pasareanu and N Zhan. Basel: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_1.
Teaching
- Seminar: Seminar Safe & Secure Embedded Systems
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm)
[n. V. | Pauline Blohm] - Projektseminar: Capstone Project: Design and Analysis of Safety-Critical Embedded Systems [100062]
(in cooperation with Prof. Dr. Paula Herber, Prof. Dr. Anne Remke, Pauline Blohm) - Oberseminar: Research Topics in Embedded Systems [100064]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm)
[ - | | wöchentlich | Di | Julius Adelt]
- Seminar: Seminar Safe & Secure Embedded Systems [108063]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm)
[ - | Prof. Dr. Paula Herber]
[ - | Prof. Dr. Paula Herber]
[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