An Efficient ELL(1)-Parser Generator. - Reinhold Heckmann (Acta Informatica, 1986)

A Functional Language for the Specification of Complex Tree Transformations. - Reinhold Heckmann (ESOP, 1988)

A Functional Language for the Specification of Complex Tree Transformations (System Exhibition). - Reinhold Heckmann (ESOP, 1988)

Power domain constructions. - Reinhold Heckmann (1990)

Set Domains. - Reinhold Heckmann (ESOP, 1990)

An Upper Power Domain Construction in Terms of Strongly Compact Sets. - Reinhold Heckmann (MFPS, 1991)

Lower and Upper Power Domain Constructions Commute on all Cpos. - Reinhold Heckmann (Inf. Process. Lett., 1991)

Power Domain Constructions. - Reinhold Heckmann (Sci. Comput. Program., 1991)

Power Domains Supporting Recursion and Failure. - Reinhold Heckmann (CAAP, 1992)

Product Operations in Strong Monads. - Reinhold Heckmann (Theory and Formal Methods, 1993)

Probabilistic Power Domains, Information Systems, and Locales. - Reinhold Heckmann (MFPS, 1993)

TrafoLa-H Reference Manual. - Reinhold Heckmann; Georg Sander (PROSPECTRA Book, 1993)

Power Domains and Second-Order Predicates. - Reinhold Heckmann (Theor. Comput. Sci., 1993)

Probabilistic Domains. - Reinhold Heckmann (CAAP, 1994)

Stable Power Domains. - Reinhold Heckmann (Theor. Comput. Sci., 1994)

Lower Bag Domains. - Reinhold Heckmann (Fundam. Informaticae, 1995)

Grundlagen der Dokumentenverarbeitung. - Reinhard Wilhelm; Reinhold Heckmann (Addison-Wesley, 1996)

A Duality Theory for Quantitative Semantics. - Reinhold Heckmann; Michael Huth 001 (CSL, 1997)

Abstract valuations: A novel representation of Plotkin power domain and Vietoris hyperspace. - Reinhold Heckmann (MFPS, 1997)

Big Integers and Complexity Issues in Exact Real Arithmetic. - Reinhold Heckmann (COMPROX, 1997)

A Functional Description of TEX's Formula Layout. - Reinhold Heckmann; Reinhard Wilhelm (J. Funct. Program., 1997)

The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations. - Reinhold Heckmann (FoSSaCS, 1998)

How Many Argument Digits are Needed to Produce n Result Digits? - Reinhold Heckmann (RealComp, 1998)

A Computational Model for Metric Spaces. - Abbas Edalat; Reinhold Heckmann (Theor. Comput. Sci., 1998)

Approximation of Metric Spaces by Partial Metric Spaces. - Reinhold Heckmann (Appl. Categorical Struct., 1999)

Completeness Classes of Equilogical Spaces. - Reinhold Heckmann (MFPS, 1999)

Computing with Real Numbers. - Abbas Edalat; Reinhold Heckmann (APPSEM, 2000)

A Non-Topological View of Dcpos as Convergence Spaces (Extended Abstract). - Reinhold Heckmann (MFCSIT, 2000)

Translation of Taylor Series into LFT Expansions. - Reinhold Heckmann (Symbolic Algebraic Methods and Verification Methods, 2001)

Reliable and Precise WCET Determination for a Real-Life Processor. - Christian Ferdinand; Reinhold Heckmann; Marc Langenbach; Florian Martin 001; Michael Schmidt 007; Henrik Theiling; Stephan Thesing; Reinhard Wilhelm (EMSOFT, 2001)

Characterising FS domains by means of power domains. - Reinhold Heckmann (Theor. Comput. Sci., 2001)

Pipeline Modeling for Timing Analysis. - Marc Langenbach; Stephan Thesing; Reinhold Heckmann (SAS, 2002)

Contractivity of linear fractional transformations. - Reinhold Heckmann (Theor. Comput. Sci., 2002)

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. - Stephan Thesing; Jean Souyris; Reinhold Heckmann; Famantanantsoa Randimbivololona; Marc Langenbach; Reinhard Wilhelm; Christian Ferdinand (DSN, 2003)

Validierung des Zeitverhaltens von kritischer Echtzeit-Software. - Christian Ferdinand; Daniel Kästner; Florian Martin 001; Marc Langenbach; Martin Sicks; Stephan Wilhelm; Reinhold Heckmann; Nicolas Fritz; Stephan Thesing; Frank Fontaine; Henrik Theiling; Michael Schmidt 007; et al. (GI Jahrestagung (1), 2003)

Convenient User Annotations for a WCET Tool. - Christian Ferdinand; Reinhold Heckmann; Henrik Theiling; Reinhard Wilhelm (WCET, 2003)

The influence of processor architecture on the design and the results of WCET tools. - Reinhold Heckmann; Marc Langenbach; Stephan Thesing; Reinhard Wilhelm (Proc. IEEE, 2003)

