д. Райнхольд Хекманн

Dr. Reinhold Heckmann

Контакт

heckmann@absint.com

Резюме

Райнхольд окончил факультеты информатики и математики Университета Земли Саарской в 1984-ом году и там же в 1991-ом году защитил докторскую диссертацию, за которую был удостоен премии имени Эдуарда Мартина.

В 1996-ом году он защитил пост-докторскую диссертацию и с тех пор регулярно читает лекции как частный доцент в различных высших учебных заведениях, в том числе в Имперском Колледже Лондона и в университетах Берлина, Трира и Земли Саарской.

Райнхольд работает у нас с 2000-го года старшим научным исследователем. Он играет центральную роль в самых различных национальных и много­национальных проектах, а также является главным редактором подавляющего большинства наших публикаций и всей нашей технической документации.

Избранные работы

  • Model-Driven Code Generation and Analysis. D. Kästner, C. Rustemeier, U. Kiffmeier, D. Fleischer, S. Nenova, R. Heckmann, M. Schlickling, C. Ferdinand. SAE World Congress 2014.
  • Meeting Real-Time Requirements with Multi-Core Processors. D. Kästner, M. Schlickling, M. Pister, C. Cullmann, G. Gebhard, R. Heckmann, C. Ferdinand. Safecomp 2012 Workshop: Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), Magdeburg, September 2012.
  • Timing Validation of Automotive Software. D. Kästner, R. Wilhelm, R. Heckmann, M. Schlickling, M. Pister, M. Jersak, K. Richter, C. Ferdinand. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), Kassandra, Greece, 2008.
  • Static Memory and Timing Analysis of Embedded Systems Code. C. Ferdinand, R. Heckmann, and D. Kästner. Proceedings of The IET Conference on Embedded Systems at Embedded Systems Show (ESS) 2006, Birmingham.
  • Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation. R. Heckmann, C. Ferdinand. DATE 2005, pp. 618–619.
  • Computing with Real Numbers: I. The LFT Approach to Real Number Computation; II. A Domain Framework for Computational Geometry. A. Edalat, R. Heckmann. G. Barthe, P. Dybjer, L. Pinto, and J. Saraiva (eds.), Applied Semantics — Lecture Notes from the International Summer School, Caminha, Portugal, 2000. LNCS 2395, 193–267, Springer, 2002.
  • Contractivity of Linear Fractional Transformations.
    R. Heckmann. Theoretical Computer Science, Vol. 279 (1), pp. 65–82.
  • A Non-Topological View of Dcpo’s as Convergence Spaces.
    R. Heckmann. Theoretical Computer Science, Vol. 305, pp. 159–186.
  • Completeness Classes of Equilogical Spaces. R. Heckmann. MFPS’99, New Orleans. Electronic Notes in Theoretical Computer Science, Vol. 20.
  • Approximation of Metric Spaces by Partial Metric Spaces.
    R. Heckmann. Applied Categorical Structures, Vol. 7, pp. 71–83.
  • A Computational Model for Metric Spaces.
    A. Edalat, R. Heckmann. Theoretical Computer Science, Vol. 193, pp. 53–73.
  • The Appearance of Big Integers in Exact Real Arithmetic based on Linear Fractional Transformations. Reinhold Heckmann. Foundations of Software Science and Computation Structures, LNCS 1378, pp. 172–188, Springer, 1998.
  • Topologies on Spaces of Continuous Functions. Reinhold Heckmann, Martín Escardó. Topology Proceedings, Vol. 26 (2), pp. 545–564.
  • A Duality Theory for Quantitative Semantics. R. Heckmann, M. Huth. Computer Science Logic CSL’97 (Selected Papers), LNCS 1414, pp. 255–274, Springer, 1998.
  • Characterising FS Domains by means of Power Domains.
    R. Heckmann. Theoretical Computer Science, Vol. 264 (2), pp. 195–203.
  • Grundlagen der Dokumentenverarbeitung (book).
    R. Wilhelm, R. Heckmann. Addison Wesley Longman, 1996.
  • A Functional Description of TeX’s Formula Layout.
    R. Heckmann, R. Wilhelm. Journal of Functional Programming, Vol. 7 (5), pp. 451–485.
  • Spaces of Valuations. R. Heckmann. Summer Conference on General Topology and Applications 1995, Annals of the New York Academy of Sciences, Vol. 806, pp. 174–200.
  • Lower Bag Domains.
    Reinhold Heckmann. Fundamenta Informaticae, Vol. 24 (3), pp. 259–281.
  • Probabilistic Domains.
    Reinhold Heckmann. CAAP’94, LNCS 787, pp. 142–156, Springer, 1994.
  • Probabilistic Power Domains, Information Systems, and Locales.
    Reinhold Heckmann. MFPS’93, LNCS 802, pp. 410–437, Springer, 1994.
  • Power Domains Supporting Recursion and Failure.
    Reinhold Heckmann. CAAP’92, LNCS 581, pp. 165–181, Springer, 1992.
  • Product Operations in Strong Monads. Reinhold Heckmann. First Imperial College Workshop on Theory and Formal Methods 1993, Springer Workshops in Computing, pp. 159–170.
  • Observable Modules and Power Domain Constructions. Reinhold Heckmann. M. Droste and Y. Gurevich, eds., Semantics of Programming Languages and Model Theory, Algebra, Logic, and Applications Vol. 5, pp. 159–187. Gordon and Breach Science Publishers, OPA (Amsterdam), 1993.
  • An Upper Power Domain Construction in terms of Strongly Compact Sets.
    Reinhold Heckmann. MFPS’91, LNCS 598, pp. 272–293, Springer, 1992.
  • Power Domain Constructions.
    Reinhold Heckmann. PhD thesis, Saarland University, 1990.
  • Set Domains.
    Reinhold Heckmann. ESOP’90, LNCS 432, pp. 177–196, Springer, 1990.
  • A Functional Language for the Specification of Complex Tree Transformations.
    Reinhold Heckmann. ESOP’88, LNCS 300, pp. 175–190, Springer 1988.
  • ELL(k)-Parsing and Efficient ELL(1)-Parser Generation.
    Reinhold Heckmann. Diploma thesis, Saarland University, 1984.