Low-Level Code Verification Based on CSP Models. - Moritz Kleine; Steffen Helke (SBMF, 2009)

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)

Simulating Truly Concurrent CSP. - Moritz Kleine; Jeff W. Sanders (SBMF, 2010)

Specification, Verification and Implementation of Business Processes Using CSP. - Moritz Kleine; Thomas Göthel (TASE, 2010)

CSP as a Coordination Language. - Moritz Kleine (COORDINATION, 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)

CSP as a Coordination Language: A CSP-based Approach to the Coordination of Concurrent Systems. - Moritz Kleine (2011)