The Internet is Challenging the Intelligent Network. - Bouabid El Ouahidi; Mohamed Bouhdadi; Daniel Bourget (ISCC, 2000)

An UML-Based Meta-Language for the QOS-Aware Enterprise Specification of Open Distributed Systems. - Bouabid El Ouahidi; Mohamed Bouhdadi; Daniel Bourget (PRO-VE, 2002)

On Verification of Communicating Finite State Machines Using Residual Languages. - El maati Chabbar; Mohamed Bouhdadi (Asia International Conference on Modelling and Simulation, 2007)

Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises. - Mohamed Bouhdadi; Youssef Balouki; El maati Chabbar (ICCSA (3), 2007)

A UML/OCL Denotational Semantics for ODP Structural Computational Concepts. - Mohamed Bouhdadi; Chabbar El Maati; Hafid Belhaj (RCIS, 2007)

Using BPEL for Behavioural Concepts in ODP Enterprise Language. - Youssef Balouki; Mohamed Bouhdadi (Virtual Enterprises and Collaborative Networks, 2008)

Using Event B to Specify QoS in ODP Enterprise Language. - Hafid Belhaj; Youssef Balouki; Mohamed Bouhdadi; Said El Hajji 001 (PRO-VE, 2010)

Specifying Data Bases Management Systems by Using RM-ODP Engineering Language - Jalal Laassiri; Said El Hajji 001; Mohamed Bouhdadi; Ghizlane Orhanou; Youssef Balouki (CoRR, 2011)

A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction. - Rajaa Filali; Mohamed Bouhdadi (J. Comput. Networks Commun., 2014)

An incremental refinement approach to a development of TMN protocol. - Sanae El Mimouni; Mohamed Bouhdadi (IAS, 2015)

Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method. - Sanae El Mimouni; Mohamed Bouhdadi (AICCSA, 2015)

Applying Event-B Refinement to the Sliding Window Protocol. - Sanae El Mimouni; Mohamed Bouhdadi (CSE, 2015)

An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol. - Sanae El Mimouni; Mohamed Bouhdadi (NETYS, 2016)