FMCO 2008: Presentation Slidess
Sophia-Antipolis, France
October 21-23, 2008
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
)