AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour la catégorie 'Journées'

Les diapos des présentations de la journée AFSEC concurrence du 19 novembre 2013

Friday 22 November 2013

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

Journée AFSEC concurrence le 19 novembre 2013 à Cachan

Wednesday 10 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

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

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 »

Journée “Robustesse dans les systèmes concurrents” le 19 octobre 2012

Tuesday 16 October 2012

4 exposés “Time constrained MSC Graph”, “la Robustesse dans les timed Petri nets”, “Une sémantique (séquentielle) alternative pour les TPN”, les “Dépendances logiques entre les événements dans les dépliages de réseaux de Petri temporels”
Discussions

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

Compte rendu du Workshop AFSEC du 22 juin 2012

Friday 29 June 2012

Workshop AFSEC (lors des des journées du GDR GPL ) le 22 juin 2012 à Rennes - INRIA Campus Beaulieu

50 participants

Une partie des transparents est disponible :

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

Workshop AFSEC - 22 juin à Rennes

Wednesday 2 May 2012

Workshop AFSEC (lors des des journées du GDR GPL ) le 22 juin 2012 à Rennes - INRIA Campus Beaulieu

Plénier 9h-10h :

  • Claude Jard (ENS Cachan, Antenne de Bretagne - Inria / IRISA)
    QoS-Aware Management of Monotonic Service Orchestrations

Session 10h30-12h30 :

  • Loic Helouet (IRISA)
    “Synthèse de protocoles à partir d’exigences - Garanties de correction par controle asynchrone”
  • Marc Pouzet (Ecole Normale Supérieure, Paris.)
    “Une extension de Lustre avec du temps continu”
  • Thomas Chatain, (LSV - ENS Cachan)
    “Avoiding shared clocks in networks of timed automata”
  • Fabrice Kordon (LIP6 - Paris 6)
    “Exploitation de la Hiérarchie et des Symétries dans les systèmes répartis”

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

Journée “Implementability and Robustness of Timed Systems” le 29 mars 2012

Monday 2 April 2012

Journée “Implementability and Robustness of Timed Systems” de l’ANR Impro

Programme:

  • 10h30 — 11h15 Ocan Sankur, “Shrinking Timed Automata”
  • 11h15 — 12h15 Mathieu Sassolas, “Opacité probabiliste”
  • 13h45 — 14h30 Sandie Balaguer “Transformation de TPN en NTA qui préserve la distribution”
  • 14h30 — 15h00 Arnaud Sangier, “Verification of Probabilistic Timed Automata”
  • 15h00 — 15h30 Loïc Helouët ‘Robustesse dans les Timed-constrained MSCs”
  • 15h30 — 16h15 Rémi Jaubert “Robsutesse dans les TA”

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

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

Saturday 17 March 2012

Comme chaque année, l’action AFSEC est invitée à organiser une session lors des journées nationales du GDR GPL qui se dérouleront du 18 au 22 juin 2012 à Rennes.

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 »

Compte-rendu de la journée “Méthodes formelles pour la bio-informatique”

Friday 4 November 2011

Journée “Méthodes formelles pour la bio-informatique” du jeudi 20 octobre 2011 au LIP6 à Paris.

25 participants.

Nous remercions particulièrement Béatrice Bérard et Fabrice Kordon pour l’organisation locale.

Les transparents des quatre présentations sont disponibles :

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