Mohamed Tahar Bhiri

	2012
16		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
15		Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté: UML/OCL and Refinement. ECBS 2011: 149-158
14		Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. ECSA 2011: 67-74
13		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
12		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
11		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
10		Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. SKG 2011: 99-106
9		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
8		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
7		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
6		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
	2008
5		Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières: Incremental development of UML specifications using operation refinements. ISSE 4(3): 259-266 (2008)
4		Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières: Modélisation événementielle pour la construction de diagrammes de classes. Ingénierie des Systèmes d'Information 13(3): 131-155 (2008)
3		Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou: Vérification formelle d'architectures logicielles à base d'UML. L'OBJET 14(1-2): 61-86 (2008)
	2006
2		Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin: Adaptation d'UML2.0 à l'ADL Wright. CAL 2006: 83-100
1		Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Noureddine Belkhatir: Architecture des systèmes avec la norme UML2.0 et l'ADL Wright. INFORSID 2006: 927-942

Coauthor Index

1	Wided Ben Abid	[11]
2	Boulbaba Ben Ammar	[4] [5]
3	Philippe Aniorté	[6] [15]
4	Noureddine Belkhatir	[1]
5	Eric Cariou	[8] [9] [11] [12] [13]
6	Faïza Dammak	[2]
7	Walid Gaaloul	[7] [8] [9] [10] [11] [13] [14] [16]
8	Jean-Pierre Giraudin	[1] [2] [3]
9	Mohamed Graiet	[1] [2] [3] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
10	Abdelmajid Ben Hamadou	[3]
11	Lazhar Hamel	[10] [14]
12	Mourad Kmimech	[6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
13	Soumaya Louhichi	[9] [13]
14	Raoudha Maraoui	[7] [8] [12] [16]
15	Amel Mhamdi	[8] [12]
16	Jeanine Souquières	[4] [5]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page