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.

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

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

A “strength of decision tree equivalence”-taxonomy and its impact on test suite reduction

Felbinger, H., Pill, I. & Wotawa, F. 2017 Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings. Springer Verlag, Vol. 10533 LNCS, p. 197-212 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10533 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Taxonomies
Decision trees
Taxonomy
Fault detection
Decision tree

Abductive Diagnosis based on Modelica Models

Peischl, B. J., Pill, I. P. & Wotawa, F. 2016 27th International Workshop on Principles of Diagnosis. 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An Automated (F) LTL Test Oracle for Testing with Requirements

Pill, I. & Wotawa, F. 2016 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW. Institute of Electrical and Electronics Engineers, p. 197-204 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Activities 2006 2018

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

AAAI-18 (Event)

Pill, I. H. (Member)
2018

Activity: Membership of research network or expert group

28th International Workshop on Principles of Diagnosis

Pill, I. H. (Participant)
26 Sep 201729 Sep 2017

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

28th International Workshop on Principles of Diagnosis

Pill, I. H. (Organiser), Alessandro Cimatti (Organiser), Marina Zanella (Organiser)
2017

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

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

Best Tool Paper Award

Ingo Hans Pill (Recipient), 2014

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

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