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