© privat

JULIUS ADELT, M.SC.

Einsteinstr. 62, 48149 Münster

Raum 218


Phone: +49 251 83 33807

julius.adelt@uni-muenster.de

 

Research Interests:

  • Intelligent Cyber-Physical Systems
  • Safe Reinforcement Learning
  • Contract-Based Verification

 

  •  

    Publications

    • Adelt Julius; Gebker Julian; Herber Paula. . ‘Reusable formal models for concurrency and communication in custom real-time operating systems.’ International Journal on Software Tools for Technology Transfer 26, No. 2: 229–245. doi: 10.1007/S10009-024-00743-4.

    • Adelt J.; Bruch S.; Herber P.; Niehage M.; 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, edited by Steffen, Bernhard, 94–118. Cham: Springer. doi: 10.1007/978-3-031-46002-9_6.
    • Adelt J; Liebrenz T; Herber P. . ‘Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox.’ In Software Engineering, edited by Gregor Engels; Regina Hebig; Matthias Tichy, 29–30. Paderborn: Gesellschaft für Informatik.
    • Blohm P; Adelt J; Herber P. . ‘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 von Hanxleden, Reinhard; Edwards, Stephen A.; Brandt, Jens; Zhu, Qi, 12–22. Hamburg: Wiley-IEEE Computer Society Press. doi: 10.1145/3610579.3611078.

    • Herber Paula, Adelt Julius, 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, edited by Götz S, Linsbauer L, Schaefer I, Wortmann A, 1–4.: CEUR-WS.
    • Adelt J, Liebrenz T, Herber P. . ‘Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox.’ In Formal Methods, edited by Huisman M, Pasareanu C, Zhan N, 349–366. Cham: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_19.
    • Herber P, Liebrenz T, Adelt J. . ‘Combining Forces: How to Formally Verify Informally Defined Embedded Systems.’ In Formal Methods, edited by Huisman M, Pasareanu C, Zhan N, 3–22. Cham: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_1.
  •  

    Teaching

    • Oberseminar: Research Topics in Embedded Systems [108061]
      (in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Pauline Blohm)
      [ - | | wöchentlich | Di. | Pauline Blohm]
    • 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. | Janosch Bajorath]
    • 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]

    • Ü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)