Thèses et HDR
(69)
Géraud FOKOU, Conception d'un Framework pour la relaxation des requêtes SPARQL, Thesis, Ecole Nationale Supérieure de Mécanique et d'Aérotechnique (ISAE-ENSMA), Téléport 2, 1 Avenue Clément Ader, 86360 Chasseneuil-du-Poitou - France, november, 201623860/These-Geraud.pdf
Guillaume PHAVORIN, Hard Real-Time Scheduling subjected to Cache-Related Preemption Delays - Ordonnancement Temps Réel Dur avec prise en compte des Délais de Préemption dus au Cache, Thesis, september, 201623215/PhDthesis_GuillaumePHAVORIN.pdf
Rima BOUCHAKRI, Conception physique statique et dynamique des entrepôts de données, Thesis, ESI / ISAE-ENSMA, september, 201519341/2015-rima-bouchakri-thesis.pdf
Kevin ROYER, Vers un entrepôt de données et des processus : le cas de la mobilité électrique chez EDF, Thesis, ISAE-ENSMA, march, 201518241/2015-thesis-royer-kevin.pdf
Linda MOHAND OUSSAID, Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie, Thesis, ISAE/ENSMA, december, 201417754/mohand-oussaid-linda-these.pdf
Bery MBAIOSSOUM, Conception physique des bases de données à base ontologique : le cas des vues matérialisées, Thesis, ISAE / ENSMA, december, 201417758/mbaiossoum-bery-these.pdf
Baya HADID, Développement de capteurs logiciels pour procédés industriels par estimation paramétrique, Thesis, december, 2014
Moustapha BIKIENGA, Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne, Thesis, LIAS / ISAE ENSMA, october, 2014
Georges KEMAYO, Évaluation et validation des systèmes distribués avioniques, Thesis, École Nationale Supérieure de Mécanique et d'Aérotechnique, ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France, september, 201416348/These-Georges.Kemayo-versiondéfinitive.pdf
Safaa HACHANA, Policy Mining: A Bottom-Up Approach for Network Security Management, Thesis, ISAE/ENSMA, july, 201416287/SafaaHachanaPhDThesis.pdf
Soumia BENKRID, Le déploiement, une phase à part entière dans le cycle de vie des entrepôts de données : application aux plateformes parallèles, Thesis, ENSMA & ESI, june, 201416332/2014-phd-benkrid-soumia.pdf
Ilyes BOUKHARI, Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique, Thesis, ISAE-ENSMA, january, 201414113/these_ilyes_boukhari.pdf
Manhal ABOUZLAM, Optimisation d'un procédé de traitement des eaux par ozonation catalytique, Thesis, Université de Poitiers - LIAS, january, 201414951/PhD thesis Abouzlam Manhal.pdf
Youness BAZHAR, Handling Behavioral Semantics in Persistent Meta-Modeling Systems, Thesis, ISAE-ENSMA, december, 201314117/these-youness-bazhar.pdf
Yassine OUHAMMOU, Model-based Framework for Using Advanced Scheduling Theory in Real-Time Systems Design, Thesis, ISAE-ENSMA, december, 201314102/YassineOUHAMMOU_ThesisReport.pdf
Amira KERKAD, L'interaction au service de l'optimisation à grande échelle des entrepôts de données relationnels, Thesis, ISAE-ENSMA, december, 201314109/2013-thesis-kerkad.pdf
Selma KHOURI, Cycle de vie sémantique de conception de systèmes de stockage et de manipulation de données, Thesis, LIAS/ISAE-ENSMA et ESI, october, 201314086/khouriselmaphd.pdf
Sébastien MAITREHENRY, Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion, Thesis, ISAE-ENSMA, october, 2013
Chedlia CHAKROUN, Contribution à la définition d’une méthode de conception de bases de données à base ontologique, Thesis, ISAE-ENSMA, october, 201314121/these_chedlia_chakroun.pdf
Henry Valéry TEGUIAK, Construction d’ontologies à partir de textes : une approche basée sur les transformations de modèles, Thesis, LIAS/ISAE- ENSMA, december, 201211072/ISAE-ENSMA_2012-12-12_Thesis_TEGUIAK.pdf
David SIMON ZAYAS, A framework for the management of heterogeneous models in system engineering, Thesis, ISAE-ENSMA, april, 201214165/thesis_David_Simon_Zayas.pdf
Christian FOTSING, Intégration d'éléments Sémantiques dans l'Analyse d'Ordonnançabilité des Applications Temps-Réel, Thesis, ENSMA, january, 2012
Brice CHARDIN, SGBD open-source pour historisation de données et impact des mémoires flash, Thesis, INSA de Lyon, december, 201113491/these-chardin.pdf
Nabil BELAID, Modélisation de services et de workflows sémantiques à base d'ontologies de services et d’indexations. Application à la modélisation géologique., Thesis, ISAE / ENSMA, may, 201114412/110523_Thèse_Nabil BELAID.pdf
Sadouanouan MALO, Contribution à l'analyse d'ordonnançabilité des applications temps-réel multiprocesseur, Thesis, ENSMA, december, 2010
Thi Huyen Chau NGUYEN, Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs, Thesis, ENSMA, november, 201010705/These_Thi_Huyen_Chau_NGUYEN.pdf
Dilek TAPUCU, A generic model for handling preferences in Ontology Based Databases, Thesis, LISI / ENSMA, july, 201011279/DilekTAPUCU_PHDthesis.pdf
François DORIN, Contributions à l'ordonnancement et l'analyse des systèmes temps réel critiques, Thesis, ENSMA, january, 20109398/these_dorin.pdf
Idir AIT-SADOUNE, Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve., Thesis, ENSMA, january, 2010
Mehdi BABA-ALI, Système de nomination hiérarchique pour les systèmes paramétriques, Thesis, Université de Poitiers, january, 20109118/2010-thesis-babaali.pdf
Emmanuel GROLLEAU, Modélisation précise des applications temps réel en vue de leur validation temporelle, HDR, Habilitation à Diriger les Recherches, ENSMA, december, 20098829/2009-hdr-grolleau.pdf
Chimène FANKAM, OntoDB2 : un système flexible et efficient de Base de Données à Base Ontologique pour le Web sémantique et les données techniques, Thesis, ENSMA, december, 20098981/2009-thesis-fankam.pdf
Ladjel BELLATRECHE, Contributions à la Conception et l’Exploitation des Systèmes d’Intégration de Données, HDR, Habilitation à diriger les recherches, ENSMA, november, 2009
Kamel BOUKHALFA, De la conception physique aux outils d’administration et de tuning des entrepôts de données, Thesis, ENSMA - Université de Poitiers, july, 20098967/2009-thesis-boukhalfa.pdf
Sybille CAFFIAU, Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modelisation des taches, Thesis, Ecole Nationale Superieure de Mecanique et d'Aerotechnique, january, 20098797/2009-thesis-caffiau.pdf
Loé SANOU, Définition et réalisation d'une boîte à outils générique dédiée à la Programmation sur Exemple, Thesis, Université de Poitiers / ENSMA, december, 2008http://www.lisi.ensma.fr/members/sanou/donnees/These_Sanou-Loe-LISI.pdfhttp://www.lisi.ensma.fr/members/sanou/donnees/These_Sanou-Loe-LISI.pdf
Ahmed RAHNI, Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF, Thesis, LISI/ENSMA et Université de Poitiers, december, 2008
Khahn Hieu Ngo, Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données, Thesis, ENSMA - Unviersité de Poitiers, november, 2008
Elie TOHME, Initialization of output error identification algorithms, Thesis, Université de Poitiers - LIAS, february, 200814967/PhD_thesis_Elie_TOHME_2008.pdf
Stéphane JEAN, OntoQL, un langage d’exploitation des bases de données à base ontologique, Thesis, Sciences pour l'Ingénieur et Aéronautique, december, 2007http://tel.archives-ouvertes.fr/docs/00/20/17/77/PDF/these-stephane-jean.pdfhttp://tel.archives-ouvertes.fr/docs/00/20/17/77/PDF/these-stephane-jean.pdf
Hondjack DEHAINSALA, Explicitation de la sémantique dans les base de données : Base de données à base ontologique et le modèle OntoDB, Thesis, LISI/ENSMA et Université de Poitiers, may, 2007http://tel.archives-ouvertes.fr/docs/00/15/75/95/PDF/These.pdfhttp://tel.archives-ouvertes.fr/docs/00/15/75/95/PDF/These.pdf
Bernard CHAUVIERE, Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel: étude comparative et calcul des priorités, Thesis, Université de Poitiers, january, 20078970/2007-thesis-chauviere.pdf
Youcef AKLOUF, Intégration du modèle d'ontologie PLIB et des services Web dans les échanges inter-entreprises. Application au B2B, Thesis, Ecole Doctorale SPI & A, Université de Poitiers - ENSMA, january, 2007
Karim TRAORE, Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature, Thesis, ENSMA, january, 20077934//2007-thesis-traore.pdf
Nicolas GUIBERT, Validation d'une approche basée sur l'exemple pour l'initiation à la programmation, Thesis, ENSMA/Université de Poitiers, Ecole Doctorale SPI, december, 20067624/2006-thesis-guibert.pdf
Dung NGUYEN XUAN, Intégration de bases de données hétérogènes par articulation à priori d'ontologies: application aux catalogues de composants industriels, Thesis, Sciences pour l'Ingénieur et Aéronautique, december, 2006http://tel.archives-ouvertes.fr/docs/00/25/20/99/PDF/These_dung_xuan_nguyen.pdfhttp://tel.archives-ouvertes.fr/docs/00/25/20/99/PDF/These_dung_xuan_nguyen.pdf
Frédéric RIDOUARD, Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot, Thesis, Science pour l'Ingénieur et Aéronautique, november, 20067636/These_Ridouard_2006.pdf
Nadjet KAMEL, Un cadre formel générique pour la modèlisation d'IHM multi-modales. Cas de la multi-modalité en entrée., Thesis, Ecole doctorale SPI & A, Université de Poitiers - ENSMA, january, 20067944/2006-thesis-kamel.pdf
Stéphane PAILLER, Analyse hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques, Thesis, ENSMA/Université de Poitiers, january, 20067614/2006-thesis-pailler.pdf
Vincent LUCQUIAUD, Sémantique et outil pour la modélisation des tâches utilisateur : N-MDA, Thesis, Université de Poitiers / ENSMA / INRIA, december, 2005
Gaëlle LARGETEAU, Quantification du taux d'invalidité d'applications temps réel à contraintes strictes, Thesis, École Doctorale SPI, october, 2004http://www-sic.univ-poitiers.fr/publications/view-publi.php?publiId=1469http://www-sic.univ-poitiers.fr/publications/view-publi.php?publiId=1469
Guillaume BIBES, Modélisation de procédés de traitement des eaux et reconstruction de grandeurs physico-chimiques, Thesis, Université de Poitiers - LIAS, september, 200414985/PhD_Thesis_Guillaume_Bibes.pdf
Mourad MIMOUNE, Contribution à la modélisation explicite et à la représentation des données de composants industriels : application au modèle PLIB, Thesis, Université de Poitiers, july, 20047129/2004-thesis-elhadjmimoune.pdf
Pascal RICHARD, Ordonnancement temps réel en-ligne : contraintes, conception et analyses, Habilitation à Diriger des Recherches, HDR, Université de Poitiers, january, 20047132/2004-HDR-Richard.pdf
Mickael BARON, Vers une approche sûre du développement des Interfaces Homme-Machine (Thesis), Thesis, Université de Poitiers, december, 20036963/2003-thesis-baron.pdf
Laurent DAVID, Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne, Thesis, LISI/ENSMA, LISI/ENSMA, december, 20026926/2002-thesis-david.pdf
Michael RICHARD, Contribution à la Validation des Systèmes Temps Réel Distribués : Ordonnancement à Priorités Fixes & Placement, Thesis, LISI -- ENSMA -- Université de Poitiers, Poitiers -- Futuroscope, november, 2002
Fabrice DEPAULIS, Vers un environnement générique d'aide au développement d'applications interactives de simulations de métamorphoses, Thesis, Ecole Nationale Supérieure de Mécanique et d'Aérotechnique - Université de Poitiers, november, 20026427/2002-thesis-depaulis.pdf
Dago AGBODAN, Nomination persistante dans un modèle paramétrique. Identification non-ambiguë et appariement générique d’entités topologiques., Thesis, ENSMA - Université de Poitiers - ED-SPI, january, 2002http://www.lisi.ensma.fr//ftp/pub/documents/thesis/2002-thesis-agbodan.pdfhttp://www.lisi.ensma.fr//ftp/pub/documents/thesis/2002-thesis-agbodan.pdf
Ladjel BELLATRECHE, Utilisation des vues matérialisées, des index et de la fragmentation dans la conception logique et physique d’un entrepôt de données, Thesis, Université Blaise Pascal – Clermont Ferrand, december, 2000
Annie CHOQUET-GENIET, Systèmes parallèles et temps réel : analyse à l'aide de modèles formels, HDR, Habilitation à diriger les recherches, Université de Poitiers & ENSMA, december, 2000
Patrick GIRARD, Ingénierie des systèmes interactifs : vers des méthodes formelles intégrant l'utilisateur, HDR, Habilitation à diriger les recherches, Université de Poitiers, january, 20006016/2000-hdr-girard.pdf
Yamine AIT-AMEUR, Développements Contrôlés de Programmes par Modélisations et Vérifications de Propriétés, HDR, Habilitation à diriger les recherches, Université de Poitiers, january, 2000
Guillaume TEXIER, Contribution à l'ingéniérie des systèmes interactifs : Un environnement de conception graphique d'applications spécialisées de conception, Thesis, Université de Poitiers, january, 20006180/2000-thesis-texier.pdf
Emmanuel GROLLEAU, Ordonnancement temps réel hors-ligne optimal à l’aide de réseaux de Petri en environnement monoprocesseur et multiprocesseur, Thesis, LISI-ENSMA, january, 19995682/1999-thesis-grolleau.pdf
Guillaume PATRY, Contribution à la conception du dialogue Homme Machine dans les applications graphiques interactives de conception technique : le système GIPSE, Thesis, Université de Poitiers, january, 19996121/1999-thesis-patry.pdf
Eric SARDET, Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels, Thesis, Univ. Poitiers, january, 1999
Francis JAMBON, Erreurs et interruptions du point de vue de l'ingénierie de l'interaction homme-machine, Thesis, Université Joseph Fourier (Grenoble 1), january, 1996ftp://ftp.imag.fr/pub/Mediatheque.IMAG/theses/96-Jambon.Francis/ftp://ftp.imag.fr/pub/Mediatheque.IMAG/theses/96-Jambon.Francis/
Laurent GUITTET, Théorie des interacteurs et architecture H4 dans le système NODAOO, Thesis, ENSMA, july, 1995