Curriculum Vitae. 1 Etat civil. 2 Diplômes. 3 Thèse. 4 Publications. 4.1 Publications dans des revues ou chapitres de livres

Dimension: px
Commencer à balayer dès la page:

Download "Curriculum Vitae. 1 Etat civil. 2 Diplômes. 3 Thèse. 4 Publications. 4.1 Publications dans des revues ou chapitres de livres"

Transcription

1 Curriculum Vitae 1 Etat civil Nom : Hilaire Prénom : Vincent Date et lieu de naissance : 15/12/1972 à Béziers (34) Situation de famille : marié 2 Diplômes Baccalauréat C, mention AB, option informatique, en 1990, DUT informatique en 1992, DEUG Mathématiques Appliquées et Sciences Sociales en 1993, IUP Génie Mathématique et Informatique : Licence mention B en 1994, Maîtrise mention AB en DEA Informatique, mention B en 1996, Laboratoire d Informatique de Robotique et de Microélectronique de Montpellier, Doctorat en Informatique. mention très honorable, en 2000, Laboratoire de Recherche en Informatique de Sévenans (LaRIS). 3 Thèse «Vers une approche de spécification, de prototypage et de vérification de Systèmes Multi-Agents» soutenue le 26 janvier 2000 devant le jury composé de François Charpillet Examinateur Chargé de Recherche INRIA, Nancy Jacques Ferber Rapporteur Professeur à l Université de Montpellier II Hervé Guyennet Examinateur Professeur à l Université de Franche Comté Abderrafiâa Koukam Co-directeur Maître de Conférences à l UTBM Jean-Pierre Müller Président du jury Professeur à l Université de Neuchâtel Mohamed Naïmi Directeur Professeur à l UTBM Kokou Yétongnon Rapporteur Professeur à l Université de Bourgogne 4 Publications 4.1 Publications dans des revues ou chapitres de livres [R1] P. Gruer, V. Hilaire, and Abder Koukam. approche multi-formalismes pour la spécification des systèmes multi-agents, volume Organisation et applications des SMA, chapter 1. Hermès,

2 [R2] P. Gruer, V. Hilaire, Abder Koukam, and Krzysztof Cetnarowicz. A formal framework for multi-agent systems analysis and design. Expert Systems with Applications, 23, December 2002 [R3] A Koukam, B. Mazigh, P. Gruer, and V. Hilaire. A multiview approach to modeling and analysis of discrete event systems. System Analysis - Modelling - Simulation, 43(6) : , 2003 [R4] P. Gruer, V. Hilaire, J. Kozlak, and A. Koukam. A multi-agent approach to modeling and simulation of transport on demand problem, volume Artificial intelligence and security in computing systems, pages Kluwer Academic Publishers, 2003 [R5] P. Gruer, V. Hilaire, and Abder Koukam. Heterogeneous formal specification based on object-z and state charts : semantics and verification. Journal of Systems and Software, 70(1-2) :95 105, 2004 [R6] C. Bernon, V. Chevrier, V. Hilaire, and P. Marrow. Applications of self-organising multi-agent systems : An initial framework for comparison. Informatica, 30(1) :73 84, 2006 [R7] Jaroslaw Koźlak, Jean-Charles Créput, Vincent Hilaire, and Abder Koukam. Multiagent approach to dynamic pick-up and delivery problem with uncertain knowledge about future transport demands. Fundamenta Informaticae, 71(1), 2006 [R8] Vincent Hilaire, Pablo Gruer, Abder Koukam, and Olivier Simonin. Formal specification approach of role dynamics in agent organisations : Application to the satisfaction-altruism model. International Journal of Software Engineering and Knowledge Engineering, 2006 [R9] S Rodriguez, V Hilaire, P Gruer, and A Koukam. A formal holonic framework with proved self-organizing capabilities. International Journal of Cooperative Information Systems, 16(2), Publications dans des conférences avec comités de lecture [C1] F. Delclaux and V. Hilaire. Premiers essais de détermination du coefficient de ruissellement decennal a l aide de regles floues. In L hydrologie tropicale : géoscience et outil pour le developpement, number 238, pages International Association of Hydrological Science Publ, 1995 T. Lissajoux, V. Hilaire, A. Koukam, and A. Caminada. Genetic Algorithms as Prototyping Tools for Multi-Agent Systems : Application to the Antenna Parameter Setting Problem. In S. Albayrak and F. J. Garijo, editors, Lecture Notes in Artificial Intelligence, number 1437 in LNAI. Springer Verlag, 1998 [C3] V. Hilaire, T. Lissajoux, and A. Koukam. AgentCharts : An Operational Model For Multi-Agent Systems. In International Conference on Advanced Computer Systems ACS 98, 1998 [C4] V. Hilaire, T. Lissajoux, and A. Koukam. Towards an executable specification of multi-agent systems. In Joaquim Filipe and José Cordeiro, editors, International Conference on Enterprise Information Systems 99. Kluwer Academic Publisher, 1999 [C5] Belhassene Mazigh, Vincent Hilaire, Pablo Gruer, and Abder Koukam. Agent oriented approach for modeling and simulation of productive organizations. In 10th DAAAM International Symposium «International Manufacturing & Automation : Past-Present-Future». DAAAM,

3 [C6] Belhassene Mazigh, Abder Koukam, Vincent Hilaire, and Pablo Gruer. Combining multi-agents approach with high level petri nets for simulation of productive organizations. In IFAC Workshop on Multi Agent Systems in Production. IFAC, 1999 [C7] R. Campero, P. Gruer, V. Hilaire, and P. Rovarini. Modeling and simulation of agentoriented systems : an approach based on object-z and the statecharts. In Christoph Urban, editor, Agent Based Simulation, 2000 [C8] V. Hilaire, T. Lissajoux, A. Koukam, and J.C. Creput. A multi-agent approach to adaptive mesh generation. In Agent Based Simulation, 2000 [C9] Pablo Gruer, Vincent Hilaire, and Abder Koukam. Verification of Object-Z Specifications by using Transition Systems. In T. S. E. Maibaum, editor, Fundamental Aspects of Software Engineering, number 1783 in Lecture Notes in Computer Science. Springer Verlag, 2000 [C10] Pablo Gruer, Vincent Hilaire, and Abder Koukam. an Approach to the Verification of Multi-Agent Systems. In International Conference on Multi Agent Systems. IEEE Computer Society Press, 2000 [C11] Vincent Hilaire. Formal specification and prototyping of organizational based multiagent systems. In International Conference on the Design of Cooperative Systems, Lecture Notes in Computer Science. Springer Verlag, 2000 [C12] Vincent Hilaire, Abder Koukam, Pablo Gruer, and Jean-Pierre Müller. Formal specification and prototyping of multi-agent systems. In Andrea Omicini, Robert Tolksdorf, and Franco Zambonelli, editors, Engineering Societies in the Agents World, number 1972 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2001 [C13] Vincent Hilaire, Abder Koukam, Pablo Gruer, and Jean-Pierre Müller. Vers une méthodologie formelle de spécification de systèmes multi-agents. In Journées Francophones IAD & SMA. Hermes, 2000 [C14] P. Gruer, V. Hilaire, and Abder Koukam. Multi-agent approach to modeling and simulation of urban transportation systems. In IEEE Systems, Man, and Cybernetics Conference, 2001 [C15] P. Gruer, V. Hilaire, A. Koukam, and S. Hayat. a methodology based on multiples views for multi-agent systems in simulation, application to the transportation domain. In 13th European Simulation Symposium, 2001 [C16] K. Cetnarowicz, P. Gruer, V. Hilaire, and A. Koukam. A formal specification of m- agent architecture. In 2nd International Workshop of Central and Eastern Europe on Multi-Agent Systems, Lecture Notes in Artificial Intelligence. Springer Verlag, 2001 [C17] V. Hilaire, P. Gruer, A. Koukam, and A El Moudni. Engineering soccer robots behaviours. In 2002 FIRA Robot Congress, Seoul, KAIST Press [C18] A. Berdai, P. Gruer, V. Hilaire, and A. Koukam. A multi-agent model for the estimation of passenger waiting time in public transportation networks. In 2nd WSEAS Int. Conf. on Simulation, Modelling and Optimization (ICOSMO 2002), 2002 [C19] V. Hilaire, A. Koukam, and P. Gruer. a multi-agent system featuring virtual character in play for theatre. In Proceedings of the AgentDay 02 workshop, 2002 [C20] P. Gruer, V. Hilaire, J. Kozlak, and Abder Koukam. Application of multi-agent simulations to solve a transport on demand problem. In Ninth International Conference on Advanced Computer Systems, Sczeczin,

4 [C21] V. Hilaire, A. Koukam, and P. Gruer. A mechanism for dynamic role playing. In Agent Technologies, Infrastructures, Tools and Applications for E-Services, number 2592 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2002 [C22] S. Rodriguez and V. Hilaire. An architecture for multi-agent systems in the robotsoccer field. In Proceedings of the AgentDay 02 workshop, 2002 [C23] Sebastian Rodriguez, Vincent Hilaire, and Abderrafiaa Koukam. Towards a methodological framework for holonic multi-agent systems. In Proceedings of the ESAW 03 workshop, pages , 2003 [C24] M. BAKHOUYA, S. RODRIGUEZ, V. HILAIRE, A. KOUKAM, and J. GABER. Intelligent immune-based system for autonomous soccer robots. In FIRA Robot World Congress Austria, 2003 [C25] Jaroslaw Kozlak, Jean-Charles Creput, Vincent Hilaire, and Abder Koukam. Multiagent environment for dynamic transport planning and scheduling. In Marian Bubak, Geert Dick van Albada, and et al. Peter M. A. Sloot, editors, Computational Science, number 3038 in Lecture Notes in Computer Science, pages Springer Verlag, 2004 [C26] Vincent Hilaire, Olivier Simonin, Abder Koukam, and Jacques Ferber. A formal framework to design and reuse agent and multiagent models. In James Odell, P. Giorgini, and Jorg Muller, editors, Agent Oriented Software Engineering, number 3382 in LNCS Springer, 2005 [C27] Sebastian Rodriguez, Vincent Hilaire, and Abder Koukam. Formal specification of holonic multi-agent systems framework. In Vaidy S. Sunderam, Geert Dick van Albada, Peter M. A. Sllot, and Jack J. Dongarra, editors, Computational Science - ICCS 2005, number 3516 in Lecture Notes in Computer Science, pages Springer, 2005 [C28] Sebastian Rodriguez, Vincent Hilaire, and Abder Koukam. Holonic modeling of environments for situated multi-agent systems. In Danny Weyns, H Van Dyke Parunak, and Fabien Michel, editors, Environments for Multi-Agent Systems II, number 3830 in Lecture Notes in Artificial Intelligence, pages Springer, 2006 [C29] Sebastian Rodriguez, Vincent Hilaire, and Abder Koukam. Multi-agent coordination is arbitration from a super-holon point of view. In proceedings of MA4CS 05, 2005 [C30] Sebastian Rodriguez, Vincent Hilaire, and Abder Koukam. An holonic approach to model and deploy large scale simulations. In proceedings of MABS 06, 2006 [C31] Davy Monticolo, Vincent Hilaire, Abder Koukam, and Sebastien Meunier. An approach for building project memories to facilitate design process in a concurrent engineering context. In proceedings of Concurrent Engineering 06, 2006 [C32] Davy Monticolo, Samuel Gomes, Vincent Hilaire, and Patrick Serrafero. A multiagent architecture to synthesize industrila knowledge from a plm system. In PLEDM 06, 2006 [C33] Sebastian Rodriguez, Nicolas Gaud, Vincent Hilaire, and Abder Koukam. Modeling holonic systems with an organizational approach. In proceedings of EUMAS 06, 2006 [C34] Sebastian Rodriguez, Nicolas Gaud, Vincent Hilaire, Stéphane Galland, and Abder Koukam. An analysis and design concept for self-organization in holonic mas. In S Brueckner, S Hassas, M Jelasity, and D Yamins, editors, Engineering Self- Organising Systems, number 4335 in LNAI, pages

5 [C35] Davy Monticolo, Vincent Hilaire, Abder Koukam, and Samuel Gomes. An e- groupware based on multi agents systems for knowledge management. In DEST 07, 2007 [C36] Davy Monticolo, Vincent Hilaire, Patrick Serrafero, and Samuel Gomes. Knowledge capitalization process linked to the design process. In KMOM 07, Encadrement 5.1 Thèse D. Monticolo «Approche multi-agents pour la capitalisation des connaissances du processus de conception de produits» 1ère année de thèse, pourcentage d encadrement : 40 % Directeur : A. Koukam. S. Rodriguez «From Analysis to Design of Holonic Multi-Agent Systems : a Framework, Methodological Guidelines and Applications» thèse soutenue le 14/12/05, pourcentage d encadrement : 70 %. Directeur : A. Koukam. 5.2 Diplôme d Etude Approfondies J Jolly «Approche de reconnaissance de stratégies de robots footballeurs par champs de potentiels». DEA IAP de Besançon, 2004, pourcentage d encadrement : 30 %. F Tolba, «Architecture réactive pour la supervision d une équipe de robots footballeurs». DEA IAP de Besançon, 2003, pourcentage d encadrement : 40 %. S. Rodriguez, "Approches multi-agent en robotique collective, application aux robots footballeurs". DEA IAP de Besançon, 2002, pourcentage d encadrement : 50 %. 5.3 Masters de recherche délivrés par des universités étrangères Ces stages ont été effectués au sein de notre laboratoire en accord avec l université mentionnée Luis Rosa Soler, An Immune-System based Multiagent System for Solving the Transport on Demand problem. Master de l université de Tucuman, Argentine, 2004, pourcentage d encadrement : 100 %. Lukasz Nowak, Coordinating behavior-based intelligent mobile robot soccer using an immunized reinforcement adaptive learning mechanism in Multi Agent environment. Master, de l AGH, Pologne, 2004, pourcentage d encadrement : 100 % Tomacz Rodecky, Développement de réseaux temporels simples pour système multi-robots, Master de l AGH, Pologne, 2002, pourcentage d encadrement : 100 % 5

