Julian Gebker

According to our database, Julian Gebker authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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., April, 2024

2022

Towards Reusable Formal Models for Custom Real-Time Operating Systems.

Julius Adelt, Julian Gebker, Paula Herber

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2020

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, Xiaoyi Jiang, Udo Dannlowski, Tim Hahn

CoRR, 2020