A non-topological view of dcpos as convergence spaces. - Reinhold Heckmann (Theor. Comput. Sci., 2003)

Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. - Christian Ferdinand; Reinhold Heckmann; Reinhard Wilhelm (ASWSD, 2004)

aiT: worst case execution time prediction by static program analysis. - Christian Ferdinand; Reinhold Heckmann (IFIP Congress Topical Sessions, 2004)

Verifying Timing Behavior by Abstract Interpretation of Executable Code. - Christian Ferdinand; Reinhold Heckmann (CHARME, 2005)

Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation. - Reinhold Heckmann; Christian Ferdinand (DATE, 2005)

The Embounded project (project start paper). - Kevin Hammond; Roy Dyckhoff; Christian Ferdinand; Reinhold Heckmann; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (Trends in Functional Programming, 2005)

Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation. - Reinhold Heckmann; Christian Ferdinand (Sicherheit, 2005)

Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces. - Reinhold Heckmann (MFPS, 2005)

Towards Model-Driven Development of Hard Real-Time Systems. - Christian Ferdinand; Reinhold Heckmann; Hans-Jörg Wolff; Christian Renz; Oleg Parshin; Reinhard Wilhelm (ASWSD, 2006)

New Developments in WCET Analysis. - Christian Ferdinand; Florian Martin 001; Christoph Cullmann; Marc Schlickling; Ingmar Stein; Stephan Thesing; Reinhold Heckmann (Program Analysis and Compilation, 2006)

Worst-Case Execution Times for a Purely Functional Language. - Armelle Bonenfant; Christian Ferdinand; Kevin Hammond; Reinhold Heckmann (IFL, 2006)

Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. - Christian Ferdinand; Reinhold Heckmann; Hans-Jörg Wolff; Christian Renz; Manabendra Gupta; Oleg Parshin (ISoLA, 2006)

Towards Formally Verifiable WCET Analysis for a Functional Programming Language. - Kevin Hammond; Christian Ferdinand; Reinhold Heckmann; Roy Dyckhoff; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (WCET, 2006)

A Cartesian closed extension of the category of locales. - Reinhold Heckmann (Math. Struct. Comput. Sci., 2006)

Towards formally verifiable resource bounds for real-time embedded systems. - Kevin Hammond; Christian Ferdinand; Reinhold Heckmann (SIGBED Rev., 2006)

Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application. - Philippe Baufreton; Reinhold Heckmann (ISoLA, 2007)

Timing Validation of Automotive Software. - Daniel Kästner; Reinhard Wilhelm; Reinhold Heckmann; Marc Schlickling; Markus Pister 002; Marek Jersak; Kai Richter 001; Christian Ferdinand (ISoLA, 2008)

Worst-Case Execution Time - A Tool Provider's Perspective. - Christian Ferdinand; Reinhold Heckmann (ISORC, 2008)

The worst-case execution-time problem - overview of methods and survey of tools. - Reinhard Wilhelm; Jakob Engblom; Andreas Ermedahl; Niklas Holsti; Stephan Thesing; David B. Whalley; Guillem Bernat; Christian Ferdinand; Reinhold Heckmann; Tulika Mitra; Frank Mueller 001; Isabelle Puaut; et al. (ACM Trans. Embed. Comput. Syst., 2008)

100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. - Daniel Kästner; Reinhold Heckmann; Christian Ferdinand (SAFECOMP, 2010)

Similarity, topology, and uniformity. - Reinhold Heckmann (J. Log. Algebraic Methods Program., 2010)

Software Structure and WCET Predictability. - Gernot Gebhard; Christoph Cullmann; Reinhold Heckmann (PPES, 2011)

Meeting Real-Time Requirements with Multi-core Processors. - Daniel Kästner; Marc Schlickling; Markus Pister 002; Christoph Cullmann; Gernot Gebhard; Reinhold Heckmann; Christian Ferdinand (SAFECOMP Workshops, 2012)

Quasicontinuous Domains and the Smyth Powerdomain. - Reinhold Heckmann; Klaus Keimel (MFPS, 2013)

Architecture exploration and timing estimation during early design phases. - Reinhold Heckmann; Christian Ferdinand; Daniel Kästner; Stefana Nenova (Int. J. Softw. Tools Technol. Transf., 2013)

T-CREST: Time-predictable multi-core architecture for embedded systems. - Martin Schoeberl; Sahar Abbaspour; Benny Akesson; Neil C. Audsley; Raffaele Capasso; Jamie Garside; Kees Goossens; Sven Goossens; Scott Hansen; Reinhold Heckmann; Stefan Hepp; Benedikt Huber; et al. (J. Syst. Archit., 2015)

Spatiality of countably presentable locales (proved with the Baire category theorem). - Reinhold Heckmann (Math. Struct. Comput. Sci., 2015)

The Scale4Edge RISC-V Ecosystem. - Wolfgang Ecker; Peer Adelt; Wolfgang Müller 003; Reinhold Heckmann; Milos Krstic; Vladimir Herdt; Rolf Drechsler; Gerhard Angst; Ralf Wimmer 001; Andreas Mauderer; Rafael Stahl; Karsten Emrich; et al. (DATE, 2022)