Volker Stolz

Associate Professor - Reliable Systems
Image of Volker Stolz
Norwegian version of this page
Phone +47-22852438
Room GA06 9461
Available hours by appointment
Visiting address Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO

Please see this page for details.

Tags: formal methods, model transformation, UML


[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

  • Ahishakiye, Faustin; Stolz, Volker; Jaksic, Svetlana; Lange, Felix Dino; Schmitz, Malte & Thoma, Daniel (2019). Non-intrusive MC/DC measurement based on traces. IEEE conference proceedings.  ISBN 978-1-7281-3342-3.  7 s.
  • Mann, Zoltan Adam & Stolz, Volker (ed.) (2018). Advances in Service-Oriented and Cloud Computing. Springer.  ISBN 978-3-319-79089-3.  194 s.

View all works in Cristin

View all works in Cristin

Published Jan. 27, 2012 12:32 PM - Last modified Sep. 12, 2019 12:46 PM
include:feed: Failed to load feed: http://rcos.iist.unu.edu/index.php/older-news?format=feed&type=rss: connect timed out


Research groups