Invitation à la soutenance de thèse de Shahab Gashti (25 Mars à 15h)

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Architecture de la découverte de services pour les réseaux de
domicile communautaires."

La soutenance se déroulera le :

==========
Jeudi 25 Mars à 15h00 au LIP6, salle 847 - 8ème étage (Site Passy-Kennedy)
==========

Vous êtes également invités au pot qui suivra.

=========
Résumé
=========

Un réseau de domicile représente un ensemble d'appareils de domicile
avec la capacité de communication réseau. Ces appareils sont
interconnectés afin de partager et d'utiliser les services divers
proposés dans le domicile. La découverte de services est un mécanisme
incontournable dans les réseaux de domicile. Un protocole de
découverte de services permet aux utilisateurs de rechercher et
d'utiliser les appareils et les services correspondant à leur besoin.
De nombreuses technologies de découverte de services ont été proposées
et les travaux de recherche se sont intéressés récemment au
prolongement de cette fonctionnalité aux appareils situés à
l'extérieur du réseau de domicile. Dans cette thèse, nous proposons
une nouvelle approche pour la découverte de services intra-domicile et
inter-domicile. Elle repose sur la personnalisation de la découverte
de services dans un environnement de domicile. Notre architecture
propose un mécanisme protégeant l'accès aux ressources spécifiques du
domicile en fonction des profils utilisateurs ou groupes
d'utilisateurs. Un profil décrit les appareils et services auxquels un
utilisateur donné peut accéder. Les réseaux de domicile sont
interconnectés grâce à un réseau privé virtuel overlay (communauté),
permettant aux utilisateurs de partager leurs ressources avec d'autres
foyers au sein d'une communauté. La communauté des réseaux de domicile
est étendue jusqu'à l'infrastructure du réseau sans fil Mesh. Ce
dernier permet une connectivité sans fil étendue et ubiquitaire. Les
réseaux de domicile forment ainsi un réseau sans fil communautaire
dans le voisinage. Par ailleurs, les sites de réseaux sociaux sont
employés afin de garder le processus de la création et de la gestion
de communauté et de ses composants aussi simple et automatique que
possible pour les utilisateurs novices. La faisabilité de notre
approche est validée par une vérification conceptuelle et une
implémentation partielle.

=========
Abstract
=========

A home network represents a set of networked home appliances. These
appliances are connected to each other in order to share and use
various services offered at home. The service discovery is a required
mechanism in the home network environments. A service discovery
protocol allows users to search and use devices and services that they
need. Many service discovery protocols have been proposed in the
literature and researchers became more and more interested in the
extension of this functionality outside of the house. In this thesis,
we propose a novel approach for intra- and inter-home network service
discovery. It rests on a personalized service discovery in ubiquitous
home networks. Our architecture proposes a mechanism protecting access
to specific home resources based on user or group's profile. A profile
represents devices and services that the user can access. Home
networks are interconnected through an overlay virtual private network
(community), allowing home users to share and access services within
the community. The home network community is expanded to wireless mesh
network infrastructure. Wireless mesh networks are an appropriate
solution for broadband home networks in order to establish an
ubiquitous environment. The home networks establish then a wireless
community network in the neighborhood. In addition, a social
networking API is used to keep the process of creation and management
of the community and its components as simple and automatic as possible.

========
Jury
========

Pr. Guy Pujolle Directeur Univ. Paris 6, France.

Dr. Patrick Borras Co-encadrant UCOPIA Communications, France.

Pr. Khaldoun Al-Agha Rapporteur Univ. Paris-Sud 11, France.

Pr. Isabelle Chrisment Rapporteuse LORIA-INRIA Lorraine, France.

Pr. Sébastien Tixeuil Examinateur Univ. Paris 6, France.

Dr. Laurent Reynaud Examinateur Orange Labs, Lannion, France.

========
Accès
========
LIP6 : 104 avenue du Président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/informations/comment.php
Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.

Cordialement,
Shahab Gashti

Invitation à la soutenance de thèse de Hakim Belhaouari (30 mars 2010)

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Une approche intégrée pour la conception par contrat : vérification
statique/dynamique et génération automatique de test".

La soutenance se déroulera le :

========
Mardi 30 mars à 14h00 au LIP6, salle 549 - 5ème étage (Site
Passy-Kennedy)
========

Vous êtes également invités au pot qui suivra.

========
Résumé
========

