Moritz Kleine

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Moritz Kleine
CSP as a Coordination Language. COORDINATION (2011)
Björn Bartels, Moritz Kleine
A CSP-based framework for the specification, verification, and implementation of adaptive systems. SEAMS (2011)
Moritz Kleine, Björn Bartels, Thomas Göthel, Steffen Helke, Dirk Prenzel
: Extracting CSP Models from Concurrent Programs. NASA Formal Methods (2011)
Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine
The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis (2010)
Moritz Kleine, Jeff W. Sanders
Simulating Truly Concurrent CSP. SBMF (2010)
Moritz Kleine, Thomas Göthel
Specification, Verification and Implementation of Business Processes Using CSP. TASE (2010)
Moritz Kleine, Steffen Helke
Low-Level Code Verification Based on CSP Models. SBMF (2009)
Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner
Verifying the Implementation of an Operating System Scheduler. TASE (2009)