Object-Oriented Message-Passing in Heterogeneous Environments. - Patrick Heckeler; Marcus Ritt; Jörg Behrend; Wolfgang Rosenstiel (PVM/MPI, 2008)

State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. - Patrick Heckeler; Jörg Behrend; Thomas Kropf; Jürgen Ruf; Wolfgang Rosenstiel; Roland J. Weiss (FM+AM, 2010)

Scalable hybrid verification for embedded software. - Jörg Behrend; Djones Lettnin; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (DATE, 2011)

Scalable and Extendable Hybrid Verification Platform. - Jörg Behrend; Patrick Heckeler; Stefan Huster; Djones Lettnin; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2011)

DWARF-driven Equivalence Checking of UML Statecharts and Software Components. - Patrick Heckeler; Jörg Behrend; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Roland Weiss (Softwaretechnik-Trends, 2011)

Optimized Static Parameter Assignment for Semiformal Software Verification. - Alexander Grünhage; Jörg Behrend; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Djones Lettnin (MBMV, 2012)

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. - Hanno Eichelberger; Patrick Heckeler; Stefan Huster; Sebastian Burg; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Bastian Schlich (MBMV, 2013)

A Software Testing Framework to Integrate Formal Verification Results. - Stefan Huster; Patrick Heckeler; Jürgen Ruf; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2013)

Accelerated robustness testing of state-based components using reverse execution. - Patrick Heckeler; Bastian Schlich; Thomas Kropf (SAC, 2013)

LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. - Sebastian Burg; Patrick Heckeler; Stefan Huster; Hanno Eichelberger; Jörg Behrend; Jürgen Ruf; Thomas Kropf; Oliver Bringmann 001 (MBMV, 2014)

Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. - Hanno Eichelberger; Patrick Heckeler; Jürgen Ruf; Stefan Huster; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel; Thomas Greiner (MBMV, 2014)

Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. - Stefan Huster; Merdin Macic; Sebastian Burg; Hanno Eichelberger; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2014)

More Flexible Object Invariants with Less Specification Overhead. - Stefan Huster; Patrick Heckeler; Hanno Eichelberger; Jürgen Ruf; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel (SEFM, 2014)

Optimierte Robustheitstests für zustandsbehaftete Softwarekomponenten. - Patrick Heckeler (Verlag Dr. Hut, 2014)