The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christian Ferdinand: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Florian Martin, Martin Alt, Reinhard Wilhelm, Christian Ferdinand
    Analysis of Loops. [Citation Graph (0, 0)][DBLP]
    CC, 1998, pp:80-94 [Conf]
  2. Christian Ferdinand, Reinhold Heckmann
    Verifying Timing Behavior by Abstract Interpretation of Executable Code. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:336-339 [Conf]
  3. Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm
    Tree Automata for Code Selection. [Citation Graph (0, 0)][DBLP]
    Code Generation, 1991, pp:30-50 [Conf]
  4. Reinhold Heckmann, Christian Ferdinand
    erifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:618-619 [Conf]
  5. Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand
    An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:625-0 [Conf]
  6. Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
    Reliable and Precise WCET Determination for a Real-Life Processor. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:469-485 [Conf]
  7. Georg Sander, Martin Alt, Christian Ferdinand, Reinhard Wilhelm
    CLaX - A Visualized Compiler. [Citation Graph (0, 0)][DBLP]
    Graph Drawing, 1995, pp:459-462 [Conf]
  8. Christian Ferdinand, Daniel Kästner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm
    Validierung des Zeitverhaltens von kritischer Echtzeit-Software. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2003, pp:335-339 [Conf]
  9. Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
    Run-Time Guarantees for Real-Time Systems - The USES Approach. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1999, pp:410-419 [Conf]
  10. Christian Ferdinand, Reinhold Heckmann
    aiT: worst case execution time prediction by static program analysis. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:377-384 [Conf]
  11. Christian Ferdinand
    Worst Case Execution Time Prediction by Static Program Analysis. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  12. Christian Ferdinand, Reinhard Wilhelm
    On Predicting Data Cache Behavior for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    LCTES, 1998, pp:16-30 [Conf]
  13. Jörn Schneider, Christian Ferdinand
    Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Workshop on Languages, Compilers, and Tools for Embedded Systems, 1999, pp:35-44 [Conf]
  14. Christian Ferdinand
    Pattern Matching in a Functional Transformation Language using Treeparsing. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:358-371 [Conf]
  15. Martin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm
    Transformation Development: TrafoLa-H Subsystem. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:539-576 [Conf]
  16. Henrik Theiling, Christian Ferdinand
    Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1998, pp:144-153 [Conf]
  17. Martin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm
    Cache Behavior Prediction by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:52-66 [Conf]
  18. Reinhold Heckmann, Christian Ferdinand
    Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Sicherheit, 2005, pp:125-128 [Conf]
  19. Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm
    Convenient User Annotations for a WCET Tool. [Citation Graph (0, 0)][DBLP]
    WCET, 2003, pp:17-20 [Conf]
  20. Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm
    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. [Citation Graph (0, 0)][DBLP]
    ASWSD, 2004, pp:1-14 [Conf]
  21. Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm
    Tree Automata for Code Selection. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1994, v:31, n:8, pp:741-760 [Journal]
  22. Christian Ferdinand, Reinhard Wilhelm
    Efficient and Precise Cache Behavior Prediction for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1999, v:17, n:2-3, pp:131-181 [Journal]
  23. Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm
    Fast and Precise WCET Prediction by Separated Cache and Path Analyses. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2000, v:18, n:2/3, pp:157-179 [Journal]
  24. Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt
    Cache Behavior Prediction by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:35, n:2, pp:163-189 [Journal]
  25. Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann
    New Developments in WCET Analysis. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:12-52 [Conf]
  26. Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann
    Worst-Case Execution Times for a Purely Functional Language. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:235-252 [Conf]
  27. Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
    The Embounded project (project start paper). [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:195-210 [Conf]
  28. Reinhold Heckmann, Christian Ferdinand
    Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  29. ALL-TIMES - A European Project on Integrating Timing Technology. [Citation Graph (, )][DBLP]


  30. Timing Validation of Automotive Software. [Citation Graph (, )][DBLP]


  31. Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. [Citation Graph (, )][DBLP]


  32. Worst-Case Execution Time - A Tool Provider's Perspective. [Citation Graph (, )][DBLP]


  33. 100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. [Citation Graph (, )][DBLP]


  34. Teaching WCET Analysis in Academia and Industry: A Panel Discussion. [Citation Graph (, )][DBLP]


  35. Towards Formally Verifiable WCET Analysis for a Functional Programming Language. [Citation Graph (, )][DBLP]


  36. Towards Model-Driven Development of Hard Real-Time Systems. [Citation Graph (, )][DBLP]


Search in 0.360secs, Finished in 0.362secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002