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.

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

28th International Joint Conference on Artificial Intelligence (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 Workshop on Principles of Diagnosis, DX 2019

Ingo Pill (Participant)
10 Nov 201913 Nov 2019

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

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

Ingo Pill (Member)
2019

Activity: MembershipMembership in Programm Committee

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)

32nd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems

Ingo Pill (Organiser), Franz Wotawa (Chair), Roxane Koitz-Hristov (Organiser), Gerhard Friedrich (Chair), Moonis Ali (Chair)
2019

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

9th Intl. Workshop on Debugging and Repair (IDEAR)

Ingo Pill (Participant)
29 Oct 2019

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

3rd International Workshop on Software Faults (IWSF 2019)- colocated with 30th International Symposium on Software Reliability Engineering (ISSRE)

Ingo Pill (Participant)
30 Oct 2019

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

Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning

Ingo Pill (Speaker)
12 Nov 2019

Activity: Talk or presentationTalk at conference or symposiumScience to science

Efficient Model-Based Diagnosis of Sequential Circuits

Ingo Pill (Speaker)
11 Nov 2019

Activity: Talk or presentationTalk at conference or symposiumScience to science

Extending Automated FLTL Test Oracles with Diagnostic Support

Ingo Pill (Speaker)
29 Oct 2019

Activity: Talk or presentationTalk at conference or symposiumScience to science

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

Ingo Pill (Member)
2018 → …

Activity: MembershipMembership in Programm Committee

AAAI-18 (Event)

Ingo Pill (Member)
2018

Activity: MembershipMembership of research network or expert group

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)

The 29th IEEE International Symposium on Software Reliability Engineering

Ingo Pill (Participant)
15 Oct 201818 Oct 2018

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

Panel member for the IDEAR panel discussion "From Debugging to Repair: Challenges and Research Directions"

Ingo Pill (Speaker)
15 Oct 2018

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

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

28th International Workshop on Principles of Diagnosis (Event)

Marina Zanella (Guest editor), Ingo Pill (Guest editor), Alessandro Cimatti (Guest editor)
6 Jan 2018

Activity: Publication peer-review or editorial workEditorial activity

AAAI-17 (Event)

Ingo Pill (Member)
2017

Activity: MembershipMembership of research network or expert group

28th International Workshop on Principles of Diagnosis

Ingo Pill (Participant)
26 Sep 201729 Sep 2017

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

28th International Workshop on Principles of Diagnosis

Ingo Pill (Organiser), Alessandro Cimatti (Organiser), Marina Zanella (Organiser)
2017

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

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

Ingo Pill (Speaker)
26 Sep 2017

Activity: Talk or presentationTalk at conference or symposiumScience to science

International Conference on Testing Software and Systems (Event)

Ingo Hans Pill (Member)
2016

Activity: MembershipMembership of research network or expert group

27th International Workshop on Principles of Diagnosis

Ingo Hans Pill (Speaker)
2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

39th German Conference on Artificial Intelligence, KI 2016

Ingo Hans Pill (Participant)
2016

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

7th IEEE International Workshop on Program Debugging

Ingo Hans Pill (Speaker)
2016

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

Annual Conference of the Prognostics and Health Management Society 2016

Ingo Hans Pill (Speaker)
2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

22nd European Conference on Artificial Intelligence (Event)

Ingo Hans Pill (Member)
2016

Activity: MembershipMembership of research network or expert group

10th International Conference on Tests and Proofs, TAP 2016 and Held as Part of Software Technologies: Applications and Foundations, STAF 2016

Ingo Hans Pill (Participant)
2016 → …

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

Diagnosing LTL Specifications

Ingo Hans Pill (Speaker)
17 Mar 2016

Activity: Talk or presentationInvited talkScience to science

27th International Workshop on Principles of Diagnosis (Event)

Ingo Hans Pill (Member)
2016

Activity: MembershipMembership of research network or expert group

2nd IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 (Event)

Ingo Hans Pill (Member)
2016

Activity: MembershipMembership of research network or expert group

International Symposium on Software Reliability Engineering

Ingo Hans Pill (Speaker)
2 Nov 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

AAAI-15 (Event)

Ingo Hans Pill (Member)
2015

Activity: MembershipMembership of research network or expert group

1st Formal Methods in SW Engineering Education and Training Workshop (Event)

Ingo Hans Pill (Member)
2015

Activity: MembershipMembership of research network or expert group

27th International Workshop on Principles of Diagnosis (Event)

Ingo Hans Pill (Member)
2015

Activity: MembershipMembership of research network or expert group

4th Workshop on Synthesis (SYNT 2015, colocated with CAV) (Event)

Ingo Hans Pill (Member)
2015

Activity: MembershipMembership of research network or expert group

International Symposium on Software Reliability Engineering

Ingo Hans Pill (Speaker)
2 Nov 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

International Symposium on Software Reliability Engineering

Ingo Hans Pill (Speaker)
2 Nov 20155 Nov 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

Annual Conference of the Prognostics and Health Management Society

Ingo Hans Pill (Speaker)
18 Oct 201522 Oct 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

2015 ISSRE Doctoral Symposium (Event)

Ingo Hans Pill (Member)
2015

Activity: MembershipMembership of research network or expert group

25th International Workshop on Principles of Diagnosis

Ingo Hans Pill (Speaker)
9 Sep 2014

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

25th International Workshop on Principles of Diagnosis (Event)

Ingo Hans Pill (Member)
2014

Activity: MembershipMembership of research network or expert group

25th International Workshop on Principles of Diagnosis

Ingo Hans Pill (Organiser), Franz Wotawa (Organiser)
8 Sep 201411 Sep 2014

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

Workshop on Configuration

Ingo Hans Pill (Speaker)
25 Sep 2014

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