STUPS Group


News

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.

Teaching

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

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

Winter 2014/2015

Summer 2014

Latest Publications

2014
Towards B as a High-Level Constraint Modelling Language [PDF] [Bibtex]
In Yamine Ait Ameur, Klaus-Dieter Schewe (ed.): Abstract State Machines, Alloy, B, TLA, VDM, and Z, Springer Berlin Heidelberg, 8477: 101-116, 2014.
From Animation to Data Validation: The ProB Constraint Solver 10 Years On [Bibtex]
In Jean-Louis Boulanger (ed.): Formal Methods Applied to Complex Systems: Implementation of the B Method, Wiley ISTE: 427-446, 2014.
Validation of the ABZ Landing Gear System using ProB [PDF] [Bibtex]
In ABZ 2014: The Landing Gear Case Study, 2014.
An Approach for Creating Domain Specific Visualisations of CSP Models [PDF] [Bibtex]
In HOFM 2014, LNCS, 2014.
Translating B to TLA + for Validation with TLC [PDF] [Bibtex]
In Proceedings ABZ'14, LNCS 8477, 2014.
Turning Failure into Proof: Evaluating the ProB Disprover [PDF] [Bibtex]
In Proceedings of the 1st International Workshop about Sets and Tools, 2014.
Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB [PDF] [Bibtex]
In Proceedings of the 1st Workshop on Formal-IDE, EPTCS 149, 2014, Electronic Proceedings in Theoretical Computer Science, 2014.
Who watches the watchers: Validating the ProB Validation Tool [PDF] [Bibtex]
In Proceedings of the 1st Workshop on Formal-IDE, EPTCS 149, 2014, Electronic Proceedings in Theoretical Computer Science, 2014.
Optimising the ProB Model Checker for B using Partial Order Reduction [PDF] [Bibtex]
In SEFM 2014, LNCS 8702, 2014.
Integrating ProB into the TLA Toolbox [PDF] [Bibtex]
In TLA Workshop, 2014.
Optimising the ProB Model Checker for B using Partial Order Reduction [PDF] [Bibtex]
Technical Report, No. STUPS/2014/xx, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, 2014.


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