direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dr. rer. nat. Moritz Kleine

Veröffentlichungen

2011

Kleine, M., Bartels, B., Göthel, T., Helke, S. and Prenzel, D. (2011). LLVM2CSP: Extracting CSP Models from Concurrent Programs. Proceedings of the Third NASA Formal Methods Symposium. Springer, 500-505.

Link zur Originalpublikation

Bartels, B. and Kleine, M. (2011). A CSP-based framework for the specification, verification, and implementation of adaptive systems. Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, 158–167.


2010

Kleine, M. and Göthel, T. (2010). Specification, Verification and Implementation of Business Processes using CSP. Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE, 145–154.

Link zur Originalpublikation

Kleine, M. and Bartels, B. (2010). On Using CSP for the Construction of Concurrent Programs. International Conference on Software Engineering Theory and Practice


Glesner, S., Bartels, B., Göthel, T. and Kleine, M. (2010). The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer, pp.81–101.

Link zur Originalpublikation

2009

Kleine, M., Bartels, B., Göthel, T. and Glesner, S. (2009). Verifying the Implementation of an Operating System Scheduler. Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Softwar Engineering, pp.285-286.

Link zur Originalpublikation

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe