Liste de conférences et revues Thème Com A

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

Download "Liste de conférences et revues Thème Com A"

Transcription

1 Liste de conférences et revues Thème Com A April 11th, 2007 Ci-dessous, la synthèse des listes de publications fournies par les projets. Il faut noter que ACES/CEPAGE/OASIS/ n ont pas répondu et ne sont potentiellement donc pas bien représentés malheureusement. (CEPAGE a été récemment créé dans ce thème et n avait pas reçu le premier message). Le thème Com A (systèmes distribués et architectures réparties) regroupe les projets/équipes suivants: ACES - Informatique diffuse et systèmes embarqués ADEPT - Algorithmes pour des systèmes dynamiques sûrs ARLES - Architecture logicielles et systèmes distribués ASAP - As Scalable As Possible : fondements des systèmes large-échelle dynamiques (domaine algorithmes et systèmes distribués, réseaux) CEPAGE : Chercher et Essaimer dans les plate-formes à grande échelle JACQUARD - Tissage de composants logiciels OASIS - Objets actifs, sémantique, Internet et sécurité OBASCO - Objets, aspects et composants (domaines langages, génie logiciel, systèmes) PHOENIX - Technologie des langages de programmation pour les services de communication POPS - Système et Réseau pour Petits Objets Portables et Sécurisés REGAL - Répartition et gestion d'applications à large échelle SARDES - Architecture de systèmes réflexifs pour les environnements distribués TRISKELL - Construction fiable et efficace d'applications par assemblage de composants logiciels Les domaines représentés sont les suivants 1 Algorithmique distribuée 2 Système/Système distribués/p2p/réseaux 2 Langages de programmation 3 Middleware/Intergiciel

2 4 Génie logiciel 5 Réseaux, informatique diffuse Discussions De la liste issue des échanges, il semble que la hiérarchisation ACM puis IEEE est relativement respectée pour les forums nord américains. Le classement A représente les «top» et B les «très bonnes». Une question générale issue des discussions est l utilisation d une telle liste. Ma réponse ici est qu une telle liste pourrait servir deux propos dans le processus d (auto)-évaluation et d incitation. Encore une fois, le dossier purement académique est un élément parmi d autre. 1) Inciter les chercheurs à tendre vers les revues et conférences top. Il s agit d un argument constructif ainsi que donner une hiérarchie des conférences/revues aux thésards et post docs. 2) Donner des éléments concrets pour juger de la qualité des publications des dossiers dans les concours. Une autre question, complémentaire est le poids des publications par rapport aux autres facettes (transfert, développement logiciel ) dans le processus d évaluation des chercheurs et projets INRIA et auprès de la CE. ARLES ne se sent pas solidaire de cette liste tant que son utilisation n est pas définie précisément. Le taux de sélectivité n est clairement pas un critère absolu, en particulier pour les conférences. Dans les conférences top, le taux d auto censure est très important. Le taux de sélectivité est malgré tout très élevé ce qui explique que pour certains domaines les conférences sont plus sélectives que les journaux). L impact des conférences et des revues, calculé par le nombre de citations serait alors un meilleur critère. Dans les domaines concernés, les conférences sont bien souvent plus importantes (y compris en terme d impact) que les revues. Nous avons ajouté un item «conférences spécialisées» car elles sont souvent importantes pour une communauté (par exemple quant il s agit de faire émerger un nouveau domaine ; typiquement ECOOP/OOPSLA ont donné naissance aux conférences Models/AOSD/Reflection/UML/ 1) Algorithmique distribuée 1 Distributed Computing (DC), 2 JACM: Journal of the ACM 2 ACM Transaction on Algorithms 3 SICOMP (SIAM), 4 JSCC

3 5 Acta Informatica 1 JPDC: Journal of Parallel and distributed computing Elsevier 2 IEEE TPDS: Trans on Parallel and Distributed Systems 1 PODC: ACM Symposium on Principles of Distributed Computing 2 SPAA: ACM Symposium on Parallel Algorithms and Architectures 2 STOC: ACM Symposium on Theory of Computing 3 FOCS: Symposium on Foundations of Computer Science 4 DISC: International Symposium on Distributed Computing 5 DSN: IEEE/IFIP Dependable systems and networks 6 ICDCS: IEEE International Conf on Distr. Comp. Systems. 7 SIROCCO: international Colloquium on Structural Information and Communication Complexity Autres conférences specialisées: EDCC, OPODIS, ISORC Projets : ADEPT, ASAP, REGAL, SARDES, POPS 2) Systèmes distribués/ Système/P2P/ Réseaux 1 ACM TOCS (Transaction on Computer Systems) 2 IEEE JSAC (Journal on selected areas in communications) 2 ACM Computing Surveys 1 IEEE TPDS: IEEE Transaction on Parallel and Distributed Systems 2 IEEE Transaction on Computer Systems (IEEE TCS) 2 IEEE Transactions on Dependable and secure computing (TDSC) 3 IEEE Transactions on Knowledge and Data Engineering (TKDE) 4 IEEE Computer 5 Software Practice and experience 1 SOSP : ACM Symposium on Operating Systems Principle 2 OSDI : ACM Operating System Design and Implementation 2 DSN: The International Conference on Dependable Systems and Networks 1 ICDCS: IEEE International Conf on Distr. Comp. Systems 2 Middleware : ACM/IFIP/Usenix 3 HPDC : International Symposium on High Performance Distributed Computing 4 EuroSys

