Thèses et HDR
(88)
2019
Quentin RICHE-PIOTAIX, Exploration ontologique de données issues de patients atteints de maladies rares, Thesis, Université de Poitiers et CHU de Poitiers, december, 2019
Ibrahim DELLAL, Gestion et exploitation de larges bases de connaissances en présence de données incomplètes et incertaines, Thesis, ISAE-ENSMA, december, 2019alt="https://tel.archives-ouvertes.fr/tel-02452333"https://tel.archives-ouvertes.fr/tel-02452333
Jack SALAMEH, Approche par Contrôle Actif Dans le Cadre de l’Optimisation de la Durée de Vie des Eoliennes, Thesis, december, 2019
Fatma Ezzahra BOUSNINA, Modeling and Querying Evidential Databases, Thesis, ISAE-ENSMA de Poitiers et ISG de Tunis, june, 2019
AMNA ABIDI, Imperfect RDF Databases: From Modelling to Querying, Thesis, ISAE-ENSMA de Poitiers et ISG de Tunis, june, 2019
Anais CARDOT, Rejeu basé sur des règles de transformation de graphes, Thesis, Université de Poitiers, january, 2019
2018
Anh Toan BUI LONG, Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle, Thesis, ISAE - ENSMA, december, 2018
Cyrille PONCHATEAU, Conception et exploitation d’une base de modèles : application aux data sciences, Thesis, ISAE-ENSMA, Téléport 2 – 1 avenue Clément Ader, BP 40109, october, 2018
Nassima BENAMMAR, Modélisation, évaluation et validation des systèmes temps réel distribués, Thesis, Université de Poitiers, september, 2018
2017
Saida ELMI, An Advanced Skyline Approach for Imperfect Data Exploitation and Analysis, Thesis, ISAE-ENSMA et ISG Tunis, september, 2017
Zouhir DJILANI, Donner une autre vie à vos besoins fonctionnels : une approche dirigée par l’entreposage et l’analyse en ligne, Thesis, ISAE-ENSMA, july, 2017
Lahcene BRAHIMI, Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données, Thesis, ENSMA, july, 2017
Aymen GAMMOUDI, Contribution à l’étude de l’exploitation des données temporelles en présence d’imperfections, Thesis, ISAE-ENSMA et ISGT Tunis, may, 2017
Cheikh SALMI, Vers une Description et une Modélisation des Entrées des Modèles de Coût Mathématiques : Applications aux Entrepôts de Données, Thesis, ISAE-ENSMA, march, 2017
Olga GOUBALI, APPORT DES TECHNIQUES DE PROGRAMMATION PAR DEMONSTRATION DANS UNE DÉMARCHE DE GÉNÉRATION AUTOMATIQUE D’APPLICATIFS DE CONTRÔLE-COMMANDE, Thesis, ISAE-ENSMA, january, 2017
Okba BARKAT, Utilisation conjointe des ontologies et du contexte pour la conception des systèmes de stockage de données, Thesis, ISAE-ENSMA, january, 2017
2016
Selma BOUARAR, Vers une conception logique et physique des bases de données avancées dirigée par la variabilité, Thesis, ISAE-ENSMA, december, 2016
Ahcène BOUKORCA, Hypergraphs in the Service of Very Large Scale Query Optimization Application: Data Warehousing, Thesis, ISAE-ENSMA, december, 2016
Nadir GUETMI, Modèles de Conception pour des Applications Collaboratives Mobiles dans le Cloud, Thesis, ISAE / ENSMA, december, 2016
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, 2016
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, 2016
2015
Rima BOUCHAKRI, Conception physique statique et dynamique des entrepôts de données, Thesis, ESI / ISAE-ENSMA, september, 2015
Kevin ROYER, Vers un entrepôt de données et des processus : le cas de la mobilité électrique chez EDF, Thesis, ISAE-ENSMA, march, 2015
2014
Linda MOHAND OUSSAID, Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie, Thesis, ISAE/ENSMA, december, 2014
Bery MBAIOSSOUM, Conception physique des bases de données à base ontologique : le cas des vues matérialisées, Thesis, ISAE / ENSMA, december, 2014
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, 2014
Safaa HACHANA, Policy Mining: A Bottom-Up Approach for Network Security Management, Thesis, ISAE/ENSMA, july, 2014
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, 2014
Ilyes BOUKHARI, Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique, Thesis, ISAE-ENSMA, january, 2014
Manhal ABOUZLAM, Optimisation d'un procédé de traitement des eaux par ozonation catalytique, Thesis, Université de Poitiers - LIAS, january, 2014
2013
Youness BAZHAR, Handling Behavioral Semantics in Persistent Meta-Modeling Systems, Thesis, ISAE-ENSMA, december, 2013
Yassine OUHAMMOU, Model-based Framework for Using Advanced Scheduling Theory in Real-Time Systems Design, Thesis, ISAE-ENSMA, december, 2013
Amira KERKAD, L'interaction au service de l'optimisation à grande échelle des entrepôts de données relationnels, Thesis, ISAE-ENSMA, december, 2013
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, 2013
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, 2013
2012
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, 2012
David SIMON ZAYAS, A framework for the management of heterogeneous models in system engineering, Thesis, ISAE-ENSMA, april, 2012
Christian FOTSING, Intégration d'éléments Sémantiques dans l'Analyse d'Ordonnançabilité des Applications Temps-Réel, Thesis, ENSMA, january, 2012
2011
Brice CHARDIN, SGBD open-source pour historisation de données et impact des mémoires flash, Thesis, INSA de Lyon, december, 2011
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, 2011
2010
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, 2010
Dilek TAPUCU, A generic model for handling preferences in Ontology Based Databases, Thesis, LISI / ENSMA, july, 2010
François DORIN, Contributions à l'ordonnancement et l'analyse des systèmes temps réel critiques, Thesis, ENSMA, january, 2010
Mehdi BABA-ALI, Système de nomination hiérarchique pour les systèmes paramétriques, Thesis, Université de Poitiers, january, 2010
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
2009
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, december, 2009
Emmanuel GROLLEAU, Modélisation précise des applications temps réel en vue de leur validation temporelle, HDR, Habilitation à Diriger les Recherches, ENSMA, december, 2009
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, 2009
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, 2009
2008
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
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, 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, 2008
2007
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, 2007alt="http://tel.archives-ouvertes.fr/docs/00/20/17/77/PDF/these-stephane-jean.pdf"http://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, 2007alt="http://tel.archives-ouvertes.fr/docs/00/15/75/95/PDF/These.pdf"http://tel.archives-ouvertes.fr/docs/00/15/75/95/PDF/These.pdf
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, 2007
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, 2007
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
2006
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, 2006
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, 2006alt="http://tel.archives-ouvertes.fr/docs/00/25/20/99/PDF/These_dung_xuan_nguyen.pdf"http://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, 2006
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, 2006
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, 2006
2005
Vincent LUCQUIAUD, Sémantique et outil pour la modélisation des tâches utilisateur : N-MDA, Thesis, Université de Poitiers / ENSMA / INRIA, december, 2005
2004
Gaëlle LARGETEAU, Quantification du taux d'invalidité d'applications temps réel à contraintes strictes, Thesis, École Doctorale SPI, october, 2004alt="http://www-sic.univ-poitiers.fr/publications/view-publi.php?publiId=1469"http://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, 2004
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, 2004
Pascal RICHARD, Ordonnancement temps réel en-ligne : contraintes, conception et analyses, Habilitation à Diriger des Recherches, HDR, Université de Poitiers, january, 2004
2003
Mickael BARON, Vers une approche sûre du développement des Interfaces Homme-Machine (Thesis), Thesis, Université de Poitiers, december, 2003
2002
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, 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, 2002
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
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, 2002alt="http://www.lisi.ensma.fr//ftp/pub/documents/thesis/2002-thesis-agbodan.pdf"http://www.lisi.ensma.fr//ftp/pub/documents/thesis/2002-thesis-agbodan.pdf
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
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
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, 2000
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, 2000
1999
Emmanuel GROLLEAU, Ordonnancement temps réel hors-ligne optimal à l’aide de réseaux de Petri en environnement monoprocesseur et multiprocesseur, Thesis, LISI-ENSMA, november, 1999
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, 1999
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
1996
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, 1996alt="ftp://ftp.imag.fr/pub/Mediatheque.IMAG/theses/96-Jambon.Francis/"ftp://ftp.imag.fr/pub/Mediatheque.IMAG/theses/96-Jambon.Francis/
1995
Laurent GUITTET, Théorie des interacteurs et architecture H4 dans le système NODAOO, Thesis, ENSMA, july, 1995