Moritz Kleine

According to our database, Moritz Kleine authored at least 9 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

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

Moritz Kleine

PhD thesis, 2011

<i>LLVM2CSP</i>: Extracting CSP Models from Concurrent Programs.

Moritz Kleine, Björn Bartels, Thomas Göthel, Steffen Helke, Dirk Prenzel

Proceedings of the NASA Formal Methods, 2011

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

Björn Bartels, Moritz Kleine

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

CSP as a Coordination Language.

Moritz Kleine

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010

Specification, Verification and Implementation of Business Processes Using CSP.

Moritz Kleine, Thomas Göthel

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Simulating Truly Concurrent CSP.

Moritz Kleine, Jeff W. Sanders

Proceedings of the Formal Methods: Foundations and Applications, 2010

The VATES-Diamond as a Verifier's Best Friend.

Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine

Proceedings of the Verification, Induction, Termination Analysis, 2010

2009

Verifying the Implementation of an Operating System Scheduler.

Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner

Proceedings of the TASE 2009, 2009

Low-Level Code Verification Based on CSP Models.

Moritz Kleine, Steffen Helke

Proceedings of the Formal Methods: Foundations and Applications, 2009