Mourad Kmimech

	2012
11		Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Towards an approach of formal verification of mediation protocol based on web services of MDE type. IJWIS 8(1): 32-54 (2012)
	2011
10		Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté: UML/OCL and Refinement. ECBS 2011: 149-158
9		Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. ECSA 2011: 67-74
8		Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: ATL Transformation for the Generation of SCA Model. SKG 2011: 164-167
7		Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou: Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service. SKG 2011: 187-190
6		Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: Profile UML2.0 for Specification of the SCA Architectures. SKG 2011: 191-194
5		Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. SKG 2011: 99-106
4		Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: MDE approach for the generation and verification of SCA model. iiWAS 2011: 317-320
3		Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS 2011: 349-352
	2010
2		Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Towards an approach of formal verification of mediation protocol based on web services. iiWAS 2010: 75-82
	2009
1		Mourad Kmimech, Mohamed Tahar Bhiri, Philippe Aniorté: Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model. ICSEA 2009: 494-499

Coauthor Index

1	Wided Ben Abid	[6]
2	Philippe Aniorté	[1] [10]
3	Mohamed Tahar Bhiri	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
4	Eric Cariou	[3] [4] [6] [7] [8]
5	Walid Gaaloul	[2] [3] [4] [5] [6] [8] [9] [11]
6	Mohamed Graiet	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
7	Lazhar Hamel	[5] [9]
8	Soumaya Louhichi	[4] [8]
9	Raoudha Maraoui	[2] [3] [7] [11]
10	Amel Mhamdi	[3] [7]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page