Mohamed Bouhdadi

According to our database, Mohamed Bouhdadi authored at least 13 papers between 2000 and 2016.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2016

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

Sanae El Mimouni, Mohamed Bouhdadi

Proceedings of the Networked Systems - 4th International Conference, 2016

2015

Applying Event-B Refinement to the Sliding Window Protocol.

Sanae El Mimouni, Mohamed Bouhdadi

Proceedings of the 18th IEEE International Conference on Computational Science and Engineering, 2015

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

Sanae El Mimouni, Mohamed Bouhdadi

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

An incremental refinement approach to a development of TMN protocol.

Sanae El Mimouni, Mohamed Bouhdadi

Proceedings of the 11th International Conference on Information Assurance and Security, 2015

2014

A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction.

Rajaa Filali, Mohamed Bouhdadi

J. Comput. Networks Commun., 2014

2011

Specifying Data Bases Management Systems by Using RM-ODP Engineering Language

Jalal Laassiri, Said El Hajji, Mohamed Bouhdadi, Ghizlane Orhanou, Youssef Balouki

CoRR, 2011

2010

Using Event B to Specify QoS in ODP Enterprise Language.

Hafid Belhaj, Youssef Balouki, Mohamed Bouhdadi, Said El Hajji

Proceedings of the Collaborative Networks for a Sustainable World, 2010

2008

Using BPEL for Behavioural Concepts in ODP Enterprise Language.

Youssef Balouki, Mohamed Bouhdadi

Proceedings of the Pervasive Collaborative Networks, 2008

2007

A UML/OCL Denotational Semantics for ODP Structural Computational Concepts.

Mohamed Bouhdadi, Chabbar El Maati, Hafid Belhaj

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises.

Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar

Proceedings of the Computational Science and Its Applications, 2007

On Verification of Communicating Finite State Machines Using Residual Languages.

El maati Chabbar, Mohamed Bouhdadi

Proceedings of the First Asia International Conference on Modelling and Simulation, 2007

2002

An UML-Based Meta-Language for the QOS-Aware Enterprise Specification of Open Distributed Systems.

Bouabid El Ouahidi, Mohamed Bouhdadi, Daniel Bourget

Proceedings of the Collaborative Business Ecosystems and Virtual Enterprises, 2002

2000

The Internet is Challenging the Intelligent Network.

Bouabid El Ouahidi, Mohamed Bouhdadi, Daniel Bourget

Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 2000