 | 2009 |
| 19 |  | Nassima Izerrouken,
Marc Pantel,
Xavier Thirioux,
Olivier Ssi Yan Kai:
Integrated Formal Approach for Qualified Critical Embedded Code Generator.
FMICS 2009: 199-201 |
| 18 |  | Nassima Izerrouken,
Marc Pantel,
Xavier Thirioux:
Machine-Checked Sequencer for Critical Embedded Code Generator.
ICFEM 2009: 521-540 |
| 2008 |
| 17 |  | 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 |  | Pierre-Loïc Garoche,
Marc Pantel,
Xavier Thirioux:
Abstract Interpretation-based Static Safety for Actors.
JSW 2(3): 87-98 (2007) |
| 15 |  | 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 |  | 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 |  | Michel J. Daydé,
Aurélie Hurault,
Marc Pantel:
Semantic-Based Service Trading: Application to Linear Algebra.
VECPAR 2006: 622-633 |
| 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.
VECPAR 2006: 634-643 |
| 10 |  | 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 |  | Aurélie Hurault,
Marc Pantel:
Mathematical Service Trading Based on Equational Matching.
Electr. Notes Theor. Comput. Sci. 151(1): 161-177 (2006) |
| 8 |  | 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 |  | 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 |  | 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 |  | 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 |  | 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 |