• Willkommen
  • Welcome

Specification of Software Systems

Welcome to our working group "Specification of Software Systems" at the University of Duisburg-Essen. We are part of "Paluno - The Ruhr Institute for Software Technology" as well as part of the Institute for Computer Science and Business Information Systems (ICB) at the Faculty of Business Administration and Economics at the University of Duisburg-Essen. We are physically located at the Paluno building at Gerlingstraße 16 in Essen.

Services for Students


Erasmus / Sokrates:

The deadline for Erasmus is 31 January each year. If you are interested in having a term aboard, please send us an application.

Research and Projects

Find out in which research areas we are working:

Have a look at our tools:

  • Opens internal link in current windowJACK - A System for Computer-Aided Assessments and Exercises

Am 5.7.2018 ab 9:00 Uhr findet in der Gerlingwache das diesjährige JACK-User-Treffen statt. »


Prof. Dr. Michael Goedicke und Dr. Marco Konersmann organisieren die Jahrestagung der Fachgruppe "Architekturen" der Gesellschaft für Informatik. »


Marco Konersmann defended his doctoral thesis for the doctorate (Dr. rer. nat.) on 23 March 2018 with highest honors. »