Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models. - Marco Filax; Tim Gonschorek; Frank Ortmeier (RSSRail, 2016)

Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques. - Marco Filax; Tim Gonschorek; Frank Ortmeier (IMBSA, 2017)

On improving rare event simulation for probabilistic safety analysis. - Tim Gonschorek; Ben Rabeler; Frank Ortmeier; Dirk Schomburg (MEMOCODE, 2017)

Fault Trees vs. Component Fault Trees: An Empirical Study. - Tim Gonschorek; Marc Zeller; Kai Höfig; Frank Ortmeier (SAFECOMP Workshops, 2018)

Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations. - Marco Filax; Tim Gonschorek; Frank Ortmeier (ICPRAM, 2019)

Integrating Safety Design Artifacts into System Development Models Using SafeDeML. - Tim Gonschorek; Philipp Bergt; Marco Filax; Frank Ortmeier (IMBSA, 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 (SAFECOMP, 2019)

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 (ECC, 2020)

Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning. - Marco Filax; Tim Gonschorek; Frank Ortmeier (VISIGRAPP (4: VISAPP), 2021)

Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection. - Konstantin Kirchheim; Tim Gonschorek; Frank Ortmeier (CoRR, 2022)

Out-of-Distribution Detection with Logical Reasoning (Extended Abstract). - Konstantin Kirchheim; Tim Gonschorek; Frank Ortmeier (KI, 2024)

Out-of-Distribution Detection with Logical Reasoning. - Konstantin Kirchheim; Tim Gonschorek; Frank Ortmeier (WACV, 2024)

Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761A. - Tim Gonschorek; Frank Ortmeier (SAFECOMP (Workshops), 2025)