The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Reinhold Heckmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Abbas Edalat, Reinhold Heckmann
    Computing with Real Numbers. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:193-267 [Conf]
  3. Reinhold Heckmann
    Power Domains Supporting Recursion and Failure. [Citation Graph (0, 0)][DBLP]
    CAAP, 1992, pp:165-181 [Conf]
  4. Reinhold Heckmann
    Probabilistic Domains. [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:142-156 [Conf]
  5. Christian Ferdinand, Reinhold Heckmann
    Verifying Timing Behavior by Abstract Interpretation of Executable Code. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:336-339 [Conf]
  6. Reinhold Heckmann, Michael Huth
    A Duality Theory for Quantitative Semantics. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:255-274 [Conf]
  7. Reinhold Heckmann
    A Cartesian Closed Extension of the Category of Locales. [Citation Graph (0, 0)][DBLP]
    Spatial Representation, 2005, pp:- [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Reinhold Heckmann
    A Functional Language for the Specification of Complex Tree Transformations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:175-190 [Conf]
  12. Reinhold Heckmann
    A Functional Language for the Specification of Complex Tree Transformations (System Exhibition). [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:380- [Conf]
  13. Reinhold Heckmann
    Set Domains. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:177-196 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. Reinhold Heckmann
    Product Operations in Strong Monads. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:159-170 [Conf]
  18. Reinhold Heckmann
    An Upper Power Domain Construction in Terms of Strongly Compact Sets. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:272-293 [Conf]
  19. Reinhold Heckmann
    Probabilistic Power Domains, Information Systems, and Locales. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:410-437 [Conf]
  20. Reinhold Heckmann, Georg Sander
    TrafoLa-H Reference Manual. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:275-313 [Conf]
  21. Marc Langenbach, Stephan Thesing, Reinhold Heckmann
    Pipeline Modeling for Timing Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:294-309 [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. Reinhold Heckmann
    An Efficient ELL(1)-Parser Generator. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1986, v:23, n:2, pp:127-148 [Journal]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. Reinhold Heckmann
    Completeness Classes of Equilogical Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  32. Reinhold Heckmann
    Lower Bag Domains. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:24, n:3, pp:259-281 [Journal]
  33. 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]
  34. 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]
  35. Reinhold Heckmann
    Power Domain Constructions. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1991, v:17, n:1-3, pp:77-117 [Journal]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. Reinhold Heckmann
    Stable Power Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:136, n:1, pp:21-56 [Journal]
  42. 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]
  43. 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]
  44. 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]
  45. 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]

  46. Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application. [Citation Graph (, )][DBLP]


  47. Timing Validation of Automotive Software. [Citation Graph (, )][DBLP]


  48. Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. [Citation Graph (, )][DBLP]


  49. Worst-Case Execution Time - A Tool Provider's Perspective. [Citation Graph (, )][DBLP]


  50. 100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. [Citation Graph (, )][DBLP]


  51. Towards Formally Verifiable WCET Analysis for a Functional Programming Language. [Citation Graph (, )][DBLP]


  52. Towards Model-Driven Development of Hard Real-Time Systems. [Citation Graph (, )][DBLP]


  53. Approximation of Metric Spaces by Partial Metric Spaces. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002