Formal analysis of hardware requirements. - Ingo Pill; Simone Semprini; Roberto Cavada; Marco Roveri; Roderick Bloem; Alessandro Cimatti (DAC, 2006)

Symbolic Implementation of Alternating Automata. - Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri; Simone Semprini (CIAA, 2006)

RAT: A Tool for the Formal Analysis of Requirements. - Roderick Bloem; Roberto Cavada; Ingo Pill; Marco Roveri; Andrei Tchaltsev (CAV, 2007)

Symbolic Implementation of Alternating Automata. - Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri (Int. J. Found. Comput. Sci., 2007)

Belief Management for High-Level Robot Programs. - Stephan Gspandl; Ingo Pill; Michael Reip; Gerald Steinbauer; Alexander Ferrein (IJCAI, 2011)

Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. - Ingo Pill; Thomas Quaritsch (ECAI, 2012)

Functional SOA testing based on constraints. - Seema Jehan; Ingo Pill; Franz Wotawa (AST, 2013)

The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics. - Philipp Leitner 001; Stefan Schulte 002; Schahram Dustdar; Ingo Pill; Marco Schulz; Franz Wotawa (PESOS@ICSE, 2013)

SOA Grey Box Testing - A Constraint-Based Approach. - Seema Jehan; Ingo Pill; Franz Wotawa (ICST Workshops, 2013)

Fifty Shades of Grey in SOA Testing. - Franz Wotawa; Marco Schulz; Ingo Pill; Seema Jehan; Philipp Leitner 001; Waldemar Hummer; Stefan Schulte 002; Philipp Hoenisch; Schahram Dustdar (ICST Workshops, 2013)

The Route to Success - A Performance Comparison of Diagnosis Algorithms. - Iulia Nica; Ingo Pill; Thomas Quaritsch; Franz Wotawa (IJCAI, 2013)

Behavioral Diagnosis of LTL Specifications at Operator Level. - Ingo Pill; Thomas Quaritsch (IJCAI, 2013)

Maintaining consistency in a robot's knowledge-base via diagnostic reasoning. - Stephan Gspandl; Ingo Pill; Michael Reip; Gerald Steinbauer (AI Commun., 2013)

On classification and modeling issues in distributed model-based diagnosis. - Franz Wotawa; Ingo Pill (AI Commun., 2013)

Testing Configuration Knowledge-Bases. - Franz Wotawa; Ingo Pill (Configuration Workshop, 2014)

SOA Testing via Random Paths in BPEL Models. - Seema Jehan; Ingo Pill; Franz Wotawa (ICST Workshops, 2014)

BPEL Integration Testing. - Seema Jehan; Ingo Pill; Franz Wotawa (FASE, 2015)

Focused Diagnosis for Failing Software Tests. - Birgit Hofer; Seema Jehan; Ingo Pill; Franz Wotawa (IEA/AIE, 2015)

Analyzing the reduction of test suite redundancy. - Ingo Pill; Seema Jehan; Franz Wotawa; Mihai Nica (ISSRE Workshops, 2015)

RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm. - Ingo Pill; Thomas Quaritsch (ISSRE Workshops, 2015)

Parse tree structure in LTL requirements diagnosis. - Ingo Pill; Thomas Quaritsch; Franz Wotawa (ISSRE Workshops, 2015)

Synthesizing adaptive test strategies from temporal logic specifications. - Roderick Bloem; Robert Könighofer; Ingo Pill; Franz Röck (FMCAD, 2016)

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. - Ingo Pill; Ivan Rubil; Franz Wotawa; Mihai Nica (ICST Workshops, 2016)

An Automated (F) LTL Test Oracle for Testing with Requirements. - Ingo Pill; Franz Wotawa (ISSRE Workshops, 2016)

Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems. - Bernhard Peischl; Ingo Pill; Franz Wotawa (KI, 2016)

Classifying Test Suite Effectiveness via Model Inference and ROBBDs. - Hermann Felbinger; Ingo Pill; Franz Wotawa (TAP@STAF, 2016)

Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. - Ingo Pill; Franz Wotawa (DX, 2017)

