Dr. Hanno Eichelberger

Content

Publications

Publications

2014

Debugger-based Record Replay and Dynamic Analysis for In-Vehicle Infotainment

by Hanno Eichelberger, Jürgen Ruf, Thomas Kropf, Thomas Greiner, and Wolfgang Rosenstiel
In Proceedings of 14th International Conference on Computational Science and Its Applications (ICCSA), Software Quality Workshop, pages 387-401. Springer International Publishing, 2014. [BIB]

@inproceedings{HJTTW072014,
  author = {Eichelberger, Hanno and Ruf, Jürgen and Kropf, Thomas and Greiner, Thomas and Rosenstiel, Wolfgang},
  title = {Debugger-based Record Replay and Dynamic Analysis for In-Vehicle Infotainment},
  booktitle = {Proceedings of 14th International Conference on Computational Science and Its Applications (ICCSA), Software Quality Workshop},
  publisher = {Springer International Publishing},
  year = {2014},
  month = {jul},
  pages = {387-401},
  month_numeric = {7}
}

Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software

by Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, S. Huster, Sebastian Burg, Thomas Kropf, Thomas Greiner, and Wolfgang Rosenstiel
In 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pages 61-70, 2014. [BIB]

@inproceedings{HPJSSTTW032014,
  author = {Eichelberger, Hanno and Heckeler, Patrick and Ruf, Jürgen and Huster, S. and Burg, Sebastian and Kropf, Thomas and Greiner, Thomas and Rosenstiel, Wolfgang},
  title = {Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software},
  booktitle = {17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
  year = {2014},
  month = {mar},
  pages = {61-70},
  address = {IBM Deutschland},
  month_numeric = {3}
}

2013

Runtime Verification Driven Debugging of Replayed Errors

by Hanno Eichelberger, Thomas Kropf, Thomas Greiner, and Wolfgang Rosenstiel
In Proceedings of the PhD Workshop of ICTSS’13, pages 1-4, 2013. [BIB]

@inproceedings{HTTW112013,
  author = {Eichelberger, Hanno and Kropf, Thomas and Greiner, Thomas and Rosenstiel, Wolfgang},
  title = {Runtime Verification Driven Debugging of Replayed Errors},
  booktitle = {Proceedings of the PhD Workshop of ICTSS’13},
  year = {2013},
  month = {nov},
  pages = {1-4},
  address = {Istanbul},
  month_numeric = {11}
}

Accelerated Model-Based Robustness Testing of State Machine Implementations

by Patrick Heckeler, Hanno Eichelberger, Thomas Kropf, B.Schlich, Jürgen Ruf, S. Huster, Sebastian Burg, and Wolfgang Rosenstiel
In ACM Applied Computing Review 13(03): 50-67, 2013. [BIB]

@article{PHTBJSSW092013,
  author = {Heckeler, Patrick and Eichelberger, Hanno and Kropf, Thomas and B.Schlich and Ruf, Jürgen and Huster, S. and Burg, Sebastian and Rosenstiel, Wolfgang},
  title = {Accelerated Model-Based Robustness Testing of State Machine Implementations},
  journal = {ACM Applied Computing Review},
  year = {2013},
  month = {sep},
  volume = {13},
  number = {03},
  pages = {50-67},
  month_numeric = {9}
}

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen

by Hanno Eichelberger, Patrick Heckeler, S. Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, and B. Schlich
In 16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pages 161-170. Universität Rostock, 2013. [BIB]

@inproceedings{HPSSJTWB032013,
  author = {Eichelberger, Hanno and Heckeler, Patrick and Huster, S. and Burg, Sebastian and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang and Schlich, B.},
  title = {Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen},
  booktitle = {16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
  publisher = {Universität Rostock},
  year = {2013},
  month = {mar},
  pages = {161-170},
  month_numeric = {3}
}

Accelerated Robustness Testing of State-Based Components using Reverse Execution

by Patrick Heckeler, B. Schlich, Thomas Kropf, G. R. Cardoso, Hanno Eichelberger, Jürgen Ruf, S. Huster, Sebastian Burg, and Wolfgang Rosenstiel
In Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC) 2: 1188-1195. ACM, 2013. [BIB]

@inproceedings{PBTGRHJSSW032013,
  author = {Heckeler, Patrick and Schlich, B. and Kropf, Thomas and Cardoso, G. R. and Eichelberger, Hanno and Ruf, Jürgen and Huster, S. and Burg, Sebastian and Rosenstiel, Wolfgang},
  title = {Accelerated Robustness Testing of State-Based Components using Reverse Execution},
  booktitle = {Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC)},
  publisher = {ACM},
  year = {2013},
  month = {mar},
  volume = {2},
  pages = {1188-1195},
  address = {Coimbra, Portugal},
  month_numeric = {3}
}