Volker Stolz

	2009
12		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)
	2008
11		Zhiming Liu, Charles Morisset, Volker Stolz: A Component-Based Access Control Monitor. ISoLA 2008: 339-353
10		Geguang Pu, Volker Stolz: Preface. Electr. Notes Theor. Comput. Sci. 207: 1-2 (2008)
9		Lu Yang, Volker Stolz: Integrating Refinement into Software Development Tools. Electr. Notes Theor. Comput. Sci. 207: 69-88 (2008)
	2007
8		Zhenbang Chen, Abdel Hakim 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
7		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
6		Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. ICECCS 2007: 277-289
5		Volker Stolz: Temporal Assertions with Parametrised Propositions. RV 2007: 176-187
	2006
4		Eric Bodden, Volker Stolz: Tracechecks: Defining Semantic Interfaces with Temporal Logic. Software Composition 2006: 147-162
3		Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz: MSCan - A Tool for Analyzing MSC Specifications. TACAS 2006: 455-458
2		Volker Stolz, Eric Bodden: Temporal Assertions using AspectJ. Electr. Notes Theor. Comput. Sci. 144(4): 109-124 (2006)
	2005
1		Volker Stolz, Frank Huch: Runtime Verification of Concurrent Haskell Programs. Electr. Notes Theor. Comput. Sci. 113: 201-216 (2005)

Coauthor Index

1	Eric Bodden	[2] [4]
2	Benedikt Bollig	[3]
3	Zhenbang Chen	[6] [7] [8] [12]
4	Abdel Hakim Hannousse	[8]
5	Frank Huch	[1]
6	Dang Van Hung	[8]
7	Carsten Kern	[3]
8	Istvan Knoll	[8]
9	Xiaoshan Li	[7] [8]
10	Yang Liu	[8]
11	Zhiming Liu	[6] [7] [8] [11] [12]
12	Charles Morisset	[11]
13	Qu Nan	[8]
14	Joseph C. Okika	[8]
15	Geguang Pu	[10]
16	Anders P. Ravn	[6] [8] [12]
17	Markus Schlütter	[3]
18	Lu Yang	[6] [7] [8] [9]
19	Naijun Zhan	[8] [12]

Colors in the list of coauthors