Roxane Koitz

Orcid: 0000-0002-5077-8641

According to our database1, Roxane Koitz authored at least 13 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On the suitability of checked coverage and genetic parameter tuning in test suite reduction.
J. Softw. Evol. Process., August, 2024

2022
Checked Coverage for Test Suite Reduction - Is It Worth the Effort?
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2020
Faster horn diagnosis - a performance comparison of abductive reasoning algorithms.
Appl. Intell., 2020

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

2018
Applying algorithm selection to abductive diagnostic reasoning.
Appl. Intell., 2018

On the Superiority of Conflict-Driven Search in MUS Enumeration.
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.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

2016
On Structural Properties to Improve FMEA-Based Abductive Diagnosis.
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.
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.
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.
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

Diagnosis of Technical Systems.
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.
Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014


  Loading...