Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Matthias Colin

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues nationales / National journal papers

Conférences et workshops internationaux / International conference papers
  • Matthias Colin, Xavier Thirioux, Marc Pantel. Temporal logic based static analysis for non uniform behaviours. Dans : Formal Methods for Open Object-based Distributed Systems, Paris, 19/11/03-21/11/03, Springer Verlag - LNCS, p. 94-108, novembre 2003.
    Résumé
    BibTeX

Conférences et workshops nationaux / National conference papers
  • 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 / Conference papers without published proceedings
  • 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 / Ph.D Theses and Habilitation Theses
  • 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