Verifying the Implementation of an Operating System Scheduler. - Moritz Kleine; Björn Bartels; Thomas Göthel; Sabine Glesner (TASE, 2009)

The VATES-Diamond as a Verifier's Best Friend. - Sabine Glesner; Björn Bartels; Thomas Göthel; Moritz Kleine (Verification, Induction, Termination Analysis, 2010)

Formal Modeling and Verification of Low-Level Software Programs. - Björn Bartels; Sabine Glesner (QSIC, 2010)

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. - Björn Bartels; Sabine Glesner; Thomas Göthel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. - Björn Bartels; Sabine Glesner (APSEC, 2011)

A CSP-based framework for the specification, verification, and implementation of adaptive systems. - Björn Bartels; Moritz Kleine (SEAMS, 2011)

LLVM2CSP: Extracting CSP Models from Concurrent Programs. - Moritz Kleine; Björn Bartels; Thomas Göthel; Steffen Helke; Dirk Prenzel (NASA Formal Methods, 2011)

Modular Design and Verification of Distributed Adaptive Real-Time Systems. - Thomas Göthel; Björn Bartels (ICTCC, 2014)

Mechanized, Compositional Verification of Low-Level Code. - Björn Bartels; Nils Jähnig (NASA Formal Methods, 2014)

A mechanized verification environment for real-time process algebras and low-level programming languages. - Björn Bartels (2014)

Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions. - Thomas Göthel; Verena Klös; Björn Bartels (EAI Endorsed Trans. Self Adapt. Syst., 2015)