( en | de | ru )

 

Disambiguation of "Heckmann, Reinhold"

Author of the publication

copydeleteadd this publication to your clipboard
Worst-Case Execution Time Prediction by Static Program Analysis

, and . (2004)http://www.absint.com/aiT_WCET.pdf.

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

Hermann Heckmann

Ulrich Heckmann

Ursula 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)Big Integers and Complexity Issues in Exact Real Arithmetic.. COMPROX, volume 13 of Electronic Notes in Theoretical Computer Science, page 69. Elsevier, (1997)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)Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces.. MFPS, volume 155 of Electronic Notes in Theoretical Computer Science, page 379-399. Elsevier, (2005)Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation., and . Sicherheit, volume P-62 of LNI, page 125-128. GI, (2005)Worst-Case Execution Time Prediction by Static Program Analysis, and . (2004)http://www.absint.com/aiT_WCET.pdf.Computing with Real Numbers, and . Applied Semantics, page 193--267. Berlin, Heidelberg, Springer Berlin Heidelberg, (2002)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)