Volker Stolz

Image of Volker Stolz
Norwegian version of this page
Phone +47-22852438
Room GA06 9461
Available hours by appointment
Username
Visiting address Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO
Other affiliations Department for Informatics

Please see this page for details.

Tags: formal methods, model transformation, UML

Publications

[1] Dan Li, Xiaoshan Li, Volker Stolz. QVT-based model transformation using XSLT. ACM SIGSOFT Software Engineering Notes Vol.36 Issue 1, 2011. [ DOI ]
[1] V. Stolz. Temporal Assertions with Parametrized Propositions. J. Log. Comput. 20(3): 743-757 (2010) [ DOI ].
[1] V. Stolz. An integrated multi-view model evolution framework. Innovations in Systems and Software Engineering, December 2009. [ DOI ]
[3] Z. Chen, Z. Liu, A. P. Ravn, V. Stolz, and N. Zhan. Refinement and verification in component-based model driven design. Science of Computer Programming, 74(4):168-196, Feb. 2009. Special Issue on the Grand Challenge.[ DOI ]
[4] B. Lei, X. Li, Z. Liu, C. Morisset, and V. Stolz. Robustness testing for software components. J. Science of Computer Programming, 2010. [ DOI ]
[5] Z. Liu, C. Morisset, and V. Stolz. rCOS: theory and tools for component-based model driven development. FSEN 2009.
[6] Z. Chen, C. Morisset, and V. Stolz. Specification and validation of behavioural protocols in the rCOS modeler. FSEN 2009.

View all works in Cristin

View all works in Cristin

Published Jan. 27, 2012 12:32 PM - Last modified July 25, 2016 1:40 PM
include:feed: Could not fetch object for cache entry with key "http://rcos.iist.unu.edu/index.php/older-news?format=feed&type=rss".

Projects