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: UML, formal methods, model transformation

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

  • Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization.
  • Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian (2017). An operational semantics for a weak memory model with buffered writes, message passing, and goroutines. Full text in Research Archive.
  • Kyriakos, Kritikos; Zoltán Ádám, Mann; Claus, Pahl & Stolz, Volker (ed.) (2017). Joint Pre-Proceedings of the Workshops Associated with ESOCC 2017. Full text in Research Archive.
  • Macías, Fernando; Rutle, Adrian & Stolz, Volker (2017). Coordination and Amalgamation of Multilevel Coupled Model Transformations.
  • Eilertsen, Anna Maria; Bagge, Anya Helene & Stolz, Volker (2016). Safer Refactorings with Assertions.
  • Kristensen, Lars Michael; Krogstie, Birgit Rognebakke & Stolz, Volker (2016). Forord til NIK 2016 og UDIT 2016. NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.
  • Macías, Fernando; Rutle, Adrian & Stolz, Volker (2016). Multilevel Behavioural Metamodelling.
  • Macías, Fernando; Scheffel, Torben; Schmitz, Malte; Wang, Rui; Leuker, Martin; Rutle, Adrian & Stolz, Volker (2016). Integration of Runtime Verification into Metamodeling.
  • Macías, Fernando; Rutle, Adrian & Stolz, Volker (2015). A Property Specification Language for Runtime Verification of Executable Models.
  • Schmid, Klaus; Stolz, Volker & Trancón y Widemann, Baltasar (2014). Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014. CEUR Workshop Proceedings.  ISSN 1613-0073.  1129
  • Xue, Jinyun & Stolz, Volker (2014). TTSS'13 - Preface. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  309, s 1- 2 . doi: 10.1016/j.entcs.2014.12.001
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Lock-Polymorphic Behaviour Inference for Deadlock Checking.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Behaviour Inference for Deadlock Checking.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by Data Race Detection. Technical reports in informatics. 421.
  • Stolz, Volker (2012). Special Issue: Harnessing Theories for Tool Support in Software. Innovations in Systems and Software Engineering.  ISSN 1614-5046. . doi: 10.1007/s11334-012-0193-4
  • Cristiano, Bertolini; Liu, Zhiming; Stolz, Volker & Schäf, Martin (2011). Towards a Formal Integrated Model of Collaborative Healthcare Workflows.
  • Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2011). Interactive Transformations from Object-Oriented Models to Component-Based Models.
  • Marcel, Kyas; Sun, Meng & Stolz, Volker (ed.) (2011). TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software. Full text in Research Archive.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Deadlock checking by a behavioral effect system for lock handling. Technical Report Department of Informatics. 404.
  • Zhang, Min & Stolz, Volker (2011). Preface 4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS). Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  274, s 1- 2 . doi: 10.1016/j.entcs.2011.07.002
  • Stolz, Volker (2010). Component-Based Model Driven Design.
  • Stolz, Volker (2010). The rCOS Modeler - from Software Engineering to Verification.
  • Stolz, Volker (2010). The rCOS methodology and modeler.
  • Stolz, Volker & Johnsen, Einar Broch (2010). Preface TTSS 2009. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  266, s 1- 2
  • Zhang, Min & Stolz, Volker (ed.) (2010). Preliminary Proceedings of 4th International Workshop on Harnessing Theories for Tool Support in Software TTSS'10.

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