Ingo Pill

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 28

Top Topics

Partial Observability

Fault Injection

Top Venues

ISSRE Workshops

Publications

Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Active model learning of stochastic reactive systems (extended version). Softw. Syst. Model. 23 (2) (2024)
Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. ACL (Findings) (2024)
Alessandro Cimatti, Ingo Pill, Alexander Diedrich
Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis (Dagstuhl Seminar 24031). Dagstuhl Reports 14 (1) (2024)
Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth. CoRR (2023)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. iFM (2023)
Martin Zimmermann, Franz Wotawa, Ingo Pill
Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis. Adv. Intell. Syst. 4 (4) (2022)
Moonis Ali, Gerhard Friedrich, Ingo Pill, Franz Wotawa
Editorial "special issue on artificial intelligence in practice - from theory to application". Appl. Intell. 52 (6) (2022)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
AALpy: an active automata learning library. Innov. Syst. Softw. Eng. 18 (3) (2022)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Reinforcement Learning under Partial Observability Guided by Learned Environment Models. CoRR (2022)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler
Learning Finite State Models fromRecurrent Neural Networks. IFM (2022)
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill
Active Model Learning of Stochastic Reactive Systems. SEFM (2021)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
AALpy: An Active Automata Learning Library. ATVA (2021)
Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer
Efficient Model-Based Diagnosis of Sequential Circuits. AAAI (2020)
Edi Muskardin, Ingo Pill, Franz Wotawa
CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems. ISMIS (2020)
Ingo Pill, Franz Wotawa
Extending Automated FLTL Test Oracles with Diagnostic Support. ISSRE Workshops (2019)
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali
Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference. AI Mag. 40 (4) (2019)
Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods Syst. Des. 55 (2) (2019)
Ingo Pill, Franz Wotawa
Automated generation of (F)LTL oracles for testing and debugging. J. Syst. Softw. 139 (2018)
Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications. CoRR (2018)
Ingo Pill, Franz Wotawa
Spectrum-Based Fault Localization for Logic-Based Reasoning. ISSRE Workshops (2018)
Ingo Pill, Franz Wotawa
On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation. DX (2018)
Hermann Felbinger, Ingo Pill, Franz Wotawa
A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction. ICTSS (2017)
Ingo Pill, Franz Wotawa
Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. DX (2017)
Roderick Bloem, Robert Könighofer, Ingo Pill, Franz Röck
Synthesizing adaptive test strategies from temporal logic specifications. FMCAD (2016)
Ingo Pill, Franz Wotawa
An Automated (F) LTL Test Oracle for Testing with Requirements. ISSRE Workshops (2016)
Ingo Pill, Ivan Rubil, Franz Wotawa, Mihai Nica
SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. ICST Workshops (2016)
Bernhard Peischl, Ingo Pill, Franz Wotawa
Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems. KI (2016)
Hermann Felbinger, Ingo Pill, Franz Wotawa
Classifying Test Suite Effectiveness via Model Inference and ROBBDs. TAP@STAF (2016)
Birgit Hofer, Seema Jehan, Ingo Pill, Franz Wotawa
Focused Diagnosis for Failing Software Tests. IEA/AIE (2015)
Ingo Pill, Seema Jehan, Franz Wotawa, Mihai Nica
Analyzing the reduction of test suite redundancy. ISSRE Workshops (2015)
Ingo Pill, Thomas Quaritsch
RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm. ISSRE Workshops (2015)
Seema Jehan, Ingo Pill, Franz Wotawa
BPEL Integration Testing. FASE (2015)
Ingo Pill, Thomas Quaritsch, Franz Wotawa
Parse tree structure in LTL requirements diagnosis. ISSRE Workshops (2015)
Franz Wotawa, Ingo Pill
Testing Configuration Knowledge-Bases. Configuration Workshop (2014)
Seema Jehan, Ingo Pill, Franz Wotawa
SOA Testing via Random Paths in BPEL Models. ICST Workshops (2014)
Franz Wotawa, Ingo Pill
On classification and modeling issues in distributed model-based diagnosis. AI Commun. 26 (1) (2013)
Philipp Leitner, Stefan Schulte, Schahram Dustdar, Ingo Pill, Marco Schulz, Franz Wotawa
The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics. PESOS@ICSE (2013)
Franz Wotawa, Marco Schulz, Ingo Pill, Seema Jehan, Philipp Leitner, Waldemar Hummer, Stefan Schulte, Philipp Hoenisch, Schahram Dustdar
Fifty Shades of Grey in SOA Testing. ICST Workshops (2013)
Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa
The Route to Success - A Performance Comparison of Diagnosis Algorithms. IJCAI (2013)
Seema Jehan, Ingo Pill, Franz Wotawa
Functional SOA testing based on constraints. AST (2013)
Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer
Maintaining consistency in a robot's knowledge-base via diagnostic reasoning. AI Commun. 26 (1) (2013)
Ingo Pill, Thomas Quaritsch
Behavioral Diagnosis of LTL Specifications at Operator Level. IJCAI (2013)
Seema Jehan, Ingo Pill, Franz Wotawa
SOA Grey Box Testing - A Constraint-Based Approach. ICST Workshops (2013)
Ingo Pill, Thomas Quaritsch
Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. ECAI (2012)
Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein
Belief Management for High-Level Robot Programs. IJCAI (2011)
Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri
Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. 18 (4) (2007)
Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
RAT: A Tool for the Formal Analysis of Requirements. CAV (2007)
Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
Formal analysis of hardware requirements. DAC (2006)
Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini
Symbolic Implementation of Alternating Automata. CIAA (2006)