Patrick Heckeler

Eberhard-Karls-Universität Tßbingen
Wilhelm-Schickard Institut fĂźr Informatik
Lehrstuhl Technische Informatik

72076 TĂźbingen

E-Mail: heckeler

Sprechstunde: Nach Vereinbarung

Kontakt-Formular

Forschungsinteressen

Primär:

  • Robustness Testing
  • Runtime Verification
  • Formale Methoden
  • UML
  • Agile Softwareentwicklung
  • Sicherheitsstandards (z.B. IEC 61508, ISO 26262 etc.)

Sekundär:

  • Parallele Programmierung (vor allem MPI)
  • Grid-Computing, Cluster & High-Performance Computing
  • Heterogene und objekt-orientierte Kommunikation fĂźr MPI (TPO++)
  • Genetische Algorithmen

Lehre Wintersemester 2013/2014

  • Vorlesung: Softwarequalität in Theorie und Praxis. Hier geht es zur Website der Lehrveranstaltung. Besuchen Sie diese fĂźr nähere Informationen!

Lehre Sommersemester 2013

  • Seminar: Model-based Verification - Fundamentals and Industrial Practice. Hier geht es zur Seminarwebsite.

Lehre Wintersemester 2012/2013

  • Vorlesung: Softwarequalität in Theorie und Praxis. Hier geht es zur Website der Lehrveranstaltung. Besuchen Sie diese fĂźr nähere Informationen!

Lehre Sommersemester 2012

  • Seminar: Modellbasierte Software-Verifikation - Grundlagen und industrielle Praxis. Hier geht es zur Seminarwebsite.

Lehre Wintersemester 2011/2012

  • Vorlesung: Grundlagen der Multimediatechnik (inkl. Übungen). Hier geht es zur Website der Lehrveranstaltung. Besuchen Sie diese fĂźr nähere Informationen!
    Link: Campus-System
    Link: CIS-System
  • Praktikum: Grundlagen der Multimediatechnik. Hier geht zur Website der Lehrveranstaltung. Besuchen Sie diese fĂźr nähere Informationen!
    Link: Campus-System
    Link: CIS-System

Werdegang

  • seit Juli 2008 - Doktorand und Wissenschaftlicher Mitarbeiter beim Arbeitsbereich Technische Informatik des Wilhelm-Schickard-Instituts fĂźr Informatik der Universität TĂźbingen.
  • Juli 2008 - Abschluß des Informatik-Studiums an der Eberhard Karls Universität TĂźbingen als Diplom-Informatiker.
    Diplomarbeit: "Entwurf und Implementierung eines heterogenenKommunikationsmechanismus fĂźr TPO++"
  • August 2000 - Tätig als Projektleiter und Web-Entwickler bei der Firma Mediacluster GmbH in Ludwigsburg (bis September 2001)
  • August 2000 - MitgrĂźndung der Firma Mediacluster GmbH in Ludwigsburg

 

Publikationen

 Alle Publikationen im BibTex-Format

    2014

      September 2014
      • S. Huster, P. Heckeler, H. Eichelberger, J. Ruf, S. Burg, T. Kropf, W. Rosenstiel
         More Flexible Object Invariants with Less Specification Overhead
        Software Engineering and Formal Methods (SEFM), Vol.8702, p.302-316, Springer International Publishing
      März 2014
      • H. Eichelberger, P. Heckeler, J. Ruf, S. Huster, S. Burg, T. Kropf, T. Greiner, W. Rosenstiel
         Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software
        17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.61-70, IBM Deutschland
      • S. Burg, P. Heckeler, S. Huster, H. Eichelberger, J. Behrend, J. Ruf, T. Kropf, O. Bringmann
         LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation
        Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen , Vol.17, IBM Deutschland

      2013

        September 2013
        • P. Heckeler, H. Eichelberger, T. Kropf, B.Schlich, J. Ruf, S. Huster, S. Burg, W. Rosenstiel
            Accelerated Model-Based Robustness Testing of State Machine Implementations
          ACM Applied Computing Review, 13 (03), p.50--67
        März 2013
        • S. Huster, P. Heckeler, J. Ruf, S. Burg, T. Kropf, W. Rosenstiel
           A Software Testing Framework to Integrate Formal Verification Results
          16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, p.183-192, Universität Rostock, Rostock
        • P. Heckeler, B. Schlich, T. Kropf, G. R. Cardoso, H. Eichelberger, J. Ruf, S. Huster, S. Burg, W. Rosenstiel
           Accelerated Robustness Testing of State-Based Components using Reverse Execution
          Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), Vol.2, p.1188-1195, ACM, Coimbra, Portugal
        • H. Eichelberger, P. Heckeler, S. Huster, S. Burg, J. Ruf, T. Kropf, W. Rosenstiel, B. Schlich
           Beschleunigte Robustheitstests fĂźr verhaltensbeschreibende Zustandsmaschinen
          16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.161-170, Universität Rostock

        2012

          März 2012
          • A. GrĂźnhage, J. Behrend, D. Lettnin, P. Heckeler, J. Ruf, T. Kropf, W. Rosenstiel
             Optimized Static Parameter Assignment for Semiformal Software Verification
            15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Kaiserslautern, Germany

          2011

            2011
            • P. Heckeler, J. Behrend, J. Ruf, T. Kropf, W. Rosenstiel, R. Weiss
               DWARF-driven Equivalence Checking of UML Statecharts and Software Components
              Gesellchaft fĂźr Informatik e.V.: Softwaretechnik-Trends, 31 (3), p.61-63
            2011
            • P. Heckeler, M. Ritt, L. S. Buriol, M. G. C. Resende, W. Rosenstiel
               A Multi-Deme Parallelization of a Memetic Algorithm for the Weight Setting Problem in OSPF and DEFT
              Metaheuristics International Conference, Vol.9
            März 2011
            • J. Behrend, D. Lettnin, P. Heckeler, J. Ruf, T. Kropf, W. Rosenstiel
               Scalable Hybrid Verification for Embedded Software
              DATE '11: Proceedings of the conference on Design, Automation and Test in Europe
            Februar 2011
            • J. Behrend, P. Heckeler, S. Huster, D. Lettnin, J. Ruf, T. Kropf, W. Rosenstiel
               Scalable and Extendable Hybrid Verification Platform
              14. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany

            2010

              September 2010
              • P. Heckeler, J. Behrend, T. Kropf, J. Ruf, R. Weiss, W. Rosenstiel
                  State-based Coverage Analysis and UML-driven Equivalence Checking for C++ State Machines
                FM+AM 2010, Vol.P-179, p.49-62, Lecture Notes in Informatics, Pisa

              2008

                September 2008
                • P. Heckeler, M. Ritt, J. Behrend, W. Rosenstiel
                   Object-Oriented Message-Passing in Heterogeneous Environments
                  Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface , Vol.5205, p.151-158, Springer, Berlin, Heidelberg

                2007

                  Oktober 2007
                  • P. Heckeler, J. Behrend, H. Planatscher, W. Rosenstiel
                     Grid-Middlewares fĂźr Campus Grids
                    Grid-Technologie fĂźr den Entwurf technischer Systeme, Dresden