Alexander Züpke

Orcid: 0000-0003-0134-318X

According to our database1, Alexander Züpke authored at least 11 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
MemPol: polling-based microsecond-scale per-core memory bandwidth regulation.
Real Time Syst., September, 2024

A Containerized Microservice Architecture for a ROS 2 Autonomous Driving Software: An End-to-End Latency Evaluation.
Proceedings of the 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2024

2023
Compositional verification of embedded real-time systems.
J. Syst. Archit., September, 2023

MemPol: Policing Core Memory Bandwidth from Outside of the Cores.
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

2022
Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.
Frontiers Robotics AI, 2022

2021
Efficient and predictable thread synchronization mechanisms for mixed-criticality systems on shared-memory multi-processor platforms.
PhD thesis, 2021

A Real-Time Virtio-Based Framework for Predictable Inter-VM Communication.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

2020
Turning Futexes Inside-Out: Efficient and Deterministic User Space Synchronization Primitives for Real-Time Systems with IPCP.
Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

2019
Deterministic Futexes: Addressing WCET and Bounded Interference Concerns.
Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

2016
Kosten der Abschirmung von Code und Daten.
Proceedings of the Internet der Dinge, 2016

2015
AUTOBEST: a united AUTOSAR-OS and ARINC 653 kernel.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015


  Loading...