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.

Winter 2015/2016

Summer 2015

Latest Publications

Inferring Physical Units in Formal Models [Bibtex]
Software & Systems Modeling: 1-23, 2015.
Validation of the ABZ landing gear system using ProB [Bibtex]
International Journal on Software Tools for Technology Transfer: 1-17, 2015.
Model-Based Problem Solving for University Timetable Validation and Improvement [Bibtex]
In FM 2015: Formal Methods: 20th International Symposium, Lecture Notes in Computer Science (Book 9109), Springer, 2015.
From Failure to Proof: The ProB Disprover for B and Event-B [Bibtex]
In Proceedings SEFM'2015, LNCS 9276, Springer, 2015.
Mastering the Visualization of Larger State Spaces with Projection Diagrams [PDF] [Bibtex]
Technical Report, No. STUPS/2015/May, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, 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.