AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour February, 2013

Workshop AFSEC le 04 avril 2013 à Nancy

Monday 11 February 2013

Workshop AFSEC le 04 avril 2013 à Nancy
lors des journées du GDR GPL du 2 au 5 avril 2013 à Nancy colocalisées avec CIEL et AFADL.

Pdf du programme avec resumés

Programme :

  • Benoît Barbot (LSV, ENS Cachan), Marco Beccuti (Univ. Torino), G. Franceschinis (Univ. Piemonte Orientale) et Serge Haddad (LSV, ENS Cachan)
    “Partially Observed Markov Decision Process, for Energy Management in Wireless Sensor Networks”
  • Frédéric Boniol et Virginie Wiels (ONERA Toulouse)
    “Ingénierie formelle pour logiciels aéronautiques certifiés.”
  • Sylvain Cotard, Sebastion Faucou et Jean-Luc Bechennec, (Renault & IRCCyN Nantes)
    “Runtime Verification for Real-Time Automotive Embedded Software”
  • Iulia Dragomir, Iulian Ober, Christian Percebois (IRIT TOULOUSE)
    “Contrats pour composants réactifs temporisés”

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

Workshop AFSEC 2013 lors des journées GPL - Appel à communication

Friday 1 February 2013

Comme chaque année, l’action AFSEC est invitée à organiser un workshop lors des journées nationales du GDR GPL qui se dérouleront du 2 au 5 avril 2013 à Nancy.
Ces journées seront colocalisées avec CIEL et AFADL.

Le workshop AFSEC se tiendra le jeudi 4 avril

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 »

Migration du serveur AFSEC

Friday 1 February 2013

Suite à la migration du serveur hébergeant l’AFSEC, nous avons d’une part été dans l’incapacité de mettre à jour le site et d’autre part privé de mailing list pendant quelques semaines.

Veuillez nous en excuser.
Tout semble maintenant opérationnel et les messages sur le site et par email vont pouvoir reprendre.

Publié dans Uncategorized | Pas de commentaire »