Ingo Hans Pill

Dipl.-Ing. Dr.techn.

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

Research Output 2003 2019

Filter
Conference contribution
2018

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

Spectrum-Based Fault Localization for Logic-Based Reasoning

Pill, I. & Wotawa, F., 16 Nov 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. Institute of Electrical and Electronics Engineers, p. 192-199 8 p. 8539195

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

Systems analysis
Formal verification
2017

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 contributionResearchpeer-review

Taxonomies
Decision trees
Taxonomy
Fault detection
Decision tree
2016

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 contributionResearchpeer-review

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 contributionResearchpeer-review

Classifying test suite effectiveness via model inference and ROBBDs

Felbinger, H., Pill, I. & Wotawa, F., 2016, Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings. Springer-Verlag Italia, Vol. 9762. p. 76-93 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9762).

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

Boolean functions
Binary decision diagrams
Learning systems
Boolean Functions
Specifications

Minimal hitting set computation via hypothesis exploration

Zanella, M. & Pill, I. P., 2016, 27th International Workshop on Principles of Diagnosis. 6 p.

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

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models

Pill, I., Rubil, I., Wotawa, F. & Nica, M., 1 Aug 2016, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016. Institute of Electrical and Electronics Engineers, p. 168-173 6 p. 7528959

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

Testing
Security systems
Chemical activation
Availability
Industry

Using modelica programs for deriving propositional horn clause abduction problems

Peischl, B., Pill, I. & Wotawa, F., 2016, Advances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings. Springer-Verlag Italia, Vol. 9904 LNAI. p. 185-191 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9904 LNAI).

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

Modelica
Horn clause
Abduction
Fault
Deviation
2015

Analyzing the Reduction of Test Suite Redundancy

Pill, I. H., Jehan, S., Wotawa, F. & Nica, M., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., p. 65-65

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

BPEL Integration Testing

Jehan, S., Pill, I. H. & Wotawa, F., 2015, (Accepted/In press) International Conference on Fundamental Approaches to Software Engineering. .

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

Focussed Diagnosis for Failing Software Tests

Jehan, S., Pill, I. H., Hofer, B. G. & Wotawa, F., 2015, IEA/AIE 2015. ., p. 712-721

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

Parse Tree Structure in LTL Requirements Diagnosis

Pill, I. H., Quaritsch, T. & Wotawa, F., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., p. 100-107

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

RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set Algorithm

Pill, I. H. & Quaritsch, T., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., p. 78-84

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

Testing Diagnostics Components Supervising Functional Safety Requirements

Nica, M., Pill, I. H. & Wotawa, F., 2015, Proceedings of the Annual Conference of the Prognostics and Health Management Society 2015. ., p. 150-157

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

2014

Functional Diagnosis of a SOA's BPEL Processes

Hofer, B. G., Jehan, S., Pill, I. H. & Wotawa, F., 2014, International Workshop on Principles of Diagnosis. ., p. 1-8

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

PyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform, by Thomas Quaritsch and Ingo Pill

Quaritsch, T. & Pill, I. H., 2014, International Workshop on Principles of Diagnosis. ., p. 1-5

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

SOA Testing Via Random Paths in BPEL Models

Jehan, S., Pill, I. H. & Wotawa, F., 2014, IEEE International Conference on Software Testing, Verification and Validation. ., p. 260-263

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

Testing Configuration Knowledge-Bases

Wotawa, F. & Pill, I. H., 2014, Proceedings of the 16th International Configuration Workshop. ., p. 39-46

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

2013

And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set Algorithm

Pill, I. H. & Quaritsch, T., 2013, International Workshop on Principles of Diagnosis. ., p. 210-215

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

Behavioral Diagnosis of LTL Specifications at Operator Level

Pill, I. H. & Quaritsch, T., 2013, International Joint Conference on Artificial Intelligence. ., p. 1053-1059

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

Exploiting Parse Trees in LTL Specification Diagnosis

Pill, I. H. & Quaritsch, T., 2013, International Workshop on Principles of Diagnosis. ., p. 59-64

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

Fifty Shades of Grey in SOA Testing

