关注
Tim Gonschorek
Tim Gonschorek
Chair of Softwareengineering, Otto-von-Guericke-University Magdeburg
在 ovgu.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
212020
Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning.
M Filax, T Gonschorek, F Ortmeier
VISIGRAPP (4: VISAPP), 498-505, 2021
82021
Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations.
M Filax, T Gonschorek, F Ortmeier
ICPRAM, 900-907, 2019
82019
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
82016
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
52019
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
52017
Addressing randomness in evaluation protocols for out-of-distribution detection
K Kirchheim, T Gonschorek, F Ortmeier
arXiv preprint arXiv:2203.00382, 2022
42022
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
42019
Automatic model-based verification of railway interlocking systems using model checking
T Gonschorek, L Bedau, F Ortmeier
Proceedings of ESREL, 741-748, 2018
42018
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
42014
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
32020
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
32018
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
32018
On traceability of informal specifications for model-based verification
M Filax, T Gonschorek, M Lipaczewski, F Ortmeier
IMBSA: short & tutorial proceedings, 11-18, 2014
32014
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
22018
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
22017
QuadSIFT: unwrapping planar quadrilaterals to enhance feature matching
M Filax, T Gonschorek, F Ortmeier
Václav Skala-UNION Agency, 2017
22017
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
12024
Semi-automatic Acquisition of Datasets for Retail Recognition
M Filax, T Gonschorek, F Ortmeier
Computer Science Research Notes 3201, 86-94, 2022
12022
Methodik zur Abstraktion kontinuierlicher Modelle
T Gonschorek
Bachelorarbeit, Universität Magdeburg, Deutschland, 13, 2013
12013
系统目前无法执行此操作,请稍后再试。
文章 1–20