Christian Ferdinand

According to our database1, Christian Ferdinand
  • authored at least 50 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

2015
Exploiting Synergies between Static Analysis and Model-Based Testing.
Proceedings of the 11th European Dependable Computing Conference, 2015

2014
True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Proving the Absence of Stack Overflows.
Proceedings of the Computer Safety, Reliability, and Security, 2014

2013
Architecture exploration and timing estimation during early design phases.
STTT, 2013

Confidence in Timing.
Proceedings of the SAFECOMP 2013, 2013

2012
Meeting Real-Time Requirements with Multi-core Processors.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Static Verification of Non-Functional Software Requirements in the ISO-26262.
Proceedings of the Automotive, 2012

2010
100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis.
Proceedings of the Computer Safety, 2010

2009
Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2009

Astree: Nachweis der Abwesenheit von Laufzeit.
Softwaretechnik-Trends, 2009

Teaching WCET Analysis in Academia and Industry: A Panel Discussion.
Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

2008
The worst-case execution-time problem - overview of methods and survey of tools.
ACM Trans. Embedded Comput. Syst., 2008

Worst-Case Execution Time - A Tool Provider's Perspective.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Timing Validation of Automotive Software.
Proceedings of the Leveraging Applications of Formal Methods, 2008

ALL-TIMES - A European Project on Integrating Timing Technology.
Proceedings of the Leveraging Applications of Formal Methods, 2008

2007
Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation
CoRR, 2007

2006
Towards formally verifiable resource bounds for real-time embedded systems.
SIGBED Review, 2006

Towards Formally Verifiable WCET Analysis for a Functional Programming Language.
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Worst-Case Execution Times for a Purely Functional Language.
Proceedings of the Implementation and Application of Functional Languages, 2006

New Developments in WCET Analysis.
Proceedings of the Program Analysis and Compilation, 2006

Towards Model-Driven Development of Hard Real-Time Systems.
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005
Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation.
Proceedings of the Sicherheit 2005: Sicherheit, 2005

The Embounded project (project start paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation.
Proceedings of the 2005 Design, 2005

Verifying Timing Behavior by Abstract Interpretation of Executable Code.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004
Worst Case Execution Time Prediction by Static Program Analysis.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

aiT: worst case execution time prediction by static program analysis.
Proceedings of the Building the Information Society, 2004

Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code.
Proceedings of the Automotive Software, 2004

2003
Convenient User Annotations for a WCET Tool.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Validierung des Zeitverhaltens von kritischer Echtzeit-Software.
Proceedings of the INFORMATIK 2003 - Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September, 2003

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2001
Reliable and Precise WCET Determination for a Real-Life Processor.
Proceedings of the Embedded Software, First International Workshop, 2001

2000
Fast and Precise WCET Prediction by Separated Cache and Path Analyses.
Real-Time Systems, 2000

1999
Cache Behavior Prediction by Abstract Interpretation.
Sci. Comput. Program., 1999

Efficient and Precise Cache Behavior Prediction for Real-Time Systems.
Real-Time Systems, 1999

Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation.
Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, 1999

Run-Time Guarantees for Real-Time Systems - The USES Approach.
Proceedings of the Informatik '99, 1999

1998
Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

On Predicting Data Cache Behavior for Real-Time Systems.
Proceedings of the Languages, 1998

Analysis of Loops.
Proceedings of the Compiler Construction, 7th International Conference, 1998

1997
Cache behavior prediction for real-time systems.
Pirrot, ISBN: 978-3-930714-31-5, 1997

1996
Cache Behavior Prediction by Abstract Interpretation.
Proceedings of the Static Analysis, Third International Symposium, 1996

1995
CLaX - A Visualized Compiler.
Proceedings of the Graph Drawing, Symposium on Graph Drawing, GD '95, Passau, 1995

1994
Tree Automata for Code Selection.
Acta Inf., 1994

1993
Transformation Development: TrafoLa-H Subsystem.
Proceedings of the Program Development by Specification and Transformation, 1993

1991
Tree Automata for Code Selection.
Code Generation, 1991

1990
Pattern Matching in a Functional Transformation Language using Treeparsing.
Proceedings of the Programming Language Implementation and Logic Programming, 1990


  Loading...