• We are pleased to announce that the new website of our chair, accessible at cse.ovgu.de, has been launched. This replaces our old website, on which you are currently located and which will no longer be updated.

Team

Team

Our team of researchers, post-docs and research assistants is a closely connected group of people who share the same passion. Even so every member has it's own research goal, the overall aim is the same. Learn more about the active and former members of the group and get in touch with us.

Weiterlesen
Teaching

Teaching

Teaching is one of the main university duties. It allows us to introduce our research field to the next generation of researchers. Therefor we continuously improve and extend our course offer.

Weiterlesen
Research

Research

The overall aim of our research is the industrialization of software development in complex technical systems. To reach this goal, we are using, adapting and extending methods known from modern software engineering and formal methods of computer science. In particular we are focusing on the domain of complex software-intensive systems.

Weiterlesen

SafeTrAIn

SafeTrAIn

Machine Learning (ML) is currently viewed as the most promising approach for autonomous driving. In safety-critical contexts, like autonomous rail vehicles, ML models have to be provenly robust in order to, for example, detect vehicles on roads reliably. The project SafeTrAIn (<a href="https://safetrain-projekt.de/" rel="noopener" target="_blank"> Website</a>) aims to set the foundation for the safe deployment of ML models in autonomous rail vehicles, thereby taking steps towards utilizing ML models in autonomous vehicles in general. » Read More

Vip+ Aurora: Automatic Generation of Robot Programs

Vip+ Aurora: Automatic Generation of Robot Programs

The goal of the VIP+ project is to transfer the research on task sequencing, robot movement optimization, and exact path following by nonlinear model-predictive control into an industrial application to enable more companies to integrate robots into their production process. » Read More

VECS

VECS

VECS is an Eclipse-based specification framework for the analysis of software-intensive systems. It includes an implementation of the SAML language and model transformations to verification engines. Currently, connectors to high-level Software Engineering tools (Rhapsody) are being developed. » Read More

Master of Digital Engineering

Master of Digital Engineering

The master degree programme refers to students with a Bachelor-degree or Diploma-degree in Engineering terms or in Informatics. The study imparts comprehensive knowledge for development, construction and operation of complex and technical products as well as systems to be found in industrial engineering or in car industry. » Read More

News

  • New website launched

    We are pleased to announce that the new website of our chair, accessible at cse.ovgu.de, has been launched. This replaces our old website, on which you are currently located and which will no longer be updated.Read More »

  • „Productive Teaming“ beim 60. Ilmenau Scientific Colloquium 2023

    Das 60. Ilmenauer Scientific Colloquium (ISC) steht vor der Tür und verspricht auch in diesem Jahr wieder ein erfolgreiches Event zu werden. Die renommierte Konferenz findet vom 4. bis 8. September auf dem Campus der Technischen Universität Ilmenau statt und vereint Wissenschaftlerinnen und Wissenschaftler aus aller Welt. Ausgerichtet von der …Read More »

  • INDIN 2023 Best Paper Award

    Our joint paper with ABB on „Measuring the robustness of machinelearning models against data quality issues in industrial time series data“ presented at INDIN 2023 has received the Best Paper Award in the methods category. Congratulations to all authors!Read More »