Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mohamed Tahar Bhiri
2010 – today
- 2012
[j5]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)- [j4]Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet: Transformation exogène de Wright vers Ada. Technique et Science Informatiques 31(7): 839-868 (2012)
- [c13]Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri: Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. Business Process Management Workshops 2012: 513-518
- 2011
- [c12]Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté: UML/OCL and Refinement. ECBS 2011: 149-158
- [c11]Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. ECSA 2011: 67-74
- [c10]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
- [c9]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
- [c8]Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. SKG 2011: 99-106
- [c7]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
- [c6]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
- [c5]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
- 2010
- [c4]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
2000 – 2009
- 2009
- [c3]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
- [j3]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)
- [j2]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)
- [j1]Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières: Incremental development of UML specifications using operation refinements. ISSE 4(3): 259-266 (2008)
- 2006
- [c2]Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin: Adaptation d'UML2.0 à l'ADL Wright. CAL 2006: 83-100
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-30 21:02 CET by the dblp team