The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002