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
Paper
2019

Diagnosing Sequential Circuits as Boolean Satisfaction

Feldman, A., Pill, I., Wotawa, F., Matei, I. & de Kleer, J., 2019. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning

Pill, I. & Wotawa, F., 2019. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

2018
2016

Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

Bloem, R., Könighofer, R., Pill, I. H. & Röck, F., 2016, p. 17-24. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review