Alexander Metzner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
8 Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm: Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. DDECS 2006: 15-20
7EEAlexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: An optimal approach to the task allocation problem on hierarchical architectures. IPDPS 2006
6EEWerner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel: Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality. RTCSA 2006: 87-90
5EEAlexander Metzner, Christian Herde: RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. RTSS 2006: 147-158
2005
4EEAlexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA 2005: 409-415
2004
3EEAlexander Metzner: Why Model Checking Can Improve WCET Analysis. CAV 2004: 334-347
2003
2EEMartin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm: A Semantics for Distributed Execution of Statemate. Formal Asp. Comput. 15(4): 390-405 (2003)
2000
1EEAlexander Metzner, Jürgen Niehaus: MSparc: Multithreading in Real-Time Architectures. J. UCS 6(10): 1034-1051 (2000)

Coauthor Index

1Bernd Becker [8]
2Werner Damm [2] [6]
3Friedrich Eisenbrand [6]
4Jochen Eisinger [8]
5Martin Fränzle [2] [4] [7]
6Christian Herde [4] [5] [7]
7Jürgen Niehaus [1] [2]
8Ilia Polian [8]
9Gennady Shmonin [6]
10Ingo Stierand [4] [7]
11Stephan Thesing [8]
12Reinhard Wilhelm [6] [8]
13Sebastian Winkel [6]

Copyright © Wed Jul 23 13:04:14 2008 by Michael Ley (ley@uni-trier.de)