Tim Gonschorek
M.Sc. Tim Gonschorek
Chair of Software Engineering (CSE)
From 2009 to 2015 I studied Computer Systems in engineering at Otto-von-Guericke-University Magdeburg. In 2013 I reached my bachelor degree with Bachelor-Thesis “A Method for the Abstraction of Continuous Differential Equations”. At the beginning of 2015, I reached my master degree with the thesis “A Backward Model Checking Approach with Slicing”.
Since 04/01/2015 I am working as full-time assistant researcher here, at the Chair of Software Engineering. Before, I worked as an assistant researcher at the same working group from 2011 to 2015. Thereby, I was involved in the management and development of the formal verification tool VECS.
Further, from 2010 to 2013, I worked as junior software developer at FuelCon AG in Barleben, a company developing test places for batteries and fuel cells.
My research interests are formal methods in software and systems engineering, like the analysis of software, e.g., based on abstract syntax trees, as well as their qualitative and quantitative verification and testing with several model checking techniques.
Here, I am, in particular, focussing on methods for the integration formal model-based verification techniques into the development life-cycle of critical systems and corresponding verification methods for real system models.
In my master thesis, I also developed a new model checking technique, the backward model checking with slicing, based on some backward model checking traversal using SMT programs for model representation. Further, I currently work on the usage of importance sampling techniques for the quantitative analysis of safety-critical systems.
- Specification Techniques SoSe 2018 (lecture assistant)
- Software Development for Industrial Robotics WiSe 2017/18 (lecture assistant)
- Seminar Software Development for the Automotive Industry WiSe 2017/18
- Specification Techniques SoSe 2017 (lecture assistant)
- Software Development for Industrial Robotics WiSe 2016/17 (lecture assistant)
- Seminar Software Development for the Automotive Industry WiSe 2016/17
- Specification Techniques SoSe 2016 (substitutional lecturer on behalf of Prof. Frank Ortmeier due to a lecture free semester)
- Seminar Verifcation Techniques and Testing in the modern Software Engineering WiSe 2015/16
- Specification Techniques SoSe 2015 (lecture assistant)
2024
Book chapter
Out-of-distribution detection with logical reasoning (extended abstract)
Kirchheim, Konstantin; Gonschorek, Tim; Ortmeier, Frank
In: KI 2024: Advances in Artificial Intelligence , 1st ed. 2024. - Cham : Springer Nature Switzerland ; Hotho, Andreas, S. 346-349 - (Lecture notes in computer science; volume 14992) [Konferenz: 47th German Conference on AI, Würzburg, Germany, September 25–27, 2024]
Out-of-distribution detection with logical reasoning
Kirchheim, Konstantin; Gonschorek, Tim; Ortmeier, Frank
In: 2024 IEEE Winter Conference on Applications of Computer Vision / IEEE/CVF Winter Conference on Applications of Computer Vision , 2024 - Piscataway, NJ : IEEE ; Souvenir, Richard, S. 2111-2120 [Konferenz: IEEE/CVF Winter Conference on Applications of Computer Vision, WACV, Waikoloa, HI, USA, 03-08 January 2024]
2023
Book chapter
A formal verification framework for model checking safety requirements of a simulink landing gear case study
Gonschorek, Tim; Stützer, Hannes; Ortmeier, Frank; Wehmeier, Leon; Oppermann, Michael
In: European Conference on Safety and Reliability (ESREL), 3rd September - 7th September 2023, insges. 8 S. [Konferenz: 33rd European Safety and Reliability Conference (ESREL 2023), Southampton, UK, 3 - 8 September 2023]
2022
Peer-reviewed journal article
Semi-automatic acquisition of datasets for retail recognition
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: Journal of WSCG - Plzen : [Verlag nicht ermittelbar], Bd. 30 (2022), Heft 1-2, S. 86-94 [Konferenz: 30. Jubilee International Conference on Computer Graphics, Visualization and Computer Vision 2022]
2021
Book chapter
Grocery recognition in the wild - a new mining strategy for metric learning
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: VISIGRAPP 2021 ; Volume 4: VISAPP , 2021 - [Sétubal] : SCITEPRESS - Science and Technology Publications, Lda. ; Farinella, Giovanni Maria, S. 498-505 [Konferenz: 16th International Conference on Computer Vision Theory and Applications, VISAPP, Online, 08.-10.02.2021]
2020
Book chapter
Learning references with Gaussian processes in model predictive control applied to robot assisted surgery
Matschek, Janine; Gonschorek, Tim; Hanses, Magnus; Elkmann, Norbert; Ortmeier, Frank; Findeisen, Rolf
In: European Control Conference 2020 , 2020 - Piscataway, NJ : IEEE ; Pogromsky, Alexander, S. 362-367 [Konferenz: 2020 European Control Conference, ECC, Saint Petersburg, Russia, 12-15 May 2020]
2019
Book chapter
Data for image recognition tasks - an efficient tool for fine-grained annotations
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods. Volume 1 - [Setúbal] : SCITEPRESS - Science and Technology Publications, Lda. . - 2019, S. 900-907 [Konferenz: 8th International Conference on Pattern Recognition Applications and Methods,February 19-21, 2019, Prague, Czech Republic]
Integrating safety design artifacts into system development models using SafeDeML
Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank
In: Model-Based Safety and Assessment , 1st ed. 2019 - Cham : Springer ; Papadopoulos, Yiannis, S. 93-106 - ( Lecture Notes in Computer Science; volume 11842) [Symposium: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 1618, 2019]
SafeDeML: on integrating the safety design into the system model
Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank; Hoyningen-Hüne, Jan; Piper, Thorsten
In: Computer Safety, Reliability, and Security , 1st ed. 2019 - Cham : Springer, S. 271-285 - (Programming and Software Engineering; 11698) [Konferenz: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019]
2018
Abstract
A very first glance on the safety analysis of self-learning algorithms for autonomous cars
Gonschorek, Tim; Filax, Marco; Ortmeier, Frank
In: Archive ouverte HAL - Paris : Centre National de la Recherche Scientifique - 2018, Art. hal-01878562, insgesamt 2 S. [Konferenz: 37th International Conference on Computer Safety, Reliability, & Security, SAFECOMP2018, Vasteras, Sweden, September 19-21, 2018]
Book chapter
Fault trees vs. component fault trees - an empirical study
Gonschorek, Tim; Zeller, Marc; Höfig, Kai; Ortmeier, Frank
In: Computer Safety, Reliability, and Security - Cham : Springer . - 2018, S. 239-251 - (Lecture Notes in Computer Science; 11094) [Workshop: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018]
Bringing formal methods on the rail - On automatic verifying railroad interlockings from railML models
Gonschorek, Tim; Bedau, Ludwig; Ortmeier, Frank
In: Safety and Reliability – Safe Societies in a Changing World - London : CRC Press . - 2018, S. 741-748 [Konferenz: ESREL 2018, Trondheim, Norway, June 17-21, 2018]
2017
Book chapter
QuadSIFT: unwrapping planar quadrilaterals to enhance feature matching
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: WSCG 2017 - Plzen : Vaclav Skala - Union Agency, S. 7-16 [Konferenz: 25th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2017, Plzen, Czech Republic, May 29 - June 2, 2017]
Building models we can rely on - requirements traceability for model-based verification techniques
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: Model-Based Safety and Assessment - Cham : Springer . - 2017, S. 3-18 - (Lecture Notes in Computer Science; 10437) [Symposium: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017]
On improving rare event simulation for probabilistic safety analysis
Gonschorek, Tim; Rabeler, Ben Lukas; Ortmeier, Frank; Schomburg, Dirk
In: Proceedings of the 15th ACM/IEEE International Conference on Formal Methods and Models for System Design - [Piscataway, NJ] : IEEE . - 2017, S. 15-24 [Konferenz: 5th ACM/IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria, September 29 - October 02, 2017]
Peer-reviewed journal article
Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse
Bitsch, Friedemann; Filax, Marco; Gonschorek, Tim; Ortmeier, Frank; Schumacher, Rolf
In: Signal + Draht - Hamburg : DVV Media Group . - 2017, Heft 6
Article in conference proceedings
A verification environment for critical systems - integrating formal methods into the safety development life-cycle
Gonschorek, Tim; Filax, Marco; Ortmeier, Frank
In: ResearchGATE - Cambridge, Mass. : ResearchGATE Corp. . - 2017, insges. 1 S. [Symposium: 5th International Symposium on Model-Based Safety and Assessment, IMBSA2017, Trento, 11-13 September 2017]
2016
Book chapter
Correct formalization of requirement specifications - a V-model for building formal models
Filax, Marco; Gonschorek, Tim; Ortmeier, Frank
In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Cham : Springer . - 2016, S. 106-122 - (Lecture Notes in Computer Science; 9707) [Kongress: 1st International Conference, RSSRail 2016, Paris, France, June 28-30, 2016]
Peer-reviewed journal article
Bringing formal methods on the rail - Modellbasierte Systemanalyse in der Sicherheitsnachweisführung
Filax, Marco; Gonschorek, Tim; Hebecker, Tanja; Lipaczewski, Michael; Madalinski, Agnes; Ortmeier, Frank; Fietze, Mario; Schumacher, Rolf
In: Der Eisenbahningenieur - Hamburg : DVV Media Group . - 2016, S. 24-27
2014
Abstract
A graphical notation for probabilistic specifications
Nielebock, Sebastian; Gonschorek, Tim; Ortmeier, Frank
In: VeriSure: Verification and Assurance: 23 July 2014, Vienna, Austria ; in association with Computer-Aided Verification (CAV) 2014, part of the Vienna Summer of Logic ; programm - ViennaKongress: VeriSure (Vienna, Austria : 2014.07.23)
Book chapter
On traceability of informal specifications for model-based verification
Filax, Marco; Gonschorek, Tim; Lipaczewski, Michael; Ortmeier, Frank
In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 11-18
VECS - verification enviroment for critical systems - tool supported formal modeling an verification
Gonschorek, Tim; Filax, Marco; Lipaczewski, Michael; Ortmeier, Frank
In: IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment - Magdeburg: Univ., S. 63-64
- Formal Verification for Safety Critical Systems ( Link zur LV im LSF )