Hafedh Mili
Professeur
Hafedh Mili
Professeur
Unité : Département d'informatique
Courriel : mili.hafedh@uqam.ca
Téléphone : (514) 987-3000 poste 3943
Local : PK-4340
Langues :
Français, Anglais, Arabe
Liens d'intérêt
Informations générales
Cheminement académique
Ph.D. (1988), Cumputer Science (Artificial Intelligence), The George Washington University (www.gwu.edu), Washington D.C., USA
Diplôme d'Ingénieur (1984), Mathématiques Appliquées, École Centrale de Paris (www.ecp.fr), Paris, France
Classes Préparatoires (1981), Lycée Louis le Grand (www.louislegrand.org), Paris, France
Unités de recherche
- Laboratoire de recherche sur les technologies du commerce électronique (LATECE)
Enseignement
- Tests logiciels (2025)
- Realisation et maintenance de logiciels (2024, 2023)
- Stage industriel (2024)
- Rapport technique (2024)
- Projet d'analyse et de modelisation (2024, 2022, 2021, 2020, 2019)
- Genie logiciel (conception) (2023)
- Projet de these (2022, 2020)
- Exigences et specifications de systemes logiciels (2020)
Directions de thèses et mémoires
Thèses de doctorat
- Benzarti, Imen. (2020). Un cadre logiciel de développement pour la gestion de l'expérience client. (Thèse de doctorat). Université du Québec à Montréal.
- Amja, Anne-Marie. (2017). Une approche pour la modélisation, le raisonnement et l'adaptation d'applications dépendantes du contexte. (Thèse de doctorat). Université du Québec à Montréal.
- Boubaker, Anis. (2016). La modélisation semi-automatisée de la compensation dans les processus d'affaires. (Thèse de doctorat). Université du Québec à Montréal.
- Leshob, Abderrahmane. (2013). Classification, représentation et spécialisation des processus d'affaires pour le développement de systèmes d'information. (Thèse de doctorat). Université du Québec à Montréal.
Mémoires
- Abuhasirah, Yasmeen. (2024). Analyzing and classifying group dynamics dysfunctions in interpersonal dialogues. (Mémoire de maîtrise). Université du Québec à Montréal.
- Haddaji, Mohamed Amine. (2021). Validation de dépendances de programmes par traces d'exécution. (Mémoire de maîtrise). Université du Québec à Montréal.
- Abbasigaravand, Mahtab. (2020). Sentiment analysis of cultural product reviews. (Mémoire de maîtrise). Université du Québec à Montréal.
- Amirsardari, Sara. (2018). Un système de reconnaissance des esquisses de modèles CMMN dessinées à la main. (Mémoire de maîtrise). Université du Québec à Montréal.
- Amirsardari, Sara. (2017). CMMN models hand-drawn sketches recognition system. (Mémoire de maîtrise). Université du Québec à Montréal.
- Alkamari, Aniss. (2008). Composition de services web par appariement de signatures. (Mémoire de maîtrise). Université du Québec à Montréal.
- Ben Tamrout, Radhouane. (2006). JRegistre : un registre UDDI extensible. (Mémoire de maîtrise). Université du Québec à Montréal.
- Dimassi, Sonia. (2005). Effet de la fragmentation d'objets en facettes fonctionnelles sur la performance des bases des données partagées. (Mémoire de maîtrise). Université du Québec à Montréal.
- Hamad, Ammar. (2005). Implantation d'un coupe-feu utilisant un moteur de règles dans une base de données relationelle. (Mémoire de maîtrise). Université du Québec à Montréal.
- El Boussaidi, Ghizlane. (2005). Transformation de modèles par application de patrons de conception. (Mémoire de maîtrise). Université du Québec à Montréal.
- ELALAOUI, HASSANE. (2000). UNE APPROCHE DE GENERATION AUTOMATIQUE DE PROGRAMMES PAR RAFFINEMENE INTERACTIF. (Mémoire de maîtrise). Université du Québec à Montréal.
- NOUISSER, NAJET. (1998). REUTILISATION EN DIMENSIONNEMENT DE RESEAUX DE TELECOMMUNICATIONS. (Mémoire de maîtrise). Université du Québec à Montréal.
- MCHEICK, HAMID. (1996). REUTILISATION DES COMPOSANTES LOGICIELLES ORIENTEES-OBJET. (Mémoire de maîtrise). Université du Québec à Montréal.
- AH-KI WU MAN YIN, ESTELLE. (1996). REUTILISATION DES COMPOSANTES LOGICIELLES ORIENTEES-OBJET. (Mémoire de maîtrise). Université du Québec à Montréal.
Rapports d'activités et projets d'intervention
- Ben Khalifa, Adnane. (2007). Implémentation d'un framework réutilisable pour la gestion des systèmes d'information d'organismes communautaires. (Rapport d'activités et projet d'intervention). Université du Québec à Montréal.
- Nacu, Ovidiu. (2005). Création d'un prototype d'une application conforme à MDA. (Rapport d'activités et projet d'intervention). Université du Québec à Montréal.
- Fontaine, Éric. (2003). Développement de stratégies et d'un cadre d'applications pour l'internationalisation de logiciels. (Rapport d'activités et projet d'intervention). Université du Québec à Montréal.
- Boucetta, Sobhi. (2001). L'enregistrement du processus de développement Unified Process (UP). (Rapport d'activités et projet d'intervention). Université du Québec à Montréal.
- Mattalah, Mohammed. (2001). COMPARAISON DE LA PROGRAMMATION PAR ASPECTS, SUJETS ET VUES. (Rapport d'activités et projet d'intervention). Université du Québec à Montréal.
Publications
Articles scientifiques
- Boubaker, A., Mili, H., Charif, Y. et Leshob, A. (2013). Towards a framework for modeling business compensation processes. Lecture Notes in Business Information Processing, 147 LNBIP, 139–153. http://dx.doi.org/10.1007/978-3-642-38484-4_11.
- Kassab, M., El-Boussaidi, G. et Mili, H. (2012). A quantitative evaluation of the impact of architectural patterns on quality requirements. Studies in Computational Intelligence, 377, 173–184. http://dx.doi.org/10.1007/978-3-642-23202-2-12.
- El Boussaidi, G. et Mili, H. (2012). Understanding design patterns – What is the problem? Software – Practice and Experience, 42(12), 1495–1529. http://dx.doi.org/10.1002/spe.1145.
- Mili, H., Valtchev, P., Charif, Y., et al. (2011). E-tourism portal: A case study in ontology-driven development. Lecture Notes in Business Information Processing, 78 LNBIP, 76–99. http://dx.doi.org/10.1007/978-3-642-20862-1_6.
- Mili, H., Tremblay, G., Jaoude, G.B., Lefebvre, E., Elabed, L. et Boussaidi, G.E. (2010). Business process modeling languages: Sorting through the alphabet soup. ACM Computing Surveys, 43(1). http://dx.doi.org/10.1145/1824795.1824799.
- El Kharraz, A., Valtchev, P. et Mili, H. (2010). Concept analysis as a framework for mining functional features from legacy code. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5986 LNAI, 267–282. http://dx.doi.org/10.1007/978-3-642-11928-6_19.
- Adda, M., Mcheick, H. et Mili, H. (2010). Formal model and DSL for separation of concerns based on views. Journal of Object Technology, 9(6), 25–50. http://dx.doi.org/10.5381/jot.2010.9.6.a2.
- Sadou, S. et Mili, H. (2009). A delegation-based approach for the unanticipated dynamic evolution of distributed objects. Journal of Systems and Software, 82(6), 932–946. http://dx.doi.org/10.1016/j.jss.2008.12.045.
- Mili, H., Leshob, A., Lefebvre, E., Lévesque, G. et El-Boussaidi, G. (2009). Towards a methodology for representing and classifying business processes. Lecture Notes in Business Information Processing, 26 LNBIP, 196–211. http://dx.doi.org/10.1007/978-3-642-01187-0_16.
- El-Boussaidi, G. et Mili, H. (2008). Detecting patterns of poor design solutions using constraint propagation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5301 LNCS, 189–203. http://dx.doi.org/10.1007/978-3-540-87875-9_14.
- Mili, H., Sahraoui, H., Lounis, H., Mcheick, H. et Elkharraz, A. (2006). Concerned about separation. Lecture Notes in Computer Science, 3922 LNCS, 247–261. http://dx.doi.org/10.1007/11693017_19.
- Mili, H. et El-Boussaidi, G. (2005). Representing and applying design patterns: What is the problem? Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3713 LNCS, 186–200. http://dx.doi.org/10.1007/11557432_14.
- Mili, H., Ah-Ki, E., Godin, R. et Mcheick, H. (2003). An experiment in software component retrieval. Information and Software Technology, 45(10), 633–649. http://dx.doi.org/10.1016/S0950-5849(03)00002-8.
- Mili, H., Mcheick, H. et Sadou, S. (2002). CorbaViews – Distributing objects that support several functional aspects. Journal of Object Technology, 1(3), 207–229.
Obtenir "CorbaViews – Distributing objects that support several functional aspects" aux bibliothèques de l'UQAM - Mili, H., Fayad, M., Brugali, D., Hamu, D. et Dori, D. (2002). Enterprise frameworks: Issues and research directions. Software – Practice and Experience, 32(8), 801–831. http://dx.doi.org/10.1002/spe.460.
- Sahraoui, H.A., Lounis, H., Melo, W. et Mili, H. (1999). Concept formation based approach to object identification in procedural code. Automated Software Engineering, 6(Dordrecht, Netherlands), 387–410. http://dx.doi.org/10.1023/A:1008767522970.
- Mili, A., Yacoub, S., Addy, E. et Mili, H. (1999). Toward an engineering discipline of software reuse. IEEE Software, 16(Los Alamitos, CA, United States), 22–30. http://dx.doi.org/10.1109/52.795098.
- Godin, R., Mili, H., Mineau, G.W., Missaoui, R., Arfi, A. et Chau, T.-T. (1998). Design of class hierarchies based on concept (Galois) lattices. Theory and Practice of Object Systems, 4(New York, NY, United States), 117–134. http://dx.doi.org/10.1002/(SICI)1096-9942(1998)4:2<117::AID-TAPO6>3.0.CO;2-Q.
- Mili, H. (1996). On behavioral descriptions in object-oriented modeling. Journal of Systems and Software, 34(2), 105–121. http://dx.doi.org/10.1016/0164-1212(95)00069-0.
- Mili, H., Mili, F. et Mili, A. (1995). Reusing software: issues and research directions. IEEE Transactions on Software Engineering, 21(Piscataway, NJ, United States), 528–562. http://dx.doi.org/10.1109/32.391379.
- Mili, H., Radai, R., Weigang, W., et al. (1994). Practitioner and SoftClass: A comparative study of two software reuse research projects. The Journal of Systems and Software, 25(2), 147–170.
Obtenir "Practitioner and SoftClass: A comparative study of two software reuse research projects" aux bibliothèques de l'UQAM - Mili, H. et Rada, R. (1992). A model of hierarchies based on graph homomorphisms. Computers and Mathematics with Applications, 23(2-5), 343–361.
Obtenir "A model of hierarchies based on graph homomorphisms" aux bibliothèques de l'UQAM - Rada, R. et Mili, H. (1992). Document reuse: Organizing, finding and reorganizing content. International Journal of Information Management, 12(4), 310–319.
Obtenir "Document reuse: Organizing, finding and reorganizing content" aux bibliothèques de l'UQAM - Mili, H. et Grenier, M. (1992). Managing documentation for software reuse. Information and decision technologies Amsterdam, 18(2), 115–134.
Obtenir "Managing documentation for software reuse" aux bibliothèques de l'UQAM - Rada, R., Wang, W., Mili, H., Heger, J. et Scherr, W. (1992). Software reuse: from text to hypertext. Software engineering journal, 7(5), 311–321.
Obtenir "Software reuse: from text to hypertext" aux bibliothèques de l'UQAM - Rada, R. et Mili, H. (1991). Inheritance patterns in a medical informatics thesaurus and their relation to surgery. Theoretical Surgery, 6(4), 221–228.
Obtenir "Inheritance patterns in a medical informatics thesaurus and their relation to surgery" aux bibliothèques de l'UQAM - Mili, H., Sibert, J. et Intrator, Y. (1990). An object-oriented model based on relations. The Journal of Systems and Software, 12(2), 139–155.
Obtenir "An object-oriented model based on relations" aux bibliothèques de l'UQAM - Mili, H. et Rada, R. (1990). Inheritance generalized to fuzzy regularity. IEEE Transactions on Systems, Man and Cybernetics, 20(5), 1184–1198. http://dx.doi.org/10.1109/21.59980.
- Mili, H. et Rada, R. (1990). Medical expertext as regularity in semantic nets. Artificial Intelligence In Medicine, 2(4), 217–229.
Obtenir "Medical expertext as regularity in semantic nets" aux bibliothèques de l'UQAM - Rada, R., Mili, H., Bicknell, E. et Blettner, M. (1989). Development and application of a metric on semantic nets. IEEE Transactions on Systems, Man and Cybernetics, v(n), 17–30.
Obtenir "Development and application of a metric on semantic nets" aux bibliothèques de l'UQAM - Mili, H. et Rada, R. (1988). MERGING THESAURI: PRINCIPLES AND EVALUATION. IEEE Transactions on Pattern Analysis and Machine Intelligence, 10(2), 204–220. http://dx.doi.org/10.1109/34.3883.
- Rada, R., Blum, B., Calhoun, E., Mili, H., Orthner, H. et Singer, S. (1987). A vocabulary for medical informatics. Computers and Biomedical Research, 20(3), 244–263.
Obtenir "A vocabulary for medical informatics" aux bibliothèques de l'UQAM
Actes de colloque
- Boubaker, A., Leshob, A., Mili, H. et Charif, Y. (2012). A value-oriented approach to business process compensation design. Dans 2012 International Conference on Information Technology and e-Services, ICITeS 2012. http://dx.doi.org/10.1109/ICITeS.2012.6216671.
- Obaid, A., Amja, A.M., Mili, H. et Seguin, N. (2012). Query execution on a mobile database system. Dans Proceedings of the ACM Symposium on Applied Computing. http://dx.doi.org/10.1145/2245276.2245384.
- El Boussaidi, G., Belle, A.B., Vaucher, S. et Mili, H. (2012). Reconstructing architectural views from legacy systems. Dans Proceedings – Working Conference on Reverse Engineering, WCRE. http://dx.doi.org/10.1109/WCRE.2012.44.
- Charif, Y., Stathis, K. et Mili, H. (2010). Towards anticipatory service composition in ambient intelligence. Dans NOTERE'10 – 10th Annual International Conference on New Technologies of Distributed Systems. http://dx.doi.org/10.1109/NOTERE.2010.5536832.
- Mcheick, H., Dallaire, E. et Mili, H. (2009). First step of security model for separation of concerns. Dans 2009 IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2009. http://dx.doi.org/10.1109/AICCSA.2009.5069400.
- Elkharraz, A., Valtchev, P. et Mili, H. (2009). Using concepts analysis for mining functional features from legacy code. Dans Proceedings – International Conference on Tools with Artificial Intelligence, ICTAI. http://dx.doi.org/10.1109/ICTAI.2009.110.
- Mcheick, H., Mili, H., Dallaire, E. et Mcheik, R. (2008). Delegation model for object-oriented systems. Dans AICCSA 08 – 6th IEEE/ACS International Conference on Computer Systems and Applications. http://dx.doi.org/10.1109/AICCSA.2008.4493638.
- Elkharraz, A., Mili, H. et Valtchev, P. (2008). Mining functional aspects from legacy code. Dans Proceedings – International Conference on Tools with Artificial Intelligence, ICTAI, 2. http://dx.doi.org/10.1109/ICTAI.2008.149.
- Alkamari, A., Mili, H. et Obaid, A. (2008). Signature-based composition of web services. Dans Proceedings – 2008 International MCETECH Conference on e-Technologies, MCETECH 2008. http://dx.doi.org/10.1109/MCETECH.2008.34.
- Mcheick, H., Mili, H. et Mcheik, R. (2007). A case study of distributed and evolving applications using separation of concerns. Dans ICSOFT 2007 – 2nd International Conference on Software and Data Technologies, Proceedings, SE.
- El Boussaidi, G. et Mili, H. (2007). A model-driven framework for representing and applying design patterns. Dans Proceedings – International Computer Software and Applications Conference, 1. http://dx.doi.org/10.1109/COMPSAC.2007.31.
- Obaid, A., Khir, A. et Mili, H. (2007). A routing based service discovery protocol for ad hoc networks. Dans 3rd International Conference on Networking and Services,ICNS 2007. http://dx.doi.org/10.1109/ICNS.2007.17.
- Mcheick, H., Mili, H., Diab, H. et Mcheik, R. (2007). Distributedviews: Distributed objects with aspect oriented developement techniques. Dans Proceedings of the 2nd International Conference on Internet Technologies and Applications, ITA 07.
- Mili, H., Frendi, M., Jaoude, G.B., Martin, L. et Tremblay, G. (2006). Classifying business processes for domain engineering. Dans Proceedings – International Conference on Tools with Artificial Intelligence, ICTAI. http://dx.doi.org/10.1109/ICTAI.2006.40.
- Mili, H., Dargham, J. et Mili, A. (2000). Views: a framework for feature-based development and distribution of OO applications. Dans Proceedings of the Hawaii International Conference on System Sciences.
- Cherkaoui, O., Saint Hillaire, Y., Mili, H. et Serhouchni, A. (1998). Towards a modular and interoperable SNMPv3. Dans IEEE Symposium Record on Network Operations and Management Symposium, 2.
- Mili, H., Pachet, F., Benyahia, I. et Eddy, F. (1995). Metamodeling in OO OOPSLA '95 workshop summary. Dans Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA.
- Harrison, W., Ossher, H. et Mili, H. (1995). Subjectivity in object-oriented systems workshop summary. Dans Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA.
- Mili, H. et Rada, R. (1990). Regularity: A structuring paradigm for hierarchical knowledge. Dans Hoevel Lee W., Shriver Bruce D., Nunamaker Jay F.Jr., Sprague Ralph H.Jr. et Milutinovic Velijko (dir.). Proceedings of the Hawaii International Conference on System Science, 3.
- Mili, H. et Rada, R. (1990). Regularity: Generalizing inheritance to arbitrary hierarchies.
- Mili, H. et Rada, R. (1987). Building a Knowledge Base for Information Retrieval. Dans Antonisse James H., Benoit John W., Silverman Barry G. et MITRE Corp Washington AI Cent (dir.).
- Mili, H. et Rada, R. (1985). STATISTICALLY BUILT KNOWLEDGE BASE. Dans Karna Kamal N. (dir.).