Login / Signup
Julian Gebker
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 3
Top Topics
Virtual Memory
Multi Tasking
Operating System
Windows Nt
Top Venues
CoRR
Int. J. Softw. Tools Technol. Transf.
FMICS
</>
Publications
</>
Julius Adelt
,
Julian Gebker
,
Paula Herber
Reusable formal models for concurrency and communication in custom real-time operating systems.
Int. J. Softw. Tools Technol. Transf.
26 (2) (2024)
Julius Adelt
,
Julian Gebker
,
Paula Herber
Towards Reusable Formal Models for Custom Real-Time Operating Systems.
FMICS
(2022)
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
PHOTON - A Python API for Rapid Machine Learning Model Development.
CoRR
(2020)