Jehan, S., Pill, I. H., Wotawa, F., Schulz, M., Philipp Leitner, N. V., Waldemar Hummer, N. V., Stefan Schulte, N. V., Philipp Hoenisch, N. V. & Schahram Dustdar, N. V., 2013, Workshop on Advances in Model Based Testing (A-MOST). ., p. 154-157

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

Functional SOA testing based on constraints

Jehan, S., Pill, I. H. & Wotawa, F., 2013, International Workshop on Automation of Software Test. ., p. 33-39

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

SOA Grey Box Testing - A Constraint-Based Approach

Jehan, S., Pill, I. H. & Wotawa, F., 2013, International Workshop on Constraints in Software Testing Verification and Analysis. ., p. 232-237

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

The Dark Side of SOA Testing -- Towards Testing Contemporary SOAs Based on Criticality Metrics

Leitner, P., Schulte, S., Dustdar, S., Pill, I. H., Schulz, M. & Wotawa, F., 2013, 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS). ., p. 45-53

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

The Route to Success - A Performance Comparison of Diagnosis Algorithms

Nica, I-D., Pill, I. H., Quaritsch, T. & Wotawa, F., 2013, International Joint Conference on Artificial Intelligence. ., p. 1039-1045

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

2012

An LTL SAT Encoding for Behavioral Diagnosis

Pill, I. H. & Quaritsch, T., 2012, Proceedings of the 23rd International Workshop on Principles of Diagnosis. ., p. 67-74

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

Optimizations for the Boolean Approach to Computing Minimal Hitting Sets

Pill, I. H. & Quaritsch, T., 2012, ECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track. Raedt, L. D. (ed.). IOS Press, Vol. 242. p. 648-653 (Frontiers in Artificial Intelligence and Applications).

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

2011

Belief Management for Autonomous Robots using History-Based Diagnosis

Gspandl, S., Pill, I. H., Reip, M. & Steinbauer, G., 2011, (Accepted/In press) International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. .

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

Belief Management for High-Level Robot Programs

Gspandl, S., Pill, I. H., Reip, M., Steinbauer, G. & Ferrein, A., 2011, (Accepted/In press) International Joint Conference on Artificial Intelligence. .

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

From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms

Pill, I. H., Quaritsch, T. & Wotawa, F., 2011, 22nd International Workshop on Principles of Diagnosis. ., p. 203-210

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

2010

On Classification and Modeling Issues in Distributed Model‐based Diagnosis

Wotawa, F. & Pill, I. H., 2010, Proceedings of the ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET). ., p. 27-32

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

2009

A Practical Approach for the Online Diagnosis of Industrial Transportation Systems

Pill, I. H., Steinbauer, G. & Wotawa, F., 2009, IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes. ., p. 1318-1323

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

2007

RAT: A Tool for the Formal Analysis of Requirements

Bloem, R. P., Cavada, R., Pill, I. H., Roveri, M. & Tchaltsev, A., 2007, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings. Berlin / Heidelberg: Springer, Vol. 4590. p. 263-267 (Lecture Notes in Computer Science).

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

2006

Formal analysis of hardware requirements

Pill, I. H., Bloem, R. P., Semprini, S., Roveri, M., Cimatti, A. & Cavada, R., 2006, Design Automation Conference. Association of Computing Machinery, p. 821-826

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

Rat: A tool for formal analysis of requirements

Pill, I. H., Bloem, R. P., Cimatti, A., Roveri, M., Semprini, S. & Tchaltsev, A., 2006, European Conference on Artificial Intelligence. ., p. ?-?

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

Symbolic implementation of alternating automata

Pill, I. H., Bloem, R. P., Cimatti, A., Roveri, M. & Semprini, S., 2006, Implementation and application of automata. Berlin [u.a.]: Springer, p. 208-218

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

2003

Systemverifikation im Designprozess heterogener mikroelektrischer Systeme

Pistauer, M., Steger, C., Kajtazovic, S. & Pill, I. H., 2003, ANALOG 2003'. Berlin [u.a.]: VDE Verlag GmbH, Vol. 177. p. 43-44 (ITG-Fachbericht).

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