- Post-Doctorant en Informatique à l IRIT/ACADIE - - Docteur en Informatique, Ingénieur ENSMA -
|
|
- Antonin Vivien Lepage
- il y a 8 ans
- Total affichages :
Transcription
1 Alexandre CORTIER 41 Rue Louis-Marc Demouilles Toulouse Tél. : alexandre.cortier@cert.fr alexandre.cortier@gmail.com Né le 02/03/1981 à Juvisy s/orge (91) - Post-Doctorant en Informatique à l IRIT/ACADIE - - Docteur en Informatique, Ingénieur ENSMA - Formation DOCTORAT EN INFORMATIQUE. ONERA Toulouse, Département Traitement de l Information et Modélisation (DTIM) MASTER 2 INFORMATIQUE (DEA). Université de Poitiers - DEA T3IA : Traitement de l Information, Informatique, Image et Automatique, Mention Bien INGÉNIEUR ENSMA. Ecole Nationale Supérieure de Mécanique et d Aérotechnique - Poitiers MAÎTRISE DE MÉCANIQUE (MASTER 1). Université de Poitiers,Mention Bien CLASSES PRÉPARATOIRES. 1 ere année : MPSI au Lycée Hoche (Versailles). 2 nd année : PSI* au Lycée J.B Say (Paris) BACCALAURÉAT. Bac Série S, Mention Bien Expérience professionnelle IRIT Toulouse, Équipe ACADIE (Assistance à la Certification d Applications DIstribuées et Embarquées Post-Doctorat. Sujet : Validation de transformations. Travaux dans le cadre du projet SPaCIFY (http ://spacify.gforge.enseeiht.fr/) ONERA Toulouse, Département Traitement de l Information et Modélisation (DTIM) Etude de l application des Méthodes Formelles dans le domaine des Systèmes Interactifs. Développement d un outil prototype (Java) : Analyse Statique de code source Java-Swing (parsing), extraction de modèles et validation. Analyse formelle : utilisation de la méthode B événementielle INSA Toulouse, Département de Génie Electrique et Informatique (DGEI) Vacataire : Cours et TPs de programmation temps réel embarqué. (3 eme année INSA + Master). Contenu : Langages Synchrones (Lustre,Esterel,Signal), Vérification Formelle, Génération de code, Programmation temps réel en C (noyau temps réel VxWorks) (6 mois) 2003 (4 mois) LISI : Laboratoire d Informatique Industrielle et Scientifique (ENSMA,Poitiers), Stage de DEA (Méta)-Modélisation d une architecture à base de composants pour le développement multi-vues de systèmes embarqués. Utilisation du langage de modélisation de données EXPRESS. CSTB : Centre Scientifique et Technique du Bâtiment (Marne-La-Vallée), Stage Ingénieur Modélisation du comportement en traction et cisaillement de chevilles pour béton. Analyse de données.
2 Compétences Environnement Windows, Linux, Solaris. Développement Langages de programmation : Fortran, Ada, Java, C, C++, LabView, PHP/SQL, XML. Langages de modélisation : EXPRESS, UML, SADT, StateCharts, Réseaux de Petri. Outils de compilation : Lex, Yacc, Javacc, JJtree. Outils de Développement : emacs, Eclipse, Tornado. Systèmes temps réel embarqués Langages : ADA temps réel, Scade/Lustre, Esterel, Signal, automates. Ordonnancement : algorithmes classiques, politiques d ordonnancements. Noyau Temps Réel : VxWorks. Informatique fondamentale Langages de spécifications formelles : Lustre, Esterel, Méthode B et B événementiel. Systèmes de Preuves : Model Checking, Theorem Proving, Logiques Temporelles,... Langues Pratique courante de l Anglais écrit et oral. (TOEIC) Connaissances scolaires en Allemand. Informations Complémentaires Titulaire du permis B. Loisirs : Musique : Guitare, Didgeridoo Sports : Gymnastique aux agrès, escalade, randonnées Sujet de thèse Thèse Sujet : Contribution à la validation formelle de système interactifs Java Directeur : Bruno d Ausbourg (ausbourg@cert.fr) Collaboration : Projet Exploratoire RNRT-ANR Verbatim 1 Lieu : ONERA-Toulouse, Équipe DTIM/CVSI (Conception et Validation de Systèmes Informatiques) Dates : Novembre Juin 2008 Mots Clés IHM, Java-Swing, Validation, Vérification, Utilisabilité, Méthodes Formelles, Analyse Statique, Modèles de tâches, Theorem Proving, Model-Checking, Event B, NuSMV, CTT Titre : Contribution à la validation formelle de systèmes interactifs Java. Résumé. Les travaux effectuées durant mes études doctorales proposent une approche formelle pour la validation et la vérification d applications interactives Java-Swing vis-à-vis d une spécification décrite par un modèle de tâches CTT (Concurrent Task Tree). Cette approche de validation de l utilisabilité du système s appuie sur l extraction d un modèle formel décrivant le comportement dynamique de l application (modèle de dialogue). Cette extraction est obtenue par analyse statique du code source Java-Swing de l application. La validation du système consiste alors à démontrer formellement que les structures d interaction encodées dans le programme s inscrivent bien dans les scénarii d usage représentés en compréhension par le modèle de tâches CTT. Cette étape de validation exploite d une part le modèle formel extrait par analyse statique et d autre part une formalisation du modèle de tâches. 1 Partenaires industriels : CLEARSY, FT RD, SILICOMP/AQL ; Partenaires académiques : LISI/ENSMA, CLIPS/IIHM, LSR/VASCO, ONERA
3 La démarche d extraction et de validation est abordée suivant deux techniques formelles distinctes : la méthode B événementielle basée sur la démonstration de théorèmes (theorem-proving), et la méthode NuSMV basée sur la vérification exhaustive de modèles (model-checking). Une étude de cas permettant d illustrer la démarche de validation a été proposée suivant ces deux techniques formelles. Au cours de cette thèse, un outil prototype permettant la génération semi-automatique de modèles B événementiel à partir d un code source Java-Swing a été développé en Java en utilisant l outil JavaCC. Travaux de post-doctorat Post-Doc Mots Clés Sujet : Validation de transformations Responsable scientifique : Mamoun Filali (filali@irit.fr) Collaboration : Projet ANR Spacify 2 Lieu : IRIT, Équipe ACADIE (Assistance à la Certification d Applications DIstribuées et Embarquées) Dates : Juin Novembre 2009 Méthodologie de développement, IDM, Méta-modélisation, Langage Métier, Sémantique Synchrone, Validation, Transformations, Coq, Méthode B, Résumé. Mes travaux de post-doctorat s inscrivent dans le projet ANR Spacify. L objectif du projet, réunissant de nombreux partenaires industriels et universitaires, est de définir une méthodologie de conception et de validation de systèmes embarqués pour le domaine aérospatial. Cette méthodologie, orientée Ingénierie des Modèles (IDM) doit être concrétisée par un outil sous la plate-forme TOPCASED (conception de modèles graphiques, transformations assistées, vérification & simulation, génération de code). Je participe actuellement à la définition d un langage de spécification métier (Synoptic) devant servir de support au projet. La définition du langage regroupe les définitions de la syntaxe abstraite (méta-modélisation Ecore), de la syntaxe concrète et de la sémantique du langage (synchrone multi-horloge). Une fois le langage stabilisé, mes travaux se porteront sur la validation de transformations, le but étant d assister le concepteur en lui offrant un panel de transformations sûres. Les transformations à vérifier, liées aux pratiques industriels dans la dynamique du processus de développement, sont de plusieurs types : raffinements, transformations d édition, transformations métiers... L objectif est d utiliser un cadre formel tel la méthode B ou un assistant de preuve tel que ou Coq afin de vérifier ces transformations. 2 Partenaires Industriels : Alacatel Alenia Space, EADS Astrium, TNI-Software, Anyware Technologies, CNES, GEENSYS ; Partenaires académiques : ONERA (DTIM), IRISA (Labri), IRIT (Acadie), ENST Bretagne (Cama)
4 Publications & Communications Thèse PhD Thesis Cortier A. (2008). Contribution à la validation formelle de Systèmes Interactifs Java. Mémoire de thèse, Université Paul Sabatier - Institut Supérieur de l Aéronautique et de l Espace (ISAE), 2008, Conférences internationales avec comité de lecture et actes édités HCI 07 Cortier A., d Ausbourg B., Aït-Ameur (2007) Formal Validation of Java/Swing User Interfaces with the Event-B Method. 12th International Conference on Human- Computer Interaction (HCI 07), Y. Jacko, J. A. (ed.), Beijing, 2007, volume 1, ISOLA 06 Cortier A., Delmas R., Wiels V. (2006). Formal modelling of avionics systems. Proceedings of IEEE International Symposium on Leveraging Formal Methods Applications (ISOLA), Paphos(Cyprus), pages Conférences nationales avec comité de lecture et actes édités AFADL 09 (Soumis) AFADL 07 OCM 05 Cortier, A. (2009). Validation Formelle de Systèmes Interactifs Java : utilisation de la méthode NuSMV, Soumis à Approches Formelles dans l Assistance au Développements de Logiciels (AFADL 2009), ENSEEIHT Toulouse, janvier 2009 Cortier A., d Ausbourg B., Aït-Ameur, Y. (2007). Contribution à la validation formelle des systèmes interactifs. Approches Formelles dans l Assistance au Développements de Logiciels (AFADL 2007), FUNDP Namur, Faculté Universitaire Notre-Dame de la Paix., 2007, pages Aït-Ameur Y., Cortier A., Delmas R., Wiels V. (2005). Modélisation Formelle de Composants Avioniques : utilisation du Langage de Modélisation EXPRESS. Actes des Journées Objets, Composants et Modèles (OCM 2005), Grenoble, Mai 2005 Workshops nationaux et internationaux avec comité de lecture IM_FMT 09 (Préparation) FAC 07 FAC 06 Cortier A. (2009). Static analysis of Java-Swing programs : Event-B models generation. Pour soumission à Workshop on Integration of Model-based Formal Methods and Tools (IM FMT 2009), February, 2009, (Dusseldorf, Germany) Cortier A., d Ausbourg B., Aït-Ameur Y. (2007). Rétro-Ingénierie et Validation Formelle des Systèmes Interactifs : Application au Langage Java/Swing. Journées Formalisations des Activités Concurrentes (FAC 2007), groupe SVF/FéRIA : Spécification, Vérification Formelles, ONERA-Toulouse, Mars 2007, Actes : fr/francais/deri/michel/fac/ Cortier A., d Ausbourg B., Aït-Ameur Y. (2006). Vers une Méthodologie de Validation Formelle des IHM (Interfaces Homme-Machine). Journées Formalisations des Activités Concurrentes (FAC 2006),groupe SVF/FéRIA : Spécification, Vérification Formelles, IRIT-Toulouse, Mars 2006, Actes : deri/michel/fac/ Autres publications et communications Synchron 08 À venir Cortier A. (2008) Synoptic : An aerospace domain-specific Modelling Language. Présentation en vue de : 5th edition of the SYNCHRON Workshop (Synchronous Programming), Aussois, France, Décembre 2008
5 Rapport Interne 2008 JDT 07 JDT 06 Poster Cortier A., Bodeveix J., Filali M., Pantel M., Strecker M. (2008). SPa2 : Définition du langage de modélisation Synoptic. Rapport Interne de Recherche (réf. ANR 06 TLOG 27), Equipe ACADIE, Projet ANR/RNTL SPaCIFY, Cortier A. (2007). Une approche ascendante pour la validation formelle des Interfaces Homme-Machines. Journée des thèses 2007 (JDT 07), branche TIS (Traitement de l Information et Systèmes), ONERA, Actes : theses/jthese_06/index.html Cortier A. (2006). Vers une méthodologie de validation et de vérification multiformelle des interfaces utilisateurs en milieu industriel. Journées des Thèses ONERA-TIS (JDT 06), Actes : 06/index.html Cortier A., (2006). Vérification et Validation Formelle de Systèmes Interactifs. Poster, Séminaire Doctoriales R, Boussens, Session été, mai Mas- Mémoire ter 2 Cortier A. (2003). Méta-modélisation EXPRESS de l architecture de composants. Mémoire de Master 2 (DEA), Laboratoire d Informatique Scientifique et Industrielle (LISI), ENSMA, 2003,
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étailopenarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de
openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de itemis France 2009 All rights reserved 1 Itemis en quelques mots Spécialisé dans l
Plus en détailMATHEMATIQUES 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étailRTDS G3. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com
RTDS G3 Emmanuel Gaudin emmanuel.gaudin@pragmadev.com PragmaDev Dédiée au développement d un AGL pour le développement des applications temps réel et embarquées. Réseau de partenaires: Formations, Service,
Plus en détailPrésentation du M2 SIC : Systèmes Informatiques et Applications Marines
Présentation du M2 SIC : Systèmes Informatiques et Applications Marines Jean-Philippe Babau (resp. M2 SIAM) http://dept-info.univ-brest.fr/master2_siam.php http://labsticc.univ-brest.fr/pages_perso/babau/
Plus en détailProposition de sujet de thèse CIFRE EUROCOPTER / LGI2P
EUROCOPTER SAS Groupe EADS Marignane Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P Titre Domaine
Plus en détailConditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.
Proposition de stage de BAC+4 ou BAC+5 Pro ou Recherche Etude comparative des outils de vérification d'algorithmes parallèles Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide
Plus en détailBurckel Thomas. Formation. Compétences
Burckel Thomas Adresse : 92 avenue de la République 94300 VINCENNES Tel : 06.83.21.48.25 Email : burckel.thomas@gmail.com Date et lieu de naissance : 3 septembre 1986 à Strasbourg Formation 2006 2009 Polytech
Plus en détailDemande de transformation de la formation qualifiante TEMIR : Technicien En Maintenance Informatique et Réseaux en diplôme d université (DU)
Demande de transformation de la formation qualifiante TEMIR : Technicien En Maintenance Informatique et Réseaux en diplôme d université (DU) Motivations La formation TEMIR est une formation qualifiante
Plus en détailJOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles
JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000 Mise en Œuvre des techniques synchrones pour des applications industrielles Mise en œuvre des techniques synchrones pour des applications industrielles
Plus en détailMaster Informatique Aix-Marseille Université
Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes
Plus en détailEnvironnement logiciel basé sur les modèles pour la conception collaborative de produit
Environnement logiciel basé sur les modèles pour la conception collaborative de produit Mehdi Iraqi-Houssaini Laboratoire LSIS-INSM 2 cours des Arts et Métiers 13100 Aix-en-Provence, France RÉSUMÉ. Le
Plus en détailCertification de l assemblage de composants dans le développement de logiciels critiques
Certification de l assemblage de composants dans le développement de logiciels critiques Philippe Baufreton 1, Emmanuel Chailloux 2, Jean-Louis Dufour 1, Grégoire Henry 3, Pascal Manoury 3, Etienne Millon
Plus en détailUFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018
UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique
Plus en détailRESUME 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étailEtudier l informatique
Etudier l informatique à l Université de Genève 2015-2016 Les bonnes raisons d étudier l informatique à l UNIGE La participation à des dizaines de projets de recherche européens Dans la présente brochure,
Plus en détailPrise en compte des ressources dans les composants logiciels parallèles
Prise en compte des ressources dans les composants logiciels parallèles Aperçus de l action RASC et du projet Concerto F. Guidec Frederic.Guidec@univ-ubs.fr Action RASC Plan de cet exposé Contexte Motivations
Plus en détailDUT. Informatique, orientation Imagerie Numérique. Domaine : Sciences, Technologies, Santé. Mention : Informatique
DUT Informatique, orientation Imagerie Numérique Domaine : Sciences, Technologies, Santé Mention : Informatique Organisation : Institut Universitaire de Technologie Lieu de formation : Le Puy en Velay
Plus en détailIyad Alshabani SysCom - CReSTIC Université de Reims 17/02/2011 1
SysCom - CReSTIC Université de Reims 17/02/2011 1 Motivation Gestion des expérimentations Avec les workflows Simulation Simulation des Systèmes Distribués ANR USS SimGrid Campagne de Test et gestion de
Plus en détailL appel d offres «Equipes labellisées FRM 2016 présélection 2015» sera diffusé en avril 2015. Critères généraux concernant les aides individuelles
PROGRAMME 2015 ESPOIRS DE LA RECHERCHE Le programme Espoirs de la recherche de la Fondation pour la Recherche Médicale soutient des projets de recherche dans tous les domaines de la biologie et de la santé.
Plus en détailM F. Consultante Moe / Support. Finance de Marché
M F Consultante Moe / Support Finance de Marché DIPLOMES 2008 Doctorat «Reconnaissance sécurisée d objets multi-vues», Télécom Bretagne (ENST). 2005 Master «Réseaux Avancés de Connaissances et Organisations»,
Plus en détailIntroduction au génie logiciel
Introduction au génie logiciel Guillaume Laurent ENSMM 2007 G. Laurent (ENSMM) Introduction au génie logiciel 2007 1 / 36 Plan du cours 1 Problématique du génie logiciel 2 Méthodes de développement logiciel
Plus en détailRapport de Synthèse. Création d un Générateur de modèle PADL pour le langage C++ Sébastien Colladon
L Y O N Département Informatique Année 2011/2012 Rapport de Synthèse Création d un Générateur de modèle PADL pour le langage C++ Sébastien Colladon Laboratoire Ptidej de L Ecole Polytechnique de Montréal
Plus en détailC U R R I C U L U M V I T A E
C U R R I C U L U M V I T A E Nom : Prénom : IDOUGHI Djilali Adresse Personnelle: Cité des 792 Logts Bt L N 690 Sidi-Ahmed, Bejaia, Algérie. Adresse professionnelle : Université A. Mira, de Béjaïa Département
Plus en détailIntroduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr
Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans
Plus en détailUNIVERSITÉ DE LORRAINE Master MIAGE (Méthodes Informatiques Appliquées à la Gestion des Entreprises)
UNIVERSITÉ DE LORRAINE Master MIAGE (Méthodes s Appliquées à la Gestion des Entreprises) 1 Description générale L UFR Mathématiques et propose le Master avec trois spécialisations en deuxième année : ACSI
Plus en détailMaster Information et communication spécialité Produits et services multimédia
18/09/2013 http://www.univ-fcomte.fr Master Information et communication spécialité Produits et services multimédia UFR Sciences, techniques, et gestion de l'industrie http://stgi.univ-fcomte.fr/ Dénomination
Plus en détailMASTER 2 PROFESSIONNEL. Génie Logiciel, Logiciels Répartis et Embarqués
MASTER 2 PROFESSIONNEL INFORMATIQUE Génie Logiciel, Logiciels Répartis et Embarqués Secrétariat Pédagogique Téléphone :(+33)(0)561558639 Brigitte BÉCHU Email : secm2info@adm.ups-tlse.fr Bât 1TP1 - B6 bis
Plus en détailINFORMATIQUE & WEB. PARCOURS CERTIFICAT PROFESSIONNEL Programmation de sites Web. 1 an 7 MODULES. Code du diplôme : CP09
INFORMATIQUE & WEB Code du diplôme : CP09 Passionné par l informatique et le web, vous souhaitez obtenir une certification dans un domaine porteur et enrichir votre CV? PARCOURS CERTIFICAT PROFESSIONNEL
Plus en détailCURRICULUM 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étailFormula Negator, Outil de négation de formule.
Formula Negator, Outil de négation de formule. Aymerick Savary 1,2, Mathieu Lassale 1,2, Jean-Louis Lanet 1 et Marc Frappier 2 1 Université de Limoges 2 Université de Sherbrooke Résumé. Cet article présente
Plus en détailCompte rendu de l intervention de Jean-Louis LACOMBE. Rencontre européenne de la technologie du 23 mars 2005. La Fondation d entreprise EADS
Compte rendu de l intervention de Jean-Louis LACOMBE Rencontre européenne de la technologie du 23 mars 2005 La Fondation d entreprise EADS La fondation d entreprise créée par EADS est conçue comme une
Plus en détailDossier de compétences :
Dossier de compétences : Type de poste recherché : Administrateur SAP BC Junior Formation : 2008 Master 2 Sciences pour l Ingénieur spécialité Complémentaires en Informatique à l Institut des Sciences
Plus en détailUne méthode d apprentissage pour la composition de services web
Une méthode d apprentissage pour la composition de services web Soufiene Lajmi * Chirine Ghedira ** Khaled Ghedira * * Laboratoire SOIE (ENSI) University of Manouba, Manouba 2010, Tunisia Soufiene.lajmi@ensi.rnu.tn,
Plus en détailNFP111 Systèmes et Applications Réparties
NFP111 Systèmes et Applications Réparties 1 de 34 NFP111 Systèmes et Applications Réparties Cours 7 - CORBA/Partie 1 Claude Duvallet Université du Havre UFR Sciences et Techniques 25 rue Philippe Lebon
Plus en détailIntroduction aux Bases de Données Relationnelles Conclusion - 1
Pratique d un : MySQL Objectifs des bases de données Où en sommes nous? Finalement, qu est-ce qu un? Modèle relationnel Algèbre relationnelle Conclusion SQL Conception et rétro-conception Protection de
Plus en détailFORMATION CONTINUE. La Grande Ecole des Télécommunications. et des Technologies de l Information
FORMATION CONTINUE La Grande Ecole des Télécommunications et des Technologies de l Information Contact : M. HILALI Abdelaziz Centre de Formation Continue de l INPT Avenue Allal Al Fassi, Madinat Al Irfane,
Plus en détailThis is an author-deposited version published in : http://oatao.univ-toulouse.fr/ Eprints ID : 13279
Open Archive TOULOUSE Archive Ouverte (OATAO) OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. This is an author-deposited
Plus en détailCurriculum Vitae. Karel HEURTEFEUX. Education
Address CNRS, Verimag - Laboratory / Synchrone Team 2, Avenue de Vignate, 38610 Gières, France Tel. : +33 (0)4 56 52 03 86 Curriculum Vitae Karel HEURTEFEUX Born 10.21.1982 French karel.heurtefeux@imag.fr
Plus en détailGrenoble 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étailEnvironnements et Outils de Développement Cours 1 Introduction
Environnements et Outils de Développement Cours 1 Introduction Stefano Zacchiroli zack@pps.univ-paris-diderot.fr Laboratoire PPS, Université Paris Diderot - Paris 7 URL http://upsilon.cc/~zack/teaching/1112/ed6/
Plus en détailEXPERIENCE. Windows/Linux/Mac OpenGL Gtk Tcl SQL VFX Visual C++ gcc.
Philippe DELORME 44, bd Diderot 75012 Paris Tél: 01 46 28 58 32 47 ans - Marié, 3 enfants. email: pdelorme@club-internet.fr EXPERIENCE 2004 (mars) Attitude-Studio 50, avenue du Président Wilson 93214 St
Plus en détailLes métiers de la recherche
Les métiers de la recherche Réunion de rentrée 2013 Années 2, 3 et 4 Paul Gastin Dpt Info, ENS Cachan Paul.Gastin@lsv.ens-cachan.fr Disponible sur http://www.dptinfo.ens-cachan.fr/ 1/33 Devenir des élèves
Plus en détailDUT Informatique, orientation Imagerie Numérique
DUT Informatique, orientation Imagerie Numérique BAC+2 Domaine : Sciences, Technologies, Santé Mention : Informatique Organisation : Institut Universitaire Technologique Lieu de formation : Le Puy en Velay
Plus en détailPROGRAMME DETAILLE. Parcours en première année en apprentissage. Travail personnel. 4 24 12 24 CC + ET réseaux
PROGRAMME DETAILLE du Master IRS Parcours en première année en apprentissage Unités d Enseignement (UE) 1 er semestre ECTS Charge de travail de l'étudiant Travail personnel Modalités de contrôle des connaissances
Plus en détailANNEXES. Evaluation de la formation à Polytech Lille Département GIS. Enseignements les plus utiles. Enseignements à renforcer
ANNEXES Evaluation de la formation à Polytech Lille Département GIS Enseignements les plus utiles Enseignements à renforcer Enseignements à intégrer Commentaires Généraux Accompagnement Professionnel Enseignements
Plus en détailAlexis PARMENTIER. 2005-2006 Assistant de recherches (post-doctorat) au département d économie de l Université Catholique de Louvain (Belgique).
CURRICULUM VITAE Alexis PARMENTIER Adresse Professionnelle : Université de Département d Economie 15, Avenue René Cassin BP 7151 97715 Saint-Denis Messag Cedex 9, FRANCE Tel (Bureau) : 02 62 93 84 28 Alexis.Parmentier@univ-reunion.fr
Plus en détailMASTER 2 INGÉNIERIE DE FORMATION ET USAGE DU NUMÉRIQUE DANS LES ORGANISATIONS (IFUNO)
MASTER 2 INGÉNIERIE DE FORMATION ET USAGE DU NUMÉRIQUE DANS LES ORGANISATIONS (IFUNO) Résumé de la formation Type de diplôme : MASTER 2 Domaine ministériel : Sciences humaines et sociales Mention : Master
Plus en détailLes formations en génie logiciel
1 Les formations en génie logiciel à l École de technologie supérieure Pierre Bourque 2èmes Journées du JEP MEDA TEMPUS CRISTEL 12 février 2004, Tunisie 2 Plan de la présentation Survol de l École de technologie
Plus en détailMaster Energie spécialité Energie électrique
03/12/2013 http://www.univ-fcomte.fr Master Energie spécialité Energie UFR Sciences, techniques, et gestion de l'industrie http://stgi.univ-fcomte.fr/ Dénomination officielle : Master Sciences, technologies,
Plus en détailChambre 222, Bâtiment A, village universitaire 3 33600 PESSAC - FRANCE rim.boussaada@u-bordeaux4.fr
Curriculum Vitae PRENOM : RIM Date et lieu de naissance : Nationalité : Adresse : Adresse électronique : NOM : BOUSSAADA Téléphone : 0033 (0) 6 98 25 15 72 14/12/1980 à Tunis, Tunisie Tunisienne Chambre
Plus en détailProcédure d inscription pour une recherche personnelle de stage
Procédure d inscription pour une recherche personnelle de stage 1. CONFIRMATION D EMBAUCHE Fournir au une lettre officielle d embauche de l entreprise : date de début et de fin de stage (durée du stage
Plus en détailÉvaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
Plus en détailMASTER LPL : LANGUE ET INFORMATIQUE (P)
MASTER LPL : LANGUE ET INFORMATIQUE (P) RÉSUMÉ DE LA FORMATION Type de diplôme := Master Domaine : Arts, Lettres, Langues Mention : LITTERATURE, PHILOLOGIE, LINGUISTIQUE Spécialité : LANGUE ET INFORMATIQUE
Plus en détailOrdonnancement sous contraintes de Qualité de Service dans les Clouds
Ordonnancement sous contraintes de Qualité de Service dans les Clouds GUÉROUT Tom DA COSTA Georges (SEPIA) MONTEIL Thierry (SARA) 05/12/2014 1 Contexte CLOUD COMPUTING Contexte : Environnement de Cloud
Plus en détailAprès un Bac technologique STI Systèmes d information et numérique
Après un Bac technologique STI Systèmes d information et numérique Après le bac STI Filières SÉLECTIVES À L ENTRÉE IUT STS CPGE bulletins de première admission sur dossier notes des épreuves anticipées
Plus en détailMaster CCI. Compétences Complémentaires en Informatique. Livret de l étudiant
Master CCI Compétences Complémentaires en Informatique Livret de l étudiant 2014 2015 Master CCI Le Master CCI (Compétences Complémentaires en Informatique) permet à des étudiants de niveau M1 ou M2 dans
Plus en détailLa gestion des contraintes pour modéliser les stratégies humaines d'ordonnancement et concevoir des interfaces homme-machine ergonomiques
La gestion des contraintes pour modéliser les stratégies humaines d'ordonnancement et concevoir des interfaces homme-machine ergonomiques Clément Guerin Sous la direction de J.M. Hoc et de N. Mebarki Réunion
Plus en détailneocampus : campus du futur 27 février 2015
neocampus : campus du futur 27 février 2015 Démarrage juin 2013 ECO-CAMPUS TOULOUSE Président B Monthubert Confort au quotidien pour la communauté universitaire Diminution de l empreinte écologique de
Plus en détailErgonomie des Interfaces Homme-Machine
Master SIAD 2 année Ergonomie des Interfaces Homme-Machine Jean-Yves Antoine http://www.sir.blois.univ-tours.fr/~antoine/ Master Informatique Ergonomie des Interfaces Homme-Machine Chapitre 1 Introduction
Plus en détailChairE Systèmes Embarqués Critiques (CESEC)
Document de travail 1 DT-CESEC-2012/1 (diffusion interne à la Chaire) ChairE Systèmes Embarqués Critiques (CESEC) Chaire d enseignement et de dissémination ISAE INSAT ENSEEIHT en association avec la Fondation
Plus en détailMASTER (LMD) MODELISATION, OPTIMISATION, COMBINATOIRE ET ALGORITHME
MASTER (LMD) MODELISATION, OPTIMISATION, COMBINATOIRE ET ALGORITHME RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine ministériel : Sciences, Technologies, Santé Mention : INFORMATIQUE Spécialité
Plus en détailGénérer du code à partir d une description de haut niveau
Cedric Dumoulin Générer du code à partir d une description de haut niveau Ce projet vise à fournir un environnement de développement permettant de modéliser des UI Android à un haut niveau d abstraction,
Plus en détailOFFRE de FORMATION 2015-2016. {sciences humaines & sociales}
OFFRE de FORMATION 2015-2016 {sciences humaines & sociales} {Organisation des études} L architecture des études de l enseignement supérieur s articule autour de trois diplômes et niveaux de sortie : L
Plus en détailDe PASTEL à Planète Sciences Midi-Pyrénées : 10 ans d animation scientifique pour les jeunes
1994 De PASTEL à Planète Sciences Midi-Pyrénées : 10 ans d animation scientifique pour les jeunes 2004 Rétrospective et faits marquants, situation actuelle et perspectives Avril 1994 : création de l association
Plus en détailJava c est quoi? Java. Java. Java : Principe de fonctionnement 31/01/2012. 1 - Vue générale 2 - Mon premier programme 3 - Types de Programme Java
1 - Vue générale 2 - Mon premier programme 3 - Types de Programme 1 2 c est quoi? Technologie développée par SUN Microsystems lancée en 1995 Dans un des premiers papiers* sur le langage JAVA, SUN le décrit
Plus en détailLe Master Mathématiques et Applications
Le Master Mathématiques et Applications Franck BOYER franck.boyer@univ-amu.fr Institut de Mathématiques de Marseille Aix-Marseille Université Marseille, 20 Mai 2014 1/ 16 Structure générale Vue d ensemble
Plus en détailJoint AAL Information and Networking Day. 21 mars 2012
Joint AAL Information and Networking Day 21 mars 2012 Présentation TéSA a pour objet : la mise en commun de moyens permettant de : rassembler et accueillir des doctorants ou post-doctorants dont les thèses
Plus en détailLe Futur de la Visualisation d Information. Jean-Daniel Fekete Projet in situ INRIA Futurs
Le Futur de la Visualisation d Information Jean-Daniel Fekete Projet in situ INRIA Futurs La visualisation d information 1.Présentation 2.Bilan 3.Perspectives Visualisation : 3 domaines Visualisation scientifique
Plus en détailEnvironnements de développement (intégrés)
Environnements de développement (intégrés) Introduction aux EDI, la plateforme Eclipse Patrick Labatut labatut@di.ens.fr http://www.di.ens.fr/~labatut/ Département d informatique École normale supérieure
Plus en détailChef de projet H/F. Vous avez au minimum 3 ans d expérience en pilotage de projet de préférence dans le monde du PLM et de management d équipe.
Chef de projet H/F Dans le cadre de nos activités pour un de nos clients, CIMPA recherche un chef de projet H/F. - Planifier l ensemble des phases du projet - Piloter l équipe dédiée au projet - Garantir
Plus en détailModèles système, modèles logiciel et modèles de code dans les applications spatiales
GÉNIE LOGICIEL N o 97 JUIN 2011 Modèles système, modèles logiciel et modèles de code dans les applications spatiales É RIC C ONQUET, FRANÇOIS-XAVIER D ORMOY, IULIA D RAGOMIR, A LAIN L E G UENNEC, DAVID
Plus en détailLICENCE : INFORMATIQUE GENERALE
LICENCE : INFORMATIQUE GENERALE RÉSUMÉ DE LA FORMATION Type de diplôme : Licence (LMD) Domaine : Sciences, Ingénierie et Technologies Mention : Informatique générale Objectifs Le diplôme offre une formation
Plus en détailÉtudes. Certaines filières STS (BTS, BTSA) IUT (DUT) universitaires. Écoles (Social, Santé, Arts, Ingénieurs, Commerce ) Classes préparatoires
sélectives à l entrée STS (BTS, BTSA) IUT (DUT) Études non sélectives à l entrée Certaines filières universitaires Écoles (Social, Santé, Arts, Ingénieurs, Commerce ) Classes préparatoires Certaines filières
Plus en détailSARL NetviZion. Conditions générales de l hébergement du site UIMM
SARL NetviZion Conditions générales de l hébergement du site UIMM Sommaire : 1 Hébergement 3 1.1 Localisation 3 1.2 Détails techniques 3 1.3 Sites hébergés sur le serveur 4 2 Codes «source» et propriété
Plus en détailISFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES GRANDE ÉCOLE D ACTUARIAT ET DE GESTION DES RISQUES
ISFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES GRANDE ÉCOLE D ACTUARIAT ET DE GESTION DES RISQUES L ISFA et ses formations Focus sur S2IFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES L ISFA, CRÉÉ
Plus en détailVers l'orchestration de grilles de PC par les mécanismes de publicationsouscription
Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription Présentée par Leila Abidi Sous la direction de Mohamed Jemni & Christophe Cérin Plan Contexte Problématique Objectifs
Plus en détailPour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur
Pour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur ARROWS Structures de données avec pointeurs sûres : une approche déclarative de leur spécification
Plus en détailChristelle MAZIERE (30 ans)
Christelle MAZIERE (30 ans) Villa Orcéa, Lieu-dit Pertérato 20212 Favalello di Boziu 06.35.58.13.21 maziere@univ-corse.fr COMPÉTENCES PARTICULIÈRES Enseignement Gestion de corpus de données : recueil,
Plus en détailBruno ASDOURIAN Lecteur en Sciences de la Communication et des Médias Université de Fribourg Suisse
Bruno ASDOURIAN Lecteur en Sciences de la Communication et des Médias Université de Fribourg Suisse Chercheur en Sciences de l Information et de la Communication Laboratoire IRSIC EA 4262 France Grand-Places
Plus en détailAudition pour le poste de Maître de conférence INSA Lyon distributed Robotics avec aectation au CITI. Guillaume Lozenguez.
Audition pour le poste de Maître de conférence INSA Lyon distributed Robotics avec aectation au CITI Guillaume Lozenguez Chercheur post-doctorant, École Normale Supérieure de Lyon, CNRS Doctorat en cotutelle
Plus en détailPaul FLYE SAINTE MARIE
Paul FLYE SAINTE MARIE ASSISTANT CHEF DE PROJET DANS LE DÉVELOPPEMENT INFORMATIQUE Domaines de compétences Conduite de projet (échange avec la maitrise d ouvrage, maitrise d œuvre, rédaction des spécifications
Plus en détailProgramme détaillé BTS INFORMATIQUE DE GESTION DIPLÔME D ETAT. Objectifs de la formation. Les métiers. Durée de la formation
Objectifs de la formation Les inscriptions sont réservées aux élèves de niveau BAC ou plus, et sont ouvertes dans la mesure des places disponibles. Le Brevet de Technicien Supérieur d Informatique de Gestion
Plus en détailEtudier en France. 1. Actualités. Lettre d'information
Lettre d'information Etudier en France n 14 Edito : L Espace Campus France de Bratislava, en partenariat avec l Espace Campus France Prague et son antenne de Brno, ont le plaisir de vous présenter leur
Plus en détailEl Bouzidi Aziz Licence professionnelle SIL Option qualité du logiciel
El Bouzidi Aziz Licence professionnelle SIL Option qualité du logiciel Responsables : Catherine Tessier Charles Lesire Olivier Bonnet-Torrès 2005-2006 2 Remerciements Le stage présenté dans ce rapport
Plus en détailIngénierie des Modèles. Méta-modélisation
Ingénierie des Modèles Méta-modélisation Eric Cariou Master Technologies de l'internet 2 ème année Université de Pau et des Pays de l'adour UFR Sciences Pau Département Informatique Eric.Cariou@univ-pau.fr
Plus en détailInformatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre. Partie I : Introduction
Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre Partie I : Introduction Plan de la première partie Quelques définitions Caractéristiques communes des applications temps-réel Exemples d
Plus en détailMASTER RECHERCHE CINEMA : APPROCHES INTERCULTURELLES
MASTER RECHERCHE CINEMA : APPROCHES INTERCULTURELLES Mention : Arts Spécialité : Cinéma et audiovisuel, approches interculturelles du cinéma Contacts Composante : UFR Humanités Contact(s) administratif(s)
Plus en détailProgramme «Analyste Programmeur» Diplôme d état : «Développeur Informatique» Homologué au niveau III (Bac+2) (JO N 176 du 1 août 2003) (34 semaines)
Programme «Analyste Programmeur» Diplôme d état : «Développeur Informatique» Homologué au niveau III (Bac+2) (JO N 176 du 1 août 2003) (34 semaines) Module 1 : Programmer une application informatique Durée
Plus en détailDéveloppement d applications Internet et réseaux avec LabVIEW. Alexandre STANURSKI National Instruments France
Développement d applications Internet et réseaux avec LabVIEW Alexandre STANURSKI National Instruments France Quelles sont les possibilités? Publication de données Génération de rapports et de documents
Plus en détailTHÈSE. En vue de l obtention du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE. Présentée et soutenue le 11/07/2013 par :
THÈSE En vue de l obtention du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE Délivré par : l Institut National Polytechnique de Toulouse (INP Toulouse) Présentée et soutenue le 11/07/2013 par : Mounira KEZADRI
Plus en détailObjectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui
Formation PARTIE 1 : ARCHITECTURE APPLICATIVE DUREE : 5 h Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui automatisent les fonctions Définir une architecture
Plus en détailYoussef LYHYAOUI Ingénieur Java/J2EE, SOA, ESB, Web services 31 ans Statut : Indépendant SITUATION ACTUELLE
Youssef LYHYAOUI Ingénieur Java/J2EE, SOA, ESB, Web services 31 ans Statut : Indépendant Adresse Personnelle : 3, allée du Roussillon 91300 Massy Téléphone : (+33) 06 78 37 34 82 E-mail : youssef.lyhyaoui@spartup.com
Plus en détailCQP Développeur Nouvelles Technologies (DNT)
ORGANISME REFERENCE STAGE : 26572 20 rue de l Arcade 75 008 PARIS CONTACT Couverture géographique : M. Frédéric DIOLEZ Bordeaux, Rouen, Lyon, Toulouse, Marseille Tél. : 09 88 66 17 40 Nantes, Lille, Strasbourg,
Plus en détailTélé-Procédure de Gestion d Incidents : Spécifications et Prototype.
Télé-Procédure de Gestion d Incidents : Spécifications et Prototype. By Sébastien Pinel Performed at Laboratory LIG Equipe IIHM Université Joseph Fourrier Grenoble In partial fulfillment of the requirements
Plus en détailIntroduction au temps réel
Introduction au temps réel Laurent.Pautet@enst.fr Version 2.0 Définition d un système temps réel Un système temps réel se compose d'un ou plusieurs sous-systèmes devant répondre en un temps fini et spécifié
Plus en détailLa Certification de la Sécurité des Automatismes de METEOR
1 La Certification de la Sécurité des Automatismes de METEOR 2 un mot sur METEOR 3 Le projet METEOR, c'est... un système automatique complexe fortement intégré matériel roulant, équipements électriques,
Plus en détail