( en | de | ru )

 

Disambiguation of "Ferdinand, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
The worst-case execution-time problem - overview of methods and survey of tools.

, , , , , , , , , , , , , , and . ACM Trans. Embed. Comput. Syst., 7 (3): 36:1-36:53 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian Ferdinand

Christian Ferdinand Jurowich

Christian Ferdinand Styger

Christian Ferdinand Wolsdorff

Ferdinand Christian Ludwig Wagner

 

Other publications of authors with the same name

Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation., and . Workshop on Languages, Compilers, and Tools for Embedded Systems, page 35-44. ACM, (1999)Towards Formally Verifiable WCET Analysis for a Functional Programming Language, , , , , , , , , and 2 other author(s). (2006)6th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS Dresden, Germany, July 4, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06 in conjunction with the 18th Euromicro Intl Conference on Real-Time Systems Dresden, Germany, July 5 - 7, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06/accepted/1.html.Worst-Case Execution Time Prediction by Static Program Analysis, and . (2004)http://www.absint.com/aiT_WCET.pdf.Pattern Matching in a Functional Transformation Language using Treeparsing.. PLILP, volume 456 of Lecture Notes in Computer Science, page 358-371. Springer, (1990)Tree Automata for Code Selection., , and . Code Generation, page 30-50. Springer, (1991)Validierung des Zeitverhaltens von kritischer Echtzeit-Software., , , , , , , , , and 4 other author(s). GI Jahrestagung (1), volume P-34 of LNI, page 335-339. GI, (2003)Abstract Interpretation in Industry - Experience and Lessons Learned., , and . SAS, volume 14284 of Lecture Notes in Computer Science, page 10-27. Springer, (2023)Static Verification of Non-Functional Software Requirements in the ISO-26262., and . Automotive - Safety & Security, volume P-210 of LNI, page 39-53. GI, (2012)Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation., and . Sicherheit, volume P-62 of LNI, page 125-128. GI, (2005)Towards Zero Alarms in Sound Static Analysis of Finite State Machines., , , and . SAFECOMP, volume 11698 of Lecture Notes in Computer Science, page 3-18. Springer, (2019)