AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Journée AFSEC concurrence le 19 novembre 2013 à Cachan

10th July 2013

Une journée sur le thème de la concurrence se tiendra le 19 novembre 2013 à l’ENS Cachan.

Lieu : salle 102
Accès : entrer dans le bâtiment d’Alembert par le haut du fer à cheval, monter un étage, aller à gauche et encore à gauche (on se retrouve en fait au-dessus des bureaux du LSV)

Programme :

10h15

  • Accueil - café

10h45 - 12h00

  • Benedikt Bollig (LSV, CNRS, ENS Cachan)
    Logic for Communicating Automata with Parameterized Topology
  • Didier Lime (IRCCyN, École Centrale de Nantes)
    Dépliage symbolique des réseaux de Petri temporels

12h00 - 13h45

  • Déjeuner

13h45 - 15h00

  • Rémi Morin (LIF, Université d’Aix-Marseille)
    Vérification de MSG à l’aide d’outils
  • Yann Thierry-Mieg (LIP6, Université Pierre & Marie Curie, Paris)
    Expressing concurrent system semantics with GAL

15h30 - 16h45

  • Loïc Paulevé
    Interpretation of Traces for Asynchronous Automata Networks
  • Bernard Berthomieu (LAAS, CNRS, Toulouse)
    Specifying and verifying real time systems with Fiacre/Tina

Contact : Thomas Chatain

Leave a Reply

You must be logged in to post a comment.