AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour la catégorie 'WEED'

Sous groupe : Word End to End Delay

Soutenance d’habilitation à diriger des recherches d’Anne Bouillard

Tuesday 24 June 2014

Anne Bouillard a présenté son mémoire habilitation à diriger des recherches intitulé “Algorithmes et efficacité du Network calculus” le 8 avril 2014. Le jury était composé de

  • M. Laurent Hardouin, Professeur
  • M. Jean-Yves Le Boudec, Professeur, rapporteur
  • M. Sylvain Lombardy, Professeur, rapporteur
  • M. Ludovic Noirie, Ingénieur de recherche
  • M. Marc Pouzet, Professeur
  • M. Jens Schmitt, Professeur, Dr.-Ing., rapporteur
  • M. Lothar Thiele, Professeur

Vous pouvez retrouver les transparents.

Publié dans WEED | Pas de commentaire »

Soutenance de thèse d’Euriell Le Corronc

Saturday 1 December 2012

Euriell Le Corronc a soutenu sa thèse intitulée “Modèles et calculs garantis pour les systèmes (min,+)-linéaires le 4 novembre 2011. Le jury était composé de:

  • Laurent Hardouin - LISA, Angers, Directeur de thèse
  • Bertrand Cottenceau - LISA, Angers, Co-encadrant
  • Bruno Gaujal - LIG, INRIA Grenoble, Rapporteur
  • Jean-Jacques Lesage - LURPA, ENS Cachan, Rapporteur
  • Christian Fraboul - IRIT, INP Toulouse, Président du jury
  • Giovanni Stea - Université de Pise, Italie
  • Eric Thierry - LIP, ENS Lyon

Vous pouvez retrouvez les transparents.

Publié dans WEED | Pas de commentaire »

Soutenance de thèse de Laurent Jouhet

Saturday 1 December 2012

Laurent Jouhet a soutenu sa thèse intitulée “Algorithmique du Network Calculus le 7 novembre 2012. Le jury était composé de:

  • Anne BOUILLARD, ENS
  • Éric FLEURY, ENS de Lyon
  • Christian FRABOUL, ENSEEIHT, Rapporteur
  • Bruno GAUJAL, INRIA Grenoble
  • Laurent HARDOUIN, ISTIA, Rapporteur
  • Giovanni STEA, Université de Pise, Rapporteur
    Éric THIERRY, ENS de Lyon, Directeur de thèse

Vous pouvez retrouvez les transparents.

Publié dans WEED | Pas de commentaire »

Soutenance de thèse Thomas Ferrandiz

Friday 9 March 2012

Thomas Ferrandiz a soutenu sa thèse intitulée “Maîtrise des latences de communication dans les réseaux bord SpaceWire” le 2 mars. Le jury était composé de

  • M. Thierry Divoux, rapporteur,
  • M. Christian Fraboul, directeur de thèse,
  • M. Fabrice Frances,
  • M. David Jameux,
  • M. Jean-Jacques Lesage, rapporteur,
  • M. Gilles Moury,
  • M. Xavier Olive

Vous pouvez retrouvez les transparents.

Publié dans WEED | Pas de commentaire »

Journée WEED du 23 Novembre 2011

Wednesday 9 November 2011

Journée WEED du mercredi 23 novembre 2011 (10h30-16h30) a eu lieu à l’ICT Lab — 23 avenue d’Italie, 75013 Paris. Elle a réuni 13 participants.
Programme:

Participation gratuite mais réservation obligatoire (Marc.Boyer  —- onera.fr) .

Publié dans WEED | Pas de commentaire »

Compte rendu de la journée NC2 du 7 décembre 2010

Wednesday 26 January 2011

La journée “NC2 - Network Calculus & Co “, le mardi 7 décembre 2010, à l’IXI, a réuni 13 personnes, à l’invitation du LIP.

  • Network Calcul Tutorial, par Giovanni Stea (Université de Pise)
  • L’analyse trajectorielle (p1-5,p6-12), par Steven Martin (LRI, Orsay)
  • Analyse des délais pire cas de bout en bout dans des réseaux avioniques AFDX, par Christian Fraboul (IRIT, Toulouse)
  • Stochastic (max,+) systems, par Bruno Gaujal (LIG, Grenoble)

Publié dans Actions Afsec, Journées, WEED | Comments Off

ISoLA 2010 et WCTT Track

Friday 10 September 2010

La conférence ISoLA 2010 (4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 18-20 October 2010) a un track WCTT (Worst Case Traversal Time). La communauté AFSEC/WEED y est particulièrement bien représentée avec 5 papiers sur 9.

Publié dans Actions Afsec, Manifestations, Conférences, Conférences, WEED | Pas de commentaire »

Journée WEED du 5 février 2010

Tuesday 26 January 2010

Nous serons accueillis par le LRI (Orsay).

Le programme:

Publié dans Actions Afsec, Journées, WEED | Comments Off

Journée AFSEC à l’occasion de MSR

Saturday 12 December 2009

Plusieurs sessions de MSR’09 dont la session du 17 novembre 2009 intitulée “Calcul de pire délai de communication” ont reçu un soutien plus particulier de l’AFSEC et ont servi de lieu de rencontre AFSEC en général et du groupe WEED en particulier.

De plus une réunion spécifique WEED a eu lieu à l’occasion de MSR.

Les transparents de certaines présentations sont disponibles :

Publié dans Actions Afsec, Journées, WEED | Pas de commentaire »

Compte rendu de la réunion du 27 janvier 2009

Thursday 29 January 2009

Réunion du 27 janvier 2009 à Toulouse (ENSEEIHT). 37 participants.

Thèmes :

  • Vérification des systèmes temps-réel
  • Calcul réseau.
    Cette réunion a été l’occasion du lancement du groupe WEED.

Transparents des présentations :

Publié dans Actions Afsec, Journées, WEED | Pas de commentaire »