The SCEAS System
Navigation Menu

Search the dblp DataBase


Alexander Metzner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alexander Metzner
    Why Model Checking Can Improve WCET Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:334-347 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    DDECS, 2006, pp:15-20 [Conf]
  3. Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
    An optimal approach to the task allocation problem on hierarchical architectures. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2006, pp:87-90 [Conf]
  5. Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
    Scheduling Distributed Real-Time Systems by Satisfiability Checking. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2005, pp:409-415 [Conf]
  6. Alexander Metzner, Christian Herde
    RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. [Citation Graph (0, 0)][DBLP]
    RTSS, 2006, pp:147-158 [Conf]
  7. Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm
    A Semantics for Distributed Execution of Statemate. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:4, pp:390-405 [Journal]
  8. Alexander Metzner, Jürgen Niehaus
    MSparc: Multithreading in Real-Time Architectures. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:10, pp:1034-1051 [Journal]

  9. Software Components for Reliable Automotive Systems. [Citation Graph (, )][DBLP]

  10. Scheduling analysis of distributed real-time systems under functional constraints. [Citation Graph (, )][DBLP]

Search in 0.015secs, Finished in 0.016secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002