Ingo Hans Pill

Dipl.-Ing. Dr.techn.

20002018
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint Tauchen Sie ein in die Recherchenthemengebiete, in denen Ingo Hans Pill aktiv ist. Diese Themengebiet-Etiketten stammen von den Werken dieser Person. Gemeinsam bilden sie einen einzigartigen Fingerabdruck.

  • 5 Ähnliche Profile
Modelica Mathematik
Horn clause Mathematik
Abduction Mathematik
Temporal logic Ingenieurwesen & Materialwissenschaft
Boolean functions Ingenieurwesen & Materialwissenschaft
Taxonomies Ingenieurwesen & Materialwissenschaft
Decision trees Ingenieurwesen & Materialwissenschaft
Taxonomy Mathematik

Netzwerk Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.

Forschungsoutput 2003 2018

28th International Workshop on Principles of Diagnosis (DX'17)

Zanella, M. (Hrsg.), Pill, I. (Hrsg.) & Cimatti, A. (Hrsg.), 6 Jan 2018, EasyChair Ltd. 312 S. (Kalpa Publications in Computing; Band 4)

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)ForschungBegutachtung

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, S. 124-141

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Fault detection and localization using modelica and abductive reasoning

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschungBegutachtung

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, S. 248-263 16 S. (Kalpa Publications in Computing; Band 4).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access

Aktivitäten 2006 2018

The 29th IEEE International Symposium on Software Reliability Engineering

Ingo Pill Pill (Teilnehmer/-in)
15 Okt 201818 Okt 2018

Aktivität: Teilnahme an / Organisation vonKonferenz oder Fachtagung (Teilnahme an/Organisation von)

AAAI-18 (Ereignis)

Ingo Pill (Mitglied)
2018

Aktivität: MitgliedschaftMitgliedschaft in Forschungsnetzwerk oder Expertengruppe

28th International Workshop on Principles of Diagnosis (Ereignis)

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

Aktivität: Peer review oder HerausgebertätigkeitHerausgebertätigkeit

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

Ingo Pill (Mitglied)
2018 → …

Aktivität: MitgliedschaftMitgliedschaft in Programmkomitee

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

Ingo Pill (Redner/in)
15 Okt 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Preise

AAAI-15 Outstanding Program Committee Member

Ingo Hans Pill (Empfänger/-in), 2015

Auszeichnung: Preise / Medaillen / Ehrungen

Committee Membership

AAAI-15 Outstanding Program Committee Member Award

Ingo Hans Pill (Empfänger/-in), 2015

Auszeichnung: Preise / Medaillen / Ehrungen

AAAI-17 Outstanding Program Committee Member Award

Ingo Hans Pill (Empfänger/-in), 2017

Auszeichnung: Preise / Medaillen / Ehrungen

AAAI-18 Outstanding Program Committee Member Award

Ingo Hans Pill (Empfänger/-in), 2018

Auszeichnung: Preise / Medaillen / Ehrungen

Best Tool Paper Award

Ingo Hans Pill (Empfänger/-in) & Thomas Quaritsch (Empfänger/-in), 20 Sep 2014

Auszeichnung: Preise / Medaillen / Ehrungen

Projekte 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

Projekt: Foschungsprojekt