Thomas Schmitz

According to our database1, Thomas Schmitz authored at least 29 papers between 1987 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Fragment-based spreadsheet debugging.
Autom. Softw. Eng., 2019

2018
Secure serverless computing using dynamic information flow control.
Proc. ACM Program. Lang., 2018

Real Time Emulation of Parametric Guitar Tube Amplifier With Long Short Term Memory Neural Network.
CoRR, 2018

A Better Facet of Dynamic Information Flow Control.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Combining spreadsheet smells for improved fault prediction.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Faceted Secure Multi Execution.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Parallel Model-Based Diagnosis.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017
Automated model-based spreadsheet debugging.
PhD thesis, 2017

Multiple Facets for Dynamic Information Flow with Exceptions.
ACM Trans. Program. Lang. Syst., 2017

A decomposition-based approach to spreadsheet testing and debugging.
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

An Al-based interactive tool for spreadsheet debugging.
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

2016
Parallel Model-Based Diagnosis on Multi-Core Computers.
J. Artif. Intell. Res., 2016

Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach.
Autom. Softw. Eng., 2016

Finding errors in the Enron spreadsheet corpus.
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016

Fragment-Based Diagnosis of Spreadsheets.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Faceted Dynamic Information Flow via Control and Data Monads.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015
A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis.
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Using Calculation Fragments for Spreadsheet Testing and Debugging.
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015

Parallelized Hitting Set Computation for Model-Based Diagnosis.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA.
J. Syst. Softw., 2014

Improvement in non-linear guitar loudspeaker sound reproduction.
Proceedings of the International Conference on Systems, Signals and Image Processing, 2014

2006
Modell zur softwaretechnischen Unterstützung des präventiven Risikomanagements in fleischerzeugenden Ketten.
Proceedings of the Land- und Ernährungswirtschaft im Wandel: Aufgaben und Herausforderungen für die Agrar- und Umweltinformatik, 2006

2004
Einsatz softwaregestützter präventiver QM-Methoden in der Beratung von Zulieferketten in der Lebensmittelbranche.
Proceedings of the Integration und Datensicherheit, 2004

Gestaltung eines integrierten Audit- & Dokumentenmanagement-Systems für den Einsatz in QS-Bündlerorganisationen.
Proceedings of the Integration und Datensicherheit, 2004

1994
Investigation of Stability and Robustness of a Fuzzy Traction Control System.
Proceedings of the Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms, 1994

Schweißprozeßanalyse und Qualitätssicherung mit Fuzzy-Logik.
Proceedings of the Fuzzy Logik, 1994

1987
Object Management in the NEXUS Distributed Operating System.
Proceedings of the COMPCON'87, 1987


  Loading...