Computer Science Department

Lehrstuhl für Dienstleistungsinformatik / e-Services Research Group

Navigation

Dr. Thomas Schmitz

Foto von Dr. 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. Schmitz, T. and Jannach, D.: An AI-based Interactive Tool for Spreadsheet Debugging, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Raleigh, North Carolina, USA, 2017
    Keywords: Spreadsheet testing and debugging, Genetic Algorithm
  2. Schmitz, T., Jannach, D., Hofer, B., Koch, P., Schekotihin, K., Wotawa, F.: A Decomposition-Based Approach to Spreadsheet Testing and Debugging, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Raleigh, North Carolina, USA, 2017 (preprint)
    Keywords: Spreadsheet testing and debugging, Genetic Algorithm
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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