Hanno Eichelberger

According to our database, Hanno Eichelberger authored at least 10 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Verfahren zur Reproduktion, Überwachung und Analyse semantischer Softwarefehler auf eingebetteten Plattformen mit einer Portabilitätsschnittstelle.

Hanno Eichelberger

PhD thesis, 2017

2015

Efficient Testing of Different Loop Paths.

Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Efficient Fault Localization During Replay of Embedded Software.

Hanno Eichelberger, Thomas Kropf, Jürgen Ruf, Thomas Greiner, Wolfgang Rosenstiel

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

More Flexible Object Invariants with Less Specification Overhead.

Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment.

Hanno Eichelberger, Jürgen Ruf, Thomas Kropf, Thomas Greiner, Wolfgang Rosenstiel

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

2013

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen.

Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

2012

The nautilus analyzer: understanding and debugging data transformations.

Melanie Herschel, Hanno Eichelberger

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012