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. Cham: 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. Milan, Italy: Springer. doi: 10.1007/978-3-031-71177-0_14.
- 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. Cham: Springer. doi: 10.1007/978-3-031-46002-9_6.
- 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. Paderborn: 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. Hamburg: Wiley-IEEE Computer Society Press. doi: 10.1145/3610579.3611078.
- 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. China: 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. Warsaw, Poland: 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. Rhodes, Greece: Springer. doi: 10.1007/978-3-031-19849-6_18.
- Herber, Paula, Adelt, Julius, and Liebrenz, Timm. . “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. 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. Cham: 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. Cham: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_1.
Teaching
- V/Ü: Sicherheit in Eingebetteten Systemen [102058]
(in cooperation with Prof. Dr. Paula Herber and Jonas Becker-Kupczok)- [ – | Wed, – | | M B 5 (M 5)]
- [ – | Thu, – | | M B 5 (M 5)]
- Project seminar: Projektseminar: Entwurf Sicherer Eingebetteter Systeme [102059]
(in cooperation with Prof. Dr. Paula Herber and Jonas Becker-Kupczok)- [ – | Wed, – | | SRZ 202]
- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [102057]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok and Pauline Blohm)- [ – | Wed, – | | SRZ 202]
- Project seminar: Projektseminar: Entwurf und Analyse sicherheitskritischer eingebetteter Systeme [100062]
(in cooperation with Prof. Dr. Paula Herber, Prof. Dr. Anne Remke and Pauline Blohm)- [ – | Tue, – | | SRZ 202]
- [ – | Single Course | SRZ 203]
- [ – | Single Course | SRZ 203]
- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [100064]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok and Pauline Blohm)- [ – | Tue, – | | SRZ 202]
- Seminar: Seminar Safe & Secure Embedded Systems [108063]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok and Pauline Blohm)- Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot [108062]
(in cooperation with Janosch Bajorath, Prof. Dr. Paula Herber, Prof. Dr. Malte Schilling and Pauline Blohm)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [108061]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok and Pauline Blohm) - Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot [108062]
- Project seminar: Projektseminar: Entwurf sicherer eingebetteter Systeme [106042]
(in cooperation with Prof. Dr. Paula Herber and Pauline Blohm)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [106038]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok and Pauline Blohm)- Practice: Übungen zur Vorlesung "Qualitätsorientierter Entwurf eingebetteter Systeme" [106037]
(in cooperation with Prof. Dr. Paula Herber and Pauline Blohm) - Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [106038]
- Seminar: Seminar Safe & Secure Embedded Systems [104761]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok and Pauline Blohm)- Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot [104757]
(in cooperation with Prof. Dr. Paula Herber, Prof. Dr. Malte Schilling and Pauline Blohm)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [104758]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok and Pauline Blohm) - Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot [104757]
- Lecture: Informatik IV - Rechnerstrukturen [102085]
(in cooperation with Jonas Becker-Kupczok and Dr. Dietmar Lammers)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [102029]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok and Pauline Blohm)- Practice: Übungen zu Informatik IV - Rechnerstrukturen [102094]
(in cooperation with Jonas Becker-Kupczok and Dr. Dietmar Lammers) - Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [102029]
- Seminar: Seminar Safe & Secure Embedded Systems [100063]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok and Pauline Blohm)- Project seminar: Projektseminar: Entwurf sicherer und intelligenter eingebetteter Systeme [100061]
(in cooperation with Prof. Dr. Paula Herber)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [100062]
(in cooperation with Prof. Dr. Paula Herber, Dr. Marco Wehrmeister and Jonas Becker-Kupczok) - Project seminar: Projektseminar: Entwurf sicherer und intelligenter eingebetteter Systeme [100061]
- Project seminar: Projektseminar: Entwurf sicherer eingebetteter Systeme [108061]
(in cooperation with Prof. Dr. Paula Herber)
- Project seminar: Projektseminar: Entwurf eingebetteter Systeme [106062]
(in cooperation with Prof. Dr. Paula Herber)
- V/Ü: Eingebettete Systeme [104058]
(in cooperation with Prof. Dr. Paula Herber)
- Project seminar: Projektseminar: Entwurf eingebetteter Systeme [102061]
(in cooperation with Prof. Dr. Paula Herber and Timm Liebrenz)
- V/Ü: Sicherheit in Eingebetteten Systemen [102058]