Thomas Quaritsch
Thomas Quaritsch
Institute for Software Technology, Graz University of Technology
Zweryfikowany adres z ist.tugraz.at
Tytuł
Cytowane przez
Cytowane przez
Rok
The route to success—A performance comparison of diagnosis algorithms
I Nica, I Pill, T Quaritsch, F Wotawa
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
542013
Behavioral diagnosis of LTL specifications at operator level
I Pill, T Quaritsch
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
372013
Optimizations for the Boolean Approach to Computing Minimal Hitting Sets.
I Pill, T Quaritsch
ECAI 12, 648-653, 2012
322012
From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms
I Pill, T Quaritsch, F Wotawa
International Workshop on Principles of Diagnosis (DX), 203-210, 2011
202011
Pymbd: A library of mbd algorithms and a light-weight evaluation platform
T Quaritsch, I Pill
Proceedings of Dx-2014, 2014
182014
RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm
I Pill, T Quaritsch
2015 IEEE International Symposium on Software Reliability Engineering …, 2015
112015
And yet another variant of Reiter’s complete on-the-fly hitting set algorithm
I Pill, T Quaritsch
24th International Workshop on Principles of Diagnosis, 210-215, 2013
32013
Parse tree structure in LTL requirements diagnosis
I Pill, T Quaritsch, F Wotawa
2015 IEEE International Symposium on Software Reliability Engineering …, 2015
22015
Exploiting parse trees in LTL specification diagnosis
I Pill, T Quaritsch
24th International Workshop on Principles of Diagnosis, 59-64, 2013
22013
An LTL SAT encoding for behavioral diagnosis
I Pill, T Quaritsch
International Workshop on the Principles of Diagnosis, 67-74, 2012
22012
On the practical performance of minimal hitting set algorithms from a diagnostic perspective
I Pill, T Quaritsch, F Wotawa
International Journal of Prognostics and Health Management 7 (2), 2016
12016
The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking
SJ Galler, T Quaritsch, M Weiglhofer, F Wotawa
2011 11th International Conference on Quality Software, 121-130, 2011
12011
Test Data Generation using Static Call Sequence Analysis and Design by Contract™ Specifications
T Quaritsch
Graz University of Technology, 2011
2011
Developing an Online Photography Exposition Platform Using Ruby on Rails
T Quaritsch, M Unger
Graz University of Technology, 2009
2009
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–14