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

Temporal logic
Specifications
Testing