Conferences in DBLP

Formal Methods for Open Object-Based Distributed Systems (fmoods)
2002 (conf/fmoods/2002)

1. Matthew B. Dwyer
   Software Model Checking: The Bandera approach. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2002, pp:3-4 [Conf]
   
2. Steve Schneider
   Verifying Authentication Protocol Implementations. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2002, pp:5-24 [Conf]
   
3. Carolyn L. Talcott
   A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2002, pp:25-26 [Conf]
   
4. Jan Jürjens
   Formal Semantics for Interacting UML subsystems. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2002, pp:29-43 [Conf]
   
5. Einar Broch Johnsen, Olaf Owe
   A Compositional Formalism for Object Viewpoints. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2002, pp:45-60 [Conf]
   
6. Chris Taylor, Eerke A. Boiten, John Derrick
   Interpreting ODP Viewpoint Specification: Observations from a Case Study. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2002, pp:61-76 [Conf]
   
7. Heike Wehrheim
   Checking Behavioural Subtypes via Refinement. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2002, pp:79-93 [Conf]
   
8. Nabil Hameurlain
   Behavioural Subtyping and Property Preservation for Active Objects. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2002, pp:95-110 [Conf]
   
9. Abhishek Singh, Jonathan Billington
   A Formal Service Specification for IIOP based on ISO/IEC 14752. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2002, pp:111-125 [Conf]
   
10. Sébastien Briais, Uwe Nestmann
    Mobile Objects "Must" Move Safely. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:129-146 [Conf]
    
11. Prasannaa Thati, Reza Ziaei, Gul Agha
    A Theory of May Testing for Actors. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:147-162 [Conf]
    
12. Frank S. de Boer, Cees Pierik
    Computer-aided Specification and Verification of Annotated Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:163-177 [Conf]
    
13. Kazuhiro Ogata, Kokichi Futatsugi
    Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:181-195 [Conf]
    
14. Chiara Braghin, Agostino Cortesi, Riccardo Focardi
    Control Flow Analysis of Mobile Ambients with Security Boundaries. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:197-212 [Conf]
    
15. Heinz W. Schmidt, Ralf Reussner
    Generating Adapters for Concurrent Component Protocol Synchronisation. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:213-229 [Conf]
    
16. Lynne Blair, Trevor Jones, Stephan Reiff-Marganiec
    A Feature Manager Approach to the Analysis of Component-Interactions. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:233-248 [Conf]
    
17. Yanjie Wang, Chris George
    Supporting Collaborative Design. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:249-262 [Conf]
    
18. Gabriele Taentzer
    A Visual Modeling Framework for Distributed Object Computing. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:263-278 [Conf]