Thomas Quaritsch

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Pruning Algorithm

Computational Cost

Top Venues

ISSRE Workshops

Publications

Ingo Pill, Thomas Quaritsch
RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm. ISSRE Workshops (2015)
Ingo Pill, Thomas Quaritsch, Franz Wotawa
Parse tree structure in LTL requirements diagnosis. ISSRE Workshops (2015)
Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa
The Route to Success - A Performance Comparison of Diagnosis Algorithms. IJCAI (2013)
Ingo Pill, Thomas Quaritsch
Behavioral Diagnosis of LTL Specifications at Operator Level. IJCAI (2013)
Ingo Pill, Thomas Quaritsch
Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. ECAI (2012)
Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa
The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. QSIC (2011)