Follow
Tim Gonschorek
Title
Cited by
Cited by
Year
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
152020
Correct formalization of requirement specifications: A v-model for building formal models
M Filax, T Gonschorek, F Ortmeier
International Conference on Reliability, Safety, and Security of Railway …, 2016
72016
Building models we can rely on: requirements traceability for model-based verification techniques
M Filax, T Gonschorek, F Ortmeier
International Symposium on Model-Based Safety and Assessment, 3-18, 2017
52017
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
On traceability of informal specifications for model-based verification
M Filax, T Gonschorek, M Lipaczewski, F Ortmeier
IMBSA: short & tutorial proceedings, 11-18, 2014
42014
Grocery Recognition in the Wild: A New Mining Strategy for Metric Learning.
M Filax, T Gonschorek, F Ortmeier
VISIGRAPP (4: VISAPP), 498-505, 2021
32021
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
32019
Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations.
M Filax, T Gonschorek, F Ortmeier
ICPRAM, 900-907, 2019
32019
Automatic model-based verification of railway interlocking systems using model checking
T Gonschorek, L Bedau, F Ortmeier
Proceedings of ESREL, 741-748, 2018
32018
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
22020
SafeDeML: On integrating the safety design into the system model
T Gonschorek, P Bergt, M Filax, F Ortmeier, J Hoyningen-Hüne, T Piper
International Conference on Computer Safety, Reliability, and Security, 271-285, 2019
22019
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
Fault trees vs. component fault trees: An empirical study
T Gonschorek, M Zeller, K Höfig, F Ortmeier
International Conference on Computer Safety, Reliability, and Security, 239-251, 2018
22018
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
22018
QuadSIFT: unwrapping planar quadrilaterals to enhance feature matching
M Filax, T Gonschorek, F Ortmeier
Václav Skala-UNION Agency, 2017
22017
Addressing Randomness in Evaluation Protocols for Out-of-Distribution Detection
K Kirchheim, T Gonschorek, F Ortmeier
arXiv preprint arXiv:2203.00382, 2022
12022
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
12017
Methodik zur Abstraktion kontinuierlicher Modelle
T Gonschorek
Bachelorarbeit, Universität Magdeburg, Deutschland, 13, 2013
12013
VIP-MoBaSA-Validierung des Innovationspotentials modellbasierter Techniken für den Sicherheitsanalyseprozess: Schlussbericht für das BMBF-Forschungsvorhaben: Projektlaufzeit …
F Ortmeier, T Gonschorek, M Filax
Otto-von-Guericke-Universität Magdeburg, Lehrstuhl für Softwaretchnik …, 2017
2017
Slice or Unfold–Experiments on Checking Synchronous Models with Backwards Slicing
T Gonschorek, F Ortmeier
5th International Workshop on Dependable Control of Discrete Systems, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20