La conception logicielle à base de composants consiste à développer des
applications complexes par assemblage de briques de base réutilisables.
Pour réduire les coûts engendrés par les erreurs éventuelles et/ou la
quantité de tests devant être produits pour les dénicher, il faut
intégrer de la sémantique dans les spécifications de composant. Les
méthodes formelles légères facilitent l'introduction de cette
caractérisation sémantique, en permettant notamment la spécification
partielle du logiciel. La conception par contrat est l'exemple
emblématique des méthodes semi-formelles de conception logiciel.
L'intégration de la conception par contrat à la problématique du test
logiciel conduit à la notion de test basé sur les modèles (MBT).
L'objectif à terme concerne la génération automatisée, partielle ou
totale, du processus de test (oracle, données de test, etc.) à partir
du modèle. En raison du caractère partiel des spécifications, ils est
important de considérer le critère de qualité des tests produits. Dans
cette thèse, nous proposons une famille d'outils servant de cadre à la
conception par contrat pour les composants logiciels. Au sein d'une
même plateforme nous étudions à la fois la vérification dynamique et
statique des contrats. Nous proposons également un puissant générateur
de tests permettant de produire, de façon complètement automatisée,
des scénarios de tests fidèles aux spécifications. Un moteur de
résolution de contraintes se trouve au cœur de la plateforme, utilisé
à la fois pour la vérification statique et la génération de test. La
principale originalité de ce moteur CSP est de permettre, grâce à une
architecture ouverte et particulièrement flexible, l'intégration de
types complexes comme les types objet, les collections (tableaux,
listes, etc.) ainsi que les chaînes de caractères. La génération de
tests mettent en jeu des contraintes complexes sur les chaînes de
caractères (notamment les contraintes sur les sous-chaînes et la
comparaison), est l'une des contributions techniques de ce travail.

========
Jury
========
- Pr. Emmanuel Chailloux - Université Pierre et Marie Curie (président)
- Pr. Fabrice Bouquet - Université de Franche-Comté (rapporteur)
- Pr. Yves Le Traon - Université du Luxembourg (rapporteur)
- Dr. Benoit Baudry - INRIA-IRISA (examinateur)
- Dr. Frédéric Voisin - Université de Paris-Sud (examinateur)
- Pr. Jacques Malenfant - Université Pierre et Marie Curie (directeur)
- Dr. Frédéric Peschanski - Université Pierre et Marie Curie (encadrant)

==============
Comment venir
==============
- Adresse :
LIP6 - Site Passy-Kennedy,
104, Avenue du Président Kennedy,
75016, Paris.
- Plan d'accès : http://www.lip6.fr/informations/comment.php
- Modalité d'accès : Demander un badge visiteur à l'accueil et prévoir
une pièce d'identité.

Cordialement,
--
Hakim Belhaouari
hakim.belhaouari@lip6.fr

Doctorant
Université Pierre et Marie Curie
Laboratoire d'Informatique de Paris 6 (LIP6)
http://webia.lip6.fr/~belhaouari/Tamago

Invitation à la soutenance de thèse d'Anneli Lenica (22 mars 2010)

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse, intitulée :

"Méthodes d'accès décentralisées pour la recherche par le contenu dans les environnements distribués dynamiques"

ainsi qu'au pot qui suivra,

lundi 22 mars à 13h30 au LIP6, salle 549, 5ème étage.

========
 Résumé
========

Le but de cette thèse est de contribuer au développement de nouvelles techniques de recherche de données basée sur le contenu, utilisables dans un environnement de type pair-à-pair (P2P), sans ressource partagée. En particulier, nous nous intéressons à la résolution, pour des données multidimensionnelles, de quatre types de requêtes importants : les requêtes par intervalles, les requêtes avec joker, les requêtes de similarité et les requêtes de front de Pareto.

La structure de données la plus couramment employée dans le domaine est du type table de hachage distribuée (DHT). Toutefois le hachage impose un enregistrement sur la base d’une valeur unique de clé. De plus, il détruit la localité des données. La destruction de la localité compromet le traitement efficace des requêtes portant sur des données corrélées, ce qui est le cas des types de requêtes qui nous intéressent. Or, de ce pouvoir d’interrogation dépend la possibilité pour l’utilisateur de découvrir des données.

Afin de répondre aux limitations de l’existant, nous proposons dans cette thèse une solution complète d’indexation et de localisation décentralisées de données multidimensionnelles : PosNet. Dans le cadre de nos contributions, nous proposons une structure de données multidimensionnelle originale, nommée pograph, préservant un ordre sur l'ensemble des clés. Cet ordre nous permet de définir une famille d'algorithmes de recherche permettant d’élaguer l’espace de recherche, tout en fonctionnant dans un pograph distribué. Il en résulte que PosNet permet de résoudre les types de requêtes ciblés, de manière décentralisée et sans jointure. Un prototype, pyPosNet, est disponible publiquement sous une licence libre.

