2024
Active model learning of stochastic reactive systems (extended version).
Softw. Syst. Model., April, 2024
Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis (Dagstuhl Seminar 24031).
Dagstuhl Reports, 2024
Extracting Knowledge using Machine Learning for Anomaly Detection and Root-Cause Diagnosis.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
Property Learning-Based Fault Detection for Liquid Propellant Rocket Engine Control Systems.
Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 2024
Challenges for Model-Based Diagnosis.
Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 2024
On the Relationship Between RNN Hidden-State Vectors and Semantic Structures.
Proceedings of the Findings of the Association for Computational Linguistics, 2024
2023
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth.
CoRR, 2023
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models.
Proceedings of the iFM 2023 - 18th International Conference, 2023
2022
AALpy: an active automata learning library.
Innov. Syst. Softw. Eng., 2022
Editorial "special issue on artificial intelligence in practice - from theory to application".
Appl. Intell., 2022
Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis.
Adv. Intell. Syst., 2022
Learning Finite State Models fromRecurrent Neural Networks.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
2021
Active Model Learning of Stochastic Reactive Systems.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
2020
CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems.
Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020
Efficient Model-Based Diagnosis of Sequential Circuits.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Synthesizing adaptive test strategies from temporal logic specifications.
Formal Methods Syst. Des., 2019
Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference.
AI Mag., 2019
Extending Automated FLTL Test Oracles with Diagnostic Support.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019
2018
Automated generation of (F)LTL oracles for testing and debugging.
J. Syst. Softw., 2018
On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation.
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.
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.
Proceedings of the Testing Software and Systems, 2017
Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017
2016
Classifying Test Suite Effectiveness via Model Inference and ROBBDs.
Proceedings of the Tests and Proofs - 10th International Conference, 2016
Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems.
Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016
An Automated (F) LTL Test Oracle for Testing with Requirements.
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.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
Synthesizing adaptive test strategies from temporal logic specifications.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
2015
Parse tree structure in LTL requirements diagnosis.
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.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015
Analyzing the reduction of test suite redundancy.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015
Focused Diagnosis for Failing Software Tests.
Proceedings of the Current Approaches in Applied Artificial Intelligence, 2015
BPEL Integration Testing.
Proceedings of the Fundamental Approaches to Software Engineering, 2015
2014
SOA Testing via Random Paths in BPEL Models.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Testing Configuration Knowledge-Bases.
Proceedings of the 16th International Configuration Workshop, 2014
2013
On classification and modeling issues in distributed model-based diagnosis.
AI Commun., 2013
Maintaining consistency in a robot's knowledge-base via diagnostic reasoning.
AI Commun., 2013
Behavioral Diagnosis of LTL Specifications at Operator Level.
Proceedings of the IJCAI 2013, 2013
The Route to Success - A Performance Comparison of Diagnosis Algorithms.
Proceedings of the IJCAI 2013, 2013
Fifty Shades of Grey in SOA Testing.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
SOA Grey Box Testing - A Constraint-Based Approach.
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.
Proceedings of the 5th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2013
Functional SOA testing based on constraints.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013
2012
Optimizations for the Boolean Approach to Computing Minimal Hitting Sets.
Proceedings of the ECAI 2012, 2012
2011
Belief Management for High-Level Robot Programs.
Proceedings of the IJCAI 2011, 2011
2007
Symbolic Implementation of Alternating Automata.
Int. J. Found. Comput. Sci., 2007
RAT: A Tool for the Formal Analysis of Requirements.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
Symbolic Implementation of Alternating Automata.
Proceedings of the Implementation and Application of Automata, 2006
Formal analysis of hardware requirements.
Proceedings of the 43rd Design Automation Conference, 2006