6 6 Activités administratives et Responsabilités collectives Responsable des ressources bibliographiques en informatique pour la bibliothèque de l UTBM, Membre du conseil du laboratoire SeT septembre 2000-septembre 2004, Membre nommé du comité d évaluation des projets «nouvelles technologies éducatives» de l UTBM, Vice-président de la comission de spécialistes de l UTBM avril 2003-mai 2005 Responsable de la filière d ingénieurs : Ingénierie des Logiciels et de la Connaissance depuis février Responsabilités liées à la recherche - Responsable de l axe de recherche : Méthodologies de spécification et de vérification de Systèmes Multi-Agents Cet axe regroupe depuis septembre 2002 trois maîtres de conférences et un professeur des universités. L activité de recherche de l axe consiste à proposer une approche de : spécification formelle, validation et vérification pour l analyse et la conception de Systèmes Multi-Agents [R1,R2]. Pour cela nous introduisons un cadre méthodologique fondé sur les concepts de rôle, d interaction et d organisation [C4]. La modélisation s effectue en considérant deux niveaux d abstraction. Le premier (niveau organisationnel) considère le système comme un ensemble d organisations, chacune étant composée d entités abstraites appelées rôles et de leurs interactions. Une organisation représente le système selon un point de vue donné, relativement à un objectif de modélisation. Le second niveau, qualifié d agentification, introduit les agents comme des entités pouvant encapsuler des rôles. Les interactions entre les rôles deviennent alors des interactions entre les agents qui mettent en œuvre ces rôles. D un point de vue spécification formelle, nous proposons une approche multiformalismes fondée sur la composition de spécifications exprimées en Object-Z et statecharts [R5]. Chaque concept du modèle est spécifié par une classe Object-Z pouvant intégrer un statechart. On a ainsi la possibilité, d une part, de définir de nouveaux concepts au niveau modèle, d autre part, d hériter de ces classes pour définir ses propres rôles, interactions et organisations. La validation repose sur le prototypage et la simulation à l aide de l environnement Statemate [C9]. Cet environnement permet d exécuter et d animer les spécifications statecharts aussi bien au niveau organisation qu au niveau agentification. Concernant la vérification, nous avons proposé une approche fondée sur la définition d une sémantique commune aux deux formalismes de spécification. Cette approche permet la vérification par évaluation sur un modèle (model checking) [C10] et la preuve de théorèmes grâce à la transformation des spécifications par- 6

7 tielles (exprimées en Object-Z et statecharts) en systèmes de transition [R5]. Cette approche nous a permis d analyser et de concevoir des Systèmes Multi- Agents pour des domaines d applications variés : optimisation et simulation de problèmes liés au transport [R4,C2,C8], architecture de contrôle intelligent de robots [C1,C7,C9], animation de personnages virtuels [C4] et optimisation de problèmes liés aux réseaux radiomobiles [C6]. Depuis 2003 nous travaillons sur l ingénierie d architectures d agents à base de systèmes immunitaires [C7,C12] et de holons [C10,C11,C12]. - Correspondant du réseau d excellence européen AgentLink Correspondant de AgentLink II (à l heure actuelle AgentLink III) depuis septembre Membre des groupes de travail Self-Organized Systems (publication d un article dans la revue Informatica en 2006 avec les membres du groupe) et Agent Oriented Software Engineering. - Coordinateur du groupe de travail "Système Daedalus" Ce groupe a réalisé le système multi-agents Daedalus pour l animation de personages virtuels dans la pièce de théâtre Orgia. Cette pièce a fait deux tournée en France et Publications liées au projet : C7 - Coordinateur du projet Robotec Coordinateur, , du projet robotec qui vise la mise en place d une équipe de robots mobiles pour la coupe du monde de robots footballeurs 2002 organisée par la FIRA en Corée du sud (résultat 15/32). Publications liées au projet : C5, C9,C12 - Organisation de conférences membre des comités de programme du workshop AgentDay 2002 et de la Journée Technique "Ingénierie des Systèmes de Mobilité et de Transport" en Revue d articles Journées Francophones Intelligence Artificielle Distribuée et Système Multi-Agents 2002, International Conference on Information Systems and Engineering (ISE) 2002, IEEE International Symposium on Signal Processing and Information technology (ISSPIT) 2002, International Conference on Information Systems and Engineering 2003, Genetic and Evolutionnary Computation COnference

Une architecture logicielle pour la modélisation et simulation orientée agents de chaînes logistiques

Une architecture logicielle pour la modélisation et simulation orientée agents de chaînes logistiques Une architecture logicielle pour la modélisation et simulation orientée agents de chaînes logistiques Karam MUSTAPHA Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen 13397 MARSEILLE

Plus en détail

Salah Eddine MERZOUK Doctorant SeT ATER IMaP

Salah Eddine MERZOUK Doctorant SeT ATER IMaP Curriculum Vitae Salah Eddine MERZOUK Doctorant SeT ATER IMaP Informations personnelles Situation actuelle Doctorant au sein du laboratoire Système et Transport (SeT) de l Université de Technologie de

Plus en détail

Tom Jorquera. Formation. Thèse

Tom Jorquera. Formation. Thèse Tom Jorquera 8 rue StJoseph 31400 France +336 71 05 35 58 tom@jorquera.net jorquera.net Formation 2009 2013 Doctorat Intelligence Artificielle, Équipe Systèmes MultiAgents Coopératifs (SMAC), Institut

Plus en détail

Renseignements personnels

Renseignements personnels Wafa Mekki Curriculum Vitae Renseignements personnels Date et lieu de naissance: 22 Novembre 1986 à Sfax, Tunisie Nationnalité: Tunisienne Etat civil: Mariée Adresse: Route Manzel Chaker Km 5, 3013, Sfax,

Plus en détail

CURRICULUM VITAE. Informations Personnelles

CURRICULUM VITAE. Informations Personnelles CURRICULUM VITAE Informations Personnelles NOM: BOURAS PRENOM : Zine-Eddine STRUCTURE DE RATTACHEMENT: Département de Mathématiques et d Informatique Ecole Préparatoire aux Sciences et Techniques Annaba

Plus en détail

Vers un Atelier basé sur les Fragments de Méthode pour le Développement de SMA centrés sur les organisations

Vers un Atelier basé sur les Fragments de Méthode pour le Développement de SMA centrés sur les organisations Vers un Atelier basé sur les Fragments de Méthode pour le Développement de SMA centrés sur les organisations Sara Casare Directeur Thèse: Jaime Simão Sichman Co-Directeur Thèse: Zahia Guessoum Novembre

Plus en détail

Ekaterina VOLTCHKOVA

Ekaterina VOLTCHKOVA Ekaterina VOLTCHKOVA Nationalité française/russe, 28 ans, mariée Adresse : 19 rue des Bolets, 31650 St Orens de Gameville, France Tél. : +33.5.61.12.85.67 E-mail : ekaterina.voltchkova@univ-tlse1.fr Page

Plus en détail

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services 69 Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services M. Bakhouya, J. Gaber et A. Koukam Laboratoire Systèmes et Transports SeT Université de Technologie de Belfort-Montbéliard

