Publications

Publications de

Articles dans une revue
Communications dans un congrès
  • 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, 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

  • 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

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