IRIT - UMR 5505

- Version texte -
Accueil Annuaire Intranet English
  Bandeau IRIT
    Accueil > Français > Thèmes de recherche > Thème 6 - Architecture, systèmes et réseaux > Equipe IRT > Publications

 

Publications - IRT


Recherche plus ciblée 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.

 


Livres / Books (monographies)

Actes de conférences et de workshops / Conferences proceedings

Articles de revues internationales / International journals articles

Articles de revues nationales / National journals articles

  • Frédéric Boniol, Gérard Bel, Jérôme Ermont. Trois approches pour la modélisation et la vérification de systèmes embarqués. Dans : Technique et Science Informatiques, Hermes, Vol. 22, N. 5, p. 539-569, 2003.
    BibTeX

  • Xavier Crégut, Bernard Coulette. Réalisation en Eiffel d'un atelier de génie logiciel centré procédé. Dans : L'objet -- logiciel, bases de données, réseaux, Vol. 5, N. 3-4, p. 391-415, décembre 1999.
    BibTeX

Contributions à des ouvrages de synthèse / Books parts

Conférences et workshops internationaux / International conferences articles

Conférences et workshops nationaux / National conferences articles

  • André-Luc Beylot, Rahim Kacimi, Riadh Dhaou. Placide : une solution protocolaire pour le suivi de la chaîne du froid à l'aide d'un réseau de capteurs. Dans : Workshop Réseaux Autonomes et Spontanés, Paris, 30/10/07-31/10/07 (conférencier invité), Institut TELECOM, Actes de l'Institut Télécom, p. 51-55, septembre 2008.
    BibTeX

  • Mohamed Gad El Rab, Anas Abou El Kalam, Yves Deswarte. Modélisation des processus d'attaques pour l'évaluation des IDS. Dans : Conference On Security in Network Architecture and Information Systems, Loctudy, France, 13/10/08-17/10/08, Physica-Verlag, octobre 2008 (à paraître).
    Résumé
    BibTeX

  • Jérôme Ermont, Frédéric Boniol. La vérification de systèmes temps réel soumis à la préemption de processus est indécidable. Dans : 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Metz, 06/10/03-08/10/03, Dominique Méry, Nidhal Rezg, Xiolan Xie (Eds.), Hermès, p. 111-127, octobre 2003.
    BibTeX

  • Jérome Grieu, Fabrice Frances, Christian Fraboul. Preuve de déterminisme d'un réseau embarqué avionique. Dans : Colloque Francophone sur l'ingénierie des protocoles 2003, Paris, 07/10/03-10/10/03, Hermès, p. 16, octobre 2003.
    Résumé
    BibTeX

  • Béatrice Paillassa, Xavier Crégut, Ali Benarbia. ASA: Une architecture active de Services pour un Internet de Services. Dans : De Nouvelles Architectures pour les Communications, Paris, DNAC, novembre 2001.
    BibTeX

  • Bernard Coulette, Xavier Crégut. Modélisation de composants de procédés : Intégration dans l'environnement RHODES. Dans : IC'2000, Toulouse, ., mai 2000.
    BibTeX

  • Xavier Crégut, Bernard Coulette. Modélisation sous RHODES d'un procédé de développement formel. Application à la spécification en Unity. Dans : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'98), Poitiers, 30/09/98-01/10/98, ENSMA, Futuroscope, Poitiers, p. 165-176, septembre 1998.
    BibTeX

Conférences sans actes publiés / Conference articles without published proceedings