Alexander Metzner

Publication Activity (10 Years)

Years Active: 2000-2011
Publications (10 Years): 0

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Matthias Büker, Werner Damm, Günter Ehmen, Alexander Metzner, Ingo Stierand, Eike Thaden
Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too. SIES (2011)
Eike Thaden, Henrik Lipskoch, Alexander Metzner, Ingo Stierand
Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion. RTCSA (2010)
Matthias Büker, Alexander Metzner, Ingo Stierand
Testing Real-time Task Networks with Functional Extensions using Model-checking. ETFA (2009)
Henning Dierks, Alexander Metzner, Ingo Stierand
Efficient Model-Checking for Real-Time Task Networks. ICESS (2009)
Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
Software Components for Reliable Automotive Systems. DATE (2008)
Alexander Metzner
Scheduling analysis of distributed real-time systems under functional constraints. ETFA (2008)
Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
An optimal approach to the task allocation problem on hierarchical architectures. IPDPS (2006)
Alexander Metzner, Christian Herde
RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. RTSS (2006)
Werner 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)
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)
Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA (2005)
Alexander Metzner
Why Model Checking Can Improve WCET Analysis. CAV (2004)
Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm
A Semantics for Distributed Execution of Statemate. Formal Aspects Comput. 15 (4) (2003)
Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl
Die EVENTS-Architektur (The EVENTS Architecture). Informationstechnik Tech. Inform. 42 (2) (2000)
Alexander Metzner, Jürgen Niehaus
MSparc: Multithreading in Real-Time Architectures. J. Univers. Comput. Sci. 6 (10) (2000)

Alexander Metzner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Alexander Metzner