PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

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 . WCET, volume 4 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)

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.

Dr. -Ing. Reinhold Bertrand University of Stuttgart

Prof. Dr. Reinhold Ewald University of Stuttgart

Hon. -Prof. Dr. Reinhold Mayer University of Stuttgart

Univ. -Prof. Dr. Reinhold Bauer University of Stuttgart

 

Other publications of authors with the same name

Approximation of Metric Spaces by Partial Metric Spaces.. Applied Categorical Structures, 7 (1-2): 71-83 (1999)Product Operations in Strong Monads.. Theory and Formal Methods, page 159-170. Springer, (1993)T-CREST: Time-predictable multi-core architecture for embedded systems., , , , , , , , , and 13 other author(s). Journal of Systems Architecture - Embedded Systems Design, 61 (9): 449-471 (2015)Translation of Taylor Series into LFT Expansions.. Symbolic Algebraic Methods and Verification Methods, Springer, (2001)100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis., , and . SAFECOMP, volume 6351 of Lecture Notes in Computer Science, page 196-209. Springer, (2010)Set Domains.. ESOP, volume 432 of Lecture Notes in Computer Science, page 177-196. Springer, (1990)Pipeline Modeling for Timing Analysis., , and . SAS, volume 2477 of Lecture Notes in Computer Science, page 294-309. Springer, (2002)Power Domains Supporting Recursion and Failure.. CAAP, volume 581 of Lecture Notes in Computer Science, page 165-181. Springer, (1992)A Non-Topological View of Dcpos as Convergence Spaces (Extended Abstract).. Electron. Notes Theor. Comput. Sci., (2000)Big Integers and Complexity Issues in Exact Real Arithmetic.. Electron. Notes Theor. Comput. Sci., (1998)