Plus en détail

ADELFE : Atelier de développement de logiciels à fonctionnalité émergente

ADELFE : Atelier de développement de logiciels à fonctionnalité émergente ADELFE : Atelier de développement de logiciels à fonctionnalité émergente Gauthier Picard*, Carole Bernon*, Valérie Camps**, Marie- Pierre Gleizes* * Institut de Recherche en Informatique de Toulouse Université

Plus en détail

Réorganisation et auto-organisation dans les systèmes multi-agents

Réorganisation et auto-organisation dans les systèmes multi-agents Réorganisation et auto-organisation dans les systèmes multi-agents G. Picard a picard@emse.fr J. F. Hübner a hubner@emse.fr O. Boissier a boissier@emse.fr M.-P. Gleizes b gleizes@irit.fr a Département

Plus en détail

1) THEMES DE RECHERCHE DÉVELOPPÉS

1) THEMES DE RECHERCHE DÉVELOPPÉS Alain-Jérôme FOUGERES 8, rue du Clos du Fort 90160 BESSONCOURT Tel. 03 84 29 99 20 alain-jerome.fougeres@utbm.fr né le 13 janvier 1962 à Paris marié, 3 enfants Docteur en Informatique UTC (1997) «Aide

Plus en détail

Un framework organisationnel pour la conception et l implantation multi-agent de métaheuristiques

Un framework organisationnel pour la conception et l implantation multi-agent de métaheuristiques Un framework organisationnel pour la conception et l implantation multi-agent de métaheuristiques D. Meignan david.meignan@utbm.fr J.-C. Créput jean-charles.creput@utbm.fr A. Koukam abder.koukam@utbm.fr

Plus en détail

Ingénierie et gestion des connaissances

Ingénierie et gestion des connaissances Master Web Intelligence ICM Option Informatique Ingénierie et gestion des connaissances Philippe BEAUNE Philippe.Beaune@emse.fr 18 novembre 2008 Passer en revue quelques idées fondatrices de l ingénierie

Plus en détail

A software engineering workbench for modelling groupware activities

A software engineering workbench for modelling groupware activities TAsk MOdels and DIAgrams for User interface Design A software engineering workbench for modelling groupware activities Emmanuel ADAM, Christophe KOLSKI, René MANDIAU, Emmanuel VERGISON Thursday, June 26th

Plus en détail

Curriculum Vitae 1 er février 2008

Curriculum Vitae 1 er février 2008 Curriculum Vitae 1 er février 2008 Informations générales Cédric MEUTER Nationalité belge Né à La Louvière, le 16 novembre 1979 Adresse personnelle : Adresse professionnelle : Ave Général Bernheim, 57

Plus en détail

Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006

Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006 Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006 www.agence-nationale-recherche.fr Bref historique Un objectif

Plus en détail

Curriculum Vitae. Formation. Années Nature des études Diplômes 1983-1989 Etudes primaires à l école Juin 89 : Diplôme des études primaires

Curriculum Vitae. Formation. Années Nature des études Diplômes 1983-1989 Etudes primaires à l école Juin 89 : Diplôme des études primaires Curriculum Vitae Nom : KHAYATI Prénom : Naoufel Date et lieu de naissance : 25 juillet 1978 à Tébourba. Adresse 1 : Apt 24, Bloc 4, Rue Benbla, Cité Romana, 1068, Tunis. Adresse 2 : 7 Avenue Essafsaf,

Plus en détail

Ekaterina VOLTCHKOVA

Ekaterina VOLTCHKOVA Ekaterina VOLTCHKOVA Née le 27 avril 1978, nationalité française et russe, mariée, 2 enfants Adresse professionnelle : GREMAQ, 21, allée de Brienne, 31000 Toulouse, France Tél. : +33.5.61.12.85.67 E-mail

Plus en détail

Curriculum Vitae détaillé

Curriculum Vitae détaillé Curriculum Vitae détaillé Vincent Thomas LORIA (MAIA) Campus Scientifique, BP 239 54506 Vandœuvre-lès-Nancy Concours 2005-2006 État civil Vincent THOMAS Nationalité française Résidence Seurat, appt 22

Plus en détail

APPROCHE DE LA SURVEILLANCE DES SYSTEMES PAR RESEAUX DE PETRI SYNCHRONISES FLOUS

APPROCHE DE LA SURVEILLANCE DES SYSTEMES PAR RESEAUX DE PETRI SYNCHRONISES FLOUS THE PUBLISHING HOUSE PROCEEDINGS OF THE ROMANIAN ACADEMY, Series A, OF THE ROMANIAN ACADEMY Volume 9, Number 2/2008, pp. 000 000 APPROCHE DE LA SURVEILLANCE DES SYSTEMES PAR RESEAUX DE PETRI SYNCHRONISES

Plus en détail

Analyse qualitative et quantitative des Systèmes Automatisés de Production

Analyse qualitative et quantitative des Systèmes Automatisés de Production Analyse qualitative et quantitative des Systèmes Automatisés de Production Jean-Luc Cojan Laboratoire LISyC Université de Bretagne Occidentale Encadrants : M. Philippe Le Parc M. Loïc Plassart M. Franck

Plus en détail

Associate Professor in Quantitative Methods. University of Jendouba / University of Tunis TUNISIA. Saoussen.krichen@isg.rnu.tn

Associate Professor in Quantitative Methods. University of Jendouba / University of Tunis TUNISIA. Saoussen.krichen@isg.rnu.tn Saoussen KRICHEN Associate Professor in Quantitative Methods University of Jendouba / University of Tunis TUNISIA Saoussen.krichen@isg.rnu.tn 1Concours de Maîtrise de Conférences en Informatique de Gestion

Plus en détail

Méthodes de développement de systèmes multi-agents

Méthodes de développement de systèmes multi-agents GÉNIE LOGICIEL N o 86 SEPTEMBRE 2008 Méthodes de développement de systèmes multi-agents M ARIE-PIERRE G LEIZES, CAROLE B ERNON, FRÉDÉRIC M IGEON ET G AUTHIER P ICARD Résumé : Les systèmes multi-agents

Plus en détail

Prise de position de la section 7. travail sur une possible partition

Prise de position de la section 7. travail sur une possible partition Prise de position de la section 7 travail sur une possible partition Notre prise de position est structurée comme suit : dans une première partie, nous expliquons le contexte dans lequel notre travail

Plus en détail

Le modèle IRM4S : le principe Influence/Réaction pour la simulation de systèmes multi-agents

Le modèle IRM4S : le principe Influence/Réaction pour la simulation de systèmes multi-agents Le modèle IRM4S : le principe Influence/Réaction pour la simulation de systèmes multi-agents Fabien Michel CReSTIC/LERI, Université de Reims, France Rue des crayères BP 1035 51 687 Reims CEDEX 2 fabien.michel@univ-reims.fr

Plus en détail

ACTIVITÉS ACTUELLES. Laboratoire de recherche Recherche en Développement et Contrôle des Applications Distribuées (ReDCAD)

