| Nom |
Sujet de mémoire |
Directeur |
Codirecteur |
Défense |
Mémoire |
| Abd-Ali, Jamal |
Métamodélisation et transformation automatique de PSM dans une approche MDA |
El Guemhioui, K |
|
2006-05-04 |
Lien
|
| Balamane, Abdelilah |
Sélection d'attributs par dimension fractale |
Missaoui, R |
|
2007-12-04 |
Lien
|
| Bastien, Cédric |
Équivalence des grammaires de fonction simple |
Czyzowicz, J. |
Fraczak, W. |
2006-12-01 |
Lien
|
| Boulares, Soufiene |
Méthodes formelles pour contrôle d'accès. |
Logrippo,L. |
|
2010-12-21 |
Lien
|
| Boustany, Charbel |
Design et implémentation sur un circuit VLSI d'un algorithme de détection en temps réel des pics thermiques |
Lakhsasi, A. |
|
2006-09-15 |
Lien
|
| Bouzidi, Ali Jabeur |
Développement de techniques de marquage d’authentification pour la protection de données multimédias |
Baaziz,N. |
|
2009-10-23 |
Lien
|
| Cardenas, Luis Eugenio |
Génération automatique de tests à partir de la spécification de besoins |
Iglewski, M |
|
2007-08-03 |
Lien
|
| Caron, Jacquelin |
Une analyse des saisies optimales des polygones convexes. |
Czyzowicz, J |
|
2008-08-26 |
Lien
|
| Chaoui, Hicham |
Implantation sur FPGA d'une loi de commande adaptative neuronale supervisée pour une articulation flexible |
Lakhsasi, A. |
|
2005-01-12 |
Lien
|
| Djebbar, Fatiha |
Architecture logicielle distribuée pour un système d'instrumentation générique et temps réel basé sur la nouvelle génération des senseurs photoniques |
Bock, W. |
Adi, K. |
2003-05-21 |
Lien
|
| Durand, David |
Détection de relations spatiale entre les objets présents dans une image |
Missaoui, R. |
|
2006-05-23 |
Lien
|
| El Kabbal, Adnane |
Un Système de Types pour l'Analyse des Pare-feux |
Adi, K. |
|
2005-03-11 |
Lien
|
| Estienne, Gregory |
Les fonctionnalités de présence en VoIP
Programmation de services sensibles au contexte en téléphonie sur IP |
Logrippo, L |
|
2008-04-25 |
Lien
|
| Guesdon, Vincent |
Détection efficace des contours |
Missaoui, R. |
|
2004-12-10 |
Lien
|
| Guilbault, Samuel |
Diagnostic des pannes dans les systèmes multi-processeurs |
Pelc, A. |
|
2006-12-01 |
Lien
|
| Hattak, Ikhlass |
Analyse formelle des politiques de sécurité |
Adi,K. |
Logrippo,L. |
2010-06-08 |
Lien
|
| Jatteau, Ganaël |
Approximation du treillis de concepts pour la fouille de données |
Missaoui, R. |
|
2005-11-16 |
Lien
|
| Keita, Ibrahim |
Sécurité des services Web: restauration d'un message SOAP après détection d'une attaque par enveloppement sur un élément signé. |
Adi,K. |
Iglewski,M. |
2010-03-11 |
Lien
|
| Lafleur, Éric |
Évaluation de la qualité des applications web |
Iglewski, M |
|
2008-08-29 |
Lien
|
| Lapointe, Dany |
Génération de maillages d'éléments finis par traitement d'images appliquée à l'optique guidée |
Charbonneau, A. |
|
2004-12-09 |
Lien
|
| Larkin, Samuel |
Méthodes d'ordonnancement appliquées à la traduction automatique statistique |
Charbonneau, A. |
Kuhn, R. |
2006-08-10 |
Lien
|
| Larrivée, Katia |
La diffusion de messages dans les réseaux radio anonymes |
Pelc, A. |
|
2006-10-20 |
Lien
|
| Layouni, Ahmed Fahdel |
Méthode formelle de détection d'interactions pour les politiques du contrôle d'appel téléphonique |
Logrippo, L |
|
2007-12-19 |
Lien
|
| Layouni, Yakine |
Détection des conflits dans les politiques de contrôle d'accès |
Logrippo,L. |
|
2010-09-29 |
Lien
|
| Legault, Thomas |
Automatisation de la spécification des comportements temps réel par des traitements adaptatifs |
Benyahia, I. |
|
2005-10-26 |
Lien
|
| Mankai, Mahdi |
Vérification et analyse des politiques de contrôle d'accès : Application au langage XACML |
Logrippo, L. |
|
2006-01-13 |
Lien
|
| Messaoudi, Sadia |
Impact de l’intégration d’une ontologie normée XBRL à la classification automatique de textes : Une application aux nouvelles financières |
Alain Charbonneau |
Stéphane Gagnon |
2011-05-13 |
Lien
|
| Nys, Aymeric Hubert |
Conception d'un service de licence transparent et évolutif pour CORBA |
El Guemhioui, K. |
|
2005-05-20 |
Lien
|
| Ouellet, Bruno |
Étude d'intégration d'une interface réseau sans fil au sein de la technologie relais sous-réseau (Subnetwork Relay - SNR) |
Talbi, L. |
Nourry, G. |
2004-10-14 |
Lien
|
| Ouharoun, Madjid |
Technologies de détection d'intruision. |
Adi,K. |
Pelc,A. |
2010-05-05 |
Lien
|
| Paquette, Michel |
Algorithmes de communication dans les réseaux en présence de pannes byzantines |
Pelc, A. |
|
2004-11-03 |
Lien
|
| Pene, Liviu |
Méthodes formelles pour la correction des protocoles de sécurité |
Adi, K. |
|
2004-06-11 |
Lien
|
| Rissafi, Youssef |
Caractérisation d'un canal minier souterrain ultra-large bande (3 à 10 GHZ) |
Talbi, L |
|
2007-06-29 |
Lien
|
| Roberge, Geneviève |
Visualisation des résultats de la fouille des données dans les treillis des concepts |
Missaoui,R. |
Czyzowicz,J. |
2007-06-15 |
Lien
|
| Savard, Pascal |
Étude des techniques de marche en environnement virtuel de bureau |
El Guemhioui, K |
|
2007-08-20 |
Lien
|
| Sullivan, Luke |
La correction des protocoles de non-répudiation. |
Adi, K. |
|
2006-05-05 |
Lien
|
| Talbot, Vincent |
Mécanismes de décision préservant la performance des systèmes distribués dynamiques |
Benyahia,I. |
|
2010-12-15 |
Lien
|
| Therrien, Nicolas |
Évaluation de techniques d'indexage pour la fusion de représentations |
Zaremba, M |
|
2007-04-20 |
Lien
|
| Vachon, Éric |
Recherche de trous noirs dans les réseaux informatiques à l'aide d'agents mobiles |
Pelc, A. |
|
2006-07-28 |
Lien
|
