Search the dblp DataBase

Publications of Author

1. Eric Madelaine, Didier Vergamini
   Finiteness Conditions and Structural Construction of Automata for All Process Algebras. [Citation Graph (0, 0)][DBLP]
   CAV, 1990, pp:353-363 [Conf]
   
2. Rabéa Boulifa, Eric Madelaine
   Model Generation for Distributed Java Programs. [Citation Graph (0, 0)][DBLP]
   FIDJI, 2003, pp:139-152 [Conf]
   
3. Tomás Barros, Rabéa Boulifa, Eric Madelaine
   Parameterized Models for Distributed Java Objects. [Citation Graph (0, 0)][DBLP]
   FORTE, 2004, pp:43-60 [Conf]
   
4. Eric Madelaine, Didier Vergamini
   AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. [Citation Graph (0, 0)][DBLP]
   FORTE, 1989, pp:61-66 [Conf]
   
5. Eric Madelaine, Didier Vergamini
   Tool Demonstration: Tools for Process Algebras. [Citation Graph (0, 0)][DBLP]
   FORTE, 1991, pp:463-466 [Conf]
   
6. Eric Madelaine, Didier Vergamini
   Specification and Verification of a Sliding Window Protocol in LOTOS. [Citation Graph (0, 0)][DBLP]
   FORTE, 1991, pp:495-510 [Conf]
   
7. Isabelle Attali, Tomás Barros, Eric Madelaine
   Parameterized Specification and Verification of the Chilean Electronic Invoices System. [Citation Graph (0, 0)][DBLP]
   SCCC, 2004, pp:14-25 [Conf]
   
8. Tomás Barros, Ludovic Henrio, Eric Madelaine
   Behavioural Models for Hierarchical Components. [Citation Graph (0, 0)][DBLP]
   SPIN, 2005, pp:154-168 [Conf]
   
9. Eric Madelaine, Didier Vergamini
   Verification of Communicating Processes by Means of Automata Reduction and Abstraction. [Citation Graph (0, 0)][DBLP]
   STACS, 1992, pp:613-614 [Conf]
   
10. Rance Cleaveland, Eric Madelaine, Steve Sims
    A Front-End Generator for Verification Tools. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:153-173 [Conf]
    
11. Tomás Barros, Ludovic Henrio, Eric Madelaine
    Verification of Distributed Hierarchical Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:41-55 [Journal]
    
12. Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera
    Model-checking Distributed Components: The Vercors Platform. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:3-16 [Journal]
    
13. 
    A Specification Language for Distributed Components Implemented in GCM/ProActive. [Citation Graph (, )][DBLP]
    
    
14. 
    Active Objects and Distributed Components: Theory and Implementation. [Citation Graph (, )][DBLP]
    
    
15. 
    Specification and Verification for Grid Component-Based Applications: From Models to Tools. [Citation Graph (, )][DBLP]
    
    
16. 
    Specifying Fractal and GCM Components with UML. [Citation Graph (, )][DBLP]
    
    
17. 
    Behavioural models for distributed Fractal components. [Citation Graph (, )][DBLP]
    
    
18. 
    Preface. [Citation Graph (, )][DBLP]
    
    
19. 
    Transparent First-class Futures and Distributed Components. [Citation Graph (, )][DBLP]
    
    
20. 
    Unifying Architectural and Behavioural Specifications of Distributed Components. [Citation Graph (, )][DBLP]