Ingo Hans Pill

Dipl.-Ing. Dr.techn.

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

Personal profile

Research interests

Artificial Intelligence, Model-based Reasoning, Verification, Intelligent Systems - How to get things right and design reliable dependable systems. See http://www.ist.tugraz.at/pill/research.html for more details.

Keywords

  • 102001 Artificial intelligence
  • 102011 Formal languages
  • 102022 Software development
  • 102028 Knowledge engineering

Fingerprint Dive into the research topics where Ingo Hans Pill is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 7 Similar Profiles
Modelica Mathematics
Horn clause Mathematics
Abduction Mathematics
Temporal logic Engineering & Materials Science
Boolean functions Engineering & Materials Science
Taxonomies Engineering & Materials Science
Intelligent systems Engineering & Materials Science
Decision trees Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2003 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

28th International Workshop on Principles of Diagnosis (DX'17)

Zanella, M. (ed.), Pill, I. (ed.) & Cimatti, A. (ed.), 6 Jan 2018, EasyChair Ltd. 312 p. (Kalpa Publications in Computing; vol. 4)

Research output: Book/ReportAnthologyResearchpeer-review

Open Access

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

Activities 2006 2020

ECAI 2020 - 24th European Conference on Artificial Intelligence (Event)

Ingo Hans Pill (Chair)
2020

Activity: MembershipMembership in Programm Committee

AAAI-20 Thirty-Fourth AAAI Conference on Artificial Intelligence (Event)

Ingo Pill (Member)
2020

Activity: MembershipMembership in Programm Committee

30th International Workshop on Principles of Diagnosis, DX 2019 (Event)

Ingo Pill (Member)
2019

Activity: MembershipMembership in Programm Committee

28th International Joint Conference on Artificial Intelligence (Event)

Ingo Pill (Member)
2019

Activity: MembershipMembership in Programm Committee

Prizes

AAAI-15 Outstanding Program Committee Member

Ingo Hans Pill (Recipient), 2015

Prize: Prizes / Medals / Awards

Committee Membership

AAAI-15 Outstanding Program Committee Member Award

Ingo Hans Pill (Recipient), 2015

Prize: Prizes / Medals / Awards

AAAI-17 Outstanding Program Committee Member Award

Ingo Hans Pill (Recipient), 2017

Prize: Prizes / Medals / Awards

AAAI-18 Outstanding Program Committee Member Award

Ingo Hans Pill (Recipient), 2018

Prize: Prizes / Medals / Awards

Best Tool Paper Award

Ingo Hans Pill (Recipient), 2014

Prize: Prizes / Medals / Awards

Projects 2000 2015

EU - Prosyd - Property-Based System Design

Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.

1/01/0431/12/06

Project: Research project