• Tuesday, 21, COMPAS Session
  • Formal Behavioral Models and Compliance Analysis for Service Oriented Systems Farhad Arbab & Natallia Kokash, CWI (PDF)
  • Towards Compliance-driven Models, Languages, and Architectures for Service-oriented Computing Schahram Dustdar, Vienna University of Technology (PDF)
  • Wednesday, 22, GridComp Session
  • Distributed Components and Futures: Models and Challenges Ludovic Henrio, INRIA Sophia-Antipolis (PPT)
  • Semi-formal models to support program development: autonomic management within component based parallel and distributed programming Marco Danelutto, University of Pisa (PDF)
  • Specification and Verification Tools for Grid Component-based Applications Eric Madelaine, INRIA Sophia-Antipolis (PDF)
  • Wednesday, 22, DEPLOY Session
  • Developing Programs by Splitting Atoms Cliff B. Jones, Newcastle University (PDF)
  • Formal component models for sensor networks Kaisa Sere & Mats Neovius, Aabo Akademi (PDF)
  • Demonstrably Correct Compilation of Java Bytecode Michael Leuschel, Dusseldorf University (PDF)
  • The Rodin Platform for Incremental Modelling in Event-B Stefan Hallerstede, Southampton University (PDF)
  • Thursday, 23, CREDO Session
  • CREDO general presentation Einar Broch Johnsen, University of Oslo (PDF)
  • Object-Oriented Modelling and Heterogeneous Networks Marcel Kyas, University of Oslo (PDF)
  • Testing Concurrent Objects Bernhard Aichernig, Graz University of Technology,and UNU-IST (PDF)
  • Formal Verification for Dynamic Coordination Models Sascha Klueppelholz, Techn. University of Dresden (PDF)
  • Thursday, 23, MOBIUS Session
  • Mobility and Global Progress in Asynchronous Multiparty Sessions Nobuko Yoshida, Imperial College (PDF)
  • Abstract Interpretation of Symbolic Execution for Information Flow Analysis Reiner Hahnle, Chalmers University of Technology (PDF)
  • BML: Specification and Verification at the Bytecode Level Aleksy Schubert, Warsaw University (PDF)
  • Thursday, 23, HATS Presentation
  • Presentation of the Hats project Reiner Hahnle, Chalmers University of Technology (PDF)