The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Volker Stolz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eric Bodden, Volker Stolz
    Tracechecks: Defining Semantic Interfaces with Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Software Composition, 2006, pp:147-162 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]

  7. Modelling with Relational Calculus of Object and Component Systems - rCOS. [Citation Graph (, )][DBLP]


  8. A Component-Based Access Control Monitor. [Citation Graph (, )][DBLP]


  9. rCOS: Theory and Tool for Component-Based Model Driven Development. [Citation Graph (, )][DBLP]


  10. Specification and Validation of Behavioural Protocols in the rCOS Modeler. [Citation Graph (, )][DBLP]


  11. Temporal Assertions with Parametrised Propositions. [Citation Graph (, )][DBLP]


  12. Preface. [Citation Graph (, )][DBLP]


  13. Integrating Refinement into Software Development Tools. [Citation Graph (, )][DBLP]


  14. Preface. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002