Ingo Hans Pill

Dipl.-Ing. Dr.techn.

20002020

Research output per year

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

Research Output

Filter
Article
2019

Synthesizing adaptive test strategies from temporal logic specifications

Bloem, R., Fey, G., Greif, F., Könighofer, R., Pill, I., Riener, H. & Röck, F., 2019, In : Formal methods in system design. 55, 2, p. 103-135 33 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
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

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