Alexander Züpke

According to our database, Alexander Züpke authored at least 9 papers between 2015 and 2023.

Collaborative distances:

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

2023

Compositional verification of embedded real-time systems.

Mohammed Foughali, Pierre-Emmanuel Hladik, Alexander Zuepke

J. Syst. Archit., September, 2023

MemPol: Policing Core Memory Bandwidth from Outside of the Cores.

Alexander Zuepke, Andrea Bastoni, Weifan Chen, Marco Caccamo, Renato Mancuso

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.

Mohammed Foughali, Alexander Zuepke

Frontiers Robotics AI, 2022

2021

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

Alexander Züpke

PhD thesis, 2021

A Real-Time Virtio-Based Framework for Predictable Inter-VM Communication.

Gero Schwäricke, Rohan Tabish, Rodolfo Pellizzoni, Renato Mancuso, Andrea Bastoni, Alexander Zuepke, Marco Caccamo

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.

Alexander Zuepke

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

2019

Deterministic Futexes: Addressing WCET and Bounded Interference Concerns.

Alexander Zuepke, Robert Kaiser

Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

2016

Kosten der Abschirmung von Code und Daten.

Alexander Züpke, Kai Beckmann, Andreas Zoor, Reinhold Kröger

Proceedings of the Internet der Dinge, 2016

2015

AUTOBEST: a united AUTOSAR-OS and ARINC 653 kernel.

Alexander Zuepke, Marc Bommert, Daniel Lohmann

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015