Alexander Metzner

16 papers A* 1A 3B 3C 3Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2011 — conf
Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too.
SIES
Matthias Büker, Werner Damm, Günter Ehmen, Alexander Metzner, Ingo Stierand, Eike Thaden
2010 B conf
Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion.
RTCSA
Eike Thaden, Henrik Lipskoch, Alexander Metzner, Ingo Stierand
2009 — conf
Efficient Model-Checking for Real-Time Task Networks.
ICESS
Henning Dierks, Alexander Metzner, Ingo Stierand
2009 C conf
Testing Real-time Task Networks with Functional Extensions using Model-checking.
ETFA
Matthias Büker, Alexander Metzner, Ingo Stierand
2008 C conf
Scheduling analysis of distributed real-time systems under functional constraints.
ETFA
Alexander Metzner
2008 A conf
Software Components for Reliable Automotive Systems.
DATE
Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2006 A conf
An optimal approach to the task allocation problem on hierarchical architectures.
IPDPS
Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
2006 C conf
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis.
DDECS
Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm
2006 — —
Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme.
Alexander Metzner
2006 B conf
Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality.
RTCSA
Werner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel
2006 A conf
RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures.
RTSS
Alexander Metzner, Christian Herde
2005 B conf
Scheduling Distributed Real-Time Systems by Satisfiability Checking.
RTCSA
Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
2004 A* conf
Why Model Checking Can Improve WCET Analysis.
CAV
Alexander Metzner
2003 J jnl
A Semantics for Distributed Execution of Statemate.
Formal Aspects Comput.
Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm
2000 J jnl
Die EVENTS-Architektur (The EVENTS Architecture).
Informationstechnik Tech. Inform.
Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl
2000 J jnl
MSparc: Multithreading in Real-Time Architectures.
J. Univers. Comput. Sci.
Alexander Metzner, Jürgen Niehaus