Search the dblp DataBase
Christian Ferdinand :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Florian Martin , Martin Alt , Reinhard Wilhelm , Christian Ferdinand Analysis of Loops. [Citation Graph (0, 0)][DBLP ] CC, 1998, pp:80-94 [Conf ] Christian Ferdinand , Reinhold Heckmann Verifying Timing Behavior by Abstract Interpretation of Executable Code. [Citation Graph (0, 0)][DBLP ] CHARME, 2005, pp:336-339 [Conf ] Christian Ferdinand , Helmut Seidl , Reinhard Wilhelm Tree Automata for Code Selection. [Citation Graph (0, 0)][DBLP ] Code Generation, 1991, pp:30-50 [Conf ] 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 ] 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 ] 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 ] Georg Sander , Martin Alt , Christian Ferdinand , Reinhard Wilhelm CLaX - A Visualized Compiler. [Citation Graph (0, 0)][DBLP ] Graph Drawing, 1995, pp:459-462 [Conf ] 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 ] 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 ] 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 ] Christian Ferdinand Worst Case Execution Time Prediction by Static Program Analysis. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] Christian Ferdinand , Reinhard Wilhelm On Predicting Data Cache Behavior for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] LCTES, 1998, pp:16-30 [Conf ] 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 ] Christian Ferdinand Pattern Matching in a Functional Transformation Language using Treeparsing. [Citation Graph (0, 0)][DBLP ] PLILP, 1990, pp:358-371 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] ALL-TIMES - A European Project on Integrating Timing Technology. [Citation Graph (, )][DBLP ] Timing Validation of Automotive Software. [Citation Graph (, )][DBLP ] Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. [Citation Graph (, )][DBLP ] Worst-Case Execution Time - A Tool Provider's Perspective. [Citation Graph (, )][DBLP ] 100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. [Citation Graph (, )][DBLP ] Teaching WCET Analysis in Academia and Industry: A Panel Discussion. [Citation Graph (, )][DBLP ] Towards Formally Verifiable WCET Analysis for a Functional Programming Language. [Citation Graph (, )][DBLP ] Towards Model-Driven Development of Hard Real-Time Systems. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.304secs