==================
 Composition du jury
==================

Pr. Jean-Pierre Briot, directeur de recherche CNRS, membre du LIP6 - Directeur,
Dr. Mickaël Meulle, ingénieur de recherche à Orange Labs R&D - Encadrant,
Pr. Anne-Marie Kermarrec, directrice de recherche INRIA - Rapporteure,
Pr. Bruno Defude, directeur d'études, professeur et directeur du département informatique de TELECOM SudParis - Rapporteur,
Pr. Pierre Sens, professeur à l'UPMC - Examinateur,
Dr. Stéphane Gançarski, maître de conférences HDR à l'UPMC - Examinateur,
Dr. Joaquin Keller, ingénieur de recherche à Orange Labs R&D - Examinateur.


==============
 Comment venir
==============
- Adresse :
LIP6 - Site Passy-Kennedy
104, Avenue du Président Kennedy
75016, Paris.
- Plan d'accès :
http://www.lip6.fr/informations/comment.php
- Modalités d'accès :
Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.


Bien cordialement,
--
Anneli Lenica
Ingénieure R&D / Doctorante

Soutenance de thèse le lundi 15 Mars à 15h

======= diffusé pour Amine Lajmi =============

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée "Usine
logicielle de composants de simulation de procédés CAPE-OPEN", ainsi qu'au
pot qui la succèdera.

La soutenance aura lieu le lundi 15 Mars 2010 à 15h, en salle 550 du
Laboratoire d'Informatique de Paris 6 (LIP6) situé au 104, avenue du
Président Kennedy, 75016 Paris

Résumé :
L'IFP est depuis une dizaine d'années acteur principal du développement du
standard CAPE-OPEN pour l'interopérabilité de composants de simulation de
procédés. Ce standard définit les interfaces que doivent implémenter les
composants de simulation offerts par des fournisseurs logiciels différents
pour pouvoir communiquer entre eux. La plupart des environnements
commerciaux de simulation sont compatibles CAPE-OPEN, le plus souvent dans
sa déclinaison Microsoft COM, parfois dans sa déclinaison CORBA, et
prochainement sous une déclinaison .NET.
Toutefois, même si le standard a contribué à la résolution des problèmes
d'interopérabilité, l'architecture à base de composants qu'il impose a
introduit une complexité supplémentaire, difficile à maîtriser, notamment
par les experts métier. En effet, le développement de nouveaux composants,
et la maintenance de composants existants, nécessitent des connaissances non
fonctionnelles liées au standard lui-même, et à sa déclinaison
intergicielle. D'une part, ces composants contenant des connaissances
d'origines diverses, leur développement est complexe. Ceci se traduit en
pratique par la nécessité de faire collaborer plusieurs experts lors du
développement et la maintenance des composants. D'autre part, les
connaissances étant fortement couplées dans le code, ce dernier est
difficile à comprendre, et donc difficile à maintenir. Ainsi, l'objectif de
la thèse est donc de disposer d'un système d'ingénierie logicielle capable
de faciliter l'adaptation d'un composant vers n'importe quelle
implémentation, en particulier COM ou .NET. Plus précisément, il s'agit
d'arriver à minimiser cette complexité, en réalisant l'objectif de
l'Ingénierie Dirigée par les Modèles (IDM), à savoir l'indépendance par
rapport à la plateforme dans un contexte particulier, de façon à permettre
la génération de composants vers plusieurs intergiciels. Afin d'atteindre
cet objectif, nous proposons de nous appuyer sur les techniques de méta
modélisation et de transformation de modèles.
L'approche proposée consiste à séparer les trois aspects nécessaires au
développement de ces composants : l'aspect métier, l'aspect CAPE-OPEN, et
l'aspect intergiciel. Ces aspects sont modélisés séparément avec des
langages dédiés, et sont combinés automatiquement grâce à des mécanismes de
transformation. Dans un premier temps, un état de l'art des principes et des
pratiques de l'IDM est effectué. A travers cette étude, nous mettrons
l'accent sur trois questions fondamentales, à savoir comment représenter les
connaissances, comment transformer les connaissances, et enfin comment
réunir les pratiques dans un canevas commun supportant un processus de
développement agile. A la suite de cette étude, nous proposons une approche
dirigée par les modèles basée sur la modélisation dédiée des aspects, et la
transformation de modèles à base de graphes. Cette approche a été
implémentée pour générer la structure interne du composant, ainsi qu'une
partie de sa sémantique (le code de calcul). Enfin, nous validons l'approche
par rapport à un ensemble de critères, certains qualitatifs et d'autres
formels, ainsi que par rapport à de exemples de changement, anticipés sur
les aspects considérés.

Le Jury sera composé de :
M. Mikal Ziane Directeur de thèse
M. Amar Ramdane- Chérif Rapporteur
Mme. Mireille Blay-Fornarino Rapporteur
Mme. Sylvie Cauvin Examinateur
M. Tewfik Ziadi Examinateur
M. Jean-François Perrot Examinateur
M. Jean-Michel Bruel Examinateur

Bien cordialement,
Amine Lajmi
amine.lajmi@free.fr
Tel : +33 6 23 75 61 98

[Invitation] Soutenance de thèse le lundi 15 Mars 2010

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de la thèse intitulée :

"Utilisation d'agents assistants pour l'analyse et la prise de décision
pour la gestion participative",

qui se déroulera le lundi 15 mars au LIP6 (Site Passy-Kennedy) à 10h,
salle 549 - 5ème étage. Vous êtes également invités au pot qui la
succédera.

========
Résumé
========
L'usage de l'approche couplé des Systèmes Multiagent et des Jeux des Rôles
(connue comme SMA/JR) et des ses évolutions, comme la Simulation
Participative et les Jeux et Simulations Multiagents (Games and
Multi-Agent-Based Simulations) a été appliqué dans différents scénarios
pour l'tude et l'investigation des diverses hypothèses qui concernent,
dans la plus part des cas, l'usage et la simulation des ressources
naturelles et des interactions sociales.

Cette thèse a été conduite comme une partie du projet SimParc, qui se
concentre sur la gestion des parcs naturels. Le but principal de ce projet
c'est la conception d'un outil informatique et épistemique pour
l'entrainement, l'éducation et la recherche pour les gestionnaires des
parcs, membres de conseils des parcs et pour les personnes intéressées par
ces questions. Cette thèse discute le travail et la contribution de
l'auteur à des problèmes scientifiques et techniques illustrés par ce
projet.

Plus précisément, cette monographie présente quelques prototypes
développés dans ce projet et les agents informatiques employés dans des
expérimentations. L'auteur souligne aussi l'importance des agents
assistants informatiques dans ces expérimentations et l'usage d'une
assistance non-intrusive pendant l'étape du jeu de négociation.

=========
Abstract
=========
The use of the coupled approach Multi-Agent Systems and Role-Playing Games
(MAS/RPG) and its evolutions, such as the Participatory Simulation and
Games and Multi-Agent-Based Simulations, has been aplied in many scenarios
to study and investigate diverses hypotheses concerning, in most cases,
the uses and simulations of natural resources and social interactions.

This thesis was carried out as part of the SimParc project, which focuses
on the management of natural parks. The main goal of this project is to
conceive an epistemic computer-based tool in order to promote training,
education, and research for park's managers, park councils' members, and
other interested. This thesis concerns the author's work and contribution
to some scientific and technical problems illustrated by this project.

More precisely, this monography presents some prototypes developed in this
project and the computational agents used in experiments. The author also
highlights the importance of computational assistant agents in such
experiments and the use of a non-intrusive assistance during the game's
negotiation step.

==================
Composition du jury
==================
Dr. Jean-Pierre BRIOT LIP6, CNRS-UPMC, Directeur de thèse ;
Dr. François BOUSQUET, CIRAD-Montpellier, Rapporteur ;
Dr. Jean-Paul SANSONNET, LIMSI-CNRS, Rapporteur ;
Dr. Amal EL FALLAH SEGHROUCHNI LIP6, CNRS-UPMC, Examinatrice ;
Dr. Jean-François PERROT, LIP6, CNRS-UPMC, Examinateur ;
Dr. Paul Guyot, Semiocast, Examinateur .

==============
Comment venir
==============
- Adresse :
LIP6 - Site Passy-Kennedy,
104, Avenue du Président Kennedy,
75016, Paris.
- Plan d'accès :
http://www.lip6.fr/informations/comment.php
- Modalité d'accès :
Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.

Cordialement,

--
Vinicius Sebba Patto
Laboratoire d'Informatique de Paris 6 (LIP6)
104, Av. du Président Kennedy, 75016 Paris, France
Phone: + 33 1 44 27 54 80
Fax: + 33 1 44 27 88 89
http://www45.brinkster.com/vpatto/