Marc Pantel

	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

Coauthor Index

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