Asma El Hamzaoui

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 4

Top Topics

Probabilistic Knowledge

Deterministic Finite Automaton

Top Venues

Comput. Inf. Sci.

Publications

Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary
Model Checking of WebRTC Peer to Peer System. Comput. Inf. Sci. 12 (4) (2019)
Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary
A New Signaling Topology for Multiparty Web Real-time Video Conference Networks. SITA (2018)
Asma El Hamzaoui, Abdeslam En-Nouaary, Hicham Bensaid
On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL. ANT/SEIT (2018)
Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary
A Formal Model for WebRTC Signaling Using SDL. NETYS (2016)