Items where Research Director is "Boucheneb, Hanifa"

A

Amadou, M. (2009). Modèle de placement pour les architectures nano-composantes [Master's thesis, École Polytechnique de Montréal]. Available

B

Bande, M. (2018). Consistance et protection des données dans les systèmes collaboratifs par les méthodes formelles [Ph.D. thesis, École Polytechnique de Montréal]. Available

Ben Chahed, S. (2015). Mise en oeuvre des aspects de gestion des réseaux définis par logiciels (réseaux SDN) [Master's thesis, École Polytechnique de Montréal]. Available

Baaziz, A. (2008). Cadre global pour la coopération dans les réseaux ad hoc impliquant les fournisseurs de services [Ph.D. thesis, École Polytechnique de Montréal]. Available

C

Chen, L. (2005). Verification approach for compositional hierarchical time Petri-nets [Master's thesis, École Polytechnique de Montréal]. Available

E

El Fatimi, L. (2023). Détection, prédiction et classification des tumeurs cérébrales basées sur les modèles formels et l'apprentissage en profondeur [Ph.D. thesis, Polytechnique Montréal]. Available

El Rhazi, A. (2003). Sécurité des agents mobiles : protocole sécuritaire basé sur un agent sédentaire parfaitement coopérant [Master's thesis, École Polytechnique de Montréal]. Available

G

Gholami, M.-R. (2016). Verifying Timed LTL Properties Using Simulink Design Verifier [Ph.D. thesis, École Polytechnique de Montréal]. Available

H

Habibzadeh Motlagh, A. (2021). Detection, Classification, and Modeling Evaluation of Network Intrusions [Master's thesis, Polytechnique Montréal]. Available

Hétier, G. (2018). Étendre la spécification de programmes C concurrents et les vérifier par une transformation de source à source [Master's thesis, École Polytechnique de Montréal]. Available

Heidari, P. (2012). A Forward On-The-Fly Approach for Safety and Reachability Controller Synthesis of Timed Systems [Ph.D. thesis, École Polytechnique de Montréal]. Available

Hadjidj, R. (2006). Analyse et validation formelle des systèmes temps réel [Ph.D. thesis, École Polytechnique de Montréal]. Available

M

Moussa, M. (2014). Vérification et configuration automatiques de pare-feux par Model Checking et synthèse de contrôleur [Master's thesis, École Polytechnique de Montréal]. Available

N

Najem, M. (2009). Model-Checking symbolique pour la vérification de systèmes et son application aux tables de décision et aux systèmes d'éditions collaboratives distribuées [Master's thesis, École Polytechnique de Montréal]. Available

O

Ouardani, A. (2004). Sécurité des agents mobiles : protocole sécuritaire à base d'agents sédentaires coopérants [Master's thesis, École Polytechnique de Montréal]. Available

R

Randolph, A. J. O. (2014). Convergence et sécurité d'accès dans les systèmes d'édition collaborative massivement répartis [Ph.D. thesis, École Polytechnique de Montréal]. Available

Rakkay, H. (2009). Approches formelles pour la modélisation et la vérification du contrôle d'accès et des contraintes temporelles dans les systèmes d'information [Ph.D. thesis, École Polytechnique de Montréal]. Available

Rakkay, H. (2005). Modélisation et vérification du contrôle de flots d'information au moyen de réseaux de Pétri colorés temporisés [Master's thesis, École Polytechnique de Montréal]. Unavailable

W

Weslati, M. K. (2014). Vers l'intégration de paramètres temporels statiques et dynamiques dans les techniques de vérification par ordre partiel [Master's thesis, École Polytechnique de Montréal]. Available

Y

Yassin, M. (2019). Services de sécurité inter-locataire et multi-locataire pour les logiciels en tant que service [Ph.D. thesis, Polytechnique Montréal]. Available