5. FMOODS 2002: Enschede, The Netherlands

Bart Jacobs, Arend Rensink (Eds.): Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. IFIP Conference Proceedings 209 Kluwer 2002, ISBN 0-7923-7683-8 BibTeX

@proceedings{DBLP:conf/fmoods/2002,
  editor    = {Bart Jacobs and
               Arend Rensink},
  title     = {Formal Methods for Open Object-Based Distributed Systems V, IFIP
               TC6/WG6.1 Fifth International Conference on Formal Methods for
               Open Object-Based Distributed Systems (FMOODS 2002), March 20-22,
               2002, Enschede, The Netherlands},
  booktitle = {FMOODS},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {209},
  year      = {2002},
  isbn      = {0-7923-7683-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Presentations

Matthew B. Dwyer: Software Model Checking: The Bandera approach. 3-4 BibTeX
Steve Schneider: Verifying Authentication Protocol Implementations. 5-24 BibTeX
Carolyn L. Talcott: A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services. 25-26 BibTeX

Multiple Viewpoint Modelling

Jan Jürjens: Formal Semantics for Interacting UML subsystems. 29-43 BibTeX
Einar Broch Johnsen, Olaf Owe: A Compositional Formalism for Object Viewpoints. 45-60 BibTeX
Chris J. Taylor, Eerke A. Boiten, John Derrick: Interpreting ODP Viewpoint Specification: Observations from a Case Study. 61-76 BibTeX

Types, Service Types and Subtyping

Heike Wehrheim: Checking Behavioural Subtypes via Refinement. 79-93 BibTeX
Nabil Hameurlain: Behavioural Subtyping and Property Preservation for Active Objects. 95-110 BibTeX
Abhishek Singh, Jonathan Billington: A Formal Service Specification for IIOP based on ISO/IEC 14752. 111-125 BibTeX

Semantics of Object-Based Programming Languages

Sébastien Briais, Uwe Nestmann: Mobile Objects "Must" Move Safely. 129-146 BibTeX
Prasannaa Thati, Reza Ziaei, Gul Agha: A Theory of May Testing for Actors. 147-162 BibTeX
Frank S. de Boer, Cees Pierik: Computer-aided Specification and Verification of Annotated Object-Oriented Programs. 163-177 BibTeX

Verification and Validation

Kazuhiro Ogata, Kokichi Futatsugi: Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. 181-195 BibTeX
Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Control Flow Analysis of Mobile Ambients with Security Boundaries. 197-212 BibTeX
Heinz W. Schmidt, Ralf Reussner: Generating Adapters for Concurrent Component Protocol Synchronisation. 213-229 BibTeX

Specification and Analysis Techniques

Lynne Blair, Trevor Jones, Stephan Reiff-Marganiec: A Feature Manager Approach to the Analysis of Component-Interactions. 233-248 BibTeX
Yanjie Wang, Chris George: Supporting Collaborative Design. 249-262 BibTeX
Gabriele Taentzer: A Visual Modeling Framework for Distributed Object Computing. 263-278 BibTeX