IFIP TC6 Open Digital Library

10. FMOODS 2008: Oslo, Norway

Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings

Gilles Barthe, Frank S. de Boer

Springer, Lecture Notes in Computer Science 5051, ISBN: 978-3-540-68862-4



Contents

Invited Talk

Guiding Distributed Systems Synthesis with Language-Based Security Policies.

Andrew Myers

 1

Accepted Papers

Termination Analysis of Java Bytecode.

Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini

 2-18

Sessions and Pipelines for Structured Service Programming.

Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti

 19-38

Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.

Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan

 39-58

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.

Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos

 59-77

Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.

John Derrick, Gerhard Schellhorn, Heike Wehrheim

 78-95

Symbolic Step Encodings for Object Based Communicating State Machines.

Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko

 96-112

Modeling and Model Checking Software Product Lines.

Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann

 113-131

Semantic Foundations and Inference of Non-null Annotations.

Laurent Hubert, Thomas P. Jensen, David Pichardie

 132-149

Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking.

Michael Katelman, José Meseguer, Jennifer C. Hou

 150-169

A Minimal Set of Refactoring Rules for Object-Z.

Tim McComb, Graeme Smith

 170-184

Formal Modeling of a Generic Middleware to Ensure Invariant Properties.

Xavier Renault, Jérôme Hugues, Fabrice Kordon

 185-200

CoBoxes: Unifying Active Objects and Structured Heaps.

Jan Schäfer, Arnd Poetzsch-Heffter

 201-219

VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.

Jan Smans, Bart Jacobs 0002, Frank Piessens

 220-239

A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.

Dries Vanoverberghe, Frank Piessens

 240-258