Search the dblp DataBase
Reinhold Heckmann :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Reinhold Heckmann Lower and Upper Power Domain Constructions Commute on all Cpos. [Citation Graph (1, 0)][DBLP ] Inf. Process. Lett., 1991, v:40, n:1, pp:7-11 [Journal ] Abbas Edalat , Reinhold Heckmann Computing with Real Numbers. [Citation Graph (0, 0)][DBLP ] APPSEM, 2000, pp:193-267 [Conf ] Reinhold Heckmann Power Domains Supporting Recursion and Failure. [Citation Graph (0, 0)][DBLP ] CAAP, 1992, pp:165-181 [Conf ] Reinhold Heckmann Probabilistic Domains. [Citation Graph (0, 0)][DBLP ] CAAP, 1994, pp:142-156 [Conf ] Christian Ferdinand , Reinhold Heckmann Verifying Timing Behavior by Abstract Interpretation of Executable Code. [Citation Graph (0, 0)][DBLP ] CHARME, 2005, pp:336-339 [Conf ] Reinhold Heckmann , Michael Huth A Duality Theory for Quantitative Semantics. [Citation Graph (0, 0)][DBLP ] CSL, 1997, pp:255-274 [Conf ] Reinhold Heckmann A Cartesian Closed Extension of the Category of Locales. [Citation Graph (0, 0)][DBLP ] Spatial Representation, 2005, pp:- [Conf ] Reinhold Heckmann , Christian Ferdinand erifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] DATE, 2005, pp:618-619 [Conf ] Stephan Thesing , Jean Souyris , Reinhold Heckmann , Famantanantsoa Randimbivololona , Marc Langenbach , Reinhard Wilhelm , Christian Ferdinand An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. [Citation Graph (0, 0)][DBLP ] DSN, 2003, pp:625-0 [Conf ] Christian Ferdinand , Reinhold Heckmann , Marc Langenbach , Florian Martin , Michael Schmidt , Henrik Theiling , Stephan Thesing , Reinhard Wilhelm Reliable and Precise WCET Determination for a Real-Life Processor. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2001, pp:469-485 [Conf ] Reinhold Heckmann A Functional Language for the Specification of Complex Tree Transformations. [Citation Graph (0, 0)][DBLP ] ESOP, 1988, pp:175-190 [Conf ] Reinhold Heckmann A Functional Language for the Specification of Complex Tree Transformations (System Exhibition). [Citation Graph (0, 0)][DBLP ] ESOP, 1988, pp:380- [Conf ] Reinhold Heckmann Set Domains. [Citation Graph (0, 0)][DBLP ] ESOP, 1990, pp:177-196 [Conf ] Reinhold Heckmann The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 1998, pp:172-188 [Conf ] Christian Ferdinand , Daniel Kästner , Florian Martin , Marc Langenbach , Martin Sicks , Stephan Wilhelm , Reinhold Heckmann , Nicolas Fritz , Stephan Thesing , Frank Fontaine , Henrik Theiling , Michael Schmidt , Alexander A. Evstiougov-Babaev , Reinhard Wilhelm Validierung des Zeitverhaltens von kritischer Echtzeit-Software. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung (1), 2003, pp:335-339 [Conf ] Christian Ferdinand , Reinhold Heckmann aiT: worst case execution time prediction by static program analysis. [Citation Graph (0, 0)][DBLP ] IFIP Congress Topical Sessions, 2004, pp:377-384 [Conf ] Reinhold Heckmann Product Operations in Strong Monads. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:159-170 [Conf ] Reinhold Heckmann An Upper Power Domain Construction in Terms of Strongly Compact Sets. [Citation Graph (0, 0)][DBLP ] MFPS, 1991, pp:272-293 [Conf ] Reinhold Heckmann Probabilistic Power Domains, Information Systems, and Locales. [Citation Graph (0, 0)][DBLP ] MFPS, 1993, pp:410-437 [Conf ] Reinhold Heckmann , Georg Sander TrafoLa-H Reference Manual. [Citation Graph (0, 0)][DBLP ] PROSPECTRA Book, 1993, pp:275-313 [Conf ] Marc Langenbach , Stephan Thesing , Reinhold Heckmann Pipeline Modeling for Timing Analysis. [Citation Graph (0, 0)][DBLP ] SAS, 2002, pp:294-309 [Conf ] Reinhold Heckmann , Christian Ferdinand Verifying Safety-Critical Properties of Embedded Software by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Sicherheit, 2005, pp:125-128 [Conf ] Christian Ferdinand , Reinhold Heckmann , Henrik Theiling , Reinhard Wilhelm Convenient User Annotations for a WCET Tool. [Citation Graph (0, 0)][DBLP ] WCET, 2003, pp:17-20 [Conf ] Christian Ferdinand , Reinhold Heckmann , Reinhard Wilhelm Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. [Citation Graph (0, 0)][DBLP ] ASWSD, 2004, pp:1-14 [Conf ] Reinhold Heckmann An Efficient ELL(1)-Parser Generator. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1986, v:23, n:2, pp:127-148 [Journal ] Reinhold Heckmann A Non-Topological View of Dcpos as Convergence Spaces (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Reinhold Heckmann Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:379-399 [Journal ] Reinhold Heckmann Abstract valuations: A novel representation of Plotkin power domain and Vietoris hyperspace. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal ] Reinhold Heckmann Big Integers and Complexity Issues in Exact Real Arithmetic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1998, v:13, n:, pp:- [Journal ] Reinhold Heckmann How Many Argument Digits are Needed to Produce n Result Digits? [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:24, n:, pp:- [Journal ] Reinhold Heckmann Completeness Classes of Equilogical Spaces. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal ] Reinhold Heckmann Lower Bag Domains. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1995, v:24, n:3, pp:259-281 [Journal ] Reinhold Heckmann , Reinhard Wilhelm A Functional Description of TEX's Formula Layout. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1997, v:7, n:5, pp:451-485 [Journal ] Reinhold Heckmann , Marc Langenbach , Stephan Thesing , Reinhard Wilhelm The influence of processor architecture on the design and the results of WCET tools. [Citation Graph (0, 0)][DBLP ] Proceedings of the IEEE, 2003, v:91, n:7, pp:1038-1054 [Journal ] Reinhold Heckmann Power Domain Constructions. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1991, v:17, n:1-3, pp:77-117 [Journal ] Abbas Edalat , Reinhold Heckmann A Computational Model for Metric Spaces. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1998, v:193, n:1-2, pp:53-73 [Journal ] Reinhold Heckmann Characterising FS domains by means of power domains. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:264, n:2, pp:195-203 [Journal ] Reinhold Heckmann Contractivity of linear fractional transformations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:279, n:1-2, pp:65-82 [Journal ] Reinhold Heckmann A non-topological view of dcpos as convergence spaces. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:305, n:1-3, pp:159-186 [Journal ] Reinhold Heckmann Power Domains and Second-Order Predicates. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:111, n:1&2, pp:59-88 [Journal ] Reinhold Heckmann Stable Power Domains. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1994, v:136, n:1, pp:21-56 [Journal ] Christian Ferdinand , Florian Martin , Christoph Cullmann , Marc Schlickling , Ingmar Stein , Stephan Thesing , Reinhold Heckmann New Developments in WCET Analysis. [Citation Graph (0, 0)][DBLP ] Program Analysis and Compilation, 2006, pp:12-52 [Conf ] Armelle Bonenfant , Christian Ferdinand , Kevin Hammond , Reinhold Heckmann Worst-Case Execution Times for a Purely Functional Language. [Citation Graph (0, 0)][DBLP ] IFL, 2006, pp:235-252 [Conf ] Kevin Hammond , Roy Dyckhoff , Christian Ferdinand , Reinhold Heckmann , Martin Hofmann , Steffen Jost , Hans-Wolfgang Loidl , Greg Michaelson , Robert F. Pointon , Norman Scaife , Jocelyn Sérot , Andy Wallace The Embounded project (project start paper). [Citation Graph (0, 0)][DBLP ] Trends in Functional Programming, 2005, pp:195-210 [Conf ] Reinhold Heckmann , Christian Ferdinand Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application. [Citation Graph (, )][DBLP ] Timing Validation of Automotive Software. [Citation Graph (, )][DBLP ] Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. [Citation Graph (, )][DBLP ] Worst-Case Execution Time - A Tool Provider's Perspective. [Citation Graph (, )][DBLP ] 100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. [Citation Graph (, )][DBLP ] Towards Formally Verifiable WCET Analysis for a Functional Programming Language. [Citation Graph (, )][DBLP ] Towards Model-Driven Development of Hard Real-Time Systems. [Citation Graph (, )][DBLP ] Approximation of Metric Spaces by Partial Metric Spaces. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.454secs