Search the dblp DataBase

Publications of Author

1. Jean-Paul Arcangeli, Sebastien Leriche, Marc Pantel
   Development of Flexible Peer-To-Peer Information Systems Using Adaptable Mobile Agents. [Citation Graph (0, 0)][DBLP]
   DEXA Workshops, 2004, pp:549-553 [Conf]
   
2. Patrick Sallé, Marc Pantel
   Concurrent and Distributed Programming with Objects - Introduction. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1999, pp:1333- [Conf]
   
3. J. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé
   Static safety analysis for non-uniform service availability in Actors. [Citation Graph (0, 0)][DBLP]
   FMOODS, 1999, pp:- [Conf]
   
4. Matthias Colin, Xavier Thirioux, Marc Pantel
   Temporal Logic Based Static Analysis for Non-uniform Behaviours. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:94-108 [Conf]
   
5. Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
   Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2006, pp:78-92 [Conf]
   
6. Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette
   Towards Rigorous Metamodeling. [Citation Graph (0, 0)][DBLP]
   MDEIS, 2006, pp:5-14 [Conf]
   
7. A. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé
   Vers une machine virtuelle pour l'évaluation des langages d'acteurs. [Citation Graph (0, 0)][DBLP]
   LMO, 1995, pp:221-240 [Conf]
   
8. Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
   Typing Concurrent Objects and Actors. [Citation Graph (0, 0)][DBLP]
   L'OBJET, 2000, v:6, n:1, pp:- [Journal]
   
9. Aurélie Hurault, Marc Pantel
   Mathematical Service Trading Based on Equational Matching. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:1, pp:161-177 [Journal]
   
10. Michel J. Daydé, Aurélie Hurault, Marc Pantel
    Semantic-Based Service Trading: Application to Linear Algebra. [Citation Graph (0, 0)][DBLP]
    VECPAR, 2006, pp:622-633 [Conf]
    
11. Patrick Amestoy, Michel J. Daydé, Christophe Hamerling, Marc Pantel, Chiara Puglisi
    Management of Services Based on a Semantic Description Within the GRID-TLSE Project. [Citation Graph (0, 0)][DBLP]
    VECPAR, 2006, pp:634-643 [Conf]
    
12. Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
    Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
13. 
    Generative Technologies for Model Animation in the TopCased Platform. [Citation Graph (, )][DBLP]
    
    
14. 
    Use of formal methods for building qualified code generator for safer automotive systems. [Citation Graph (, )][DBLP]
    
    
15. 
    Machine-Checked Sequencer for Critical Embedded Code Generator. [Citation Graph (, )][DBLP]
    
    
16. 
    A Grid-Aware Web Portal with Advanced Service Trading for Linear Algebra Calculations. [Citation Graph (, )][DBLP]
    
    
17. 
    Integrated Formal Approach for Qualified Critical Embedded Code Generator. [Citation Graph (, )][DBLP]
    
    
18. 
    Un framework à composants et agents pour les applications réparties à grande échelle. [Citation Graph (, )][DBLP]
    
    
19. 
    SéMo'07, premier atelier sur la sémantique des modèles. [Citation Graph (, )][DBLP]
    
    
20. 
    Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel. [Citation Graph (, )][DBLP]
    
    
21. 
    Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software [Citation Graph (, )][DBLP]