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
Articles
- 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.
- Adelt, Julius, Gebker, Julian, and Herber, Paula. . “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, Mensing, Robert, and Herber, Paula. . “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 Engels Gregor, Hebig Regina and Tichy Matthias. 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
- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [104061]
(in cooperation with Pauline Blohm, Paula Herber and Jonas Becker-Kupczok)
- V/Ü: Sicherheit in Eingebetteten Systemen> [102058]
(in cooperation with Paula Herber and Jonas Becker-Kupczok)- Project seminar: Projektseminar: Entwurf Sicherer Eingebetteter Systeme> [102059]
(in cooperation with Paula Herber and Jonas Becker-Kupczok)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [102057]
(in cooperation with Pauline Blohm, Paula Herber and Jonas Becker-Kupczok) - Project seminar: Projektseminar: Entwurf Sicherer Eingebetteter Systeme> [102059]
- Project seminar: Projektseminar: Entwurf und Analyse sicherheitskritischer eingebetteter Systeme> [100062]
(in cooperation with Pauline Blohm, Paula Herber and Anne Remke)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [100064]
(in cooperation with Pauline Blohm, Paula Herber and Jonas Becker-Kupczok) - Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [100064]
- Seminar: Seminar Safe & Secure Embedded Systems> [108063]
(in cooperation with Pauline Blohm, Paula Herber and Jonas Becker-Kupczok)- Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot> [108062]
(in cooperation with Pauline Blohm, Malte Schilling and Paula Herber)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [108061]
(in cooperation with Pauline Blohm, Paula Herber and Jonas Becker-Kupczok) - Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot> [108062]
- Project seminar: Projektseminar: Entwurf sicherer eingebetteter Systeme> [106042]
(in cooperation with Pauline Blohm and Paula Herber)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [106038]
(in cooperation with Pauline Blohm, Paula Herber and Jonas Becker-Kupczok)- Practice: Übungen zur Vorlesung "Qualitätsorientierter Entwurf eingebetteter Systeme"> [106037]
(in cooperation with Pauline Blohm and Paula Herber) - Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [106038]
- Seminar: Seminar Safe & Secure Embedded Systems> [104761]
(in cooperation with Pauline Blohm, Paula Herber and Jonas Becker-Kupczok)- Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot> [104757]
(in cooperation with Pauline Blohm, Malte Schilling and Paula Herber)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [104758]
(in cooperation with Pauline Blohm, Paula Herber and Jonas Becker-Kupczok) - Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot> [104757]
- Lecture: Informatik IV - Rechnerstrukturen> [102085]
(in cooperation with Jonas Becker-Kupczok and Dietmar Lammers)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [102029]
(in cooperation with Pauline Blohm, Paula Herber and Jonas Becker-Kupczok)- Practice: Übungen zu Informatik IV - Rechnerstrukturen> [102094]
(in cooperation with Jonas Becker-Kupczok and Dietmar Lammers) - Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [102029]
- Seminar: Seminar Safe & Secure Embedded Systems> [100063]
(in cooperation with Pauline Blohm, Paula Herber and Jonas Becker-Kupczok)- Project seminar: Projektseminar: Entwurf sicherer und intelligenter eingebetteter Systeme> [100061]
(in cooperation with Paula Herber)- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [100062]
(in cooperation with Marco Wehrmeister, Paula Herber 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 Paula Herber)
- Project seminar: Projektseminar: Entwurf eingebetteter Systeme> [106062]
(in cooperation with Paula Herber)
- V/Ü: Eingebettete Systeme> [104058]
(in cooperation with Paula Herber)
- Project seminar: Projektseminar: Entwurf eingebetteter Systeme> [102061]
(in cooperation with Timm Liebrenz and Paula Herber)
- Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [104061]