The nautilus analyzer: understanding and debugging data transformations. - Melanie Herschel; Hanno Eichelberger (CIKM, 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)

Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment. - Hanno Eichelberger; Jürgen Ruf; Thomas Kropf; Thomas Greiner; Wolfgang Rosenstiel (ICCSA (5), 2014)

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)

Efficient Fault Localization During Replay of Embedded Software. - Hanno Eichelberger; Thomas Kropf; Jürgen Ruf; Thomas Greiner; Wolfgang Rosenstiel (EUROMICRO-SEAA, 2015)

Efficient Testing of Different Loop Paths. - Stefan Huster; Sebastian Burg; Hanno Eichelberger; Jo Laufenberg; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (SEFM, 2015)

Verfahren zur Reproduktion, Überwachung und Analyse semantischer Softwarefehler auf eingebetteten Plattformen mit einer Portabilitätsschnittstelle. - Hanno Eichelberger (Dr. Hut, 2017)