Conferences in DBLP

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

1. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
   Security Issues in Service Composition. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:1-16 [Conf]
   
2. José Luiz Fiadeiro
   Separating Distribution from Coordination and Computation as Architectural Dimensions. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:17- [Conf]
   
3. Davide Sangiorgi
   The Bisimulation Proof Method: Enhancements and Open Problems. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:18-19 [Conf]
   
4. Heeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon
   An Approach to Quality Achievement at the Architectural Level: AQUA. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:20-32 [Conf]
   
5. Pascal Poizat, Jean-Claude Royer, Gwen Salaün
   Bounded Analysis and Decomposition for Behavioural Descriptions of Components. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:33-47 [Conf]
   
6. Iulian Ober, Susanne Graf, David Lesens
   Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:48-62 [Conf]
   
7. Carlos Canal, Pascal Poizat, Gwen Salaün
   Synchronizing Behavioural Mismatch in Software Composition. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:63-77 [Conf]
   
8. Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
   Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:78-92 [Conf]
   
9. Carlos Enrique Cuesta Quintero, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano
   Temporal Superimposition of Aspects for Dynamic Software Architecture. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:93-107 [Conf]
   
10. Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:108-122 [Conf]
    
11. Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
    Transformation Laws for UML-RT. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:123-137 [Conf]
    
12. Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen
    Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:138-155 [Conf]
    
13. Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer, Jessica Winkelmann
    Generating Instance Models from Meta Models. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:156-170 [Conf]
    
14. Frédéric Jouault, Jean Bézivin
    KM3: A DSL for Metamodel Specification. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:171-185 [Conf]
    
15. Harmen Kastenberg, Anneke Kleppe, Arend Rensink
    Defining Object-Oriented Execution Semantics Using Graph Transformations. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:186-201 [Conf]
    
16. Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
    Type-Safe Runtime Class Upgrades in Creol. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:202-217 [Conf]
    
17. Erika Ábrahám, Andreas Grüner, Martin Steffen
    Abstract Interface Behavior of Object-Oriented Languages with Monitors. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:218-232 [Conf]
    
18. Claudio Guidi, Roberto Lucchi
    Mobility Mechanisms in Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:233-250 [Conf]
    
19. Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
    Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:251-266 [Conf]