The SCEAS System
Navigation Menu

Conferences in DBLP

Formal Methods for Components and Objects (fmco)
2005 (conf/fmco/2005)

  1. Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
    A Software Component Model and Its Preliminary Formalisation. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:1-21 [Conf]
  2. Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto
    Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:22-43 [Conf]
  3. Jan Komenda, Jan H. van Schuppen
    Control of Modular and Distributed Discrete-Event Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:44-63 [Conf]
  4. Jan Jürjens
    Model-Based Security Engineering with UML: Introducing Security Aspects. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:64-87 [Conf]
  5. Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen
    The Pragmatics of STAIRS. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:88-114 [Conf]
  6. Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
    Smallfoot: Modular Automatic Assertion Checking with Separation Logic. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:115-137 [Conf]
  7. Dennis Dams, Kedar S. Namjoshi
    Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:138-160 [Conf]
  8. Davide Sangiorgi
    Beyond Bisimulation: The "up-to" Techniques. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:161-171 [Conf]
  9. Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
    Separation Results Via Leader Election Problems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:172-194 [Conf]
  10. Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
    Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:195-218 [Conf]
  11. Orna Grumberg
    Abstraction and Refinement in Model Checking. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:219-242 [Conf]
  12. Edmund M. Clarke, Natasha Sharygina, Nishant Sinha
    Program Compatibility Approaches. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:243-258 [Conf]
  13. Jiri Barnat, Lubos Brim, Ivana Cerná
    Cluster-Based LTL Model Checking of Large Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:259-279 [Conf]
  14. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
    Safety and Liveness in Concurrent Pointer Programs. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:280-312 [Conf]
  15. Arnd Poetzsch-Heffter, Jan Schäfer
    Modular Specification of Encapsulated Object-Oriented Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:313-341 [Conf]
  16. Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll
    Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:342-363 [Conf]
  17. Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs 0002, K. Rustan M. Leino
    Boogie: A Modular Reusable Verifier for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:364-387 [Conf]
  18. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:388-407 [Conf]
  19. Marcus Größer, Christel Baier
    Partial Order Reduction for Markov Decision Processes: A Survey. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:408-427 [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