Patrick Heckeler

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Venues

MBMV

SAC

SEFM

Eberhard Karls University of Tübingen (PHD)

Education History

Eberhard Karls University of Tübingen

PHD

Publications

Stefan Huster, Merdin Macic, Sebastian Burg, Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. MBMV (2014)
Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
More Flexible Object Invariants with Less Specification Overhead. SEFM (2014)
Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. MBMV (2014)
Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. MBMV (2014)
Patrick Heckeler, Bastian Schlich, Thomas Kropf
Accelerated robustness testing of state-based components using reverse execution. SAC (2013)
Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. MBMV (2013)
Stefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
A Software Testing Framework to Integrate Formal Verification Results. MBMV (2013)
Alexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin
Optimized Static Parameter Assignment for Semiformal Software Verification. MBMV (2012)
Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss
DWARF-driven Equivalence Checking of UML Statecharts and Software Components. Softwaretechnik-Trends 31 (3) (2011)
Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable hybrid verification for embedded software. DATE (2011)
Jörg Behrend, Patrick Heckeler, Stefan Huster, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable and Extendable Hybrid Verification Platform. MBMV (2011)
Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. FM+AM (2010)
Patrick Heckeler, Marcus Ritt, Jörg Behrend, Wolfgang Rosenstiel
Object-Oriented Message-Passing in Heterogeneous Environments. PVM/MPI (2008)

Patrick Heckeler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrick Heckeler