4 5 Usenix Annual Tech 6 NSDI: USENIX Symposium on Networked Systems Design & Implementation 7 SRDS: Symp on Reliable Distributed Systems 8 IPDPS : IEEE International Parallel & Distributed Processing Symposium 9 EMSOFT ACM Conference on Embedded Systems Software Conférence spécialisées : P2P, SSS, workshop IPTPS, hotnets, Hot OS Projets : ADEPT, (ARLES), ASAP, JACQUARD/ADAM, PHOENIX, OBASCO, REGAL, SARDES, POPS 3) Réseaux, pervasive computing 1 IEEE/ACM Transaction on Networking (TON) 2 ACM Wireless Networks 2 ACM TOCS 1 IEEE TPDS 2 IEEE Computer 1 SIGCOMM: ACM Conf on Comm Architectures, Protocols & Apps 2 MOBICOM: ACM Intl Conf on Mobile Computing and Networking 2 SIGMETRICS 3 Infocom, MobiCom, 1 MASS, MobiHoc, 2 LCN: IEEE Annual Conference on Local Computer Networks 2 MOBISYS: International Conference on Mobile Systems, Applications, and Services 3 ICC: Intl Conf on Comm Projets : ADEPT, ARLES, ASAP, POPS, SARDES 4) Langages de programmation 1 ACM TOPLAS 2 ACM TOSEM 3 JACM 1 TCS (Theoretical Computer Science) 2 Elsevier Computer Languages 3 ASPLOS ; International Conference on Architectural Support for Programming Languages and Operating Systems 4 PLDI : ACM/SIGPLAN programming Langage Design and

5 Implementation 5 POPL : Principles of Programming Languages 6 ICALP: International Colloquium on Automata, Languages and Programming 7 ECOOP 1 AOSD 2 GPCE 3 OOPSLA: ACM Object-Oriented Programming, Systems, Languages & Applications 4 PEPM Partial Evaluation and Program Manipulation Projets: ADEPT, (ARLES), POPS, SARDES, JACQUARD?ADAM, PHOENIX, OBASCO, TRISKELL 5) Software engineering 1 ACM TOSEM, 2 IEEE TSE 2 JASE 3 IEEE TPDS, 4 SP&E (Software Practice and experience), 5 LNCS Transaction on Aspect-Oriented Software Development 6 JFP Information and Computation 7 JCSS 8 IEEE Software 9 SoSym 10 Software 11 Systems and Structures 12 Testing Verification and reliability, 13 Trans on AOSD, Information Systems, 14 Journal of Systems and Software. 1 Middleware 2 ICSE: Int. Conference on Software Engineering 2 IEEE ASE: IEEE International Conference on Automated Software 3 ACM FSE : ACM SIGSOFT Symposium on Foundations of Software Engineering 4 ESEC: European Software Engineering Conference (ESEC) 5 ECOOP: European Conference on Object-Oriented Programming 6 OOPSLA 1 ESOP 2 FAST 2 IEEE Symp on Security and Privacy, 3 GPCE Generative Programming and Component Engineering

6 4 ASE: Automated Software Engineering Conference 5 Autres: PPDP, USITS,, MODELS/UML,, ISSRE, ISSTA, ICSM, RE, SPLC,, CBSE, WICSA, FMOODS, SAS Static Analysis Symposium, ETAPS European Joint Conferences on Theory and Practice of Software, Projets : (ARLES), SARDES, TRISKELL, JACQUARD/ADAM, OBASCO ) Misc Conférences obtenant un score different/domaine 1 IPDPS 2 Middleware 2 IEEE JSAC 3 DISC 4 EuroSys 5 Infocom 6 ICSE 7 SRDS 8 ASE 9 FMOODS 10 SSS 11 Euro-Par, CC Grid, IPDPS, IEEE Cluster 12 OPODIS 13 LADC 14 EDCC 15 PPAM 16 NCA 17 DOA 18 ICDCN PRDC 19 ISORC 20 ISPDC 21 ICPADS 22 FTDCS Site utiles

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

Objectif du cours. Outline. Complexité des systèmes modernes. La modélisation et UML dans les activités du Génie Logiciel...

Objectif du cours. Outline. Complexité des systèmes modernes. La modélisation et UML dans les activités du Génie Logiciel... Objectif du cours La modélisation et UML dans les activités du Génie Logiciel... ESIR2, GL (LSI) Benoit Combemale Université de Rennes 1, ESIR & IRISA (Triskell team) Benoit.Combemale@irisa.fr Identifier

Plus en détail

Programme blanc 2006

