Computer Science Department

Lehrstuhl für Dienstleistungsinformatik / e-Services Research Group

Navigation

Thomas Schmitz

Foto von Thomas Schmitz

Contact

Office: Otto-Hahn-Straße 12, Room 2.006

Phone: +49 231 755-7271

FAX: +49 231 755-7269

Office hours: By appointment

Email: Thomas.Schmitz [ at ] tu-dortmund.de

Publications

  1. Shchekotykhin, K., Schmitz, T., Jannach, D.: Using Partial Diagnoses for Sequential Model-Based Fault Localization, 27th International Workshop on Principles of Diagnosis, DX-2016, Denver, 2016 (Best paper award) (pdf)
    Keywords: Model-based Diagnosis, Sequential Diagnosis
  2. Shchekotykhin, K., Schmitz, T., Jannach, D.: Efficient Determination of Measurement Points for Sequential Diagnosis (Extended Abstract), Joint German/Austrian Conference on Artificial Intelligence (KI 2016), Klagenfurt, Austria, 2016 (non-reviewed) (pdf)
    Keywords: Model-based diagnosis, Interactive diagnosis, Conflicts
  3. Schmitz, T. and Jannach, D.: Finding Errors in the Enron Spreadsheet Corpus, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Cambridge, UK, 2016 (pdf)
    Keywords: Spreadsheet Errors, Visual Tools, Corpus of Errors
  4. Schmitz, T., Hofer, B., Jannach, D., Wotawa, F.: Fragment-Based Diagnosis of Spreadsheets, 3rd International Workshop on Software Engineering Methods in Spreadsheets, Vienna, 2016. (pdf)
    Keywords: Spreadsheet Debugging, Testing, Software Engineering
  5. Shchekotykhin, K., Schmitz, T., Jannach, D.: Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses, International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, 2016 (pdf)
    Keywords: Model-based diagnosis, Interactive diagnosis, Conflicts
  6. Jannach, D., Schmitz, T., Shchekotykhin, K.: Parallel Model-Based Diagnosis On Multi-Core Computers, Journal of Artificial Intelligence Research (JAIR), Vol. 55, 2016, pp. 835-887 (pdf)
    Keywords: Model-based Diagnosis, Conflict Detection, Parallelization
  7. Shchekotykhin, K., Jannach, D., Schmitz, T.: A Divide-And-Conquer Method for Computing Multiple Conflicts for Diagnosis, Workshop on Principles and Practice of Diagnosis (DX'15), Paris, 2015.
    Keywords: Model-based diagnosis, Conflicts, Constraints
  8. Shchekotykhin, K., Jannach, D., Schmitz, T.: MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis, International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, 2015, pp. 3221-3228 (pdf)
    Keywords: Model-based diagnosis, Conflicts, Constraints
  9. Jannach, D., Schmitz, T.: Using Calculation Fragments for Spreadsheet Testing and Debugging, 2nd International Workshop on Software Engineering Methods in Spreadsheets at ICSE 2015, Firenze, Italy, 2015. (pdf)
    Keywords: Spreadsheets, Debugging
  10. Jannach, D., Schmitz, T., Shchekotykhin, K.: Parallelized Hitting Set Computation for Model-Based Diagnosis, 29th AAAI Conference on Artificial Intelligence (AAAI 2015), Austin, Texas, 1503-1510. (pdf)
    Keywords: Model-based Diagnosis, Artificial Intelligence, Parallelization
  11. Jannach, D., Schmitz, T., Shchekotykhin, K.: Parallelized Hitting Set Computation for Model-Based Diagnosis, 25th Workshop on Principles of Diagnosis, Graz, Austria, 2014. (pdf)
    Keywords: Model-based Diagnosis, Parallelization
  12. Jannach, D., Schmitz, T., Hofer, B., Wotawa, F.: Avoiding, Finding and Fixing Spreadsheet Errors - A Survey of Automated Approaches for Spreadsheet QA, Journal of Systems and Software, Elsevier, Vol. 94, August 2014, pp. 129-150 (pdf)
    Keywords: Spreadsheets, Quality Assurance, Software Engineering
  13. Jannach, D., Schmitz, T., Shchekotykhin, K.: Toward Interactive Spreadsheet Debugging, First workshop on Software Engineering methods in Spreadsheets, Delft, Netherlands, 2014. (pdf)
    Keywords: Spreadsheets, Debugging
  14. Hofer, B., Jannach, D., Schmitz, T. Shchekotykhin K., Wotawa, F.: Tool-supported fault localization in spreadsheets: Limitations of current research practice, Position paper, First workshop on Software Engineering methods in Spreadsheets, Delft, Netherlands, 2014. (pdf)
    Keywords: Spreadsheets, Debugging, Evaluation
  15. Jannach, D., Schmitz, T.: Model-based diagnosis of spreadsheet programs - A constraint-based debugging approach, Automated Software Engineering, Springer, Vol 23(1), 105-144, 2016 (pdf)
    Keywords: Spreadsheets, Software Engineering, Debugging, Constraint Satisfaction, Model-based Diagnosis