Universität Düsseldorf: Abgeschlossene Arbeiten

Abgeschlossene Arbeiten

Auf dieser Seite finde sie eine Übersicht über die am Lehrstuhl abgeschlossenen Bachelor- / Master- und Doktorarbeiten.

Einige der am Lehrstuhl verfassten Bachelor- und Masterarbeiten haben direkt zu Veröffentlichungen geführt.

Eine Liste dieser Veröffentlichungen kann hier abgerufen werden.

Jahr	Autor	Titel
2023	Joshua Schmidt	New Applications and Techniques for Constraint Programming in B
2023	Philipp Körner	On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
2018	John Witulski	A Python B Implementation - PyB A Second Tool-Chain
2018	Ivaylo Dobrikov	Improving Explicit-State Model Checking for B and Event-B
2017	David Schneider	Constraint Modelling and Data Validation Using Formal Specification Languages
2017	Sebastian Krings	Towards Infinite-State Symbolic Model Checking for B and Event-B
2017	Lukas Ladenberger	Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems
2015	Daniel Plagge	Supporting Validation and Verification of State-Based Formal Models
2014	Jens Bendisposto	Directed and Distributed Model Checking of B Specifications
2012	Carl Friedrich Bolz	Meta-Tracing Just-In-Time Compilation for RPython
2012	Michael Jastram	The ProR Approach: Traceability of Requirements and System Descriptions
2011	Marc Fontaine	A Model Checker for CSPM
2009	Corinna Spermann	On symmetry reduction in model checking via graph canonicalisation

Verantwortlichkeit: