FMOODS

Keyphrases

Publications

2008

Michael Katelman, José Meseguer, Jennifer C. Hou
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. FMOODS (2008)
Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS (2008)
Dries Vanoverberghe, Frank Piessens
A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language. FMOODS (2008)
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. FMOODS (2008)
Jan Smans, Bart Jacobs, Frank Piessens
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. FMOODS (2008)
Tim McComb, Graeme Smith
A Minimal Set of Refactoring Rules for Object-Z. FMOODS (2008)
Jan Schäfer, Arnd Poetzsch-Heffter
CoBoxes: Unifying Active Objects and Structured Heaps. FMOODS (2008)
Laurent Hubert, Thomas P. Jensen, David Pichardie
Semantic Foundations and Inference of Non-null Annotations. FMOODS (2008)
Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini
Termination Analysis of Java Bytecode. FMOODS (2008)
John Derrick, Gerhard Schellhorn, Heike Wehrheim
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. FMOODS (2008)
Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann
Modeling and Model Checking Software Product Lines. FMOODS (2008)
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
Sessions and Pipelines for Structured Service Programming. FMOODS (2008)
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
Symbolic Step Encodings for Object Based Communicating State Machines. FMOODS (2008)
Andrew C. Myers
Guiding Distributed Systems Synthesis with Language-Based Security Policies. FMOODS (2008)
Xavier Renault, Jérôme Hugues, Fabrice Kordon
Formal Modeling of a Generic Middleware to Ensure Invariant Properties. FMOODS (2008)

volume 5051, 2008

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

2007

volume 4468, 2007

Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings FMOODS 4468 (2007)

2006

volume 4037, 2006

Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings FMOODS 4037 (2006)