Publications

Manuel Munier, Claude Godart
directeur de thèse
. Une architecture pour intégrer des composants de contrôle de la coopération dans un atelier distribué. Thèse de doctorat, 1999.
PDF Diapositives SUDOC Web Prototype
Gérôme Canals, Pascal Molli, Manuel Munier, Claude Godart. A criterion to enforce correctness of indirectly cooperating applications. In Information Sciences, 1998. Q1  
PDF DBLP Elsevier HAL BibTex XML DOI
Khalid Benali, Manuel Munier, Claude Godart. Cooperation models in co-design. In ICAM, 1998. A  
PDF HAL BibTex
Manuel Munier, Claude Godart. Cooperation services for widely distributed applications. In SEKE, 1998. B   B1  
PDF HAL BibTex
Gérôme Canals, Claude Godart, Manuel Munier, Samir Tata. Supporting cooperation in project-enterprises. In ENCOM, 1998.
PDF HAL BibTex
Pascal Molli, Manuel Munier, Gérôme Canals, François Charoy, Claude Godart. COO-serializability: A Correctness Criterion for Cooperative Executions. 1997.
Manuel Munier, Didier Galmiche
directeur
. Recherche de preuves en $AF_2$ par codage dans une logique d'ordre supérieur. Mémoire de DEA, 1994.
PDF Diapositives