|
Search the dblp DataBase
Volker Stolz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Eric Bodden, Volker Stolz
Tracechecks: Defining Semantic Interfaces with Temporal Logic. [Citation Graph (0, 0)][DBLP] Software Composition, 2006, pp:147-162 [Conf]
- Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz
MSCan - A Tool for Analyzing MSC Specifications. [Citation Graph (0, 0)][DBLP] TACAS, 2006, pp:455-458 [Conf]
- Volker Stolz, Eric Bodden
Temporal Assertions using AspectJ. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:109-124 [Journal]
- Volker Stolz, Frank Huch
Runtime Verification of Concurrent Haskell Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:201-216 [Journal]
- Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
Harnessing rCOS for Tool Support - The CoCoME Experience. [Citation Graph (0, 0)][DBLP] Formal Methods and Hybrid Real-Time Systems, 2007, pp:83-114 [Conf]
- Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
A Refinement Driven Component-Based Design. [Citation Graph (0, 0)][DBLP] ICECCS, 2007, pp:277-289 [Conf]
Modelling with Relational Calculus of Object and Component Systems - rCOS. [Citation Graph (, )][DBLP]
A Component-Based Access Control Monitor. [Citation Graph (, )][DBLP]
rCOS: Theory and Tool for Component-Based Model Driven Development. [Citation Graph (, )][DBLP]
Specification and Validation of Behavioural Protocols in the rCOS Modeler. [Citation Graph (, )][DBLP]
Temporal Assertions with Parametrised Propositions. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Integrating Refinement into Software Development Tools. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|