Volker Stolz

Associate Professor - Programming
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 0373 Oslo
Postal address Postboks 1080 0316 Oslo

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

  • 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
Error: [call[include:feed, {, url, :, theurl, ,, override-feed-title, :, thetitle, ,, feed-title, :, true, ,, max-messages, :, 3, ,, include-if-empty, :, false, }]]: Failed to load feed: http://rcos.iist.unu.edu/index.php/older-news?format=feed&type=rss: rcos.iist.unu.edu

Projects

Research groups