ACTIVITÉS ACTUELLES. Laboratoire de recherche Recherche en Développement et Contrôle des Applications Distribuées (ReDCAD) Curriculum Vitae Wafa GABSI MASMOUDI Route Menzel checker, Née le : 19.02.1985 à Sfax km 4.5 elkassas Nationalité : Tunisienne 3013 Sfax, Tunisie Etat civil : Mariée Tél : (216) 21 482 209 (216) 92 390

Plus en détail

Maître de conférences en Informatique

Maître de conférences en Informatique Jean-François CONDOTTA Maître de conférences en Informatique CRIL CNRS UMR 8188 Université d Artois - IUT de Lens Rue de l Université, 62307 Lens Cedex T +33 (0)3 21 79 32 79 B condotta@cril.univ-artois.fr

Plus en détail

CURRICULUM VITAE. March 9, 2003

CURRICULUM VITAE. March 9, 2003 CURRICULUM VITAE Marc-Philippe HUGET Agent ART Group, Dept. Computer Science University of Liverpool Liverpool L69 7ZF United Kingdom M.P.Huget@csc.liv.ac.uk http://www.csc.liv.ac.uk/ mph March 9, 2003

Plus en détail

Grenoble Institute of Technology Esisar department. Speaker : Laurent.Lefevre@grenoble-inp.fr

Grenoble Institute of Technology Esisar department. Speaker : Laurent.Lefevre@grenoble-inp.fr Grenoble Institute of Technology Esisar department Speaker : Laurent.Lefevre@grenoble-inp.fr Grenoble INP 6 Departments organized along the European standard «Bachelor, Master, Doctorate» Ense3 Energy,

Plus en détail

Vers un système de réutilisation des connaissances en ingénierie de conception

Vers un système de réutilisation des connaissances en ingénierie de conception N d ordre: 160 Année 2011 T H E S E D E D O C T O R A T Université de Technologie de Belfort Montbéliard et Université de Franche Comté Pour obtenir le grade de DOCTEUR DISCIPLINE : INFORMATIQUE Vers un

Plus en détail

Notice biographique Repères biographiques communs. Nom : CHRISTOV Prénom : NICOLAI Section : 61

Notice biographique Repères biographiques communs. Nom : CHRISTOV Prénom : NICOLAI Section : 61 Notice biographique Repères biographiques communs Nom : CHRISTOV Prénom : NICOLAI Section : 61 Corps : Professeur Equipe de recherche Grade : 1C Laboratoire d Automatique, Génie Informatique et Signal

Plus en détail

1993 Baccalauréat (S). Mention Assez Bien. FORMATION

1993 Baccalauréat (S). Mention Assez Bien. FORMATION Sana GUETAT Avenue Olivier Messiaen, 72085 Le Mans cedex 9 (33) 02 43 83 35 34- Fax : (33) 02 43 83 31 35 Sana.Guetat@univ-lemans.fr http://www.univ-lemans.fr FORMATION 2008 Doctorat en Sciences de Gestion,

Plus en détail

Apports des rôles à la construction et à l expérimentation de modèles multi-agents pour la gestion de ressources renouvelables

Apports des rôles à la construction et à l expérimentation de modèles multi-agents pour la gestion de ressources renouvelables Apports des rôles à la construction et à l expérimentation de modèles multi-agents pour la gestion de ressources renouvelables What roles can bring in designing and experimenting agent-based models used

Plus en détail

Correspondances sémantiques entre des modèles de services, de composants et d agents

Correspondances sémantiques entre des modèles de services, de composants et d agents Correspondances sémantiques entre des modèles de services, de composants et d agents Nour Alhouda Aboud LIUPPA / Université de Pau B.P. 1155 64013 PAU CEDEX, France Nouralhouda.Aboud@univpau.fr Eric Gouardères

Plus en détail

Cyril FAUCHER Maître de Conférences en Informatique (section CNU 27) Docteur en Informatique Université de La Rochelle COMUE Leonard de Vinci

Cyril FAUCHER Maître de Conférences en Informatique (section CNU 27) Docteur en Informatique Université de La Rochelle COMUE Leonard de Vinci Cyril FAUCHER Maître de Conférences en Informatique (section CNU 27) Docteur en Informatique Université de La Rochelle COMUE Leonard de Vinci Né le 11 avril 1980 à Parthenay (Deux-Sèvres) Tél : 06.70.12.20.23

Plus en détail

Notice biographique Repères biographiques communs. Nom : BOTTA Prénom : VALERIE Section : 61

Notice biographique Repères biographiques communs. Nom : BOTTA Prénom : VALERIE Section : 61 Notice biographique Repères biographiques communs Nom : BOTTA Prénom : VALERIE Section : 61 Corps : Professeur Grade : 1ere classe Equipe de recherche DISP, EA 4570 Ecole doctorale InfoMaths, EA 512 Directeur

Plus en détail

Formation de recherche. Master MI (MoSIG), 2e année, spécialité Informatique UFRIMAG (UJF) & Ensimag (Grenoble INP)

Formation de recherche. Master MI (MoSIG), 2e année, spécialité Informatique UFRIMAG (UJF) & Ensimag (Grenoble INP) Formation de recherche Master MI (MoSIG), 2e année, spécialité Informatique UFRIMAG (UJF) & Ensimag (Grenoble INP) Massih-Reza Amini mars 2015 Qu est ce qu une thèse de doctorat? Un travail de 36 mois

Plus en détail

Notice biographique Repères biographiques communs. Nom : LAPAYRE Prénom : JEAN-CHRISTOPHE Section : 27

Notice biographique Repères biographiques communs. Nom : LAPAYRE Prénom : JEAN-CHRISTOPHE Section : 27 Notice biographique Repères biographiques communs Nom : LAPAYRE Prénom : JEAN-CHRISTOPHE Section : 27 Corps : Professeur Equipe de recherche Grade : 1ère Classe UMR CNRS 6174 FEMTO-ST, Dept DISC Ecole

Plus en détail

Architectures de sélection d actions. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 1 / 101

Architectures de sélection d actions. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 1 / 101 Architectures de sélection d actions V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 1 / 101 Plan Introduction 1 Introduction V. Hilaire () Intelligence Artificielle Distribuée

Plus en détail

Utilisation de SysML pour la simulation d environnement virtuel

Utilisation de SysML pour la simulation d environnement virtuel Utilisation de SysML pour la simulation d environnement virtuel Étude Bibliographique Réalisé par : Paola VALLEJO Encadré par : Ronan QUERREC Master informatique spécialité Recherche en informatique 26

Plus en détail

Architectures de sélection d actions

Architectures de sélection d actions Architectures de sélection d actions V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 1 / 101 Introduction Plan Introduction V. Hilaire () Intelligence Artificielle Distribuée

Plus en détail

Pascal Forget 2310, Avenue Notre-Dame Québec, (Québec) Canada, G2E 3G5 Tél. (418) 380-8767 Fax (418) 656-7415 pascal.forget@cirrelt.

Pascal Forget 2310, Avenue Notre-Dame Québec, (Québec) Canada, G2E 3G5 Tél. (418) 380-8767 Fax (418) 656-7415 pascal.forget@cirrelt. Pascal Forget 2310, Avenue Notre-Dame Québec, (Québec) Canada, G2E 3G5 Tél. (418) 380-8767 Fax (418) 656-7415 pascal.forget@cirrelt.ca FORMATION Doctorat, génie mécanique Université Laval, Québec, Canada

