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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 4 Similar Profiles
Committee Membership Medicine & Life Sciences
Modelica Mathematics
Horn clause Mathematics
Abduction Mathematics
Temporal logic Engineering & Materials Science
Boolean functions Engineering & Materials Science
Taxonomies 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 2018

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

Fault detection and localization using modelica and abductive reasoning

Pill, I. & Wotawa, F., 8 Mar 2018, Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems. Springer International Publishing AG , p. 45-72 28 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model

Pill, I. & Wotawa, F., 6 Jan 2018, 28th International Workshop on Principles of Diagnosis (DX'17). EasyChair Ltd, p. 248-263 16 p. (Kalpa Publications in Computing; vol. 4).

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

Open Access

Activities 2006 2018

31st International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems

Ingo Pill (Participant)
2018 → …

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

Spectrum-based fault localization for logic-based reasoning

Ingo Pill (Speaker)
15 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

29th International Workshop on Principles of Diagnosis, DX 2018 (Event)

Ingo Pill (Member)
2018 → …

Activity: MembershipMembership in Programm Committee

27th Internaltional Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (Event)

Ingo Pill (Member)
2018

Activity: MembershipMembership of research network or expert group

AAAI-18 (Event)

Ingo Pill (Member)
2018

Activity: MembershipMembership of research network or expert group

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