Photography

See more at unsplash.com/thomasq.

Scientific Publications

2014/10
Thomas Quaritsch and Ingo Pill
PyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform
In Proceedings of the 25th International Workshop on Principles of Diagnosis (DX 2014), Graz, Austria. September 2014.
2013/10
Ingo Pill and Thomas Quaritsch
And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set Algorithm
In Proceedings of the 24th International Workshop on Principles of Diagnosis (DX 2013), Jerusalem, Israel. October 2013.
2013/10
Ingo Pill and Thomas Quaritsch
Exploiting Parse Trees in LTL Specification Diagnosis
In Proceedings of the 24th International Workshop on Principles of Diagnosis (DX 2013), Jerusalem, Israel. October 2013.
2013/08
Ingo Pill and Thomas Quaritsch
Behavioral Diagnosis of LTL Specifications at Operator Level
In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China. August 2013. (local copy)
2013/08
Iulia Nica, Ingo Pill, Thomas Quaritsch and Franz Wotawa
The Route to Success – A Performance Comparison of Diagnosis Alorithms
In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China. August 2013. (local copy)
2012/08
Ingo Pill and Thomas Quaritsch
Optimizations for the Boolean Approach to Computing Minimal Hitting Sets
In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France. August 2012.
2012/08
Ingo Pill and Thomas Quaritsch
An LTL SAT Encoding for Behavioral Diagnosis
In Proceedings of the 23rd International Workshop on Principles of Diagnosis (DX2012), Malvern, UK. August 2012.
2011/10
Ingo Pill, Thomas Quaritsch and Franz Wotawa
From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms
In Proceedings of the 22nd International Workshop on Principles of Diagnosis (DX 2011), Murnau, Germany. October 2011.
2011/07
Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer and Franz Wotawa
The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking
In Proceedings of the 11th International Conference on Quality Software (QSIC 2011), Madrid, Spain. July 2011.

Theses

2014/07
Thomas Quaritsch
Diagnosis of LTL Specifications using Consistency-oriented Model-based Reasoning
Doctoral Thesis, Graz University of Technology, Austria.
2011/02
Thomas Quaritsch
Test Data Generation using Static Call Sequence Analysis and Design by Contract™ Specifications
Master’s Thesis, Graz University of Technology, Austria.
2009/01
Thomas Quaritsch and Michael Unger
Developing an Online Photography Exposition Platform Using Ruby on Rails
Bachelor’s Thesis, Graz University of Technology, Austria.

Education

Graz University of Technology

PhD Computer Science, 2011/03 – 2014/07

I completed my doctoral studies (Doctor technicæ, ~Ph.D.) in the field of model-based specification diagnosis with distinction (title of my thesis: Diagnosis of LTL Specifications using Consistency-oriented Model-based Reasoning) in the course of the FWF project MoDiaForTed led by DI Dr. Ingo Pill at the Institute for Software Technology. Doctoral supervisior: Prof. Dr. Franz Wotawa.

Graz University of Technology

Master of Science, 2009/09 – 2011/02

I completed the Master's programme in Computer Engineering ("Telematik") in 2011 with distinction (title of my thesis: Test Data Generation using Static Call Sequence Analysis and Design by Contract™ Specifications, Supervisors: Prof. Dr. Franz Wotawa, DI Dr. Stefan J. Galler). I specialized in the fields of software engineering and signal processing.

Graz University of Technology

Bachelor of Science, 2005/10 – 2009/09

I completed the Bachelor's programme in Computer Engineering ("Telematik") in 2009 with distinction.