| 2010 | RTCSA | Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion. | Eike Thaden, Henrik Lipskoch, Alexander Metzner, Ingo Stierand |
| 2009 | ETFA | Testing Real-time Task Networks with Functional Extensions using Model-checking. | Matthias Bker, Alexander Metzner, Ingo Stierand |
| 2008 | DATE | Software Components for Reliable Automotive Systems. | Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
| 2008 | ETFA | Scheduling analysis of distributed real-time systems under functional constraints. | Alexander Metzner |
| 2006 | DDECS | Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. | Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm |
| 2006 | RTSS | RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. | Alexander Metzner, Christian Herde |
| 2006 | RTCSA | Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality. | Werner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel |
| 2005 | RTCSA | Scheduling Distributed Real-Time Systems by Satisfiability Checking. | Alexander Metzner, Martin Frnzle, Christian Herde, Ingo Stierand |
| 2004 | CAV | Why Model Checking Can Improve WCET Analysis. | Alexander Metzner |