10. FMOODS 2008: Oslo, Norway

Invited Talk

• Andrew Myers:
  Guiding Distributed Systems Synthesis with Language-Based Security Policies. 1
  

Accepted Papers

• Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini:
  Termination Analysis of Java Bytecode. 2-18
  
• Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
  Sessions and Pipelines for Structured Service Programming. 19-38
  
• Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan:
  Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. 39-58
  
• Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos:
  Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. 59-77
  
• John Derrick, Gerhard Schellhorn, Heike Wehrheim:
  Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. 78-95
  
• Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko:
  Symbolic Step Encodings for Object Based Communicating State Machines. 96-112
  
• Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann:
  Modeling and Model Checking Software Product Lines. 113-131
  
• Laurent Hubert, Thomas P. Jensen, David Pichardie:
  Semantic Foundations and Inference of Non-null Annotations. 132-149
  
• Michael Katelman, José Meseguer, Jennifer C. Hou:
  Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. 150-169
  
• Tim McComb, Graeme Smith:
  A Minimal Set of Refactoring Rules for Object-Z. 170-184
  
• Xavier Renault, Jérôme Hugues, Fabrice Kordon:
  Formal Modeling of a Generic Middleware to Ensure Invariant Properties. 185-200
  
• Jan Schäfer, Arnd Poetzsch-Heffter:
  CoBoxes: Unifying Active Objects and Structured Heaps. 201-219
  
• Jan Smans, Bart Jacobs, Frank Piessens:
  VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. 220-239
  
• Dries Vanoverberghe, Frank Piessens:
  A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language. 240-258