Publications de
Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
Typing Concurrent Objects and Actors
Dans : L’Objet – Méthodes formelles pour les objets, Hermès, Vol. 6, N. 1, p. 83-106, janvier 2000.
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Helena Rugina, Jérémy Buisson, Fabien Dagnat
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software (regular paper)
Dans : Workshop on Formal Methods for Aerospace (FMA 2009), Eindhoven, 03/11/09, Vol. 20, Manuela Bujorianu, Michael Fisher (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), p. 80-87, mars 2010.
Static analysis of communications for Erlang
Dans : 8th International Erlang/OTP User Conference, Älvsjö, Suède, 19/11/02, Ericsson Telecommunication, p. 1-12, novembre 2002.
Programmation Concurrente et Répartie par Acteurs – Vérification statique de programmes répartis
Dans : Journées Parallèlisme, Répartition et Objets, Toulouse, 15/03/01-16/03/01.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des typages fonctionnels et concurrents d’un langage fonctionnel d’Acteurs
Dans : Formalisation des Activités Concurrentes, Toulouse, 25/02/99-26/02/99, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, février 1999.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des Typages Fonctionnel et Concurrent d’un Langage Fonctionnel d’Acteurs
Dans : Journées Francophone Langages Applicatifs, Avoriaz, 01/02/99-02/02/99, INRIA, Collection Didactique, p. 227-252, février 1999.
Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé
Static safety analysis for non-uniform service availability in Actors
Dans : Formal Methods for Open Object-based Distributed Systems, Florence, 15/02/99-18/02/99, Kluwer Academic Publisher, Pays-Bas, p. 371-386, février 1999.
Fabien Dagnat, Marc Pantel, Patrick Sallé
ML-Act, un langage fonctionnel d’Acteurs
Dans : Journéee Francophone des Langages Applicatifs, Côme, 02/02/98-03/02/98, INRIA, Collection didactique, février 1998.
Vérification statique de programmes répartis
Thèse de doctorat, Institut National Polytechnique de Toulouse, mai 2001.
Vérification statique de programmes répartis
Thèse de doctorat, Institut National Polytechnique de Toulouse, mai 2001.