Plus en détail

Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel

Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel Coordonnateur Dominique Méry LORIA,Université Henri Poincaré Nancy 1 Partenaire 3 Mohamed Mosbah

Plus en détail

SYNTHESE D ARCHITECTURES D ENSEMBLES DYNAMIQUES D HELICOPTERES.

SYNTHESE D ARCHITECTURES D ENSEMBLES DYNAMIQUES D HELICOPTERES. SYNTHESE D ARCHITECTURES D ENSEMBLES DYNAMIQUES D HELICOPTERES. 1 LE CADRE DES TRAVAUX Les travaux s inscrivent dans le cadre de l amélioration des performances des ensembles dynamiques d Hélicoptères.

Plus en détail

Curriculum Vitae PARCOURS UNIVERSITAIRE

Curriculum Vitae PARCOURS UNIVERSITAIRE Nicolas Boillet Maître de conférences de droit public UFR Droit, Économie et Gestion, Université de Brest nicolas.boillet@univ-brest.fr 12, rue de Kergoat C.S. 93837 29238 BREST Cedex 3 Curriculum Vitae

Plus en détail

Fiche de poste. UNIVERSITE DE BRETAGNE SUD (préciser si IUT) Poste n 0134. 02 97 87 66 30 02 97 87 66 35 e-mail : drh.ens@listes.univ-ubs.

Fiche de poste. UNIVERSITE DE BRETAGNE SUD (préciser si IUT) Poste n 0134. 02 97 87 66 30 02 97 87 66 35 e-mail : drh.ens@listes.univ-ubs. Fiche de poste UNIVERSITE DE BRETAGNE SUD (préciser si IUT) Poste n 0134 Corps : Sections : Profil : Localisation : Etat du poste : Maître de conférences 27 informatique IUT de Vannes Vacant Article de

Plus en détail

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Hind Darwich, doctorante en thèse CIFRE au sein de la société TDC

Plus en détail

Langage dédié pour le pilotage de solveurs de contraintes

Langage dédié pour le pilotage de solveurs de contraintes LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Langage dédié pour le pilotage

Plus en détail

Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents

Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents Directeur de thèse : Bruno Zanuttini GREYC, UMR 6072 UNICAEN/CNRS/ENSICAEN, équipe MAD Démarrage

Plus en détail

STS : Sciences, Technologies, Santé. STIC : Sciences et Technologies de l Information et de la Communication. h h h h h 250 h

STS : Sciences, Technologies, Santé. STIC : Sciences et Technologies de l Information et de la Communication. h h h h h 250 h Niveau : MASTER année Domaine : Mention : STS : Sciences, Technologies, Santé STIC : Sciences et Technologies de l Information et de la Communication M2 Spécialité : Volume horaire étudiant : Informatique

Plus en détail

Cécile MAUNIER. Maître de Conférences Sciences de Gestion Responsable pédagogique - Master 1 Marketing, Vente TITRES UNIVERSITAIRES

