UML Model Verification Through Diagram Dependency Relationships. - Mouez Ali; Hanêne Ben-Abdallah; Faïez Gargouri (ICEIS (3), 2004)

Validation des Besoins dans les Modèles UML2.0. - Mouez Ali; Hanêne Ben-Abdallah; Faïez Gargouri (INFORSID, 2006)

Verification of the Consistency between Use Case and Activity Diagrams - A Step Towards Validation of User Requirements. - Sana Oueslati Ben Amor; Mouez Ali; Faïez Gargouri (ICEIS (3), 2011)

F-RT-ETM: Toward Analysis and Formalizing Real Time Transaction and Data in Real-Time Database. - Mourad Kaddes; Majed Abdouli; Laurent Amanton; Mouez Ali; Rafik Bouaziz; Bruno Sadeg (MEDI, 2011)

RT-ETM: Toward Analysis and Formalizing Transaction and Data Models in Realtime Databases. - Mourad Kaddes; Laurent Amanton; Bruno Sadeg; Mouez Ali; Majed Abdouli; Rafik Bouaziz (Int. J. Web Appl., 2011)

Automatic approach for generating ETL operators - Wided Bakari; Mouez Ali; Hanêne Ben-Abdallah (CoRR, 2012)

P-UML - A Pattern Design Language with a Formal Semantics. - Nadia Bouassida; Hanêne Ben-Abdallah; Mouez Ali (ICEIS (2), 2013)