Conferences in DBLP

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

1. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
   Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. [Citation Graph (0, 0)][DBLP]
   FMCO, 2003, pp:1-16 [Conf]
   
2. Jan A. Bergstra
   Machine Function Based Control Code Algebras. [Citation Graph (0, 0)][DBLP]
   FMCO, 2003, pp:17-41 [Conf]
   
3. Egon Börger, Robert F. Stärk
   Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. [Citation Graph (0, 0)][DBLP]
   FMCO, 2003, pp:42-76 [Conf]
   
4. Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog
   On the Verification of Cooperating Traffic Agents. [Citation Graph (0, 0)][DBLP]
   FMCO, 2003, pp:77-110 [Conf]
   
5. Frank S. de Boer, Cees Pierik
   How to Cook a Complete Hoare Logic for Your Pet OO Language. [Citation Graph (0, 0)][DBLP]
   FMCO, 2003, pp:111-133 [Conf]
   
6. Razvan Diaconescu
   Behavioural Specification for Hierarchical Object Composition. [Citation Graph (0, 0)][DBLP]
   FMCO, 2003, pp:134-156 [Conf]
   
7. Jochen Malte Küster, Gregor Engels
   Consistency Management Within Model-Based Object-Oriented Development of Components. [Citation Graph (0, 0)][DBLP]
   FMCO, 2003, pp:157-176 [Conf]
   
8. José Luiz Fiadeiro, Antónia Lopes
   CommUnity on the Move: Architectures for Distribution and Mobility. [Citation Graph (0, 0)][DBLP]
   FMCO, 2003, pp:177-196 [Conf]
   
9. Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella
   TulaFale: A Security Tool for Web Services. [Citation Graph (0, 0)][DBLP]
   FMCO, 2003, pp:197-222 [Conf]
   
10. Jan Friso Groote, Tim A. C. Willemse
    A Checker for Modal Formulae for Processes with Data. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:223-239 [Conf]
    
11. Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
    Semantic Essence of AsmL. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:240-259 [Conf]
    
12. Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau
    An MDA Approach to Tame Component Based Software Development. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:260-275 [Conf]
    
13. Jan J. M. M. Rutten
    An Application of Stream Calculus to Signal Flow Graphs. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:276-291 [Conf]
    
14. Natalia Ioustinova, Natalia Sidorova, Martin Steffen
    Synchronous Closing and Flow Analysis for Model Checking Timed Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:292-313 [Conf]
    
15. Gregor Gößler, Joseph Sifakis
    Priority Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:314-329 [Conf]
    
16. Heike Wehrheim
    Preserving Properties Under Change. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:330-343 [Conf]
    
17. Oleg Sheyner, Jeannette M. Wing
    Tools for Generating and Analyzing Attack Graphs. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:344-372 [Conf]