Conferences in DBLP

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

1. Thomas Ball
   A Theory of Predicate-Complete Test Coverage and Generation. [Citation Graph (0, 0)][DBLP]
   FMCO, 2004, pp:1-22 [Conf]
   
2. Luís Soares Barbosa
   A Perspective on Component Refinement. [Citation Graph (0, 0)][DBLP]
   FMCO, 2004, pp:23-48 [Conf]
   
3. Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám
   A Fully Abstract Semantics for UML Components. [Citation Graph (0, 0)][DBLP]
   FMCO, 2004, pp:49-69 [Conf]
   
4. Pierre Cointe, Hervé Albin-Amiot, Simon Denier
   From (Meta) Objects to Aspects: A Java and AspectJ Point of View. [Citation Graph (0, 0)][DBLP]
   FMCO, 2004, pp:70-94 [Conf]
   
5. Rocco De Nicola, Michele Loreti
   MoMo: A Modal Logic for Reasoning About Mobility. [Citation Graph (0, 0)][DBLP]
   FMCO, 2004, pp:95-119 [Conf]
   
6. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
   Probabilistic Linda-Based Coordination Languages. [Citation Graph (0, 0)][DBLP]
   FMCO, 2004, pp:120-140 [Conf]
   
7. Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
   Games with Secure Equilibria. [Citation Graph (0, 0)][DBLP]
   FMCO, 2004, pp:141-161 [Conf]
   
8. Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
   Priced Timed Automata: Algorithms and Applications. [Citation Graph (0, 0)][DBLP]
   FMCO, 2004, pp:162-182 [Conf]
   
9. Zhiming Liu, Jifeng He, Xiaoshan Li
   rCOS: Refinement of Component and Object Systems. [Citation Graph (0, 0)][DBLP]
   FMCO, 2004, pp:183-221 [Conf]
   
10. Davide Ancona, Eugenio Moggi
    Program Generation and Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:222-250 [Conf]
    
11. David A. Naumann
    Assertion-Based Encapsulation, Object Invariants and Simulations. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:251-273 [Conf]
    
12. Einar Broch Johnsen, Olaf Owe
    A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:274-295 [Conf]
    
13. Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen
    Observability, Connectivity, and Replay in a Sequential Calculus of Classes. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:296-316 [Conf]
    
14. Reinhard Wilhelm
    Timing Analysis and Timing Predictability. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:317-323 [Conf]