Roxane Koitz

According to our database, Roxane Koitz authored at least 12 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Checked Coverage for Test Suite Reduction - Is It Worth the Effort?

Roxane Koitz-Hristov, Lukas Stracke, Franz Wotawa

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2020

Faster horn diagnosis - a performance comparison of abductive reasoning algorithms.

Roxane Koitz-Hristov, Franz Wotawa

Appl. Intell., 2020

2019

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

Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali

AI Mag., 2019

2018

Applying algorithm selection to abductive diagnostic reasoning.

Roxane Koitz, Franz Wotawa

Appl. Intell., 2018

On the Superiority of Conflict-Driven Search in MUS Enumeration.

Roxane Koitz-Hristov, Franz Wotawa

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

2017

Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind Turbines.

Roxane Koitz, Johannes Lüftenegger, Franz Wotawa

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

2016

On Structural Properties to Improve FMEA-Based Abductive Diagnosis.

Roxane Koitz, Franz Wotawa

Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Improving Abductive Diagnosis Through Structural Features: A Meta-Approach.

Roxane Koitz, Franz Wotawa

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

2015

SAT-Based Abductive Diagnosis.

Roxane Koitz, Franz Wotawa

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms.

Roxane Koitz, Franz Wotawa

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

Diagnosis of Technical Systems.

Roxane Koitz, Franz Wotawa

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers.

Roxane Koitz, Wolfgang Slany

Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014