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.

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.

  • 4 Similar Profiles

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

Research Output

Extending Automated FLTL Test Oracles With Diagnostic Support

Pill, I. & Wotawa, F., 2020, 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). Institute of Electrical and Electronics Engineers, p. 354-361 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  • Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference

    Wotawa, F., Friedrich, G., Pill, I., Koitz-Hristov, R. & Ali, M., 20 Dec 2019, In : AI Magazine. 2019, 40(4), p. 85-87

    Research output: Contribution to journalLetterResearch

    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

    Activities

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

    Ingo Pill (Member)
    2020

    Activity: MembershipMembership in Programm Committee

    ECAI 2020 - 24th European 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

    1st Annual International Workshop on Software Hardware Interaction Faults (SHIFT) - co-located with the 30th International Symposium on Software Reliability Engineering (ISSRE 2019)

    Ingo Pill (Participant)
    31 Oct 2019

    Activity: Participation in or organisation ofWorkshop, seminar or course (Participation in/Organisation of)

    30th International Symposium on Software Reliability Engineering

    Ingo Pill (Participant)
    28 Oct 201931 Oct 2019

    Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

    Prizes

    AAAI-15 Outstanding Program Committee Member

    Ingo Hans Pill (Recipient), 2015

    Prize: Prizes / Medals / Awards

  • 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) & Thomas Quaritsch (Recipient), 20 Sep 2014

    Prize: Prizes / Medals / Awards

    Projects

    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