Ingo Hans Pill

Dipl.-Ing. Dr.techn.

20002019
If you made any changes in Pure these will be visible here soon.

Research Output 2003 2019

Filter
Article
2018

Automated generation of (F)LTL oracles for testing and debugging

Pill, I. & Wotawa, F., 2018, In : The Journal of Systems and Software . 139, p. 124-141

Research output: Contribution to journalArticleResearchpeer-review

2016

On the practical performance of minimal hitting set algorithms from a diagnostic perspective

Pill, I. H., Quaritsch, T. & Wotawa, F., 2016, In : International Journal of Prognostics and Health Management. 7, 2

Research output: Contribution to journalArticleResearchpeer-review

Program debugging
Data storage equipment
Planning
2013

Maintaining consistency in a robot's knowledge-base via diagnostic reasoning

Gspandl, S., Pill, I. H., Reip, M. & Steinbauer, G., 2013, In : AI Communications. 26, 1, p. 29-38

Research output: Contribution to journalArticleResearchpeer-review

On Classification and Modeling Issues in Distributed Model-based Diagnosis

Wotawa, F. & Pill, I. H., 2013, In : AI Communications. 26, 1, p. 133-143

Research output: Contribution to journalArticleResearchpeer-review

2007

Symbolic Implementation of Alternating Automata

Bloem, R. P., Cimatti, A., Pill, I. H. & Roveri, M., 2007, In : International journal of foundations of computer science. 18, 4, p. 727-743

Research output: Contribution to journalArticleResearchpeer-review