Tim Gonschorek

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Predictive Control

Gaussian Processes

Minimally Invasive

Top Venues

SAFECOMP Workshops

Publications

Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier
Out-of-Distribution Detection with Logical Reasoning. WACV (2024)
Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier
Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection. CoRR (2022)
Marco Filax, Tim Gonschorek, Frank Ortmeier
Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning. VISIGRAPP (4: VISAPP) (2021)
Janine Matschek, Tim Gonschorek, Magnus Hanses, Norbert Elkmann, Frank Ortmeier, Rolf Findeisen
Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery. ECC (2020)
Janine Matschek, Tim Gonschorek, Magnus Hanses, Norbert Elkmann, Frank Ortmeier, Rolf Findeisen
Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery. CoRR (2019)
Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier
Integrating Safety Design Artifacts into System Development Models Using SafeDeML. IMBSA (2019)
Marco Filax, Tim Gonschorek, Frank Ortmeier
Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations. ICPRAM (2019)
Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper
SafeDeML: On Integrating the Safety Design into the System Model. SAFECOMP (2019)
Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier
Fault Trees vs. Component Fault Trees: An Empirical Study. SAFECOMP Workshops (2018)
Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg
On improving rare event simulation for probabilistic safety analysis. MEMOCODE (2017)
Marco Filax, Tim Gonschorek, Frank Ortmeier
Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques. IMBSA (2017)
Marco Filax, Tim Gonschorek, Frank Ortmeier
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models. RSSRail (2016)