Ingo Pill - RankMe

59 papers A* 6A 1B 6C 14Misc 1Journal 15Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	C	`ed.`	36th International Conference on Principles of Diagnosis and Resilient Systems, DX 2025, Nashville, TN, USA, September 22-24, 2025 DX Marcos Quiñones-Grueiro, Gautam Biswas, Ingo Pill
2025	C	`conf`	Assessing Diagnosis Algorithms: Of Sampling, Baselines, Metrics and Oracles. DX Ingo Pill, Johan de Kleer
2025	J	`jnl`	Data Driven Diagnosis for Large Cyber-Physical-Systems with Minimal Prior Information. CoRR Henrik Sebastian Steude, Alexander Diedrich, Ingo Pill, Lukas Moddemann, Daniel Vranjes, Oliver Niggemann
2025	C	`conf`	The DX Competition 2025 and Its Benchmarks (DX Competition). DX Ingo Pill, Daniel Jung, Eldin Kurudzija, Anna Sztyber-Betley, Michal Syfert, Kai Dresia, Günther Waxenegger-Wilfing, Johan de Kleer
2024	C	`ed.`	35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024, Vienna, Austria, November 4-7, 2024 DX Ingo Pill, Avraham Natan, Franz Wotawa
2024	J	`jnl`	Active model learning of stochastic reactive systems (extended version). Softw. Syst. Model. Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
2024	C	`conf`	Challenges for Model-Based Diagnosis. DX Ingo Pill, Johan de Kleer
2024	C	`conf`	Extracting Knowledge using Machine Learning for Anomaly Detection and Root-Cause Diagnosis. ETFA Lukas Moddemann, Henrik Sebastian Steude, Alexander Diedrich, Ingo Pill, Oliver Niggemann
2024	J	`jnl`	Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis (Dagstuhl Seminar 24031). Dagstuhl Reports Alessandro Cimatti, Ingo Pill, Alexander Diedrich
2024	—	`conf`	On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. ACL (Findings) Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
2024	C	`conf`	Property Learning-Based Fault Detection for Liquid Propellant Rocket Engine Control Systems. DX Andrea Urgolo, Ingo Pill, Günther Waxenegger-Wilfing, Manuel Freiberger
2023	J	`jnl`	On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth. CoRR Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
2023	B	`conf`	Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. iFM Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
2022	J	`jnl`	AALpy: an active automata learning library. Innov. Syst. Softw. Eng. Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
2022	J	`jnl`	Editorial "special issue on artificial intelligence in practice - from theory to application". Appl. Intell. Moonis Ali, Gerhard Friedrich, Ingo Pill, Franz Wotawa
2022	B	`conf`	Learning Finite State Models fromRecurrent Neural Networks. IFM Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler
2022	J	`jnl`	Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis. Adv. Intell. Syst. Martin Zimmermann, Franz Wotawa, Ingo Pill
2022	J	`jnl`	Reinforcement Learning under Partial Observability Guided by Learned Environment Models. CoRR Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
2021	B	`conf`	AALpy: An Active Automata Learning Library. ATVA Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
2021	B	`conf`	Active Model Learning of Stochastic Reactive Systems. SEFM Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill
2020	C	`conf`	CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems. ISMIS Edi Muskardin, Ingo Pill, Franz Wotawa
2020	A*	`conf`	Efficient Model-Based Diagnosis of Sequential Circuits. AAAI Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer
2019	C	`ed.`	Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019, Proceedings IEA/AIE Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali
2019	J	`jnl`	Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference. AI Mag. Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali
2019	—	`conf`	Extending Automated FLTL Test Oracles with Diagnostic Support. ISSRE Workshops Ingo Pill, Franz Wotawa
2019	J	`jnl`	Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods Syst. Des. Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
2018	J	`jnl`	Automated generation of (F)LTL oracles for testing and debugging. J. Syst. Softw. Ingo Pill, Franz Wotawa
2018	—	`conf`	On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation. DX Ingo Pill, Franz Wotawa
2018	—	`conf`	Spectrum-Based Fault Localization for Logic-Based Reasoning. ISSRE Workshops Ingo Pill, Franz Wotawa
2018	J	`jnl`	Synthesizing Adaptive Test Strategies from Temporal Logic Specifications. CoRR Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
2017	C	`ed.`	28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017 DX Marina Zanella, Ingo Pill, Alessandro Cimatti
2017	C	`conf`	A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction. ICTSS Hermann Felbinger, Ingo Pill, Franz Wotawa
2017	C	`conf`	Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. DX Ingo Pill, Franz Wotawa
2016	—	`conf`	An Automated (F) LTL Test Oracle for Testing with Requirements. ISSRE Workshops Ingo Pill, Franz Wotawa
2016	—	`conf`	Classifying Test Suite Effectiveness via Model Inference and ROBBDs. TAP@STAF Hermann Felbinger, Ingo Pill, Franz Wotawa
2016	—	`conf`	SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. ICST Workshops Ingo Pill, Ivan Rubil, Franz Wotawa, Mihai Nica
2016	B	`conf`	Synthesizing adaptive test strategies from temporal logic specifications. FMCAD Roderick Bloem, Robert Könighofer, Ingo Pill, Franz Röck
2016	Misc	`conf`	Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems. KI Bernhard Peischl, Ingo Pill, Franz Wotawa
2015	—	`conf`	Analyzing the reduction of test suite redundancy. ISSRE Workshops Ingo Pill, Seema Jehan, Franz Wotawa, Mihai Nica
2015	B	`conf`	BPEL Integration Testing. FASE Seema Jehan, Ingo Pill, Franz Wotawa
2015	C	`conf`	Focused Diagnosis for Failing Software Tests. IEA/AIE Birgit Hofer, Seema Jehan, Ingo Pill, Franz Wotawa
2015	—	`conf`	Parse tree structure in LTL requirements diagnosis. ISSRE Workshops Ingo Pill, Thomas Quaritsch, Franz Wotawa
2015	—	`conf`	RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm. ISSRE Workshops Ingo Pill, Thomas Quaritsch
2014	—	`conf`	SOA Testing via Random Paths in BPEL Models. ICST Workshops Seema Jehan, Ingo Pill, Franz Wotawa
2014	—	`conf`	Testing Configuration Knowledge-Bases. Configuration Workshop Franz Wotawa, Ingo Pill
2013	A*	`conf`	Behavioral Diagnosis of LTL Specifications at Operator Level. IJCAI Ingo Pill, Thomas Quaritsch
2013	—	`conf`	Fifty Shades of Grey in SOA Testing. ICST Workshops Franz Wotawa, Marco Schulz, Ingo Pill, Seema Jehan, Philipp Leitner, Waldemar Hummer, Stefan Schulte, Philipp Hoenisch, Schahram Dustdar
2013	—	`conf`	Functional SOA testing based on constraints. AST@ICSE Seema Jehan, Ingo Pill, Franz Wotawa
2013	J	`jnl`	Maintaining consistency in a robot's knowledge-base via diagnostic reasoning. AI Commun. Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer
2013	J	`jnl`	On classification and modeling issues in distributed model-based diagnosis. AI Commun. Franz Wotawa, Ingo Pill
2013	—	`conf`	SOA Grey Box Testing - A Constraint-Based Approach. ICST Workshops Seema Jehan, Ingo Pill, Franz Wotawa
2013	A*	`conf`	The Route to Success - A Performance Comparison of Diagnosis Algorithms. IJCAI Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa
2013	—	`conf`	The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics. PESOS@ICSE Philipp Leitner, Stefan Schulte, Schahram Dustdar, Ingo Pill, Marco Schulz, Franz Wotawa
2012	A	`conf`	Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. ECAI Ingo Pill, Thomas Quaritsch
2011	A*	`conf`	Belief Management for High-Level Robot Programs. IJCAI Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein
2007	A*	`conf`	RAT: A Tool for the Formal Analysis of Requirements. CAV Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
2007	J	`jnl`	Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri
2006	A*	`conf`	Formal analysis of hardware requirements. DAC Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
2006	C	`conf`	Symbolic Implementation of Alternating Automata. CIAA Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini