AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Documents

Journée AFSEC “méthodes formelles pour la sécurité” le 21 juin 2017 à Paris

Journée AFSEC “solveurs SMT dans le contexte des systèmes embarqués critiques” le 29 mars 2016 à Paris

Journée AFSEC “méthodes formelles et processus métier” le 16 octobre 2014 à Paris

MOVEP 2014 : 7-11 juillet 2014 à Nantes

Workshop AFSEC le 13 juin 2014 à Paris

Journée AFSEC concurrence le 19 novembre 2013 à Cachan

Workshop AFSEC le 04 avril 2013 à Nancy

Workshop AFSEC du 22 juin 2012 à INRIA Rennes

Journée “Implementability and Robustness of Timed Systems” le 29 mars 2012 à IRCCyN, Nantes

Journée WEED du 23 novembre 2011 à l’ICT Lab Paris

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

Workshop AFSEC du 9 juin 2011 à Lille Polytech

Journée du 18 novembre 2010 : “Outils pour les modèles temporisés et hybrides”

Workshop AFSEC le vendredi 12 mars 2010 à Pau

lors des journées nationales du GDR GPL 2010
Les articles suivants sont disponibles dans les : actes des journées nationales GPL 2010

  • “Compilation modulaire des programmes synchrones flot de données: une représentation symbolique efficace “,
    Marc Pouzet (Université Paris-Sud 11, LRI), Pascal Raymond, (VERIMAG).
  • “Collaboration entre méthode d’ordonnancement et calcul réseau”,
    Marc Boyer, David Doose (ONERA)
  • “Analyse des délais de bout en bout pire cas dans des réseaux avioniques”,
    J.-L. Scharbarg, J. Ermont, H. Bauer, C. Fraboul (Université de Toulouse IRIT/ENSEEIHT-INPT)

Journée WEED du 5 février 2010

Journée du 17 novembre 2009 : “Calcul de pire délai de communication”

Réunion du 27 janvier 2009

Réunion du 3 décembre 2008

Réunion du 23 octobre 2008

Réunion du 05 juin 2008

  • Non-interférence pour les protocoles cryptographiques.
    par John Mullins (Ecole polytechnique de Montréal) : Crypto-NI

Réunion du 22 juin 2007

  • Présentation de Modelica par Sébastien FURIC Société Imagine (Roanne) : Modelica
  • Présentation de GreatSPN par Patrice Moreaux LISTIC (Annecy): GreatSPN
  • Présentation d’AltaRica par Antoine Rauzy IML/univ. Marseille : Altarica.ppt
  • Présentation de TINA par Bernard Berthomieu/François Vernadat LAAS Toulouse : tina-abstraction, tina-verif

Réunion du 23 mars 2007

  • Olivier H. Roux : Extensions temporelles des réseaux de Petri - temps sur les arcs, places ou transitions. Partie 1 , Partie 2
  • Benoît Trouillet : Une approche formelle du comportement temporel d’une classe de réseau de Petri. Pdf
  • Serge Haddad : Réseaux de Petri temporels et Automates temporisés. Partie 1 , Partie 2
  • François Laroussinie : Model checking des SED temporisés. Pdf

Réunion du 26 octobre 2006

Réunion du 8 février 2006