• 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

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


Wir suchen zum nächstmöglichen Zeitpunkt eine studentische Hilfskraft (m/w) für die Entwicklung und Pflege von Software der Arbeitsgruppe S3. »


Wir suchen eine studentische Hilfskraft (m/w) für die Pflege und Weiterentwicklung von Projekten im Bereich des Managements von Softwareentwicklungsprozessen. Details siehe Anhang. »