Thomas Schmitz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2023

Time-Optimal Trajectory Planning in Highway Scenarios Using Basis-Spline ParameterizationPhilip Dorpmüller, Thomas Schmitz, Naveen Bejagam, Torsten Bertram. itsc 2022: 596-601 [doi]

2019

Fragment-based spreadsheet debuggingDietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick W. Koch, Franz Wotawa. ASE, 26(1):203-239, 2019. [doi]

Faceted Information FlowThomas Schmitz. PhD thesis, University of California, Santa Cruz, USA, 2019. [doi]

2018

Secure serverless computing using dynamic information flow controlKalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein. PACMPL, 2(OOPSLA), 2018. [doi]

Combining spreadsheet smells for improved fault predictionPatrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa, Thomas Schmitz. ICSE 2018: 25-28 [doi]

A Better Facet of Dynamic Information Flow ControlMinh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz. WWW 2018: 731-739 [doi]

Faceted Secure Multi ExecutionThomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo. ccs 2018: 1617-1634 [doi]

Parallel Model-Based DiagnosisKostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz. In Youssef Hamadi, Lakhdar Sais, editors, Handbook of Parallel Constraint Reasoning. pages 547-580, Springer, 2018. [doi]

2017

Multiple Facets for Dynamic Information Flow with ExceptionsThomas H. Austin, Thomas Schmitz, Cormac Flanagan. TOPLAS, 39(3), 2017. [doi]

Automated model-based spreadsheet debuggingThomas Schmitz. PhD thesis, Technical University of Dortmund, Germany, 2017. [doi]

An Al-based interactive tool for spreadsheet debuggingThomas Schmitz, Dietmar Jannach. vl 2017: 333-334 [doi]

A decomposition-based approach to spreadsheet testing and debuggingThomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa. vl 2017: 117-121 [doi]

2016

Parallel Model-Based Diagnosis on Multi-Core ComputersDietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin. jair, 55:835-887, 2016. [doi]

Model-based diagnosis of spreadsheet programs: a constraint-based debugging approachDietmar Jannach, Thomas Schmitz. ASE, 23(1):105-144, 2016. [doi]

Faceted Dynamic Information Flow via Control and Data MonadsThomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth Knowles, Cormac Flanagan. post 2016: 3-23 [doi]

Fragment-Based Diagnosis of SpreadsheetsThomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa. staf 2016: 372-387 [doi]

Finding errors in the Enron spreadsheet corpusThomas Schmitz, Dietmar Jannach. vl 2016: 157-161 [doi]

Efficient Sequential Model-Based Fault-Localization with Partial DiagnosesKostyantyn M. Shchekotykhin, Thomas Schmitz, Dietmar Jannach. IJCAI 2016: 1251-1257 [doi]

2015

2014

Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QADietmar Jannach, Thomas Schmitz, Birgit Hofer, Franz Wotawa. jss, 94:129-150, 2014. [doi]

Improvement in non-linear guitar loudspeaker sound reproductionThomas Schmitz, Jean-Jacques Embrechts. iwssip 2014: 103-106 [doi]

2006

Modell zur softwaretechnischen Unterstützung des präventiven Risikomanagements in fleischerzeugenden KettenThomas Schmitz, Brigitte Petersen. gil 2006: 237-240 [doi]

2004

Gestaltung eines integrierten Audit- & Dokumentenmanagement-Systems für den Einsatz in QS-BündlerorganisationenAdriane Mack, Thomas Schmitz, Brigitte Petersen. gil 2004: 101-105

Einsatz softwaregestützter präventiver QM-Methoden in der Beratung von Zulieferketten in der LebensmittelbrancheThomas Schmitz, Brigitte Petersen. gil 2004: 69-72

1994

Schweißprozeßanalyse und Qualitätssicherung mit Fuzzy-LogikD. Rehfeldt, Thomas Schmitz. fuzzy 1994: 212-220

Investigation of Stability and Robustness of a Fuzzy Traction Control SystemChristian Schuster, Thomas Schmitz, Manfred Hiller. nagoya 1995: 85-100

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Thomas Schmitz'

Viewing Publication 1 - 29 from 29

2023

2019

2018

2017

2016

2015

2014

2006

2004

1994

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by VenueOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Thomas Schmitz'

Viewing Publication 1 - 29 from 29

2023

2019

2018

2017

2016

2015

2014

2006

2004

1994

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1