2008 |
17 | EE | Hrachya Astsatryan,
Vladimir Sahakyan,
Yuri Shoukouryan,
Michel J. Daydé,
Aurélie Hurault,
Marc Pantel,
Eddy Caron:
A Grid-Aware Web Portal with Advanced Service Trading for Linear Algebra Calculations.
VECPAR 2008: 150-159 |
2007 |
16 | EE | Pierre-Loïc Garoche,
Marc Pantel,
Xavier Thirioux:
Abstract Interpretation-based Static Safety for Actors.
JSW 2(3): 87-98 (2007) |
15 | EE | Benoît Combemale,
Xavier Crégut,
Marc Pantel,
P. Michel:
SéMo'07, premier atelier sur la sémantique des modèles.
L'OBJET 13(4): 137-144 (2007) |
2006 |
14 | EE | Pierre-Loïc Garoche,
Marc Pantel,
Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.
FMOODS 2006: 78-92 |
13 | | Benoît Combemale,
Sylvain Rougemaille,
Xavier Crégut,
Frédéric Migeon,
Marc Pantel,
Christine Maurel,
Bernard Coulette:
Towards Rigorous Metamodeling.
MDEIS 2006: 5-14 |
12 | EE | Michel J. Daydé,
Aurélie Hurault,
Marc Pantel:
Semantic-Based Service Trading: Application to Linear Algebra.
VECPAR 2006: 622-633 |
11 | EE | Patrick Amestoy,
Michel J. Daydé,
Christophe Hamerling,
Marc Pantel,
Chiara Puglisi:
Management of Services Based on a Semantic Description Within the GRID-TLSE Project.
VECPAR 2006: 634-643 |
10 | EE | Pierre-Loïc Garoche,
Marc Pantel,
Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
CoRR abs/cs/0611139: (2006) |
9 | EE | Aurélie Hurault,
Marc Pantel:
Mathematical Service Trading Based on Equational Matching.
Electr. Notes Theor. Comput. Sci. 151(1): 161-177 (2006) |
8 | EE | Jean-Paul Arcangeli,
Sebastien Leriche,
Marc Pantel:
Un framework à composants et agents pour les applications réparties à grande échelle.
L'OBJET 12(4): 103-132 (2006) |
2004 |
7 | EE | Jean-Paul Arcangeli,
Sebastien Leriche,
Marc Pantel:
Development of Flexible Peer-To-Peer Information Systems Using Adaptable Mobile Agents.
DEXA Workshops 2004: 549-553 |
6 | EE | Aurélie Hurault,
Vincent Hennebert,
Marc Pantel:
Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel.
L'OBJET 10(2-3): 47-60 (2004) |
2003 |
5 | EE | Matthias Colin,
Xavier Thirioux,
Marc Pantel:
Temporal Logic Based Static Analysis for Non-uniform Behaviours.
FMOODS 2003: 94-108 |
2000 |
4 | | Fabien Dagnat,
Marc Pantel,
Matthias Colin,
Patrick Sallé:
Typing Concurrent Objects and Actors.
L'OBJET 6(1): (2000) |
1999 |
3 | EE | Patrick Sallé,
Marc Pantel:
Concurrent and Distributed Programming with Objects - Introduction.
Euro-Par 1999: 1333 |
2 | | J. L. Colaco,
Marc Pantel,
Fabien Dagnat,
Patrick Sallé:
Static safety analysis for non-uniform service availability in Actors.
FMOODS 1999 |
1995 |
1 | | A. El Faker,
Christiane Massoutie,
Marc Pantel,
Patrick Sallé:
Vers une machine virtuelle pour l'évaluation des langages d'acteurs.
LMO 1995: 221-240 |