CONTACTS | MENTIONS LÉGALES
DATES IMPORTANTES
15 mai 2009
Echéance pour la pré-soumission des résumés

24 mai 2009
Echéance pour le dépot des articles

1 juillet 2009
Notification des articles acceptés

7 septembre 2009
Echéance pour les pre-proceedings

16-18 novembre 2009
Conférence

PARTENAIRES

  • Gabriel Kalyon, Tristan Le Gall, Thierry Massart and Hervé Marchand. Contrôle décentralisé de systèmes infinis à transitions symboliques sous observation partielle
  • Florent PERES, Bernard BERTHOMIEU and François VERNADAT. Composer des réseaux de Petri temporels
  • Johan Oudinet. Exploration aléatoire de modéles
  • Thomas Ferrandiz, Fabrice Fran├žois and Christian Fraboul. Une méthode de calcul de délais pire cas de bout en bout pour les réseaux SpaceWire
  • Jan Komenda, Sebastien Lahaye and Jean-Louis Boimond. Le produit synchrone et la commande des automates (max,+)
  • Serge Haddad, lynda mokdad and Youcef Samir. Bornes du temps de réponse des services Web composites
  • Elodie CHANTHERY and Yannick Pencolé. Modélisation et Intégration du Diagnostic Actif dans une Architecture Embarquée
  • Marc Boyer, Anne Bouillard and Laurent Jouhet. Notations pour le calcul réseau
  • Bertrand Cottenceau, Laurent Hardouin and Euriell Le Corronc. Représentation tridimensionnelle de la dynamique des Graphes d'Evénements Temporisés Généralisés
  • Annie Choquet-Geniet, Gaêlle Skapin-Largeteau and Abdoulaye Ouattara. Mesures de l'équité d'une application temps-réel à l'aide d'une approche à base de géométrie discrète
  • Gilbert HABIB, Pascale MARANGE, Jean-François PETIN and Thierry DIVOUX. Evaluation de l'influence d'un réseau de communication sans fil sur la commande d'un SED
  • Abdelhak Guezzi, Philippe Declerck and jean-louis Boimond. Commande des Graphes d'évènements Temporisés sur un horizon glissant
  • Mingming REN, Emil DUMITRESCU and Eric NIEL. Synthèse de Contrôleurs Discrets : mise en œuvre matérielle de superviseurs
  • Julien PROVOST, Jean-Marc ROUSSEL and Jean-Marc FAURE. Test exhaustif de contrôleurs logiques spécifiés en Grafcet : apports et limites d'une modélisation par machines de Mealy
  • Frédéric Boniol, Mikel Cordovilla, Julien Forget, David Lesens, and Claire Pagetti. Implantation multitâche de programmes synchrones multipériodiques
  • Julien Dormoy, Olga Kouchnarenko and Hassan Mountassir. Politiques d'adaptation pour la reconfiguration du composant de localisation
  • Euriell Le Corronc, Bertrand Cottenceau and Laurent Hardouin. Encadrement de systèmes (min,+)-linéaires
  • Christophe Deleuze. Programmation réactive en OCaml
  • achraf jabeur telmoudi, LOTFI NABLI, Yahya Chetouani and Radhi mhiri. Réseau de Neurones doublement  Récurrent à Base de Fonctions Radiales pour le pronostic
  • ADDAD Boussad and AMARI Said. Evaluation de délais dans les systèmes de communication temps-réel en utilisant des files d'attente virtuelles
  • Etienne Andre, Thomas Chatain, Olivier De Smet, Laurent Fribourg and Silvain Ruel. Extraction automatique de contraintes par model-checking temporisé paramétré
  • Jean-Luc Scharbarg, Jérôme Ermont and Christian Fraboul. Analyse des délais de bout en bout pire cas dans des réseaux avioniques
  • Charles André and Frédéric Mallet. Modèle de contraintes temporelles pour systèmes polychrones
  • Gregory Faraut, Laurent Piétrac and Eric Niel. Cadre d'aide à la conception par approche multi-mode dans les SED