Moritz Kleine

Verifying the Implementation of an Operating System Scheduler

Sabine Glesner, Moritz Kleine, Björn Bartels, 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.

Specification, Verification and Implementation of Business Processes Using CSP

Moritz Kleine, Thomas Göthel, 2010, 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.

LLVM2CSP: Extracting CSP Models from Concurrent Programs

Moritz Kleine, Björn Bartels, Thomas Göthel, 2011, NASA Formal Methods.

Simulating Truly Concurrent CSP

Moritz Kleine, J. W. Sanders, J. Sanders, 2010, SBMF.

CSP as a Coordination Language: A CSP-based Approach to the Coordination of Concurrent Systems

Moritz Kleine, 2011 .

CSP as a Coordination Language

Moritz Kleine, Moritz Kleine, 2011, COORDINATION.

A CSP-based framework for the specification, verification, and implementation of adaptive systems

Moritz Kleine, Björn Bartels, Moritz Kleine, 2011, SEAMS '11.

The VATES-Diamond as a Verifier's Best Friend

Sabine Glesner, Moritz Kleine, Björn Bartels, 2010, Verification, Induction, Termination Analysis.

Low-Level Code Verification Based on CSP Models

Moritz Kleine, Steffen Helke, Steffen Helke, 2009, SBMF.