( en | de | ru )

 

Disambiguation of "Ferdinand, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

Abstract Interpretation in Industry - Experience and Lessons Learned., , and . SAS, volume 14284 of Lecture Notes in Computer Science, page 10-27. Springer, (2023)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)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)Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications., , , , , , , , , and 6 other author(s). J. Aerosp. Inf. Syst., 16 (11): 521-533 (November 2019)Baumautomaten zur Codeselektion., , and . Informatik, volume 1 of Teubner-Texte zur Informatik, Teubner / Springer, (1992)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)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.Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation., and . Workshop on Languages, Compilers, and Tools for Embedded Systems, page 35-44. ACM, (1999)Pattern Matching in a Functional Transformation Language using Treeparsing.. PLILP, volume 456 of Lecture Notes in Computer Science, page 358-371. Springer, (1990)