| 2025 | DX | The DX Competition 2025 and Its Benchmarks (DX Competition). | Ingo Pill, Daniel Jung, Eldin Kurudzija, Anna Sztyber-Betley, Michal Syfert, Kai Dresia, Gnther Waxenegger-Wilfing, Johan de Kleer |
| 2025 | DX | Assessing Diagnosis Algorithms: Of Sampling, Baselines, Metrics and Oracles. | Ingo Pill, Johan de Kleer |
| 2024 | ACL | On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. | Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock |
| 2024 | DX | Challenges for Model-Based Diagnosis. | Ingo Pill, Johan de Kleer |
| 2024 | DX | Property Learning-Based Fault Detection for Liquid Propellant Rocket Engine Control Systems. | Andrea Urgolo, Ingo Pill, Gnther Waxenegger-Wilfing, Manuel Freiberger |
| 2024 | ETFA | Extracting Knowledge using Machine Learning for Anomaly Detection and Root-Cause Diagnosis. | Lukas Moddemann, Henrik Sebastian Steude, Alexander Diedrich, Ingo Pill, Oliver Niggemann |
| 2023 | IFM | Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. | Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill |
| 2022 | IFM | Learning Finite State Models fromRecurrent Neural Networks. | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler |
| 2021 | ATVA | AALpy: An Active Automata Learning Library. | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler |
| 2021 | SEFM | Active Model Learning of Stochastic Reactive Systems. | Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill |
| 2020 | AAAI | Efficient Model-Based Diagnosis of Sequential Circuits. | Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer |
| 2020 | ISMIS | CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems. | Edi Muskardin, Ingo Pill, Franz Wotawa |
| 2019 | ISSRE | Extending Automated FLTL Test Oracles with Diagnostic Support. | Ingo Pill, Franz Wotawa |
| 2018 | ISSRE | Spectrum-Based Fault Localization for Logic-Based Reasoning. | Ingo Pill, Franz Wotawa |
| 2018 | SAFEProcess | On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation. | Ingo Pill, Franz Wotawa |
| 2017 | DX | Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. | Ingo Pill, Franz Wotawa |
| 2016 | FMCAD | Synthesizing adaptive test strategies from temporal logic specifications. | Roderick Bloem, Robert Knighofer, Ingo Pill, Franz Rck |
| 2016 | ICST | SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. | Ingo Pill, Ivan Rubil, Franz Wotawa, Mihai Nica |
| 2016 | ISSRE | An Automated (F) LTL Test Oracle for Testing with Requirements. | Ingo Pill, Franz Wotawa |
| 2016 | KI | Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems. | Bernhard Peischl, Ingo Pill, Franz Wotawa |
| 2016 | TAP | Classifying Test Suite Effectiveness via Model Inference and ROBBDs. | Hermann Felbinger, Ingo Pill, Franz Wotawa |
| 2015 | FASE | BPEL Integration Testing. | Seema Jehan, Ingo Pill, Franz Wotawa |
| 2015 | ISSRE | Analyzing the reduction of test suite redundancy. | Ingo Pill, Seema Jehan, Franz Wotawa, Mihai Nica |
| 2015 | ISSRE | RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm. | Ingo Pill, Thomas Quaritsch |
| 2015 | ISSRE | Parse tree structure in LTL requirements diagnosis. | Ingo Pill, Thomas Quaritsch, Franz Wotawa |
| 2014 | ICST | SOA Testing via Random Paths in BPEL Models. | Seema Jehan, Ingo Pill, Franz Wotawa |
| 2013 | IJCAI | The Route to Success - A Performance Comparison of Diagnosis Algorithms. | Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa |
| 2013 | IJCAI | Behavioral Diagnosis of LTL Specifications at Operator Level. | Ingo Pill, Thomas Quaritsch |
| 2013 | ICSE | Functional SOA testing based on constraints. | Seema Jehan, Ingo Pill, Franz Wotawa |
| 2013 | ICSE | The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics. | Philipp Leitner, Stefan Schulte, Schahram Dustdar, Ingo Pill, Marco Schulz, Franz Wotawa |
| 2013 | ICST | SOA Grey Box Testing - A Constraint-Based Approach. | Seema Jehan, Ingo Pill, Franz Wotawa |
| 2013 | ICST | Fifty Shades of Grey in SOA Testing. | Franz Wotawa, Marco Schulz, Ingo Pill, Seema Jehan, Philipp Leitner, Waldemar Hummer, Stefan Schulte, Philipp Hoenisch, Schahram Dustdar |
| 2012 | ECAI | Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. | Ingo Pill, Thomas Quaritsch |
| 2011 | IJCAI | Belief Management for High-Level Robot Programs. | Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein |
| 2007 | CAV | RAT: A Tool for the Formal Analysis of Requirements. | Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev |
| 2006 | DAC | Formal analysis of hardware requirements. | Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti |