Volker Stolz

Volker Stolz: Special Issue: Harnessing theories for tool support in software. ISSE 9(1): 1-2 (2013)

Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz: rCOS: a formal model-driven engineering method for component-based software. Frontiers of Computer Science in China 6(1): 17-39 (2012)

Ka I. Pun, Martin Steffen, Volker Stolz: Deadlock checking by a behavioral effect system for lock handling. J. Log. Algebr. Program. 81(3): 331-354 (2012)

Dan Li, Xiaoshan Li, Volker Stolz: Model querying with graphical notation of QVT relations. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)

Eric Bodden, Kevin Falzon, Ka I. Pun, Volker Stolz: Delta-Oriented Monitor Specification. ISoLA (1) 2012: 162-177

Min Zhang, Volker Stolz: Preface. Electr. Notes Theor. Comput. Sci. 274: 1-2 (2011)

Dan Li, Xiaoshan Li, Volker Stolz: QVT-based model transformation using XSLT. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz: Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS 2011: 97-114

Cristiano Bertolini, Martin Schäf, Volker Stolz: Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES 2011: 57-74

Dan Li, Xiaoshan Li, Volker Stolz: Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT. TTC 2011: 54-69

Dan Li, Xiaoshan Li, Volker Stolz: Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case. TTC 2011: 223-236

Einar Broch Johnsen, Volker Stolz: Preface. Electr. Notes Theor. Comput. Sci. 266: 1-2 (2010)

Volker Stolz: An integrated multi-view model evolution framework. ISSE 6(1-2): 13-20 (2010)

Volker Stolz: Temporal Assertions with Parametrized Propositions. J. Log. Comput. 20(3): 743-757 (2010)

Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz: Robustness testing for software components. Sci. Comput. Program. 75(10): 879-897 (2010)

Jianhua Zhao, Volker Stolz: Preface. Electr. Notes Theor. Comput. Sci. 243: 1-2 (2009)

Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan: Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74(4): 168-196 (2009)

Zhiming Liu, Charles Morisset, Volker Stolz: rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN 2009: 62-80

Zhenbang Chen, Charles Morisset, Volker Stolz: Specification and Validation of Behavioural Protocols in the rCOS Modeler. FSEN 2009: 387-401

Geguang Pu, Volker Stolz: Preface. Electr. Notes Theor. Comput. Sci. 207: 1-2 (2008)

Lu Yang, Volker Stolz: Integrating Refinement into Software Development Tools. Electr. Notes Theor. Comput. Sci. 207: 69-88 (2008)

Zhiming Liu, Charles Morisset, Volker Stolz: A Component-Based Access Control Monitor. ISoLA 2008: 339-353

Volker Stolz: Temporal assertions for sequential and concurrent programs. RWTH Aachen University 2007, isbn kart., pp. 1-133

Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang: Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems 2007: 83-114

Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan: Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145

Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. ICECCS 2007: 277-289

Volker Stolz: Temporal Assertions with Parametrised Propositions. RV 2007: 176-187

Volker Stolz, Eric Bodden: Temporal Assertions using AspectJ. Electr. Notes Theor. Comput. Sci. 144(4): 109-124 (2006)

Eric Bodden, Volker Stolz: Tracechecks: Defining Semantic Interfaces with Temporal Logic. Software Composition 2006: 147-162

Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz: MSCan - A Tool for Analyzing MSC Specifications. TACAS 2006: 455-458

Volker Stolz, Frank Huch: Runtime Verification of Concurrent Haskell Programs. Electr. Notes Theor. Comput. Sci. 113: 201-216 (2005)