STUPS Group


News

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.
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.


2013
Validation of Formal Models by Refinement Animation [PDF] [Bibtex]
Science of Computer Programming, 78(3): 272-292, 2013.
Jerome Falampin, Hung Le-Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge
Improving Railway Data Validation with ProB [PDF] [Bibtex]
In: Industrial Deployment of System Engineering Methods, Springer: 27-44, 2013.
Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt
Storage strategies for collections in dynamically typed languages [PDF] [Bibtex]
In Proc. OOPSLA, to appear, 2013.
Inferring Physical Units in B Models [PDF] [Bibtex]
In Proceedings SEFM'2013, LNCS 8137, Springer, 2013.
B constrained [PDF] [Bibtex]
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
Parallel Model Checking of B Specifications [PDF] [Bibtex]
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
ProB 2.0 Tutorial [PDF] [Bibtex]
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
The Eclipse Requirements Modeling Framework [PDF] [Bibtex]
In Managing Requirements Knowledge, Springer, 2013.
Translating B to TLA+ for Validation with TLC [PDF] [Bibtex]
Technical Report, No. STUPS/2013/xx, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, 2013.
A Method and Tool for Tracing Requirements into Specifications [PDF] [Bibtex]
Science of Computer Programming
On Sequentiality and Concurrency, [PDF] [Bibtex]
Technical Note


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