Thomas Schmitz

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 18

Top Venues

CoRR

VL/HCC

Autom. Softw. Eng.

IJCAI

Technical University of Dortmund, Germany (PHD)

Education History

Technical University of Dortmund, Germany

PHD

Publications

Philip Dorpmüller, Thomas Schmitz, Naveen Bejagam, Torsten Bertram
Time-Optimal Trajectory Planning in Highway Scenarios Using Basis-Spline Parameterization. ITSC (2023)
Philip Dorpmüller, Thomas Schmitz, Naveen Bejagam, Torsten Bertram
Time-Optimal Trajectory Planning in Highway Scenarios using Basis-Spline Parameterization. CoRR (2023)
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick W. Koch, Franz Wotawa
Fragment-based spreadsheet debugging. Autom. Softw. Eng. 26 (1) (2019)
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein
Secure serverless computing using dynamic information flow control. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Thomas Schmitz, Jean-Jacques Embrechts
Real Time Emulation of Parametric Guitar Tube Amplifier With Long Short Term Memory Neural Network. CoRR (2018)
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein
Secure Serverless Computing Using Dynamic Information Flow Control. CoRR (2018)
Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo
Faceted Secure Multi Execution. CCS (2018)
Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa, Thomas Schmitz
Combining spreadsheet smells for improved fault prediction. ICSE (NIER) (2018)
Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz
A Better Facet of Dynamic Information Flow Control. WWW (Companion Volume) (2018)
Thomas Schmitz, Dietmar Jannach
An Al-based interactive tool for spreadsheet debugging. VL/HCC (2017)
Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa
A decomposition-based approach to spreadsheet testing and debugging. VL/HCC (2017)
Thomas H. Austin, Thomas Schmitz, Cormac Flanagan
Multiple Facets for Dynamic Information Flow with Exceptions. ACM Trans. Program. Lang. Syst. 39 (3) (2017)
Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth Knowles, Cormac Flanagan
Faceted Dynamic Information Flow via Control and Data Monads. POST (2016)
Dietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin
Parallel Model-Based Diagnosis on Multi-Core Computers. J. Artif. Intell. Res. 55 (2016)
Kostyantyn M. Shchekotykhin, Thomas Schmitz, Dietmar Jannach
Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses. IJCAI (2016)
Thomas Schmitz, Dietmar Jannach
Finding errors in the Enron spreadsheet corpus. VL/HCC (2016)
Dietmar Jannach, Thomas Schmitz
Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach. Autom. Softw. Eng. 23 (1) (2016)
Thomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa
Fragment-Based Diagnosis of Spreadsheets. STAF Workshops (2016)
Dietmar Jannach, Thomas Schmitz
Using Calculation Fragments for Spreadsheet Testing and Debugging. CoRR (2015)
Dietmar Jannach, Thomas Schmitz
Using Calculation Fragments for Spreadsheet Testing and Debugging. SEMS@ICSE (2015)
Dietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin
Parallelized Hitting Set Computation for Model-Based Diagnosis. AAAI (2015)
Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz
MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis. IJCAI (2015)
Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz
A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis. DX (2015)
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Franz Wotawa
Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA. J. Syst. Softw. 94 (2014)
Thomas Schmitz, Jean-Jacques Embrechts
Improvement in non-linear guitar loudspeaker sound reproduction. IWSSIP (2014)
Thomas Schmitz, Brigitte Petersen
Modell zur softwaretechnischen Unterstützung des präventiven Risikomanagements in fleischerzeugenden Ketten. GIL Jahrestagung (2006)
Adriane Mack, Thomas Schmitz, Brigitte Petersen
Gestaltung eines integrierten Audit- & Dokumentenmanagement-Systems für den Einsatz in QS-Bündlerorganisationen. GIL Jahrestagung (2004)
Thomas Schmitz, Brigitte Petersen
Einsatz softwaregestützter präventiver QM-Methoden in der Beratung von Zulieferketten in der Lebensmittelbranche. GIL Jahrestagung (2004)
D. Rehfeldt, Thomas Schmitz
Schweißprozeßanalyse und Qualitätssicherung mit Fuzzy-Logik. Fuzzy Days (1994)
Christian Schuster, Thomas Schmitz, Manfred Hiller
Investigation of Stability and Robustness of a Fuzzy Traction Control System. IEEE/Nagoya-University World Wisepersons Workshop (1994)
Anand Tripathi, Adel Ghonami, Thomas Schmitz
Object Management in the NEXUS Distributed Operating System. COMPCON (1987)

Thomas Schmitz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Schmitz