6. FMOODS 2003: Paris, France

Elie Najm, Uwe Nestmann, Perdita Stevens (Eds.): Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science 2884 Springer 2003, ISBN 3-540-20491-1

Invited Talk

Bart Jacobs:
Java's Integral Types in PVS. 1-15

Models

Ana Paula Lüdtke Ferreira, Leila Ribeiro:
Towards Object-Oriented Graphs and Grammars. 16-31
Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha:
A Rewriting Based Model for Probabilistic Distributed Object Systems. 32-46
Andreas Prinz, Martin von Löwis:
Engineering the SDL Formal Language Definition. 47-63

Logic and Verification

Cees Pierik, Frank S. de Boer:
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. 64-78
Heike Wehrheim:
Inheritance of Temporal Logic Properties. 79-93
Matthias Colin, Xavier Thirioux, Marc Pantel:
Temporal Logic Based Static Analysis for Non-uniform Behaviours. 94-108

Calculi

Philippe Bidinger, Jean-Bernard Stefani:
The Kell Calculus: Operational Semantics and Type System. 109-123
Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro:
A Calculus for Long-Running Transactions. 124-138
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. 139-154

Java and .NET

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Inductive Proof Outlines for Monitors in Java. 155-169
Kazuhiro Ogata, Kokichi Futatsugi:
Proof Scores in the OTS/CafeOBJ Method. 170-184
Susan Eisenbach, Vladimir Jurisic, Chris Sadler:
Managing the Evolution of .NET Programs. 185-198

UML

Diego Latella, Mieke Massink:
On Mobility Extensions of UML Statecharts. A Pragmatic Approach. 199-213
Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
New Operators for the TURTLE Real-Time UML Profile. 214-228
Holger Rasch, Heike Wehrheim:
Checking Consistency in UML Diagramms: Classes and State Machines. 229-243

Composition and Verification

Frederic Tronel, Frédéric Lang, Hubert Garavel:
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. 244-260
Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos:
Verification of Distributed Object-Based Systems. 261-275
David H. Akehurst, John Derrick, A. Gill Waters:
Design and Verification of Distributed Multi-media Systems. 176-292

Last update Sat May 18 18:30:46 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page