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


Invited Talk

Guiding Distributed Systems Synthesis with Language-Based Security Policies.

Andrew Myers


Accepted Papers

Termination Analysis of Java Bytecode.

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


Sessions and Pipelines for Structured Service Programming.

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


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

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


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


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

John Derrick, Gerhard Schellhorn, Heike Wehrheim


Symbolic Step Encodings for Object Based Communicating State Machines.

Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko


Modeling and Model Checking Software Product Lines.

Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann


Semantic Foundations and Inference of Non-null Annotations.

Laurent Hubert, Thomas P. Jensen, David Pichardie


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

Michael Katelman, José Meseguer, Jennifer C. Hou


A Minimal Set of Refactoring Rules for Object-Z.

Tim McComb, Graeme Smith


Formal Modeling of a Generic Middleware to Ensure Invariant Properties.

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


CoBoxes: Unifying Active Objects and Structured Heaps.

Jan Schäfer, Arnd Poetzsch-Heffter


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

Jan Smans, Bart Jacobs 0002, Frank Piessens


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

Dries Vanoverberghe, Frank Piessens