Nos partenaires

CNRS

Rechercher





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

Publications

Jérôme Ermont

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 internationales / International journal papers

Articles de revues nationales / National journal papers

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers
  • Jean-Luc Scharbarg, Jérôme Ermont, Henri Bauer, Christian Fraboul. Analyse des délais bout en bout pire cas dans les réseaux avioniques (regular paper). Dans : Colloque francophone sur la Modélisation des Systèmes Réactifs (MSR 2009), Nantes, 16/11/2009-18/11/2009, Hermès, p. 953-967, novembre 2009.
    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/2003-08/10/2003, Dominique Méry, Nidhal Rezg, Xiolan Xie (Eds.), Hermès, p. 111-127, octobre 2003.
    BibTeX

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

Rapports / Reports