 | 2012 |
| 13 |  | 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 |
| 12 |  | Mohamed Tahar Bhiri,
Mourad Kmimech,
Mohamed Graiet,
Philippe Aniorté:
UML/OCL and Refinement.
ECBS 2011: 149-158 |
| 11 |  | Lazhar Hamel,
Mohamed Graiet,
Mourad Kmimech,
Mohamed Tahar Bhiri,
Walid Gaaloul:
Verifying Composite Service Transactional Behavior with EVENT-B.
ECSA 2011: 67-74 |
| 10 |  | 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 |
| 9 |  | 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 |
| 8 |  | 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 |
| 7 |  | Lazhar Hamel,
Mohamed Graiet,
Mourad Kmimech,
Mohamed Tahar Bhiri,
Walid Gaaloul:
Verifying Composite Service Transactional Behavior with EVENT-B.
SKG 2011: 99-106 |
| 6 |  | 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 |
| 5 |  | 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 |
| 4 |  | 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 |
| 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 |