Alexander Metzner

According to our database, Alexander Metzner authored at least 16 papers between 2000 and 2011.

Collaborative distances:

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

2011

Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too.

Matthias Büker, Werner Damm, Günter Ehmen, Alexander Metzner, Ingo Stierand, Eike Thaden

Proceedings of the Industrial Embedded Systems (SIES), 2011

2010

Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion.

Eike Thaden, Henrik Lipskoch, Alexander Metzner, Ingo Stierand

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

2009

Efficient Model-Checking for Real-Time Task Networks.

Henning Dierks, Alexander Metzner, Ingo Stierand

Proceedings of the International Conference on Embedded Software and Systems, 2009

Testing Real-time Task Networks with Functional Extensions using Model-checking.

Matthias Büker, Alexander Metzner, Ingo Stierand

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008

Scheduling analysis of distributed real-time systems under functional constraints.

Alexander Metzner

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Software Components for Reliable Automotive Systems.

Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale

Proceedings of the Design, Automation and Test in Europe, 2008

2006

Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme.

Alexander Metzner

PhD thesis, 2006

RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures.

Alexander Metzner, Christian Herde

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

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

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

An optimal approach to the task allocation problem on hierarchical architectures.

Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

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

Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

2005

Scheduling Distributed Real-Time Systems by Satisfiability Checking.

Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

2004

Why Model Checking Can Improve WCET Analysis.

Alexander Metzner

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

A Semantics for Distributed Execution of Statemate.

Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm

Formal Aspects Comput., 2003

2000

MSparc: Multithreading in Real-Time Architectures.

Alexander Metzner, Jürgen Niehaus

J. Univers. Comput. Sci., 2000

Die EVENTS-Architektur (The EVENTS Architecture).

Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl

Informationstechnik Tech. Inform., 2000