Checking Non-functional Properties of UML2.0 Components Assembly. - Mohamed Tahar Bhiri; Taoufik Sakka Rouis; Mourad Kmimech (WETICE, 2013)

Towards a Practical Approach to Check Service Component Architecture. - Imen Haddad; Mourad Kmimech; Taoufik Sakka Rouis; Mohamed Tahar Bhiri (SKG, 2015)

Behavioral Verification of UML2.0 Software Architecture. - Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Mourad Kmimech (SKG, 2016)

Behavioral Verification of UML2.0/PoSM Components. - Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Mourad Kmimech (SoMeT, 2016)

UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures. - Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Mourad Kmimech; Faouzi Moussa (WETICE, 2016)

Towards a formal approach for the verification of SCA/BPEL software architectures. - Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Layth Sliman; Mourad Kmimech (IISA, 2017)

UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components. - Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Mourad Kmimech; Layth Sliman (ISDA, 2017)

Towards a Formal Verification Approach for Service Component Architecture. - Wael Chargui; Taoufik Sakka Rouis; Mourad Kmimech; Mohamed Tahar Bhiri; Layth Sliman; Badran Raddaoui (SoMeT, 2017)

Wr2Fdr Tool Maintenance for Models Checking. - Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Mourad Kmimech; Faouzi Moussa (SoMeT, 2017)

Behavioral Verification of Service Component Architecture. - Wael Chargui; Taoufik Sakka Rouis; Mourad Kmimech; Mohamed Tahar Bhiri; Layth Sliman; Badran Raddaoui (WETICE, 2017)

A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures. - Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Mourad Kmimech; Layth Sliman (PDCAT, 2018)

A contractual approach for the verification of UML2.0 software architectures. - Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Mourad Kmimech; Faouzi Moussa (Int. J. Comput. Appl. Technol., 2018)

An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components. - Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Layth Sliman; Mourad Kmimech (IEEE Syst. J., 2020)

Automatic Processing of Planning Problems: Application on Representative Case Studies. - Sabrine Ammar; Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Walid Gaaloul (ICCCI (CCIS Volume), 2022)

A correct-by-construction approach for development of reliable planning problems. - Sabrine Ammar; Taoufik Sakka Rouis; Mohamed Tahar Bhiri (J. Log. Comput., 2025)