Alexander Metzner Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Software Components for Reliable Automotive Systems. DATE 2008: 549-554
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Metzner: Scheduling analysis of distributed real-time systems under functional constraints. ETFA 2008: 591-599
2006
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: An optimal approach to the task allocation problem on hierarchical architectures. IPDPS 2006
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Metzner, Christian Herde: RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. RTSS 2006: 147-158
2005
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA 2005: 409-415
2004
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Metzner: Why Model Checking Can Improve WCET Analysis. CAV 2004: 334-347
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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] [10]
3Friedrich Eisenbrand [6]
4Jochen Eisinger [8]
5Martin Fränzle [2] [4] [7]
6Harald Heinecke [10]
7Christian Herde [4] [5] [7]
8Bernhard Josko [10]
9Hermann Kopetz [10]
10Marco Di Natale [10]
11Jürgen Niehaus [1] [2]
12Ilia Polian [8]
13Alberto L. Sangiovanni-Vincentelli [10]
14Gennady Shmonin [6]
15Ingo Stierand [4] [7]
16Stephan Thesing [8]
17Reinhard Wilhelm [6] [8]
18Sebastian Winkel [6]

Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)