• The success of the CSE working group is a combination of friendly organizers, experienced researchers and promising students. Even so every one of us has their own domain of expertise, we work close together and foster teamwork.
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

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

Knowledge 4.0

Knowledge 4.0

» 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

VIP-MoBaSA

VIP-MoBaSA

More and more functions in complex technical systems are realized in software. This leads to the term of "software-intensive systems". However, many of these systems require highest dependability standards as system failure might cause injuries or even deaths. Traditional techniques for safety analysis and methods for software design are no longer sufficient. In academia, and particularly in our research group, several new model-based methods to solve this problem have been developed in the last decade. » Read More

Medical Robotics

Medical Robotics

Within a national competition, the Otto-von-Guericke-University Magdeburg was successful in setting up a prestigious research campus medical devices. Special congratulations go to Georg Rose on Oliver Speck as spokesman of this strategic project. » Read More

News

  • Lectures and Projects in the Winter Term 2018/19

    In the recent winter term, we offer different lectures and projects. An overview of our lectures can be found here. However, we were pretty amazed by the number of participants for the first lecture in Clean Code Development. Actually, weRead More »
  • Accepted Workshop Papers and Invited Journal First Paper

    Our two workshop papers „Commits as a Basis for API Misuse Detection“ by Sebastian, Robert, and Frank and „Who plays with Whom? … and How? Mining API Interaction Patterns from Source Code“ by Robert, Sebastian, and Frank have both been accepted for theRead More »
  • ACM SAC Student Research Competition

    Robert Heumüller and Jacob Krüger are currently participating in the student research competition at the 2018 ACM Symposium on Applied Computing. ACM’s SRC Program funds travel expenses of invited src authors with up to $500. @JacobKrueger_ and Robert Heumüller presentingRead More »
  • Journal Paper Accepted

    Our paper „Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code“ by Sebastian Nielebock, Robert Heumüller, and Frank Ortmeier has been accepted for publication in Springer’s journal Empirical Software Engineering.Read More »
  • Teilnahme an der Regionalkonferenz in Hamburg

    Im Rahmen des Projektes „Mittelstand 4.0 – Kompetenzzentrum Magdeburg“ nahmen wir an der Regionalkonferenz des Kompetenzzetrum Hamburgs am 24. Januar teil. Unter dem Motto „Digital Voraus“ erhielten wir einen Einblick in die Arbeit des Zentrums, besichtigten deren Demonstratoren und diskutierten inhaltlicheRead More »