Search the dblp DataBase

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]