Ingo Pill

Thomas Pock

CoRR, 2023

Reinforcement Learning Under Partial Observability Guided by Learned Environment Models.

[BibT_eX]

[DOI]

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

AALpy: an active automata learning library.

[BibT_eX]

[DOI]

Andrea Pferscher

Innov. Syst. Softw. Eng., 2022

Editorial "special issue on artificial intelligence in practice - from theory to application".

[BibT_eX]

[DOI]

Appl. Intell., 2022

Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis.

[BibT_eX]

[DOI]

Martin Zimmermann

Adv. Intell. Syst., 2022

Learning Finite State Models fromRecurrent Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Active Model Learning of Stochastic Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2020

CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020

Efficient Model-Based Diagnosis of Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Synthesizing adaptive test strategies from temporal logic specifications.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference.

[BibT_eX]

[DOI]

AI Mag., 2019

Extending Automated FLTL Test Oracles with Diagnostic Support.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2018

Automated generation of (F)LTL oracles for testing and debugging.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018

Spectrum-Based Fault Localization for Logic-Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2017

A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction.

[BibT_eX]

[DOI]

Hermann Felbinger

Proceedings of the Testing Software and Systems, 2017

Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

2016

Classifying Test Suite Effectiveness via Model Inference and ROBBDs.

[BibT_eX]

[DOI]

Hermann Felbinger

Proceedings of the Tests and Proofs - 10th International Conference, 2016

Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems.

[BibT_eX]

[DOI]

Bernhard Peischl

Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

An Automated (F) LTL Test Oracle for Testing with Requirements.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Synthesizing adaptive test strategies from temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Parse tree structure in LTL requirements diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Analyzing the reduction of test suite redundancy.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Focused Diagnosis for Failing Software Tests.

[BibT_eX]

[DOI]

Proceedings of the Current Approaches in Applied Artificial Intelligence, 2015

BPEL Integration Testing.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

SOA Testing via Random Paths in BPEL Models.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Testing Configuration Knowledge-Bases.

[BibT_eX]

[DOI]

Proceedings of the 16th International Configuration Workshop, 2014

2013

On classification and modeling issues in distributed model-based diagnosis.

[BibT_eX]

[DOI]

AI Commun., 2013

Maintaining consistency in a robot's knowledge-base via diagnostic reasoning.

[BibT_eX]

[DOI]

AI Commun., 2013

Behavioral Diagnosis of LTL Specifications at Operator Level.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

The Route to Success - A Performance Comparison of Diagnosis Algorithms.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Fifty Shades of Grey in SOA Testing.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

SOA Grey Box Testing - A Constraint-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics.

[BibT_eX]

[DOI]

Proceedings of the 5th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2013

Functional SOA testing based on constraints.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

2012

Optimizations for the Boolean Approach to Computing Minimal Hitting Sets.

[BibT_eX]

[DOI]