Alexander Metzner Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 156-165
2010
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eike Thaden, Henrik Lipskoch, Alexander Metzner, Ingo Stierand: Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion. RTCSA 2010: 212-217
2009
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matthias Büker, Alexander Metzner, Ingo Stierand: Testing Real-time Task Networks with Functional Extensions using Model-checking. ETFA 2009: 1-10
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henning Dierks, Alexander Metzner, Ingo Stierand: Efficient Model-Checking for Real-Time Task Networks. ICESS 2009: 11-18
2008
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 549-554
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Metzner: Scheduling analysis of distributed real-time systems under functional constraints. ETFA 2008: 591-599
2006
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Metzner: Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme. Carl von Ossietzky University of Oldenburg 2006, pp. 1-419
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: An optimal approach to the task allocation problem on hierarchical architectures. IPDPS 2006
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 87-90
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Metzner, Christian Herde: RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. RTSS 2006: 147-158
2005
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA 2005: 409-415
2004
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Metzner: Why Model Checking Can Improve WCET Analysis. CAV 2004: 334-347
2003
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin 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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl: Die EVENTS-Architektur (The EVENTS Architecture). it+ti - Informationstechnik und Technische Informatik 42(2): 40-44 (2000)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Metzner, Jürgen Niehaus: MSparc: Multithreading in Real-Time Architectures. J. UCS 6(10): 1034-1051 (2000)

Coauthor Index

1Bernd Becker
[c6]
2Matthias Büker
[c12] [c10]
3Werner Damm
[c12] [c8] [c4] [j3] [j2]
4Henning Dierks
[c9]
5Günter Ehmen
[c12]
6Friedrich Eisenbrand
[c4]
7Jochen Eisinger
[c6]
8Martin Fränzle
[c5] [c2] [j3]
9Harald Heinecke
[c8]
10Christian Herde
[c5] [c3] [c2]
11Bernhard Josko
[c8]
12Hermann Kopetz
[c8]
13Henrik Lipskoch
[c11]
14Alfred Mikschl
[j2]
15Marco Di Natale
[c8]
16Jürgen Niehaus
[j3] [j2] [j1]
17Ilia Polian
[c6]
18Alberto L. Sangiovanni-Vincentelli
[c8]
19Gennady Shmonin
[c4]
20Ingo Stierand
[c12] [c11] [c10] [c9] [c5] [c2]
21Eike Thaden
[c12] [c11]
22Stephan Thesing
[c6]
23Reinhard Wilhelm
[c6] [c4]
24Sebastian Winkel
[c4]
Last update Sat May 25 11:28:23 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page