Luigi Logrippo

Graduate and research supervisions (Completed)

Postdoctoral Fellows:

Quentin Rouland, 2023/10-2024-10 (co-supervised with K. Adi and O.Nguena Timo)

Marwan Cheaito, 2012/06-2012/09 (co-supervised with K.Adi)

Hemanth Khambhammettu, 2010/01-2012/01 (co-supervised with K. Adi)

Riaz A. Shaikh, 2009/10-2012/01 (co-supervised with K. Adi)

Ji Ma 2009/05-2011/05 (co-supervised with K. Adi)

Yacine Bouzida 2008/10-2009/06 (co-supervised with K. Adi)

Masahide Nakamura 1999-2000

Xiao Jun (Jessica) Chen 1996-1997

Robert Owen 1975-76

Graduate Supervisions:

Completed: 38 Master’s with thesis, 12 PhD.

Only students who have completed theses are listed.

CS: I was the main supervisor, person indicated was co-supervisor;

PS: I was the co-supervisor, person indicated was main supervisor.

When no co-supervisor is indicated, I was the sole supervisor.

Parvizimosaed, Alireza (PhD, 2019/9-2022/12) PS: D. Amyot, J.Mylopoulos. Symboleo: Specification and Verification of Legal Contracts

Stambouli, Abdelouadoud (PhD, 2016/01-2021/12) Data Security in Organizational networks and the Internet of Things using a partial order model

Boulares, Sofiene (PhD, 2010/09-20018/03) CS: K.Adi. Calcul du risque dans les systèmes de contrôle d’accès : approche basée sur le flux d’informations

Hattak, Oussama (MSc. 2009/01–2017/12) : Détection d’incohérences et d’incomplétudes dans des politiques de contrôle d’accès utilisant un algorithme de classification de données

Abd-Ali, Jamal (PhD, 2017/12) PS : K. El Guemhioui. Spécification des exigences de contrôle d’accès en modèles de systèmes de décision

Abahmane, Omar (PhD, 2011/08-2015/10) : Contrôle de flux de l’information basé sur la granularité

Maboudou, Bone (MSc, 2013/01-2015/02) PS: K.Adi. Un environnement pour la modélisation des systèmes de contrôle d’accès

Jemili, Sourour (MSc, 2011/01-2013/12) PS: K.Adi. Analyse de risque dans les systèmes de contrôle d’accès.

Khalifa, Hassen (MSc, 2011/09-2013/10) CS: K.Adi. Détection des anomalies entre les contraintes dans les politiques de contrôle d'accès

Olurin, Mujiwa (MCS, 2011/09-2013/01) PS: C. Adams. Policy merger system for P3P in a Cloud aggregation platform

Sofiene, Boulares (MSc, 2008/05-2010/08) CS: K. Adi. Validation des politiques de sécurité par rapport aux modèles de contrôle d’accès

Layouni, Seifallah Yakine (MSc,2007/09/2010/08) CS: K.Adi. Détection des conflits dans les politiques de contrôle d’accès.

Hattak, Iklhass (MSc, 2007/09-2010/04) CS: K. Adi. Analyse formelle de politiques de sécurité.

Hassan, Waël (PhD, 09/2000-04/2009) Validating legal compliance – Governance analysis method.

Estienne, Grégory (MSc, 2005/09-2008/08) Les fonctionnalités de présence en VoIP - Programmation de services sensibles au contexte en téléphonie sur IP

Layouni, Ahmed (MSc, 2005/09-2007/08) Méthode formelle de détection d'interactions pour les politiques du contrôle d'appel téléphonique

Mankai, Mahdi (MSc, 2004-2006) Vérification et analyse des politiques de contrôle d’accès: application au langage XACML.

Jiang, Dongmei (MCS, 2001-2003) Internet Telephony Services for Presence With SIP and Extended CPL

Xu, Yiqun (MCS, 2001-2003). Detecting Feature Interactions and Feature Inconsistencies in CPL

Guan, Ruoshan (MCS, 2000-2003). From Requirements to Scenarios through Specifications: A Translation Procedure from Use Case Maps to LOTOS.

Zhang, N. (MCS, 2000-2002) Simulation of Feature Execution Trees.

Charfi, Leila (MCS, 1998-2001) Formal Modeling and Test Generation Automation with Use Case Maps and LOTOS.

Amyot, Daniel (PhD, 1994-2001) Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS.

Hassine, Jameleddine (MCS, 1998-2001) Feature Interaction Filtering and Detection with Use Case Maps and LOTOS.

Andrade, R. M. de Castro (PhD, 1997-2001) Capture, Reuse and Validation of Requirements and Analysis Patterns for Mobile Systems.

Gorse, N. (MCS, 1998-2001) The Feature Interaction Problem: Automatic Filtering of Incoherences and Generation of Validation Test Suites at the Design Stage.

Yi, Z. (MCS, 1997-2000) CNAP Specification and Validation: A Design Methodology Using LOTOS and UCM.

Lu, Xiao Tong (MCS, 1997-2000) A Data Base System for Feature Interaction Detection. (project)

Farooqui, Kazi (PhD, 1990-2000) Group-Based Distributed Computing: Programming and Distributed Platform Model.

Fu, J. Q. (MCS, 1997-2000) Feature Interaction Detection in a Telephony Network Integrated with Switch-based Features and IN Features.

Savin, D. (MCS, 1997-1999). Formal Techniques for Service Modeling and Validation in Wireless Intelligent Networks (project)

Hart, N. (MCS, 1996-1999). Protocol Validation and Implementation: A Design Methodology using LOTOS and ROOM.

P.Berlinguette (MCS, 1993-1999). Protocol Validation with LOTOS and ObjecTime (project)

Rampal, G. (MCS, 1994-1998). Developing Mobile Distributed Intelligent Network Services Using RM-ODP.

Ben Fredj, H. (MCS, 1994-1997). Automatic Generation of Test Cases from a LOTOS Specification (project)

Kamoun, J. (MCS, 1994-1996) Formal Specification and Feature Interaction Detection in the Intelligent Network.

Tuok, R. (MCS, 1993-1996) Modeling and Derivation of Scenarios for a Mobile Telephony System in LOTOS.

Haj-Hussein, Mazen (PhD, 1989-1996) Guided Search Technique for LOTOS

Faci, Mohamed (PhD, 1990-1995) Detecting Feature Interactions in Telecommunications Systems Designs.

Amyot, D. (MCS, 1992-1994) Formalization of Timethreads Using LOTOS.

Jaouani, R. (MCS, 1990-1992) LOTOS-based Conformance Testing: The Theory and a Tool.

Ghribi, B. A. (MCS, 1990-1992) Model-Checker for LOTOS.

Ashkar, P. (MCS, 1990-1992) Symbolic Execution of LOTOS Specifications.

Boumezbeur, R. (MCS, 1998- 1991). Design, Specification, and Validation of Telephony Systems in LOTOS.

Obaid, Abdel (PhD, 1984-1991). A Calculus of Communicating Systems with Atomicity and Recovery, for Protocol Specification and Design.

Gallouzi, S. (MCS, 1998-1989). Trace Analysis of LOTOS Behaviors.

Gueraichi, D. (MCS, 1987-1989). Derivation of Test Cases for LAP-B from a Formal Specification in LOTOS

Haj-Hussein, M. (MCS, 1986-1988). An Interactive System for LOTOS Applications (ISLA)

Fehri, M.C. (MCS, 1985-1987). A System for Validating and Executing LOTOS Data Abstractions (SVELDA)

Deo, U. (M.A.Sc. in Electrical Engineering, 1977-1979). Data-Directed Program Design (project)