Conferences in DBLP

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

1. Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
   Asynchronous Session Types and Progress for Object Oriented Languages. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:1-31 [Conf]
   
2. Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
   KeY: A Formal Method for Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:32-43 [Conf]
   
3. L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel
   Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:44-58 [Conf]
   
4. John Mullins, Raveca Oarga
   Model Checking of Extended OCL Constraints on UML Models in SOCLe. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:59-75 [Conf]
   
5. Gregor Engels, Christian Soltenborn, Heike Wehrheim
   Analysis of UML Activities Using Dynamic Meta Modeling. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:76-90 [Conf]
   
6. Adrián Riesco, Alberto Verdejo
   Distributed Applications Implemented in Maude with Parameterized Skeletons. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:91-106 [Conf]
   
7. Mark Hills, Grigore Rosu
   On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:107-121 [Conf]
   
8. Peter Csaba Ölveczky, Stian Thorvaldsen
   Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:122-140 [Conf]
   
9. Pascal Poizat, Gwen Salaün
   Adaptation of Open Component-Based Systems. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:141-156 [Conf]
   
10. Arnd Poetzsch-Heffter, Jan Schäfer
    A Representation-Independent Behavioral Semantics for Object-Oriented Components. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:157-173 [Conf]
    
11. Cristian Prisacariu, Gerardo Schneider
    A Formal Language for Electronic Contracts. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:174-189 [Conf]
    
12. Ludovic Henrio, Florian Kammüller
    A Mechanized Model of the Theory of Objects. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:190-205 [Conf]
    
13. Philippe Bidinger, Adriana B. Compagnoni
    Pict Correctness Revisited. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:206-220 [Conf]
    
14. Holger Grandy, Kurt Stenzel, Wolfgang Reif
    A Refinement Method for Java Programs. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:221-235 [Conf]
    
15. Thomas Ruhroth, Heike Wehrheim
    Refactoring Object-Oriented Specifications with Data and Processes. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:236-251 [Conf]
    
16. Frank S. de Boer
    A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:252-268 [Conf]
    
17. Marco Bernardo, Luca Padovani
    Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:269-284 [Conf]
    
18. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
    A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:285-300 [Conf]
    
19. Sun Meng, Farhad Arbab
    On Resource-Sensitive Timed Component Connectors. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:301-316 [Conf]