Tim Gonschorek

15 papers A 1B 1C 3Misc 1Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761A.
SAFECOMP (Workshops)
Tim Gonschorek, Frank Ortmeier
2025 C conf
Guided Importance Sampling for Safety and Reliability: A Pragmatic Comparison of Symbolic and Simulation-Based Approaches.
PRDC
Tim Gonschorek, Frank Ortmeier
2024 Misc conf
Out-of-Distribution Detection with Logical Reasoning (Extended Abstract).
KI
Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier
2024 A conf
Out-of-Distribution Detection with Logical Reasoning.
WACV
Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier
2022 J jnl
Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection.
CoRR
Konstantin Kirchheim, Tim Gonschorek, Frank Ortmeier
2021 — conf
Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning.
VISIGRAPP (4: VISAPP)
Marco Filax, Tim Gonschorek, Frank Ortmeier
2020 — conf
Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery.
ECC
Janine Matschek, Tim Gonschorek, Magnus Hanses, Norbert Elkmann, Frank Ortmeier, Rolf Findeisen
2019 C conf
Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations.
ICPRAM
Marco Filax, Tim Gonschorek, Frank Ortmeier
2019 — conf
Integrating Safety Design Artifacts into System Development Models Using SafeDeML.
IMBSA
Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier
2019 J jnl
Learning References with Gaussian Processes in Model Predictive Control applied to Robot Assisted Surgery.
CoRR
Janine Matschek, Tim Gonschorek, Magnus Hanses, Norbert Elkmann, Frank Ortmeier, Rolf Findeisen
2019 B conf
SafeDeML: On Integrating the Safety Design into the System Model.
SAFECOMP
Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper
2018 — conf
Fault Trees vs. Component Fault Trees: An Empirical Study.
SAFECOMP Workshops
Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier
2017 — conf
Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques.
IMBSA
Marco Filax, Tim Gonschorek, Frank Ortmeier
2017 C conf
On improving rare event simulation for probabilistic safety analysis.
MEMOCODE
Tim Gonschorek, Ben Rabeler, Frank Ortmeier, Dirk Schomburg
2016 — conf
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models.
RSSRail
Marco Filax, Tim Gonschorek, Frank Ortmeier