A Formal Model for WebRTC Signaling Using SDL. - Asma El Hamzaoui; Hicham Bensaid; Abdeslam En-Nouaary (NETYS, 2016)

On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL. - Asma El Hamzaoui; Abdeslam En-Nouaary; Hicham Bensaid (ANT/SEIT, 2018)

A New Signaling Topology for Multiparty Web Real-time Video Conference Networks. - Asma El Hamzaoui; Hicham Bensaid; Abdeslam En-Nouaary (SITA, 2018)

Model Checking of WebRTC Peer to Peer System. - Asma El Hamzaoui; Hicham Bensaid; Abdeslam En-Nouaary (Comput. Inf. Sci., 2019)

EHR Data Persistence for a Nationwide Shared Medical Record: An Overview. - Latifa Oufkir; Asma El Hamzaoui (WINCOM, 2024)