Conferences in DBLP

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

1. Bart Jacobs
   Java's Integral Types in PVS. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:1-15 [Conf]
   
2. Ana Paula Lüdtke Ferreira, Leila Ribeiro
   Towards Object-Oriented Graphs and Grammars. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:16-31 [Conf]
   
3. Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha
   A Rewriting Based Model for Probabilistic Distributed Object Systems. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:32-46 [Conf]
   
4. Andreas Prinz, Martin von Löwis
   Engineering the SDL Formal Language Definition. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:47-63 [Conf]
   
5. Cees Pierik, Frank S. de Boer
   A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:64-78 [Conf]
   
6. Heike Wehrheim
   Inheritance of Temporal Logic Properties. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:79-93 [Conf]
   
7. Matthias Colin, Xavier Thirioux, Marc Pantel
   Temporal Logic Based Static Analysis for Non-uniform Behaviours. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:94-108 [Conf]
   
8. Philippe Bidinger, Jean-Bernard Stefani
   The Kell Calculus: Operational Semantics and Type System. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:109-123 [Conf]
   
9. Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
   A Calculus for Long-Running Transactions. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:124-138 [Conf]
   
10. Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
    Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:139-154 [Conf]
    
11. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Inductive Proof Outlines for Monitors in Java. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:155-169 [Conf]
    
12. Kazuhiro Ogata, Kokichi Futatsugi
    Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:170-184 [Conf]
    
13. David H. Akehurst, John Derrick, A. Gill Waters
    Design and Verification of Distributed Multi-media Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:176-292 [Conf]
    
14. Susan Eisenbach, Vladimir Jurisic, Chris Sadler
    Managing the Evolution of .NET Programs. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:185-198 [Conf]
    
15. Diego Latella, Mieke Massink
    On Mobility Extensions of UML Statecharts. A Pragmatic Approach. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:199-213 [Conf]
    
16. Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
    New Operators for the TURTLE Real-Time UML Profile. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:214-228 [Conf]
    
17. Holger Rasch, Heike Wehrheim
    Checking Consistency in UML Diagramms: Classes and State Machines. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:229-243 [Conf]
    
18. Frederic Tronel, Frédéric Lang, Hubert Garavel
    Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:244-260 [Conf]
    
19. Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
    Verification of Distributed Object-Based Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:261-275 [Conf]