The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Pattern Matching over a Dynamic Network of Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:1-14 [Conf]
  2. Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl
    A Dynamic Class Construct for Asynchronous Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:15-30 [Conf]
  3. Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani
    An Abstract Machine for the Kell Calculus. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:31-46 [Conf]
  4. Lucia Acciai, Michele Boreale
    XPi: A Typed Process Calculus for XML Messaging. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:47-66 [Conf]
  5. Holger Rasch, Heike Wehrheim
    Checking the Validity of Scenarios in UML Models. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:67-82 [Conf]
  6. Marcel Kyas
    An Extended Type System for OCL Supporting Templates and Transformations. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:83-98 [Conf]
  7. Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
    A Semantics for UML-RT Active Classes via Mapping into Circus. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:99-114 [Conf]
  8. Fabio Martinelli
    Towards an Integrated Formal Analysis for Security and Trust. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:115-130 [Conf]
  9. Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
    A Formal Security Analysis of an OSA/Parlay Authentication Interface. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:131-146 [Conf]
  10. Martín López Nores, José J. Pazos Arias, Jorge García Duque, Ana Belén Barragáns-Martínez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer
    Tracing Integration Analysis in Component-Based Formal Specifications. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:147-162 [Conf]
  11. Renaud Pawlak, Laurence Duchien, Lionel Seinturier
    CompAr: Ensuring Safe Around Advice Composition. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:163-178 [Conf]
  12. Hoang Truong
    Guaranteeing Resource Bounds for Component Software. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:179-194 [Conf]
  13. Andreas Roth
    Specification and Verification of Encapsulation in Java Programs. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:195-210 [Conf]
  14. Koushik Sen, Grigore Rosu, Gul Agha
    Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:211-226 [Conf]
  15. Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley
    Transforming Information in RDF to Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:227-242 [Conf]
  16. Wolfgang Reisig
    Modeling- and Analysis Techniques for Web Services and Business Processes. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:243-258 [Conf]
  17. Nadia Busi, Luca Padovani
    A Distributed Implementation of Mobile Nets as Mobile Agents. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:259-274 [Conf]
  18. Pawel T. Wojciechowski, Olivier Rütti
    On Correctness of Dynamic Protocol Update. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:275-289 [Conf]
  19. Rolf Hennicker, Matthias Ludwig
    Property-Driven Development of a Coordination Model for Distributed Simulations. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:290-305 [Conf]
  20. Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska
    A Timing Analysis of AODV. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:306-321 [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