Thomas Quaritsch

According to our database, Thomas Quaritsch authored at least 6 papers between 2011 and 2015.

Collaborative distances:

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

2015

Parse tree structure in LTL requirements diagnosis.

Ingo Pill, Thomas Quaritsch, Franz Wotawa

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.

Ingo Pill, Thomas Quaritsch

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

2013

Behavioral Diagnosis of LTL Specifications at Operator Level.

Ingo Pill, Thomas Quaritsch

Proceedings of the IJCAI 2013, 2013

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

Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa

Proceedings of the IJCAI 2013, 2013

2012

Optimizations for the Boolean Approach to Computing Minimal Hitting Sets.

Ingo Pill, Thomas Quaritsch

Proceedings of the ECAI 2012, 2012

2011

The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking.

Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa

Proceedings of the 11th International Conference on Quality Software, 2011