( en | de | ru )

 

Disambiguation of "Heckmann, Reinhold"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Formally Verifiable WCET Analysis for a Functional Programming Language

, , , , , , , , , , , and . (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.

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.

Reinhold Heckmann

Reinhold Heckmann

Emil Heckmann

Gernot Heckmann

Friedrich Heckmann

 

Other publications of authors with the same name

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.How Many Argument Digits are Needed to Produce n Result Digits?. RealComp, volume 24 of Electronic Notes in Theoretical Computer Science, page 13-33. Elsevier, (1998)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)Big Integers and Complexity Issues in Exact Real Arithmetic.. COMPROX, volume 13 of Electronic Notes in Theoretical Computer Science, page 69. Elsevier, (1997)Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation., and . Sicherheit, volume P-62 of LNI, page 125-128. GI, (2005)Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces.. MFPS, volume 155 of Electronic Notes in Theoretical Computer Science, page 379-399. Elsevier, (2005)Computing with Real Numbers, and . Applied Semantics, page 193--267. Berlin, Heidelberg, Springer Berlin Heidelberg, (2002)Worst-Case Execution Time Prediction by Static Program Analysis, and . (2004)http://www.absint.com/aiT_WCET.pdf.Power Domains and Second-Order Predicates.. Theor. Comput. Sci., 111 (1&2): 59-88 (1993)The Scale4Edge RISC-V Ecosystem., , , , , , , , , and 17 other author(s). DATE, page 808-813. IEEE, (2022)