Learning references with Gaussian processes in model predictive control applied to robot assisted surgery J Matschek, T Gonschorek, M Hanses, N Elkmann, F Ortmeier, ... 2020 European Control Conference (ECC), 362-367, 2020 | 21 | 2020 |
Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning. M Filax, T Gonschorek, F Ortmeier VISIGRAPP (4: VISAPP), 498-505, 2021 | 8 | 2021 |
Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations. M Filax, T Gonschorek, F Ortmeier ICPRAM, 900-907, 2019 | 8 | 2019 |
Correct formalization of requirement specifications: A V-Model for building formal models M Filax, T Gonschorek, F Ortmeier Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2016 | 8 | 2016 |
Integrating Safety Design Artifacts into System Development Models Using SafeDeML T Gonschorek, P Bergt, M Filax, F Ortmeier International Symposium on Model-Based Safety and Assessment, 93-106, 2019 | 5 | 2019 |
Building models we can rely on: requirements traceability for model-based verification techniques M Filax, T Gonschorek, F Ortmeier Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017 | 5 | 2017 |
Addressing randomness in evaluation protocols for out-of-distribution detection K Kirchheim, T Gonschorek, F Ortmeier arXiv preprint arXiv:2203.00382, 2022 | 4 | 2022 |
SafeDeML: On integrating the safety design into the system model T Gonschorek, P Bergt, M Filax, F Ortmeier, J von Hoyningen-Hüne, ... Computer Safety, Reliability, and Security: 38th International Conference …, 2019 | 4 | 2019 |
Automatic model-based verification of railway interlocking systems using model checking T Gonschorek, L Bedau, F Ortmeier Proceedings of ESREL, 741-748, 2018 | 4 | 2018 |
VECS-verification enviroment for critical systems-tool supported formal modeling an verification T Gonschorek, M Filax, M Lipaczewski, F Ortmeier IMBSA 2014: short & tutorial proceedings of the 4th international symposium …, 2014 | 4 | 2014 |
Innovative Hospital Management: Tracking of Radiological Protection Equipment H Fritzsche, EJG Ataide, A Bi, R Kalva, S Tripathi, A Boese, M Friebe, ... International Journal of Biomedical and Clinical Engineering (IJBCE) 9 (1 …, 2020 | 3 | 2020 |
Bringing formal methods on the rail: On automatic verifying railroad interlockings from railml models T Gonschorek, L Bedau, F Ortmeier Safety and Reliability–Safe Societies in a Changing World, 741-748, 2018 | 3 | 2018 |
Fault trees vs. component fault trees: An empirical study T Gonschorek, M Zeller, K Höfig, F Ortmeier Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE …, 2018 | 3 | 2018 |
On traceability of informal specifications for model-based verification M Filax, T Gonschorek, M Lipaczewski, F Ortmeier IMBSA: short & tutorial proceedings, 11-18, 2014 | 3 | 2014 |
A very first Glance on the Safety Analysis of Self-learning Algorithms for Autonomous Cars T Gonschorek, M Filax, F Ortmeier 37th International Conference on Computer Safety, Reliability, & Security …, 2018 | 2 | 2018 |
On improving rare event simulation for probabilistic safety analysis T Gonschorek, B Rabeler, F Ortmeier, D Schomburg Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | 2 | 2017 |
QuadSIFT: unwrapping planar quadrilaterals to enhance feature matching M Filax, T Gonschorek, F Ortmeier Václav Skala-UNION Agency, 2017 | 2 | 2017 |
Out-of-Distribution Detection with Logical Reasoning K Kirchheim, T Gonschorek, F Ortmeier Proceedings of the IEEE/CVF Winter Conference on Applications of Computer …, 2024 | 1 | 2024 |
Semi-automatic Acquisition of Datasets for Retail Recognition M Filax, T Gonschorek, F Ortmeier Computer Science Research Notes 3201, 86-94, 2022 | 1 | 2022 |
Methodik zur Abstraktion kontinuierlicher Modelle T Gonschorek Bachelorarbeit, Universität Magdeburg, Deutschland, 13, 2013 | 1 | 2013 |