Mohamed Bouhdadi

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