Sanae El Mimouni

An incremental refinement approach to a development of TMN protocol

Mohamed Bouhdadi, Sanae El Mimouni, M. Bouhdadi, 2015, 2015 11th International Conference on Information Assurance and Security (IAS).

Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method

Sanae El Mimouni, Mohamed Bouhdadi, 2015, 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA).

An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol

Mohamed Bouhdadi, Sanae El Mimouni, 2016, NETYS.

A Mechanized Formal Refinement Proof of Modbus Communication Using Event-B Proof System

Mohamed Bouhdadi, Sanae El Mimouni, 2018 .

Applying Event-B Refinement to the Sliding Window Protocol

Mohamed Bouhdadi, Sanae El Mimouni, M. Bouhdadi, 2015, 2015 IEEE 18th International Conference on Computational Science and Engineering.

An Incremental Refinement Approach to a Development of the Remote Authentication Dial-In User Service Protocol

Sanae El Mimouni, M. Bouhdadi, R. Filali, 2015 .

Using Event-B Method to model Routing Information Protocol

Sanae El Mimouni, M. Bouhdadi, R. Filali, 2015 .