PHOTON - A Python API for Rapid Machine Learning Model Development. - Ramona Leenings; Nils Ralf Winter; Lucas Plagwitz; Vincent Holstein; Jan Ernsting; Jakob Steenweg; Julian Gebker; Kelvin Sarink; Daniel Emden; Dominik Grotegerd; Nils Opel; Benjamin Risse; et al. (CoRR, 2020)

Towards Reusable Formal Models for Custom Real-Time Operating Systems. - Julius Adelt; Julian Gebker; Paula Herber (FMICS, 2022)

Reusable formal models for concurrency and communication in custom real-time operating systems. - Julius Adelt; Julian Gebker; Paula Herber (Int. J. Softw. Tools Technol. Transf., 2024)