AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour December, 2009

Session AFSEC lors des journées GPL - Appel à communication

Friday 18 December 2009

L’action AFSEC est invitée à organiser une session lors des journées du GDR GPL qui se dérouleront à Pau dans la semaine du 8 au 12 mars 2010.
Ces journées seront co-localisées avec CAL 2010 (4ème Conférence francophone sur les Architectures Logicielles) et IDM 2010 (6èmes journées sur l’Ingénierie Dirigée par les Modèles).

Si vous souhaitez faire un exposé de vos travaux dans le cadre de la session AFSEC de ces journées, merci de faire parvenir par email (à Olivier H Roux) un titre et un résumé de votre présentation.

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

Parution de l’ouvrage AFSEC : Communicating Embedded Systems - Software and Design

Saturday 12 December 2009

L’ouvrage AFSEC Communicating Embedded Systems - Software and Design sous la direction de Claude Jard et Olivier H. Roux vient de paraitre chez Wiley-ISTE.

Liste des auteurs :

Gerd BEHRMANN, Béatrice BÉRARD, Peter BULYCHEV, Joakim BYG, Thomas CHATAIN, Franck CASSEZ, Thao DANG, Alexandre DAVID, Susanna DONATELLI, Goran FREHSE, Antoine GIRARD, Serge HADDAD, Claude JARD, Kim G. LARSEN, Colas LE GUERNIC, Didier LIME, Morgan MAGNIN, Nicolas MARKEY, Paul PETTERSSON, Jacob Illum RASMUSSEN, Olivier H. ROUX, Jiri SRBA, Louis-Marie TRAONOUEZ, Stavros TRIPAKIS, Kenneth Y. JOERGENSEN et Wang YI.

Publié dans Ouvrages - Journaux | Pas de commentaire »

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 »