FMOODS'03     CONFERENCE       PROGRAM
WEDNESDAY     19 NOVEMBER 2003
Opening
Can concurrency and distribution become easy ?    Bertrand Meyer
Coffee Break

Models

Towards object-oriented graphs and grammars

Ana Paula Lüdtke Ferreira, Leila Ribeiro

A Rewriting Based Model for Probabilistic Distributed Object Systems

Nirman Kumar,  Koushik Sen, José Meseguer, Gul Agha

Engineering The SDL Formal Language Definition

Andreas Prinz, Martin von Löwis

Lunch
Java's Integral Type in PVS Bart Jacob
Coffee Break
Logic and Verification

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts

Cees Pierik, Frank de Boer

Inheritance of temporal logic properties

Heike Wehrheim

Temporal logic based static analysis for non uniform behaviors

Matthias Colin, Xavier Thirioux, Marc Pantel

THURSDAY    20 NOVEMBER 2003
Middleware? Muddleware! Andrew Herbert
Coffee Break
Calculi

The Kell calculus: operational semantics and type system

Philippe Bidinger, Jean-Bernard Stefani

A Calculus for Long Running Transactions

Laura Bocchi,  Cosimo Laneve, Gianluigi Zavattaro

Formal analysis of some timed security properties in wireless protocols

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Lunch
Research Challenges of Autonomic Computing    David Chambliss
Coffee Break
Java and .NET

Inductive Proof Outlines for Monitors in Java

Erika Abraham, Frank de Boer, Willem-Paul de Roever, Martin Steffen

Proof Scores in the OTS/CafeOBJ Method

Kazuhiro Ogata, Kokichi Futatsugi

Modeling the Evolution of .NET Programs

Susan Eisenbach, Vladimir Jurisic, Chris Sadler

FRIDAY    21 NOVEMBER 2003
Domain Specific Languages: Components in a Semantic Framework  Alan Cameron Wills
Coffee Break
UML

On Mobility Extensions of UML Statecharts. A Pragmatic Approach

Diego Latella, Mieke Massink

New Operators for the TURTLE Real-Time UML Profile

Christophe Lohr, Ludovic Apvrille,  Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Checking Consistency in UML Diagrams: Classes and State Machines

Holger Rasch, Heike Wehrheim

Lunch
Composition and Verification

Compositional verification using CADP of the Scalagent deployment protocol for software components

Frédéric Tronel, Frédéric Lang, Hubert Garavel

Verification of Distributed Object-Based Systems

Fernando Luis Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi Santos

Design and Verification of Distributed Multi-media Systems

David Akehurst, John Derrick, Gill Waters

 
Closing