dblp.uni-trier.dewww.uni-trier.de

Marc Pantel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
17EEHrachya 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
16EEPierre-Loïc Garoche, Marc Pantel, Xavier Thirioux: Abstract Interpretation-based Static Safety for Actors. JSW 2(3): 87-98 (2007)
15EEBenoî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
14EEPierre-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
12EEMichel J. Daydé, Aurélie Hurault, Marc Pantel: Semantic-Based Service Trading: Application to Linear Algebra. VECPAR 2006: 622-633
11EEPatrick 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
10EEPierre-Loïc Garoche, Marc Pantel, Xavier Thirioux: Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation CoRR abs/cs/0611139: (2006)
9EEAurélie Hurault, Marc Pantel: Mathematical Service Trading Based on Equational Matching. Electr. Notes Theor. Comput. Sci. 151(1): 161-177 (2006)
8EEJean-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
7EEJean-Paul Arcangeli, Sebastien Leriche, Marc Pantel: Development of Flexible Peer-To-Peer Information Systems Using Adaptable Mobile Agents. DEXA Workshops 2004: 549-553
6EEAuré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
5EEMatthias 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
3EEPatrick 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

Coauthor Index

1Patrick Amestoy [11]
2Jean-Paul Arcangeli [7] [8]
3Hrachya Astsatryan [17]
4Eddy Caron [17]
5J. L. Colaco [2]
6Matthias Colin [4] [5]
7Benoît Combemale [13] [15]
8Bernard Coulette [13]
9Xavier Crégut [13] [15]
10Fabien Dagnat [2] [4]
11Michel J. Daydé [11] [12] [17]
12A. El Faker [1]
13Pierre-Loïc Garoche [10] [14] [16]
14Christophe Hamerling [11]
15Vincent Hennebert [6]
16Aurélie Hurault [6] [9] [12] [17]
17Sebastien Leriche [7] [8]
18Christiane Massoutie [1]
19Christine Maurel [13]
20P. Michel [15]
21Frédéric Migeon [13]
22Chiara Puglisi [11]
23Sylvain Rougemaille [13]
24Vladimir Sahakyan [17]
25Patrick Sallé [1] [2] [3] [4]
26Yuri Shoukouryan [17]
27Xavier Thirioux [5] [10] [14] [16]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)