Publications

Publications de

Articles dans des revues nationales Conférences et workshops internationaux avec actes édités et comité de lecture Conférences et workshops nationaux avec actes édités et comité de lecture
  • Matthias Colin, Marc Pantel, Xavier Thirioux

    Analyse statique de la communication dans un langage d’Acteurs

    Dans : Formalisation des Activités Concurrentes, Toulouse, 12/03/03-13/03/03, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, p. 1-18, mars 2003.

    BibTeX

  • 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.

    BibTeX

  • 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.

    BibTeX

Conférences sans actes publiés
  • Matthias Colin, Marc Pantel

    Programmation Concurrente et Répartie par Acteurs – Détection de problèmes de vivacité par analyse statique

    Dans : Journées Parallèlisme, Répartition et Objets, Lille, 25/11/99-26/11/99.

    BibTeX

Thèses et habilitations
  • Matthias Colin

    Analyse statique de la communication dans un langage d’acteurs fonctionnel

    Thèse de doctorat, Institut National Polytechnique de Toulouse, 2002.

    Résumé
    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant