Warning: count(): Parameter must be an array or an object that implements Countable in /dsk/www-master/html/2005/Ajouts/Master/calendrier_fonctions.php on line 45

Groupe de Recherche Applications Réparties


(grar)

L’objectif de cette UE est de présenter les techniques de base pour la recherche (étude bibliographique, présentations scientifique, rédaction d’états de l’art). Ces activités seront centrés dans le domaine des applications réparties (modélisation, vérification, réalisation).

Les thèmes abordés varient suivant les années. A titre d’exemple, on peut citer : techniques de représentation d’espace d’états, MDA, génération automatique de programmes, UML et les techniques de vérification.

Le tableau ci après indique le planning des enseignements qui seront dispensés.

Semaine
Séance Lieu
1 (jeudi 09/02/06)
Modélisation et vérification avec Z (S. Vignes) ENST, amphi Jade
2 (jeudi 16/02/06)
Modélisation et vérification avec Z (S. Vignes) ENST, amphi Jade
3 (jeudi 23/02/06)
Cours sur les automates temporisés (C. Dutheillet)
Exposés d’étudiants
UPMC
4 (jeudi 02/03/06)
Graphe des marquages symboliques et symétries (Y. Thierry-Mieg)
Exposés d’étudiants
UPMC
5 (jeudi 09/03/06)
Modélisation et vérification avec Z ENST, amphi Jade
6 (jeudi 16/03/06)
Exposés d’étudiants
Ingénierie des Modèles : génération de code sur plate-forme robotique Aibo
UPMC
7 (jeudi 23/03/06)
Exposés d’étudiants UPMC

Attention :pour les séances à l’ENST, il vaut mieux vous munir d’une pièce d’identité (plan vigipirate).

Les articles à présenter

L’UE GRAR prévoie des séances dédiées à des exposés d’étudiants. L’objet de ce document est de décrire les modalités de fonctionnement de ces séances.

Modalités de présentation

Les articles sont présentés par un étudiant (pas en binôme donc ;-).

Pour la présentation des articles, il vous est accordé 20 minutes + 5 minutes de questions. Les objectifs de l’exposé sont les suivants :

Les étudiants ne présentant pas le papier doivent lire les papier et identifier quelques questions à poser à l’intervenant. Les étudiants assistant aux exposés pourront être amenés à poser des questions au même titre que les enseignants.

Il vous est demandé de respecter le timing demandé. A ttre indicatif, sachez que la note d’exposé considèrera 4 critères :

  1. compréension de l’article et restitution, recul par raport aux informations présentées
  2. réponses aux questions
  3. présentation orale(respect du timing, aisance, ...)
  4. qualité des transparents (pertinence du contenu principalement)

Choisir un article

Vous devez choisir un article à présenter avant le 17 Février 2005.

Pour ce faire, vous devez envoyer un mail à F. Kordon en précisant le numéro de l’article que vous avez choisi. En cas de conflit, une stratégie de type FIFO sera adoptée ;-).

Les affectations et les dates de présentation seront mises à jour sur cette page.

Dates de présentation

Les articles seront présentés lors des séances prévues à cet effet dans le planning. Les dates précises seront mises à jour au fur et à mesure des informations contenues dans cette page.

Les articles

Voici la liste des articles proposés par vos enseignants pour GRAR :

  1. Test Generation for Intelligent Networks Using Model Checking,
  2. Pi calculus versus Petri nets : Let us eat “humble pie” rather than further inflate the “Pi hype”,
  3. Modeling Software Architectures in the Unified Modeling Language,
  4. The D-Loop Pattern A technique for optimizing loops containing conditional branches,
  5. A Symbolic Symbolic State Space Representation,
  6. Automatic Symmetry Detection in Well-Formed Nets,
  7. A comparison of three Model Checkers Applied to a Distributed Database Problem,
  8. Model-Checking CSP,
  9. On liveness and boundedness of asymmetric choice nets,
  10. Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs,
  11. Context-Sensitive Synchronization-Sensitive Analysis Is Undecidable,
  12. Transactions for Software Model Checking,
  13. Truly On-The-Fly LTL Model Checking,
  14. Tool-Supported Use of UML for Constructing B Specifications,
  15. Integrating protocol aspects with software components to address dependability concerns,
  16. Theme : An Approach for Aspect-Oriented Analysis and Design,
  17. Comparison of Software Product Line Architecture Design Methods : COPA, FAST, FORM, KobrA and QADA,
  18. Organization based access control,
  19. Graphical Design of Reactive Systems,
  20. Interface Automata,
  21. Verifying DAML+OIL and Beyond in Z/EVES,
  22. Proposed NIST Standard for Role-Based Access Control.
  23. Programming Computers Embedded in the PhysicalWorld.
  24. Spatial Programming using Smart Messages : Design and Implementation.

Certains de ces articles sont issus de revues ; ils sont en général plus longs. D’autres, plus courts, sont issus de conférences internationales. Dans tous les cas, un travail de recherche autour de la problématique introduite par le papier sera demandée (étude de références voisines) afin de replacer les travaux dans le contexte du domaine considéré.

Ordre des présentations à ce jour (13/02/2006)

Jour
Étudiant(e)
Article
23/02/06
A. Hamez Article 05
23/02/06
M. Valero Article 24
23/02/06
X. Renault Article 23
02/03/06
W. Gajewski Article 12
02/03/06
D. Baudon Article 15
02/03/06
JB. Voron Article 18
16/03/06
O. Rouquette Article 10
16/03/06
L. Liger Article 01
16/03/06
Y. Sun Article 16
16/03/06
B. Hamou Article 21
23/03/06
M. Bouillaguet Article 13
23/03/06
T. Rolland d’Erceville Article 14
23/03/06
C. Kodrnja Article 19
23/03/06
E. Michonneau Article 04
23/03/06
L-M. Carlier Article 03
23/03/06
A. Anastassiades Article 17
23/03/06
C. Janton Article 22
 
Documents utiles
Projet S. Vignes (sujet)
Créneau des soutenances
Transparents du cours de C. Dutheillet


Localisation



Groupe Intervenant Salle Jour Horaire
Téléchargement du calendrier pour étudiant du groupe 1
Abonnement au calendrier pour étudiant du groupe 1
Téléchargement du calendrier pour enseignant du groupe 1
Abonnement au calendrier pour enseignant du groupe 1
1 Fabrice Kordon  modifier cet emploi du temps TD  201-203-205 Bât 31  jeudi 13h30-18h00
   

Calendrier

Cliquer sur les entrées du calendrier pour accéder aux documents pédagogiques.
aujourd'hui :   février 2006 - mars 2006  calendrier par jourcalendrier par semainecalendrier par mois
lundi mardi mercredi jeudi vendredi samedi dimanche
09/0206
13:30-18:00
TD G1
ENST, amphi Jade
fabrice kordon
10/0206 11/0206 12/0206
13/0207 14/0207 15/0207 16/0207
13:30-18:00
TD G1
ENST, amphi Jade
fabrice kordon
17/0207 18/0207 19/0207
20/0208 21/0208 22/0208 23/0208
13:30-18:00
TD G1
201-203-205 Bât 31
fabrice kordon
24/0208 25/0208 26/0208
27/0209 28/0209 01/0309 02/0309
13:30-18:00
TD G1
201-203-205 Bât 31
fabrice kordon
03/0309 04/0309 05/0309
06/0310 07/0310 08/0310 09/0310
13:30-18:00
TD G1
ENST, amphi Jade
fabrice kordon
10/0310 11/0310 12/0310
13/0311 14/0311 15/0311 16/0311
13:30-18:00
TD G1
201-203-205 Bât 31
fabrice kordon
17/0311 18/0311 19/0311
20/0312 21/0312 22/0312 23/0312
13:30-18:00
TD G1
201-203-205 Bât 31
fabrice kordon

logo-spip E. Saint-James & F. Kordon - Master Informatique - UPMC Valid XHTML 1.0!
Calculé le 26 novembre 2020 à 22h58min