A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction. - Hermann Felbinger; Ingo Pill; Franz Wotawa (ICTSS, 2017)

Spectrum-Based Fault Localization for Logic-Based Reasoning. - Ingo Pill; Franz Wotawa (ISSRE Workshops, 2018)

On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation. - Ingo Pill; Franz Wotawa (DX, 2018)

Automated generation of (F)LTL oracles for testing and debugging. - Ingo Pill; Franz Wotawa (J. Syst. Softw., 2018)

Extending Automated FLTL Test Oracles with Diagnostic Support. - Ingo Pill; Franz Wotawa (ISSRE Workshops, 2019)

Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference. - Franz Wotawa; Gerhard Friedrich; Ingo Pill; Roxane Koitz-Hristov; Moonis Ali (AI Mag., 2019)

Synthesizing adaptive test strategies from temporal logic specifications. - Roderick Bloem; Görschwin Fey; Fabian Greif; Robert Könighofer; Ingo Pill; Heinz Riener; Franz Röck (Formal Methods Syst. Des., 2019)

Efficient Model-Based Diagnosis of Sequential Circuits. - Alexander Feldman; Ingo Pill; Franz Wotawa; Ion Matei; Johan de Kleer (AAAI, 2020)

CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems. - Edi Muskardin; Ingo Pill; Franz Wotawa (ISMIS, 2020)

Active Model Learning of Stochastic Reactive Systems. - Martin Tappler; Edi Muskardin; Bernhard K. Aichernig; Ingo Pill (SEFM, 2021)

Learning Finite State Models fromRecurrent Neural Networks. - Edi Muskardin; Bernhard K. Aichernig; Ingo Pill; Martin Tappler (IFM, 2022)

Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis. - Martin Zimmermann 007; Franz Wotawa; Ingo Pill (Adv. Intell. Syst., 2022)

Editorial "special issue on artificial intelligence in practice - from theory to application". - Moonis Ali; Gerhard Friedrich; Ingo Pill; Franz Wotawa (Appl. Intell., 2022)

AALpy: an active automata learning library. - Edi Muskardin; Bernhard K. Aichernig; Ingo Pill; Andrea Pferscher; Martin Tappler (Innov. Syst. Softw. Eng., 2022)

Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. - Edi Muskardin; Martin Tappler; Bernhard K. Aichernig; Ingo Pill (iFM, 2023)

On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth. - Edi Muskardin; Martin Tappler; Ingo Pill; Bernhard K. Aichernig; Thomas Pock (CoRR, 2023)

On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. - Edi Muskardin; Martin Tappler; Ingo Pill; Bernhard K. Aichernig; Thomas Pock (ACL (Findings), 2024)

Challenges for Model-Based Diagnosis. - Ingo Pill; Johan de Kleer (DX, 2024)

Property Learning-Based Fault Detection for Liquid Propellant Rocket Engine Control Systems. - Andrea Urgolo; Ingo Pill; Günther Waxenegger-Wilfing; Manuel Freiberger (DX, 2024)

Extracting Knowledge using Machine Learning for Anomaly Detection and Root-Cause Diagnosis. - Lukas Moddemann; Henrik Sebastian Steude; Alexander Diedrich; Ingo Pill; Oliver Niggemann (ETFA, 2024)

Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis (Dagstuhl Seminar 24031). - Alessandro Cimatti; Ingo Pill; Alexander Diedrich (Dagstuhl Reports, 2024)

Active model learning of stochastic reactive systems (extended version). - Edi Muskardin; Martin Tappler; Bernhard K. Aichernig; Ingo Pill (Softw. Syst. Model., 2024)

Data Driven Diagnosis for Large Cyber-Physical-Systems with Minimal Prior Information. - Henrik Sebastian Steude; Alexander Diedrich; Ingo Pill; Lukas Moddemann; Daniel Vranjes; Oliver Niggemann (CoRR, 2025)