default search action
Ingo Pill
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill:
Active model learning of stochastic reactive systems (extended version). Softw. Syst. Model. 23(2): 503-524 (2024) - [c35]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: 5641-5658 - [i4]Alessandro Cimatti, Ingo Pill, Alexander Diedrich:
Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis (Dagstuhl Seminar 24031). Dagstuhl Reports 14(1): 25-48 (2024) - 2023
- [c34]Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill:
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. iFM 2023: 257-276 - [i3]Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock:
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth. CoRR abs/2306.16854 (2023) - 2022
- [j9]Martin Zimmermann, Franz Wotawa, Ingo Pill:
Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis. Adv. Intell. Syst. 4(4) (2022) - [j8]Moonis Ali, Gerhard Friedrich, Ingo Pill, Franz Wotawa:
Editorial "special issue on artificial intelligence in practice - from theory to application". Appl. Intell. 52(6): 6915-6916 (2022) - [j7]Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler:
AALpy: an active automata learning library. Innov. Syst. Softw. Eng. 18(3): 417-426 (2022) - [c33]Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler:
Learning Finite State Models fromRecurrent Neural Networks. IFM 2022: 229-248 - [i2]Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill:
Reinforcement Learning under Partial Observability Guided by Learned Environment Models. CoRR abs/2206.11708 (2022) - 2021
- [c32]Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler:
AALpy: An Active Automata Learning Library. ATVA 2021: 67-73 - [c31]Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill:
Active Model Learning of Stochastic Reactive Systems. SEFM 2021: 481-500 - 2020
- [c30]Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer:
Efficient Model-Based Diagnosis of Sequential Circuits. AAAI 2020: 2814-2821 - [c29]Edi Muskardin, Ingo Pill, Franz Wotawa:
CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems. ISMIS 2020: 267-276
2010 – 2019
- 2019
- [j6]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): 85-87 (2019) - [j5]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): 103-135 (2019) - [c28]Ingo Pill, Franz Wotawa:
Extending Automated FLTL Test Oracles with Diagnostic Support. ISSRE Workshops 2019: 354-361 - [e2]Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali:
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. Lecture Notes in Computer Science 11606, Springer 2019, ISBN 978-3-030-22998-6 [contents] - 2018
- [j4]Ingo Pill, Franz Wotawa:
Automated generation of (F)LTL oracles for testing and debugging. J. Syst. Softw. 139: 124-141 (2018) - [c27]Ingo Pill, Franz Wotawa:
Spectrum-Based Fault Localization for Logic-Based Reasoning. ISSRE Workshops 2018: 192-199 - [c26]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 - [i1]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 abs/1809.01607 (2018) - 2017
- [c25]Ingo Pill, Franz Wotawa:
Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. DX 2017: 248-263 - [c24]Hermann Felbinger, Ingo Pill, Franz Wotawa:
A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction. ICTSS 2017: 197-212 - [e1]Marina Zanella, Ingo Pill, Alessandro Cimatti:
28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017. Kalpa Publications in Computing 4, EasyChair 2017 [contents] - 2016
- [c23]Roderick Bloem, Robert Könighofer, Ingo Pill, Franz Röck:
Synthesizing adaptive test strategies from temporal logic specifications. FMCAD 2016: 17-24 - [c22]Ingo Pill, Ivan Rubil, Franz Wotawa, Mihai Nica:
SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. ICST Workshops 2016: 168-173 - [c21]Ingo Pill, Franz Wotawa:
An Automated (F) LTL Test Oracle for Testing with Requirements. ISSRE Workshops 2016: 197-204 - [c20]Bernhard Peischl, Ingo Pill, Franz Wotawa:
Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems. KI 2016: 185-191 - [c19]Hermann Felbinger, Ingo Pill, Franz Wotawa:
Classifying Test Suite Effectiveness via Model Inference and ROBBDs. TAP@STAF 2016: 76-93 - 2015
- [c18]Seema Jehan, Ingo Pill, Franz Wotawa:
BPEL Integration Testing. FASE 2015: 69-83 - [c17]Birgit Hofer, Seema Jehan, Ingo Pill, Franz Wotawa:
Focused Diagnosis for Failing Software Tests. IEA/AIE 2015: 712-721 - [c16]Ingo Pill, Seema Jehan, Franz Wotawa, Mihai Nica:
Analyzing the reduction of test suite redundancy. ISSRE Workshops 2015: 65 - [c15]Ingo Pill, Thomas Quaritsch:
RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm. ISSRE Workshops 2015: 78-84 - [c14]Ingo Pill, Thomas Quaritsch, Franz Wotawa:
Parse tree structure in LTL requirements diagnosis. ISSRE Workshops 2015: 100-107 - 2014
- [c13]Franz Wotawa, Ingo Pill:
Testing Configuration Knowledge-Bases. Configuration Workshop 2014: 39-46 - [c12]Seema Jehan, Ingo Pill, Franz Wotawa:
SOA Testing via Random Paths in BPEL Models. ICST Workshops 2014: 260-263 - 2013
- [j3]Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer:
Maintaining consistency in a robot's knowledge-base via diagnostic reasoning. AI Commun. 26(1): 29-38 (2013) - [j2]Franz Wotawa, Ingo Pill:
On classification and modeling issues in distributed model-based diagnosis. AI Commun. 26(1): 133-143 (2013) - [c11]Seema Jehan, Ingo Pill, Franz Wotawa:
Functional SOA testing based on constraints. AST 2013: 33-39 - [c10]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: 45-53 - [c9]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: 154-157 - [c8]Seema Jehan, Ingo Pill, Franz Wotawa:
SOA Grey Box Testing - A Constraint-Based Approach. ICST Workshops 2013: 232-237 - [c7]Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa:
The Route to Success - A Performance Comparison of Diagnosis Algorithms. IJCAI 2013: 1039-1045 - [c6]Ingo Pill, Thomas Quaritsch:
Behavioral Diagnosis of LTL Specifications at Operator Level. IJCAI 2013: 1053-1059 - 2012
- [c5]Ingo Pill, Thomas Quaritsch:
Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. ECAI 2012: 648-653 - 2011
- [c4]Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein:
Belief Management for High-Level Robot Programs. IJCAI 2011: 900-905
2000 – 2009
- 2007
- [j1]Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri:
Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. 18(4): 727-743 (2007) - [c3]Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev:
RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267 - 2006
- [c2]Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti:
Formal analysis of hardware requirements. DAC 2006: 821-826 - [c1]Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini:
Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-26 01:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint