VerAS Proceedings

Preliminary Versions

The preliminary versions of the VerAS proceedings are published as Internal Report 365/07 of the Department of Computer Science of the University of Kaiserslautern, which is available through its open access platform.. You can also download all papers here:

• complete proceedings
• chapters
  0. Preface and Table of Contents.
  1. Hermann Simon Lichte and Simon Oberthür. Schedulability Criteria and Analysis for Dynamic and Flexible Resource Management.
  2. Frank G. Radmacher and Wolfgang Thomas. A Game Theoretic Approach to the Analysis of Dynamic Networks.
  3. Ingo Sander and Axel Jantsch. Modelling Adaptive Systems in ForSyDe.