Cécile MAUNIER. Maître de Conférences Sciences de Gestion Responsable pédagogique - Master 1 Marketing, Vente TITRES UNIVERSITAIRES Cécile MAUNIER Maître de Conférences Sciences de Gestion Responsable pédagogique - Master 1 Marketing, Vente IAE REUNION 24 avenue de la Victoire CS 92003 Saint Denis Cedex 09 ( : 02 62 47 99 01 E- mail

Plus en détail

MASTER MENTION INFORMATIQUE SPÉCIALITÉ PROGRAMMATION ET LOGICIELS SÛRS. Présentation. Objectifs. Compétences visées. Organisation. Stage.

MASTER MENTION INFORMATIQUE SPÉCIALITÉ PROGRAMMATION ET LOGICIELS SÛRS. Présentation. Objectifs. Compétences visées. Organisation. Stage. MASTER MENTION INFORMATIQUE SPÉCIALITÉ PROGRAMMATION ET LOGICIELS SÛRS RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine : Sciences, Technologies, Santé Mention : INFORMATIQUE Spécialité :

Plus en détail

Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés

Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés Christophe Dumez Laboratoire Systèmes et Transports (SeT) Université de Technologie

Plus en détail

Artificial Intelligence AI

Artificial Intelligence AI Pedagogical Introduction Artificial Intelligence AI Lecture 0 Karim Bouzoubaa This Lecture General Information Examples Importance At the end Intelligent Systems Course Content, Other AI courses, Learning

Plus en détail

Systèmes : Microsoft Windows (95 à Seven), Unix (Linux, MacOS X) Visual Studio 2003-2010, KDevelop, Xcode, oxygen Frameworks d'hmi :

Systèmes : Microsoft Windows (95 à Seven), Unix (Linux, MacOS X) Visual Studio 2003-2010, KDevelop, Xcode, oxygen Frameworks d'hmi : Nader Salman 29-31 rue de France Nice, PACA - 06000, FRANCE Tél: +33(0) 624-485-313 Courriel: Nader@salman-circle.com Nationalité Française Age 26 ans ENVIRONNEMENT DE DÉVELOPPEMENT Systèmes : Microsoft

Plus en détail

DOCTORAT NOUVEAU REGIME EN INFORMATIQUE UNIVERSITE PAUL SABATIER DE TOULOUSE FRANCE

DOCTORAT NOUVEAU REGIME EN INFORMATIQUE UNIVERSITE PAUL SABATIER DE TOULOUSE FRANCE I. Etat Civil Nom et prénom SOUILEM DALILA Grade : Maître assistant E_mail : dalila.souilem@enim.rnu.tn Dalila.souilem@yahoo.fr II. Diplômes DOCTORAT NOUVEAU REGIME EN INFORMATIQUE UNIVERSITE PAUL SABATIER

Plus en détail

Modélisation Multi-Paradigme : enjeux et problématiques

Modélisation Multi-Paradigme : enjeux et problématiques Modélisation Multi-Paradigme : enjeux et problématiques Séminaire DI 15 Mai 2008 Cécile HARDEBOLLE cecile.hardebolle@supelec.fr Remarques préliminaires Objectifs de la présentation : Présenter la modélisation

Plus en détail

OFFRE DE FORMATION DE TROISIEME CYCLE EN VUE DE L OBTENTION DU DOCTORAT AU TITRE DE L ANNEE UNIVERSITAIRE 2014/ 2015

OFFRE DE FORMATION DE TROISIEME CYCLE EN VUE DE L OBTENTION DU DOCTORAT AU TITRE DE L ANNEE UNIVERSITAIRE 2014/ 2015 REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE CONFERENCE REGIONALE DES ETABLISSEMENTS UNIVERSITAIRES DE LA REGION EST OFFRE DE FORMATION

Plus en détail

Offre de thèse. Co-encadrant de thèse : HENRY Sébastien Coordonnées électroniques : Sébastien.Henry@univ-lyon1.fr Laboratoire : DISP (www.disp-lab.

Offre de thèse. Co-encadrant de thèse : HENRY Sébastien Coordonnées électroniques : Sébastien.Henry@univ-lyon1.fr Laboratoire : DISP (www.disp-lab. Offre de thèse 1. Profil recherché Issu d une formation d ingénieur ou d un master, le candidat disposera idéalement des compétences dans les domaines suivants : Pilotage des systèmes de production. Systèmes

Plus en détail

LES MASTERS RECHERCHE CIRD

LES MASTERS RECHERCHE CIRD L offre de formation LES MASTERS RECHERCHE CIRD ARTS et METIERS PARISTECH Responsable pédagogique : Patrick MARTIN patrick.martin@ensam.fr 33 ( 0) 387375465 LES MASTERS DE RECHERCHE: contexte 2 Européen

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) Intitulé (cadre 1) Master Droit Economie Gestion, mention Management des Systèmes d Information, spécialité Management et Technologies

Plus en détail

LISTE DES PUBLICATIONS

LISTE DES PUBLICATIONS LISTE DES PUBLICATIONS DE GABRIELLA SALZANO Bases de données et Systèmes d'information A - Chapitres d ouvrages collectifs édités A1. SALZANO, G., Dimension géographique des Systèmes d'information de santé,

Plus en détail

Qualité de la conception de tests logiciels : plate-forme de conception et processus de test

Qualité de la conception de tests logiciels : plate-forme de conception et processus de test Ecole Doctorale en Sciences de l Ingénieur de l ECP Formation doctorale en Génie Industriel Qualité de la conception de tests logiciels : plate-forme de conception et processus de test Quality of the design

Plus en détail

Méthodes de Développement de Systèmes Multi-Agents

Méthodes de Développement de Systèmes Multi-Agents TRANSPORTS & SYSTEMES MULTI-AGENTS Méthodes de Développement de Systèmes Multi-Agents Marie-Pierre Gleizes gleizes@irit.fr Équipe Systèmes Multi-Agents Coopératifs IRIT www.irit.fr/smac 31 janvier 2008

Plus en détail

Situation actuelle. Attachée temporaire d enseignement et de recherche (section CNU 25) à l Université Paris 2. Thèmes de recherche

Situation actuelle. Attachée temporaire d enseignement et de recherche (section CNU 25) à l Université Paris 2. Thèmes de recherche Cyrielle DUMONT Docteur en biostatistiques Née le 9 mai 1985 à Chartres (28) Adresse : Université Paris 2 12 place du Panthéon 75005 Paris Courriel : cyrielle.dumont@inserm.fr Page personnelle : www.biostat.fr/home-dumont.htm

Plus en détail

Curriculum Vitae. Informations générales

Curriculum Vitae. Informations générales Sandy CAMPART Maître de conférences de sciences économiques Membre permanent du CREM (UMR CNRS 6211) Directeur délégué à la formation continue de l IUP Banque Assurance de Caen Responsable de la licence

Plus en détail

Plan de cours ADM 992C Page 1. École des sciences de la gestion Département de management et technologie Université du Québec à Montréal

Plan de cours ADM 992C Page 1. École des sciences de la gestion Département de management et technologie Université du Québec à Montréal Plan de cours ADM 992C Page 1 École des sciences de la gestion Département de management et technologie Université du Québec à Montréal ADM-992C LES TECHNOLOGIES D'AIDE À LA PRISE DE DÉCISION DANS LES

Plus en détail

Vers une démarche d ingénierie "hautement productive" des domaines projet-produit-process en contexte PME-PMI

Vers une démarche d ingénierie hautement productive des domaines projet-produit-process en contexte PME-PMI Vers une démarche d ingénierie "hautement productive" des domaines projet-produit-process en contexte PME-PMI J. BOXBERGER a c, M. LEBOUTEILLER b c,d. Schlegel c, N. Lebaal c, S. GOMES c a. Zurfluh-Feller,

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

Sujet de thèse CIFRE RESULIS / LGI2P Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences

Plus en détail

Vérification Formelle des Aspects de Cohérence d un Workflow net

Vérification Formelle des Aspects de Cohérence d un Workflow net Vérification Formelle des Aspects de Cohérence d un Workflow net Abdallah Missaoui Ecole Nationale d Ingénieurs de Tunis BP. 37 Le Belvédère, 1002 Tunis, Tunisia abdallah.missaoui@enit.rnu.tn Zohra Sbaï

Plus en détail

Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES

Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES Élasticité : Définitions et Concepts Samir Tata, Télécom SudParis Élasticité Définitions Élasticité

Plus en détail

Un système multi-agents sensible au contexte pour les environments d intelligence ambiante

Un système multi-agents sensible au contexte pour les environments d intelligence ambiante sensible au contexte pour les Andrei Olaru Directeurs de thèse: Adina Magda Florea, AI-MAS Lab, UPB Amal El Fallah Seghrouchni, LIP6, UPMC 27062011 Rapport d avancement Paris, France, 27062011 0/ 13 Positionnement

Plus en détail

1 Bref Curriculum Vitae

1 Bref Curriculum Vitae Hélène FARGIER Institut de Recherche en Informatique de Toulouse (IRIT) 118 route de Narbonne, 31062 Toulouse Cedex 9, France Tel : (33) 5. 61.55.82.97 E-mail : fargier@irit.fr État civil : 48 ans, veuve,

Plus en détail

CONTRIBUTION À LA CRÉATION D UN ENVIRONNEMENT INFORMATIQUE DE MODÉLISATION

CONTRIBUTION À LA CRÉATION D UN ENVIRONNEMENT INFORMATIQUE DE MODÉLISATION Quatrième colloque hypermédias et apprentissages 263 CONTRIBUTION À LA CRÉATION D UN ENVIRONNEMENT INFORMATIQUE DE MODÉLISATION Vassilis KOMIS*, Angélique DIMITRACOPOULOU**, Panayotis POLITIS*** * Computer

Plus en détail

Thales Services, des systèmes d information plus sûrs, plus intelligents www.thalesgroup.com

Thales Services, des systèmes d information plus sûrs, plus intelligents www.thalesgroup.com , des systèmes d information plus sûrs, plus intelligents www.thalesgroup.com Thales, leader mondial des hautes technologies Systèmes de transport, Espace, Avionique, Opérations aériennes, Défense terrestre,

Plus en détail

Projet Siminthec Appel à projets Programme Habitat intelligent et solaire photovoltaïque

Projet Siminthec Appel à projets Programme Habitat intelligent et solaire photovoltaïque Projet Siminthec Appel à projets Programme Habitat intelligent et solaire photovoltaïque Responsable Wurtz Etienne DR CNRS - CEA Présentation Wurtz Frédéric DR CNRS G2ELAB 1 Le projet ACRONYME Titre: SIMulation

Plus en détail

DOCTORAT DE L'UNIVERSITÉ DE TOULOUSE

DOCTORAT DE L'UNIVERSITÉ DE TOULOUSE En vue de l'obtention du DOCTORAT DE L'UNIVERSITÉ DE TOULOUSE Délivré par : Institut National Polytechnique de Toulouse (INP Toulouse) Discipline ou spécialité : Génie des Procédés et de l'environnement

Plus en détail

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION THÈSE N O 2388 (2001) PRÉSENTÉE AU DÉPARTEMENT D'INFORMATIQUE ÉCOLE POLYTECHNIQUE FÉDÉRALE

Plus en détail

Notice biographique Repères biographiques communs

Notice biographique Repères biographiques communs Nom : ANDREU Corps : Maître de conférences Equipe de recherche Notice biographique Repères biographiques communs Prénom : DAVID Grade : MCF - HDR Section : 61 Equipe DEMAR INRIA - LIRMM (UM2/CNRS) Equipe

Plus en détail

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR MASTER SCIENCES, TECHNOLOGIES, SANTE/STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Informatique www.univ-littoral.fr OBJECTIFS DE LA FORMATION Le master Informatique se compose de deux parcours et se

Plus en détail

Bourses d excellence pour les masters orientés vers la recherche

Bourses d excellence pour les masters orientés vers la recherche Masters de Mathématiques à l'université Lille 1 Mathématiques Ingénierie Mathématique Mathématiques et Finances Bourses d excellence pour les masters orientés vers la recherche Mathématiques appliquées

Plus en détail

Développement d une ontologie pour la classification d images en télédétection

Développement d une ontologie pour la classification d images en télédétection Développement d une ontologie pour la classification d images en télédétection Omar Boussaid, David Sheeren, Anne Puissant et Pierre Gançarski Laboratoire ERIC, EA 3038 - Université Lyon 2 Omar.Boussaid@univ-lyon2.fr

Plus en détail

ARDUIN Pierre-Emmanuel

ARDUIN Pierre-Emmanuel ARDUIN Pierre-Emmanuel Maître de conférences pierre-emmanuel.arduin@dauphine.fr Tél : +33(0)1.44.05.48.19 Bureau : A 702 Site web : Site web Poste actuel et responsabilités à Dauphine Responsable d'un

Plus en détail

Ingénierie de Systèmes Intelligents

Ingénierie de Systèmes Intelligents Ingénierie de Systèmes Intelligents p. 1/? Ingénierie de Systèmes Intelligents Maria Malek maria.malek@eisti.fr Ecole Internationale des Sciences de Traitement de l Information (EISTI) http://www.eisti.fr/

Plus en détail

Accès personnalisé multicritères à de multiples sources d informations.

Accès personnalisé multicritères à de multiples sources d informations. Lyon - France Accès personnalisé multicritères à de multiples sources d informations. Samir kechid Université des Sciences et de la Technologie Houari Boumediene. USTHB BP 32 El Alia Bab Ezzouar Alger

Plus en détail

Carole Adam Curriculum Vitæ détaillé

Carole Adam Curriculum Vitæ détaillé Carole Adam Curriculum Vitæ détaillé 1 Présentation Docteur-ingénieur en Informatique, je suis actuellement ATER (Attachée Temporaire d Enseignement et de Recherche). J enseigne à l ENSEEIHT (Ecole Nationale

Plus en détail

Modèle multi-agents de prise de décision éthique

Modèle multi-agents de prise de décision éthique Équipe Modèles, Agents, Décision Laboratoire GREYC CNRS UMR 6072 Université de Caen Basse-Normandie ENSICAEN Boulevard du Maréchal Juin CS 14 032, 14 032 Caen Cedex 5 Tel. : +33 (0)2 31 56 74 84 Fax :

Plus en détail

SMART-Project : Un environnement informatique. support d activités collaboratives d apprentissage par projet, à base de systèmes multi-agents.

SMART-Project : Un environnement informatique. support d activités collaboratives d apprentissage par projet, à base de systèmes multi-agents. SMART-Project : Un environnement informatique support d activités collaboratives d apprentissage par projet, à base de systèmes multi-agents M. Bousmah, N. Elkamoun, A. Berraissoul To cite this version:

Plus en détail

Modélisation: outillage et intégration

Modélisation: outillage et intégration Modélisation: outillage et intégration Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau

Plus en détail

Les lières. MSc in Electronics and Information Technology Engineering. Ingénieur civil. en informatique. MSc in Architectural Engineering

Les lières. MSc in Electronics and Information Technology Engineering. Ingénieur civil. en informatique. MSc in Architectural Engineering Ingénieur civil Ingénieur civil Les lières MSc in Electronics and Information Technology Engineering MSc in Architectural Engineering MSc in Civil Engineering MSc in Electromechanical Engineering MSc

Plus en détail

OBJECTIFS DE LA FORMATION

OBJECTIFS DE LA FORMATION Intitulé de la filière : Génie Electrique & Télécommunication (GET) Options : Génie Electrique & Contrôle Industriel Génie des Systèmes Electroniques & Télécommunications OBJECTIFS DE LA FORMATION Les

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

Sujet de thèse CIFRE RESULIS / LGI2P Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences

Plus en détail

Activités d encadrement et de recherche - Membre du projet PREMIA (1999-2003), logiciel d évaluation d options

Activités d encadrement et de recherche - Membre du projet PREMIA (1999-2003), logiciel d évaluation d options Stéphane VILLENEUVE Né le 25 Février 1971 Marié, 2 enfants GREMAQ Université des Sciences Sociales Manufacture des Tabacs 21 allée de Brienne 31000 TOULOUSE Tél: 05-61-12-85-67 e-mail: stephane.villeneuve@univ-tlse1.fr

Plus en détail

Le robot mobile Type 1

Le robot mobile Type 1 Le robot mobile Type 1 P. Lucidarme LISA Université d Angers 62, Avenue Notre Dame du Lac 49000 Angers { Philippe.Lucidarme@univ-angers.fr } O. Simonin Laboratoire Systèmes et Transports Université de

Plus en détail

Un modèle multi-agents pour la gestion des connaissances

Un modèle multi-agents pour la gestion des connaissances Un modèle multi-agents pour la gestion des connaissances Pierre Maret, Département Informatique et LIRIS, INSA de Lyon Jacques Calmet, IAKS, Université de Karlsruhe, Allemagne Le principe général sous-jacent

Plus en détail

SUPPLEMENT AU DIPLOME

SUPPLEMENT AU DIPLOME SUPPLEMENT AU DIPLOME Préambule : «Le présent supplément au diplôme suit le modèle élaboré par la Commission européenne, le Conseil de l Europe et l UNESCO/CEPES. Le supplément vise à fournir des données

Plus en détail

Une proposition d extension de GML pour un modèle générique d intégration de données spatio-temporelles hétérogènes

Une proposition d extension de GML pour un modèle générique d intégration de données spatio-temporelles hétérogènes 303 Schedae, 2007 Prépublication n 46 Fascicule n 2 Une proposition d extension de GML pour un modèle générique d intégration de données spatio-temporelles hétérogènes Samya Sagar, Mohamed Ben Ahmed Laboratoire

Plus en détail

High Quality P2P Service Provisioning via Decentralized Trust Management

High Quality P2P Service Provisioning via Decentralized Trust Management High Quality P2P Service Provisioning via Decentralized Trust Management THÈSE N O 4711 (2010) PRÉSENTÉE LE 31 MAI 2010 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DE SYSTÈMES D'INFORMATION

Plus en détail

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Système de formation fédérant trois projets du logiciel libre (Moodle, OpenGLM

Plus en détail