About Me
Hi, I'm Alex Züpke!
My lastname is spelled Zuepke without umlauts and pronounced
tsuup-keh, ツーップケ, or Цюпке.
The long form of my firstname is Alexander, but just call me Alex.
My fields of interests are operating systems and synchronization mechanisms,
but I'm also interested in predictability aspects of CPU microarchitectures.
I did a PhD thesis
on predictable and efficient low-level synchronization mechanisms
and OS design patterns for partitioning microkernels.
Since January 2021, I'm
a PostDOC at the group of Prof. Marco Caccamo at TUM.
Between 2012 and 2020,
I was at the OS research group of Robert Kaiser at HSRM.
From 2003 to 2020,
I was working on the PikeOS operating system
at SYSGO GmbH.
Publications
My publications (as author or co-author):
-
A. Züpke,
"Deterministic Fast User Space Synchronization",
OSPERT Workshop 2013
[PDF]
-
A. Zuepke,
"Thread Migration for Mixed-Criticality Systems",
RTAS Work-in-Progress Session 2014
[PDF]
-
A. Zuepke, M. Bommert, R. Kaiser,
"Fast User Space Priority Switching",
OSPERT Workshop 2014
[PDF]
-
A. Zuepke, M. Bommert, D. Lohmann,
"AUTOBEST: A United AUTOSAR-OS and ARINC 653 Kernel",
RTAS 2015
[PDF]
[DOI]
-
A. Züpke, K. Beckmann, A. Zoor, R. Kröger,
"Kosten der Abschirmung von Code und Daten",
Echtzeit 2016
[DOI]
-
A. Zuepke, K. Beckmann, A. Zoor, R. Kroeger,
"For Safety and Security Reasons: The Cost of Component-Isolation in IoT",
JLST 2016
[DOI]
-
A. Kohn, K. Schmidt, J. Decker, M. Sebastian, A. Züpke, A. Herkersdorf,
"Timing Analysis for Hypervisor-based I/O Virtualization in Safety-Related Automotive Systems",
SAE WCX 2017
[DOI]
-
A. Zuepke, R. Kaiser,
"Deterministic Futexes Revisited",
OSPERT Workshop 2018
[PDF]
-
A. Zuepke, R. Kaiser,
"Deterministic Futexes: Addressing WCET and Bounded Interference Concerns",
RTAS 2019
[PDF]
[DOI]
-
A. Zuepke,
"Turning Futexes Inside-Out: Efficient and Deterministic User Space Synchronization Primitives for Real-Time Systems with IPCP",
ECRTS 2020
[PDF]
[DOI]
-
A. Züpke,
"Efficient and Predictable Thread Synchronization Mechanisms for Mixed-Criticality Systems on Shared-Memory Multi-Processor Platforms",
Dissertation 2021
[PDF]
[URN]
-
G. Schwäricke, R. Tabish, R. Pellizzoni, R. Mancuso, A. Bastoni, A. Zuepke, M. Caccamo,
"A Real-Time virtio-based Framework for Predictable Inter-VM Communication",
RTSS 2021
[PDF]
[DOI]
-
M. Foughali, A. Zuepke,
"Formal Verification of Real-Time Autonomous Robots: an Interdisciplinary Approach",
Frontiers in Robotics and AI, Volume 9, 2022
[DOI]
-
A. Zuepke, A. Bastoni, W. Chen, M. Caccamo, R. Mancuso
"MemPol: Policing Core Memory Bandwidth from Outside of the Cores",
RTAS 2023
[PDF]
[DOI]
-
M. Foughali, P.-E. Hladik, A. Zuepke
"Compositional Verification of Embedded Real-Time Systems",
Journal of Systems Architecture, Volume 142, September 2023
[preprint]
[DOI]
Professional Activities
PC activity:
RTAS 2022,
RTAS 2023,
OSPERT 2023 (co-chair),
ECRTS Real-Time Pitches (chair),
RTAS 2024 Brief Presentations,
OSPERT 2024 (chair),
RTCSA 2024
Reviewer:
Journal of Systems Architecture,
Real-Time Systems,
Transactions on Embedded Computing Systems
Contact me via email: blexi <ät> web <pünktchen> de or alex <pünktchen> zuepke <ät> tum <pünktchen> de (btw, "Pünktchen" means "point, dot" in German).
Or on Linkedin
Last updated: 2024-03-08.
Back