AFSEC

Workshop AFSEC le 04 avril 2013 à Nancy

11th 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”

Leave a Reply

You must be logged in to post a comment.