Moritz Kleine

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
b1		Moritz Kleine: CSP as a Coordination Language: A CSP-based Approach to the Coordination of Concurrent Systems. Berlin Institute of Technology 2011
c8		Moritz Kleine: CSP as a Coordination Language. COORDINATION 2011: 65-79
c7		Björn Bartels, Moritz Kleine: A CSP-based framework for the specification, verification, and implementation of adaptive systems. SEAMS 2011: 158-167
c6		Moritz Kleine, Björn Bartels, Thomas Göthel, Steffen Helke, Dirk Prenzel: LLVM2CSP: Extracting CSP Models from Concurrent Programs. NASA Formal Methods 2011: 500-505
	2010
c5		Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine: The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis 2010: 81-101
c4		Moritz Kleine, J. W. Sanders: Simulating Truly Concurrent CSP. SBMF 2010: 128-143
c3		Moritz Kleine, Thomas Göthel: Specification, Verification and Implementation of Business Processes Using CSP. TASE 2010: 145-154
	2009
c2		Moritz Kleine, Steffen Helke: Low-Level Code Verification Based on CSP Models. SBMF 2009: 266-281
c1		Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner: Verifying the Implementation of an Operating System Scheduler. TASE 2009: 285-286

Coauthor Index

Last update Fri May 24 12:13:33 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page