ADVANCE will hold a public Industry Day in Düsseldorf (University House) on Thursday 23rd October 2014 aimed at industrial participants with an interest in engineering methods for software-intensive systems, especially safety-critical systems.

Prof. Egon Börger visited our group during May 2014 as part of an award of the Alexander von Humboldt Foundation.


Übersicht über alle vom Lehrstuhl angebotenen Veranstaltungen und langfristige Planung.

Übersicht über freie Themen für Bachelor-, Master- und Projektarbeiten.

Summer 2015

Winter 2014/2015

Latest Publications

Inferring Physical Units in Formal Models [Bibtex]
Software & Systems Modeling: 1-23, 2015.
Translating B to TLA+ for Validation with TLC [PDF] [Bibtex]
Technical Report, No. STUPS/2015/Feb, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, 2015.

Have a look at the publications page for publications in 2014 and before.