Tim Gonschorek

Tim Gonschorek
Mail: tim.gonschorek@ovgu.de
Room: G29, R402
Phone: +49 391 67 52705

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.

Courses

  • 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)
Tim Gonschorek

Publications

2020

Matschek, Janine; Gonschorek, Tim; Hanses, Magnus; Elkmann, Norbert; Ortmeier, Frank; Findeisen, Rolf

Learning References with Gaussian Processes in Model Predictive Control Applied to Robot Assisted Surgery Inproceedings Forthcoming

IFAC, (Hrsg.): Forthcoming.

BibTeX

Fritzsche, Holger; Ataide, Elmer Jeto Gomes; Bi, Afshan; Kalva, Rohit; Tripathi, Sandeep; Boese, Axel; Friebe, Michael; Gonschorek, Tim

Innovative Hospital Management: Tracking of Radiological Protection Equipment Artikel

International Journal of Biomedical and Clinical Engineering (IJBCE), 9 (1), S. 33–47, 2020.

Abstract | Links | BibTeX

2019

Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank; von Hoyningen-Hüne, Jan; Piper, Thorsten

SafeDeML: On Integrating the Safety Design into the System Model Inproceedings

Romanovsky, Alexander; Troubitsyna, Elena; Bitsch, Friedemann (Hrsg.): Computer Safety, Reliability, and Security, S. 271–285, Springer International Publishing, Cham, 2019, ISBN: 978-3-030-26601-1.

Abstract | Links | BibTeX

Gonschorek, Tim; Bergt, Philipp; Filax, Marco; Ortmeier, Frank

Integrating Safety Design Artifacts into System Development Models Using SafeDeML Inproceedings

Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco (Hrsg.): Model-Based Safety and Assessment, S. 93–106, Springer International Publishing, Cham, 2019, ISBN: 978-3-030-32872-6.

Abstract | Links | BibTeX

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

Data for Image Recognition Tasks: An Efficient Tool for Fine-Grained Annotations Inproceedings

Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019.

Abstract | Links | BibTeX

2018

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

A very first Glance on the Safety Analysis of Self-learning Algorithms for Autonomous Cars Inproceedings

Guiochet, Jérémie (Hrsg.): 37th International Conference on Computer Safety, Reliability, & Security. SAFECOMP2018., HAL, 2018.

Links | BibTeX

Gonschorek, Tim; Zeller, Marc; Ortmeier, Frank; Höfig, Kai

Fault Trees vs. Component Fault Trees: An Empirical Study Inproceedings

Gallina B. Skavhaug A., Schoitsch Bitsch E F (Hrsg.): Computer Safety, Reliability, and Security. SAFECOMP 2018., Springer, Cham, 2018, ISBN: 978-3-319-99228-0.

Links | BibTeX

Gonschorek, Tim; Bedau, Ludwig; Ortmeier, Frank

Automatic Model-based Verification of Railway Interlocking Systems using Model Checking Inproceedings

Haugen, Stein (Hrsg.): Proceedings of ESREL 2018, S. 741-748, CRC Press, London, 2018.

Abstract | Links | BibTeX

Bedau, Ludwig; Gonschorek, Tim; Ortmeier, Frank

Sicherheitsanalyse eines Bahnhofstellwerkes Konferenzbericht

Horber Schienen Tage 35 , 2018.

Links | BibTeX

2017

Gonschorek, Tim; Rabeler, Ben Lukas; Ortmeier, Frank; Schomburg, Dirk

On Improving Rare Event Simulation for Probabilistic Safety Analysis Inproceedings

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, S. 15-24, ACM New York, NY, USA ©2017 , 2017, ISBN: 978-1-4503-5093-8.

Abstract | Links | BibTeX

Gonschorek, Tim; Filax, Marco; Ortmeier, Frank

A Verification Environment for Critical Systems: Integrating Formal Methods into the Safety Development Life-cycle Sonstige

Invited Paper: 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), 2017.

Links | BibTeX

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

Building Models we can rely on: Requirements Traceability for Model-based Verification Techniques Inproceedings

Bozzano M., Papadopoulos Y (Hrsg.): Proceedings of the 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), S. 3-18, Springer, Cham, 2017, ISBN: 978-3-319-64118-8 .

Abstract | Links | BibTeX

Bitsch, Friedemann; Filax, Marco; Gonschorek, Tim; Ortmeier, Frank; Schumacher, Rolf

Effiziente Sicherheitsnachweisführung mithilfe modellbasierter Systemanalyse Artikel

Signal + Draht, 2017.

Abstract | Links | BibTeX

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

QuadSIFT: Unwrapping Planar Quadrilaterals to Enhance Feature Matching Inproceedings

Proceedings of the 25rd International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2017 - Short Papers Proceedings, 2017.

Abstract | Links | BibTeX

2016

Filax, Marco; Gonschorek, Tim; Ortmeier, Frank

Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models Inproceedings

Publishing, Springer International (Hrsg.): Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings, S. 106 - 122, 2016, ISBN: 978-3-319-33951-1.

Abstract | Links | BibTeX

Filax, Marco; Gonschorek, Tim; Hebecker, Tanja; Lipaczewski, Michael; Madalinski, Agnes; Ortmeier, Frank; Fietze, Mario; Schumacher, Rolf

Bringing formal methods “on the rail” - Modellbasierte Systemanalyse in der Sicherheitsnachweisführung Artikel

Der Eisenbahn Ingenieur, S. 24 -27, 2016.

Abstract | Links | BibTeX

2015

Gonschorek, Tim; Ortmeier, Frank

Slice or Unfold - Experiments on Checking Synchronous Models with Backwards Slicing Inproceedings

of Control, International Federation Automatic (Hrsg.): 5th International Workshop on Dependable Control of Discrete Systems (DCDS 2015), 2015, (accepted, will be published this year).

Abstract | Links | BibTeX

Gonschorek, Tim

A Backward Model Checking Approach with Slicing Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2015.

Abstract | BibTeX

2014

Nielebock, Sebastian; Gonschorek, Tim; Ortmeier, Frank

A Graphical Notation for Probabilistic Specifications Inproceedings

2014, (Verification and Assurance - Second VeriSure Workshop 2014).

Abstract | Links | BibTeX

Gonschorek, Tim; Filax, Marco; Lipaczewski, Michael; Ortmeier, Frank

VECS - Verification Enviroment for Critical Systems - Tool Supported Formal Modeling an Verification Buchkapitel

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 63-64, 2014.

Links | BibTeX

Filax, Marco; Gonschorek, Tim; Lipaczewski, Michael; Ortmeier, Frank

On Traceability of Informal Specifications for Model-Based Verification Inproceedings

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment., S. 11-18, Magdeburg : Univ., 2014.

Abstract | Links | BibTeX

2013

Gonschorek, Tim

Methodik zur Abstraktion kontinuierlicher Differentialgleichungen Abschlussarbeit

Otto-von-Guericke-University Magdeburg, 2013.

Abstract | Links | BibTeX