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

  • 2 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/ReportAnthology

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 journalArticle

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 proceedingChapter

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 contribution

Open Access

Activities 2006 2018

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

Pill, I. H. (Participant)
2018 → …

Activity: Conference or symposium (Participation in/Organisation of)

Spectrum-based fault localization for logic-based reasoning

Pill, I. H. (Speaker)
15 Oct 2018

Activity: Science to scienceTalk at workshop, seminar or course

AAAI-18 (Event)

Pill, I. H. (Member)
2018

Activity: Membership of research network or expert group

28th International Workshop on Principles of Diagnosis (Event)

Marina Zanella (Guest editor), Pill, I. H. (Guest editor), Alessandro Cimatti (Guest editor)
6 Jan 2018

Activity: Editorial activity

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

Artificial Intelligence & Applications

Pill, I. H., Wotawa, F. & Haase, V.

16/11/00 → …

Project: Research areaResearch Area

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