Publications

Recherche de publications

Départements
Type de publication
Critères





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

Publications de JrmeErmont

Articles dans des revues internationales 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
  • 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/09-18/11/09, 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/03-08/10/03, Dominique Méry, Nidhal Rezg, Xiolan Xie (Eds.), Hermès, p. 111-127, octobre 2003.

    BibTeX

Conférences sans actes publiés Rapports