Mohamed Bouhdadi

Publication Activity (10 Years)

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

Top Topics

Electronic Commerce

Top Venues

J. Comput. Networks Commun.

Publications

Sanae El Mimouni, Mohamed Bouhdadi
An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol. NETYS (2016)
Sanae El Mimouni, Mohamed Bouhdadi
An incremental refinement approach to a development of TMN protocol. IAS (2015)
Sanae El Mimouni, Mohamed Bouhdadi
Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method. AICCSA (2015)
Sanae El Mimouni, Mohamed Bouhdadi
Applying Event-B Refinement to the Sliding Window Protocol. CSE (2015)
Rajaa Filali, Mohamed Bouhdadi
A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction. J. Comput. Networks Commun. 2014 (2014)
Jalal Laassiri, Said El Hajji, Mohamed Bouhdadi, Ghizlane Orhanou, Youssef Balouki
Specifying Data Bases Management Systems by Using RM-ODP Engineering Language CoRR (2011)
Hafid Belhaj, Youssef Balouki, Mohamed Bouhdadi, Said El Hajji
Using Event B to Specify QoS in ODP Enterprise Language. PRO-VE (2010)
Youssef Balouki, Mohamed Bouhdadi
Using BPEL for Behavioural Concepts in ODP Enterprise Language. Virtual Enterprises and Collaborative Networks (2008)
Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar
Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises. ICCSA (3) (2007)
El maati Chabbar, Mohamed Bouhdadi
On Verification of Communicating Finite State Machines Using Residual Languages. Asia International Conference on Modelling and Simulation (2007)
Mohamed Bouhdadi, Chabbar El Maati, Hafid Belhaj
A UML/OCL Denotational Semantics for ODP Structural Computational Concepts. RCIS (2007)
Bouabid El Ouahidi, Mohamed Bouhdadi, Daniel Bourget
An UML-Based Meta-Language for the QOS-Aware Enterprise Specification of Open Distributed Systems. PRO-VE (2002)
Bouabid El Ouahidi, Mohamed Bouhdadi, Daniel Bourget
The Internet is Challenging the Intelligent Network. ISCC (2000)