Programme blanc 2006 Programme blanc 2006 APPEL A PROJETS DE RECHERCHE ATTENTION : Cette partie (I) sera également à saisir directement sur le site de soumission I - FICHE D IDENTITE DU PROJET Référence : (reprendre la référence

Plus en détail

Une approche dirigée par les modèles pour la génération de tests pour des systèmes de traitement de données complexes et réparties.

Une approche dirigée par les modèles pour la génération de tests pour des systèmes de traitement de données complexes et réparties. 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 2013 Une approche dirigée par

Plus en détail

Réponse à la campagne Postes d accueil 2006 Consolidation des Standards implémentés dans ProActive : OSGi, JMX, Fractal GCM

Réponse à la campagne Postes d accueil 2006 Consolidation des Standards implémentés dans ProActive : OSGi, JMX, Fractal GCM Réponse à la campagne Postes d accueil 2006 Consolidation des Standards implémentés dans ProActive : OSGi, JMX, Fractal GCM Projet OASIS, INRIA Sophia-Antipolis Février 2006 Le logiciel ProActive est diffusé

Plus en détail

Guide d utilisation de la base de données : ACMDL

Guide d utilisation de la base de données : ACMDL partenaire du Guide d utilisation de la base de données : ACMDL Adresse: Rue la flanelle, cité Ain ellah Dely brahim Tél: (021) 91 03 52, Mob: (0770) 87 66 38, Fax: (021) 91 03 51 E mail: cadoc@cadoc.dz

Plus en détail

Modalité de contrôle des connaissances Master 2 Informatique : spécialité IFI

Modalité de contrôle des connaissances Master 2 Informatique : spécialité IFI Modalité de contrôle des connaissances Master Informatique : spécialité IFI La deuxième année de la spécialité IFI est constituée de plusieurs parcours identifiés, chacun sous la responsabilité d un enseignant-

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

Ada Diaconescu INFRES / S3. Appellation de Maître de Conférences. Mars 2010. ada.diaconescu@telecom-paristech.fr 01/03/2010

Ada Diaconescu INFRES / S3. Appellation de Maître de Conférences. Mars 2010. ada.diaconescu@telecom-paristech.fr 01/03/2010 Ada Diaconescu INFRES / S3 Appellation de Maître de Conférences Mars 2010 Parcours Études - Université Polytechnique Timisoara (1995-2000 ) Diplôme d Ingénieur en Informatique (BAC+5) Ingénieur R&D à Teltec,

Plus en détail

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier Tanguy.Risset@insa-lyon.fr Marine.minier@insa-lyon.fr http://master-info.univ-lyon1.fr/m2rts/

Plus en détail

Clouds/Big Data @ Inria. Frédéric Desprez Frederic.Desprez@inria.fr

Clouds/Big Data @ Inria. Frédéric Desprez Frederic.Desprez@inria.fr Clouds/Big Data @ Inria Frédéric Desprez Frederic.Desprez@inria.fr May 20, 2013 Outline 1. Inria Strategy in Clouds 2. HPC, Clouds: Where within Inria? 3. Inria Large-Scale initiatives Introduction Cloud

Plus en détail

Un outil de modélisation de la variabilité intégré à un environnement multi-vues

Un outil de modélisation de la variabilité intégré à un environnement multi-vues Un outil de modélisation de la variabilité intégré à un environnement multi-vues Date /Référence Journée Transformations de modèles et outillage de l IDM 7 novembre 2011 Olivier Barais (INRIA, Triskell)

Plus en détail

Introduction à la Recherche en Laboratoire

Introduction à la Recherche en Laboratoire Introduction à la Recherche en Laboratoire Transferts de données pour le vol de travail Tristan Darricau tristan.darricau@ensimag.grenoble-inp.fr 26 mai 2014 Grenoble INP - ENSIMAG Ecadrement Frédéric

Plus en détail

Gestion de copies multiples en environnement mobile

Gestion de copies multiples en environnement mobile Gestion de copies multiples en environnement mobile Lydialle Chateigner, Sophie Chabridon et Guy Bernard CNRS UMR Samovar 5157 13 septembre 2004 Plan Gestion de copies multiples en environnement mobile

Plus en détail

Stratégie de réplication résistante au churn pour les tables de hachage distribuées en pair-à-pair

Stratégie de réplication résistante au churn pour les tables de hachage distribuées en pair-à-pair Stratégie de réplication résistante au churn pour les tables de hachage distribuées en pair-à-pair Sergey Legtchenko LIP6/Université Pierre et Marie Curie/CNRS/INRIA sergey.legtchenko@systeme.lip6.fr Résumé

Plus en détail

MODALITE DE CONTROLE DES CONNAISSANCES MASTER 2 INFORMATIQUE : SPECIALITE IFI

MODALITE DE CONTROLE DES CONNAISSANCES MASTER 2 INFORMATIQUE : SPECIALITE IFI MODALITE DE CONTROLE DES CONNAISSANCES MASTER INFORMATIQUE : SPECIALITE IFI La deuxième année de la spécialité IFI est constituée de plusieurs parcours identifiés, chacun sous la responsabilité d un enseignant-chercheur

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

Bachelor Informatique et Systèmes de Communication

Bachelor Informatique et Systèmes de Communication Ecole Polytechnique Fédérale de Lausanne EPFL Faculté Informatique et Communications IC 1 Présentation de la 2 ème année 2015-2016 Bachelor Informatique et Systèmes de Communication Prof. P. Fua et Prof.

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

ACI SI MOSAIC. 29/09/2005 Yves Roudier Institut Eurécom

ACI SI MOSAIC. 29/09/2005 Yves Roudier Institut Eurécom ACI SI MOSAIC 29/09/2005 Yves Roudier Institut Eurécom 1) Collaboration Observation de la collaboration? Immédiate : e.g. routage MANETs (service immédiat) Non immédiate dans notre cas (promesse de service

Plus en détail

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Pluquet Frédéric July, 3rd 2012 Etude de techniques efficaces de versionnement d objets pour les langages orientés

Plus en détail

Pour des architectures logicielles ouvertes et adaptables. La réflexion : pourquoi et comment?

Pour des architectures logicielles ouvertes et adaptables. La réflexion : pourquoi et comment? Pour des architectures logicielles ouvertes et adaptables. La réflexion : pourquoi et comment? P. Cointe et T. Ledoux pour l'équipe OCM (Objets, Composants, Modèles) de l'emn Contexte Aujourd'hui, la complexité

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

Calendrier des projets en informatique pour 2010-2011

Calendrier des projets en informatique pour 2010-2011 INFO BIOL-F-02 Biologie générale De Cannière C. BIOL-F-05 Biologie et société Van Helden J. GEOG-F-06 Société et environnement Pattyn F./Decroly J-M. GEOL-F-0 Introduction aux sciences de la terre Regnier

Plus en détail

Études de bachelor en informatique

Études de bachelor en informatique 1 Études de bachelor en informatique Informatique A notre époque, il n y a pratiquement plus aucune activité qui puisse se passer de l ordinateur. On ne le trouve pas seulement sur les bureaux et dans

Plus en détail

Introduction aux applications réparties

Introduction aux applications réparties Introduction aux applications réparties Noël De Palma Projet SARDES INRIA Rhône-Alpes http://sardes.inrialpes.fr/~depalma Noel.depalma@inrialpes.fr Applications réparties Def : Application s exécutant

Plus en détail

Évaluation des logiciels et autres réalisations

Évaluation des logiciels et autres réalisations DOCUMENT D ANALYSE DE LA COMMISSION D ÉVALUATION DE L INRIA Évaluation des logiciels et autres réalisations Préparé par David Margery, Jean-Pierre Merlet, Cordelia Schmid, Agnès Sulem, Paul Zimmermann

Plus en détail

Analyse statique de SCADE par interprétation abstraite

Analyse statique de SCADE par interprétation abstraite Analyse statique de SCADE par interprétation abstraite soutenance de stage Alex AUVOLAT ANSYS-Esterel Technologies sous l encadrement de Jean-Louis Colaço Juin-Juillet 2014 1/33 Introduction SCADE : programmation

Plus en détail

Maquette Pédagogique. Diplôme d Ingénieur spécialité. Sciences Informatiques

Maquette Pédagogique. Diplôme d Ingénieur spécialité. Sciences Informatiques Maquette Pédagogique Diplôme d Ingénieur spécialité Sciences Informatiques 1 Spécialité SCIENCES INFORMATIQUES La cinquième année est constituée de plusieurs parcours chacun sous la responsabilité d un

Plus en détail

Pour une programmation par aspects expressive, bien définie et correcte

Pour une programmation par aspects expressive, bien définie et correcte Pour une programmation par aspects expressive, bien définie et correcte Mario Südholt Projet OBASCO Habilitation à diriger des recherches 11 juillet 2007 ECOLE DES MINES DE NANTES Mario Südholt (OBASCO)

Plus en détail

2003-2006 Etudiant en classe préparatoire, Lycée Henri Wallon, Valenciennes.

2003-2006 Etudiant en classe préparatoire, Lycée Henri Wallon, Valenciennes. Vincent Cheval School of Computing University of Kent Canterbury, CT2 7NF, UK +44 (0)7479 555701 +44 (0)1227 823816 vincent.cheval@icloud.com homepage: www.cs.kent.ac.uk/ vc218/web Nationalité : Française

Plus en détail

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation.

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation. Master mention Informatique M1 Construction d s Réparties Lionel Seinturier USTL-LIFL Équipe GOAL/Projet INRIA Jacquard Lionel.Seinturier@lifl.fr 2006/2007 1 Objectifs du cours Appréhender la conception

Plus en détail

Détection d anomalies d configurations de composants de. stere.preda@enst-bretagne.fr

Détection d anomalies d configurations de composants de. stere.preda@enst-bretagne.fr Détection d anomalies d dans les configurations de composants de sécurité réseau Stere Preda stere.preda@enst-bretagne.fr 8 février 2006 Plan Contexte de l étude Anomalies dans la configuration des composants

Plus en détail

DUETI R&T 2015 2016. Fiches de formation

DUETI R&T 2015 2016. Fiches de formation DUETI R&T 2015 2016 Fiches de formation CE DOCUMENT N EST PAS CONTRACTUEL Les conditions (financières notamment, mais aussi les conditions d inscription) ainsi que les programmes sont donnés à titre indicatif

Plus en détail

Improving MapReduce Performance in Heterogeneous Environments

Improving MapReduce Performance in Heterogeneous Environments Improving MapReduce Performance in Heterogeneous Environments Minwei CHEN Université Claude Bernard Lyon 1 Master Recherche en Informatique M2 Technologies de l information et Web Email pro: minwei.chen@etu.univ-lyon1.fr

Plus en détail

1 Activités d enseignement 5 1.1 Enseignements... 5 1.2 Responsabilités... 5

1 Activités d enseignement 5 1.1 Enseignements... 5 1.2 Responsabilités... 5 Sommaire Résumé du Curriculum Vitæ 2 1 Activités d enseignement 5 1.1 Enseignements....................................... 5 1.2 Responsabilités....................................... 5 2 Activités de

Plus en détail

Groupe de Discussion - IoT Enjeux de l adoption de réseaux de capteurs IPv6. Sébastien Dawans 06/06/2012

Groupe de Discussion - IoT Enjeux de l adoption de réseaux de capteurs IPv6. Sébastien Dawans 06/06/2012 Groupe de Discussion - IoT Enjeux de l adoption de réseaux de capteurs IPv6 Sébastien Dawans 06/06/2012 Le CETIC en quelques mots Software & Services Technologies Helping industry to exploit faster distributed,

Plus en détail

état et perspectives

état et perspectives La Normalisation de l informatique en Nuage «Cloud Computing» état et perspectives Séminaire Aristote: L'interopérabilit rabilité dans le Cloud Ecole Polytechnique 23/03/2011 Jamil CHAWKI Orange Labs Networks

Plus en détail

Détection d'intrusions en environnement haute performance

Détection d'intrusions en environnement haute performance Symposium sur la Sécurité des Technologies de l'information et des Communications '05 Détection d'intrusions en environnement haute performance Clusters HPC Fabrice Gadaud (fabrice.gadaud@cea.fr) 1 Sommaire

Plus en détail

Curriculum Vitæ. Fonctions

Curriculum Vitæ. Fonctions Curriculum Vitæ Bechir ZALILA Ingénieur Docteur État civil : Marié Adresse : BP N 70, bureau de poste de Chihia 3041, Sfax, Tunisie Tél : (+216) 74 274 088 (Poste 215) Fax : (+216) 74 666 578 D. de Naiss.

Plus en détail

CONTRAT D ETUDES - LEARNING AGREEMENT

CONTRAT D ETUDES - LEARNING AGREEMENT CONTRAT D ETUDES - LEARNING AGREEMENT Règles générales La présence aux séances d enseignement des modules choisis est obligatoire. Chaque module comporte des séances de travail encadrées et non encadrées

Plus en détail

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Omar Chebaro LIFC, Université de Franche-Comté, 25030 Besançon France CEA, LIST, Laboratoire Sûreté des Logiciels,

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

ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques. Ioannis Parissis - Claudia Roncancio

ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques. Ioannis Parissis - Claudia Roncancio ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques Ioannis Parissis - Claudia Roncancio LCIS LIG 1 Contexte et motivation! Capteurs omniprésents, en pleine

Plus en détail

Les Parcours Distribués de Réseaux: un outil pour la conception de protocoles

Les Parcours Distribués de Réseaux: un outil pour la conception de protocoles Les Parcours Distribués de Réseaux: un outil pour la conception de protocoles Jean-Michel HELARY Michel RAYNAL IRISA Campus de Beaulieu F-35042 Rennes cédex E.mail: raynal@irisa.fr Abstract Un certain

Plus en détail

Chapitre 2: Couche Application I

Chapitre 2: Couche Application I Chapitre 2: Couche Application I Roch Glitho, PhD Associate Professor and Canada Research Chair My URL - http://users.encs.concordia.ca/~glitho/ Couche Application I (Infrastructures d application) Application

Plus en détail

Mesure et modélisation de l énergie logicielle

Mesure et modélisation de l énergie logicielle Mesure et modélisation de l énergie logicielle Adel Noureddine, Romain Rouvoy, Lionel Seinturier Green Days @ Lille 29 novembre 2013 Plan Contexte! Problèmes et limitations! Mesure énergétique des logiciels

Plus en détail

Adaptation sémantique de documents SMIL

Adaptation sémantique de documents SMIL Adaptation sémantique de documents SMIL Sébastien Laborie Jérôme Euzenat Nabil Layaïda INRIA Rhône-Alpes - 655 Avenue de l Europe - 38334 St Ismier Cedex {Sebastien.Laborie;Jerome.Euzenat;Nabil.Layaida}@inrialpes.fr

Plus en détail

Service de réconciliation pour la synchronisation de copies

Service de réconciliation pour la synchronisation de copies Service de réconciliation pour la synchronisation de copies L. Chateigner, S. Chabridon, N. Sabri et G. Bernard CNRS UMR SAMOVAR 01-03 juin 2004 Plan Service de réconciliation pour la synchronisation de

Plus en détail

Maîtrise énergétique des centres de données

Maîtrise énergétique des centres de données 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 Maîtrise énergétique des

Plus en détail

Completed Projects / Projets terminés

Completed Projects / Projets terminés Completed Projects / Projets terminés Nouvelles normes Nouvelles éditions Publications spéciales publiées en français CAN/CSA-ISO/CEI 10164-9-97 (C2001), 1 re édition Technologies de l information Interconnexion

Plus en détail

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des

Plus en détail

GPU, processeurs multi-coeurs et bio-informatique

GPU, processeurs multi-coeurs et bio-informatique GPU, processeurs multi-coeurs et bio-informatique Jean-Stéphane Varré jean-stephane.varre@lifl.fr Equipe BONSAI Université Lille 1 - LIFL -INRIA Qu est-ce que c est? Le processeur (CPU) La carte graphique

Plus en détail

LORIA, projet Cassis née le 31 mars 1978

LORIA, projet Cassis née le 31 mars 1978 Véronique Cortier LORIA, projet Cassis née le 31 mars 1978 Campus Scientifique, BP 239 nationalité française 54506 Vandœuvre-lès-Nancy, France tél. : +(33) 3 83 59 30 55 fax : +(33) 3 83 27 83 19 e-mail

Plus en détail

Introduction au projet ebxml. Alain Dechamps

Introduction au projet ebxml. Alain Dechamps Introduction au projet ebxml Alain Dechamps 1 Introduction ebes Plan Le pourquoi de la réunion Contexte et projet ebxml Fonctionnement Avantages 2 Lexique Business process = processus métier Core component

Plus en détail

Les conteneurs : une approche générique pour la conception d un système à image unique

Les conteneurs : une approche générique pour la conception d un système à image unique RENPAR 14 / ASF / SYMPA Hamamet, Tunisie, 10 13 avril 2002 Les conteneurs : une approche générique pour la conception d un système à image unique Renaud Lottiaux, projet PARIS IRISA/INRIA, Campus universitaire

Plus en détail

Mémoires 2011-2012. Euranova R&D. Objet du document. Contenu

Mémoires 2011-2012. Euranova R&D. Objet du document. Contenu Euranova R&D Euranova est une société Belge constituée depuis le 1er Septembre 2008. Sa vision est simple: «Être un incubateur technologique focalisé sur l utilisation pragmatique des connaissances». Les

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

SYNTHÈSE DES ACTIVITÉS DE RECHERCHE. Habilitation à diriger les recherches et thèse de doctorat

SYNTHÈSE DES ACTIVITÉS DE RECHERCHE. Habilitation à diriger les recherches et thèse de doctorat Bureau D307 Département d Informatique 9, rue Charles Fourier F-91011 Evry Cedex, France. Né le 20/10/1976, Paris Français, marié, 2 enfants Tel: +33 6 10 39 31 17 Mail: gael.thomas@telecom-sudparis.eu

Plus en détail

Rapport d étude bibliographique

Rapport d étude bibliographique Rapport d étude bibliographique David SUAREZ Janvier 2011 Encadrants : Joël CHAMPEAU, Stephen CREFF Equipe : LISyC équipe IDM, ENSIETA Plan 1. Introduction... 3 2. Ingénierie Dirigée par les Modèles (IDM)...

Plus en détail

Djawida DIB Master informatique, spécialité Recherche en informatique Établissement: IFSIC, Université de Rennes 1

Djawida DIB Master informatique, spécialité Recherche en informatique Établissement: IFSIC, Université de Rennes 1 Étude bibliographique: Transparence des communications réseau dans la migration à chaud de machines virtuelles entre infrastructures de type cloud computing Djawida DIB Master informatique, spécialité

Plus en détail

Adaptation d applications à base de services

Adaptation d applications à base de services Adaptation d applications à base de services Erwan Daubert 29 janvier 2009 Introduction Le développement des usages mobiles de l Internet et des puces à radiofréquence (RFID) devrait bientôt permettre

Plus en détail

Software Engineering and Middleware A Roadmap

Software Engineering and Middleware A Roadmap Software Engineering and Middleware A Roadmap Ecrit par: Dr. Wolfgang Emmerich Présenté par : Mustapha Boushaba Cours : IFT6251 Wolfgang Emmerich Enseignant à University College London: Distributed Systems

Plus en détail

Comment gagner confiance en C?

Comment gagner confiance en C? CHRONIQUE DOI:10.3166/TSI.26.1195-1200 c 2007 Lavoisier, Paris Comment gagner confiance en C? Le langage C est très utilisé dans l industrie, en particulier pour développer du logiciel embarqué. Un des

Plus en détail

Le clustering dans les réseaux ad-hoc

Le clustering dans les réseaux ad-hoc Le clustering dans les réseaux ad-hoc Auteur : Florent NOLOT Florent NOLOT 1 Présentation Le modèle et les motivations Le clustering à 1 saut et à k sauts Quelques résultats de simulation L'adaptation

Plus en détail

INSA DE LYON Référence GALAXIE : 4097

INSA DE LYON Référence GALAXIE : 4097 INSA DE LYON Référence GALAXIE : 4097 Numéro dans le SI local : 0327 Référence GESUP : Corps : Maître de conférences Article : 26-I-1 Chaire : Non Section 1 : 27-Informatique Section 2 : Section 3 : Profil

Plus en détail

projet SIMPATIC ANR INS 2012

projet SIMPATIC ANR INS 2012 projet SIMPATIC ANR INS 2012 SIMPATIC pour SIM and PAiring Theory for Information and Communications security appel INS 2012 (Ingénierie Numérique et Sécurité) durée : 36 mois labellisation par les pôles

Plus en détail

Activités du Groupe SR Sécurité Réseaux

Activités du Groupe SR Sécurité Réseaux Activités du Groupe SR Sécurité Réseaux Permanents J. Leneutre, H. Labiod, A. Sehrouchni, P. Urien, R. Khatoun, H. Aissaoui Thèmes: Sécurité, Confiance, et Résilence du Numérique Sécurité des réseaux sans

Plus en détail

Le projet Modistarc : un outil de test de conformité de composants OSEK/VDX pour l l automobile

Le projet Modistarc : un outil de test de conformité de composants OSEK/VDX pour l l automobile : un outil de test de conformité de composants OSEK/VDX pour l l automobile Benoît Caillaud, IRISA/INRIA Rennes MODISTARC = Methods and tools for the validation of OSEK/VDX DIStributed ARChitectures Projet

Plus en détail

Cisco Expo 2008 L innovation au service de vos ambitions Jeudi 13 mars 2008 Carrousel du Louvre - Paris

Cisco Expo 2008 L innovation au service de vos ambitions Jeudi 13 mars 2008 Carrousel du Louvre - Paris Cisco Expo 2008 L innovation au service de vos ambitions Jeudi 13 mars 2008 Carrousel du Louvre - Paris Les Infrastructures Orientées Services (SOI) Marc Frentzel Directeur technique Cisco France 1 Agenda

Plus en détail

Détection automatique d anomalies de performance

Détection automatique d anomalies de performance Détection automatique d anomalies de performance Mohamed Said Mosli Bouksiaa, François Trahay, Gaël Thomas Télécom SudParis, Institut Mines-Télécom, CNRS UMR 5157 SAMOVAR, Université Paris-Saclay {mohamed.mosli_bouksiaa,francois.trahay,gael.thomas}@telecom-sudparis.eu

Plus en détail

Sécurisation du stockage de données sur le Cloud Michel Kheirallah

Sécurisation du stockage de données sur le Cloud Michel Kheirallah Sécurisation du stockage de données sur le Cloud Michel Kheirallah Introduction I Présentation du Cloud II Menaces III Exigences de sécurité IV Techniques de sécurisation 2 26/02/2015 Présentation du Cloud

Plus en détail

Préparer un état de l art

Préparer un état de l art Préparer un état de l art Khalil DRIRA LAAS-CNRS, Toulouse Unité de recherche ReDCAD École Nationale d ingénieurs de Sfax Étude de l état de l art? Une étude ciblée, approfondie et critique des travaux

Plus en détail

Les Interacteurs Hiérarchisés 1

Les Interacteurs Hiérarchisés 1 Les Interacteurs Hiérarchisés 1 Une architecture orientée tâches pour la conception des dialogues. Patrick Girard, Guy Pierra, Laurent Guittet LISI, ENSMA, Site du Futuroscope - B.P. 109-86960 FUTUROSCOPE

Plus en détail

Groupe de travail COSMAL 27 janvier 2009

Groupe de travail COSMAL 27 janvier 2009 Des modèles aux programmes à base de composants Besoin de langages à composants Luc Fabresse École des mines de Douai Unité de Recherche Informatique et Automatique http://vst.ensm-douai.fr/research/ Groupe

Plus en détail

Une approche modèle pour la conception conjointe de systèmes embarqués hautes performances dédiés au transport

Une approche modèle pour la conception conjointe de systèmes embarqués hautes performances dédiés au transport Une approche modèle pour la conception conjointe de systèmes embarqués hautes performances dédiés au transport Jean Luc DEKEYSER, Sébastien LE BEUX, Philippe MARQUET Inria Futurs Lille dekeyser@lifl.fr

Plus en détail

Gestion dynamique du cache entre machines virtuelles

Gestion dynamique du cache entre machines virtuelles Gestion dynamique du cache entre machines virtuelles Maxime Lorrillere, Joel Poudroux, Julien Sopena et Sébastien Monnet Sorbonne Universités, UPMC Univ Paris 6, F-75, Paris, France CNRS, UMR_766, LIP6,

Plus en détail

La décision répartie pour le déploiement distribué

La décision répartie pour le déploiement distribué La décision répartie pour le déploiement distribué Auteur : Chafik Merkak 1 Encadrant : Fabien Dagnat 2 Équipe : CAMA, TELECOM Bretagne 27 janvier 2011 Master Recherche en Informatique Systèmes et Objets

Plus en détail

Programmation paresseuse et causale des architectures orientées services

Programmation paresseuse et causale des architectures orientées services 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 2016 Programmation paresseuse

Plus en détail

Rappels. Génie logiciel. Implemented tactics. Oldest architecture: Batch-Sequential

Rappels. Génie logiciel. Implemented tactics. Oldest architecture: Batch-Sequential Rappels Génie logiciel Philippe Dugerdil Composants, packages Couches & dépendances Principes de structuration Réutilisation / responsabilité Réutilisation & composants 09.12.2010 Oldest architecture:

Plus en détail

Conseils, inscription et accompagnement pour vos études en Australie

Conseils, inscription et accompagnement pour vos études en Australie Conseils, inscription et accompagnement pour vos études en Australie Représentant de plus de 100 établissements australiens, universités et centres de langues. NOS SERVICES Conseils, inscriptions et accompagnement

Plus en détail

Adaptations Dynamiques et Orthogonales de Composants Logiciels Distribués

Adaptations Dynamiques et Orthogonales de Composants Logiciels Distribués Adaptations Dynamiques et Orthogonales de Composants Logiciels Distribués Frédéric Peschanski * Jean-Pierre Briot ** * Université de Tokyo ** Laboratoire d Informatique de Paris 6 RÉSUMÉ. L évolution logicielle

Plus en détail

Etude méthodologique comparative de solutions d entreposage de données de santé à des fins décisionnelles

Etude méthodologique comparative de solutions d entreposage de données de santé à des fins décisionnelles Etude méthodologique comparative de solutions d entreposage de données de santé à des fins décisionnelles Rémy Choquet 1, Christel Daniel 1, Omar Boussaid 2, Mariechristine Jaulent 1. 1 INSERM UMR_S 872

Plus en détail

Systèmes & Réseaux. Georges Arhodakis Université Paris 8

Systèmes & Réseaux. Georges Arhodakis Université Paris 8 Systèmes & Réseaux Georges Arhodakis Université Paris 8 Sommaire Introduction Historique Service du noyau Appel Système Trappes & Interruptions Horloge & Gestion du Temps Ordonnancement Contrôle & Gestion

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

Thèse de Doctorat de l Université de Toulouse. Déploiement de systèmes répartis multi-échelles : processus, langage et outils intergiciels

Thèse de Doctorat de l Université de Toulouse. Déploiement de systèmes répartis multi-échelles : processus, langage et outils intergiciels Thèse de Doctorat de l Université de Toulouse Déploiement de systèmes répartis multi-échelles : processus, langage et outils intergiciels Raja Boujbel 30 janvier 2015 Directeurs : Jean-Paul Arcangeli (UPS/IRIT-SMAC)

Plus en détail

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Pierre Olivier*, Jalil Boukhobza*, Jean-Philippe Babau +, Damien Picard +, Stéphane Rubini + *Lab-STICC, + LISyC, Université

Plus en détail

Sécurité logicielle. École de technologie supérieure (ÉTS) MGR850 Automne 2012 Automne 2012. Yosr Jarraya. Chamseddine Talhi.

Sécurité logicielle. École de technologie supérieure (ÉTS) MGR850 Automne 2012 Automne 2012. Yosr Jarraya. Chamseddine Talhi. MGR850 Automne 2012 Automne 2012 Sécurité logicielle Yosr Jarraya Chargé de cours Chamseddine Talhi Responsable du cours École de technologie supérieure (ÉTS) 1 Plan Motivations & contexte Développement

Plus en détail

Change the game with smart innovation

Change the game with smart innovation Change the game with smart innovation Master Thesis 2013 2014 Faculty of Science engineering 12/08/2012 Master Thesis proposal for the academic year 2013. TABLE OF CONTENTS Section Un Introduction... 3

Plus en détail

ED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013

ED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013 ED STIC - Proposition de Sujets de Thèse pour la campagne d'allocation de thèses 2013 Axe Sophi@Stic : Titre du sujet : aucun Composition de systèmes d information dirigée par les modèles : une démarche

Plus en détail

SensorBean : Un modèle à composants pour les services basés capteurs

SensorBean : Un modèle à composants pour les services basés capteurs RENPAR 16 / CFSE 4 / SympAAA 2005 / Journées Composants Le Croisic, France, 5 au 8 avril 2005 SensorBean : Un modèle à composants pour les services basés capteurs Mikael Desertot, Cristina Marin, Didier

Plus en détail

Systèmes distribués Introduction

Systèmes distribués Introduction Systèmes distribués Introduction Nabil Abdennadher nabil.abdennadher@hesge.ch http://lsds.hesge.ch/distributed-systems/ 2015/2016 Semestre d Automne 1 Aujourd hui les réseaux et les SDI sont partout! Réseaux

Plus en détail

GRIDKIT: Pluggable Overlay Networks for Grid Computing

GRIDKIT: Pluggable Overlay Networks for Grid Computing GRIDKIT: Pluggable Overlay Networks for Grid Computing Paul Grace, Geoff Coulson, Gordon Blair, Laurent Mathy, Wai Kit Yeung, Wei Cai, David Duce, Chris Cooper Computing Department, Lascaster University

Plus en détail

Pourquoi et comment tester aujourd hui?

Pourquoi et comment tester aujourd hui? Pourquoi et comment tester aujourd hui??"?"?" ("?"?" Fabrice Bouquet Séminaire "Informatique Scientifique de Besançon" 3 Décembre 2015 INRIA / CNRS Université de Franche-Comté Fabrice Bouquet Test 1 /

Plus en détail

Deferred-Update Database Replication: Theory and Algorithms

Deferred-Update Database Replication: Theory and Algorithms Deferred-Update Database Replication: Theory and Algorithms THÈSE N O 4022 (2008) PRÉSENTÉE le 7 mars 2008 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DE SYSTÈMES D'EXPLOITATION PROGRAMME DOCTORAL

Plus en détail

Curriculum Vitæ. Marc Shapiro. 29 octobre 2002

Curriculum Vitæ. Marc Shapiro. 29 octobre 2002 Curriculum Vitæ Marc Shapiro 29 octobre 2002 Adresse professionnelle Microsoft Research Ltd. 7 J J Thomson Ave. Cambridge CB3 0FB United Kingdom tel. : +44 1223 479 739 fax. : +44 1223 479 999 Marc.Shapiro@acm.org

Plus en détail

Détection automatique d anomalies de performance

Détection automatique d anomalies de performance Détection automatique d anomalies de performance Mohamed Said Mosli Bouksiaa, François Trahay, Gaël Thomas Télécom SudParis, Institut Mines-Télécom, CNRS UMR 5157 SAMOVAR, Université Paris-Saclay {mohamed.mosli_bouksiaa,francois.trahay,gael.thomas}@telecom-sudparis.eu

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

Semestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016

Semestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016 Semestre HPC Violaine Louvet Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr Labex MILyon, Printemps 2016 V. Louvet (ICJ) Semestre HPC Printemps 2016 1 / 9 Présentation du semestre Modélisation

Plus en détail

SDL: 20 ans de programmation basée modèle

SDL: 20 ans de programmation basée modèle SDL: 20 ans de programmation basée modèle Emmanuel Gaudin emmanuel.gaudin @ pragmadev.com Principes MDE, MDA et MDD: Approche orienté modèle PIM: Platform Independant Model PDM: Platform Definition Model

Plus en détail