Tim Gonschorek

According to our database, Tim Gonschorek authored at least 11 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Out-of-Distribution Detection with Logical Reasoning.

Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

2022

Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection.

Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier

CoRR, 2022

2021

Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning.

Marco Filax, Tim Gonschorek, Frank Ortmeier

Proceedings of the 16th International Joint Conference on Computer Vision, 2021

2020

Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery.

Janine Matschek, Tim Gonschorek, Magnus Hanses, Norbert Elkmann, Frank Ortmeier, Rolf Findeisen

Proceedings of the 18th European Control Conference, 2020

2019

SafeDeML: On Integrating the Safety Design into the System Model.

Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper

Proceedings of the Computer Safety, Reliability, and Security, 2019

Integrating Safety Design Artifacts into System Development Models Using SafeDeML.

Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations.

Marco Filax, Tim Gonschorek, Frank Ortmeier

Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019

2018

Fault Trees vs. Component Fault Trees: An Empirical Study.

Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier

Proceedings of the Computer Safety, Reliability, and Security, 2018

2017

On improving rare event simulation for probabilistic safety analysis.

Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques.

Marco Filax, Tim Gonschorek, Frank Ortmeier

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models.

Marco Filax, Tim Gonschorek, Frank Ortmeier

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016