Taoufik Sakka Rouis

Behavioral Verification of UML2.0/PoSM Components

Mohamed Tahar Bhiri, Mourad Kmimech, Taoufik Sakka Rouis, 2016, SoMeT.

UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components

Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman, 2017, ISDA.

Behavioral Verification of Service Component Architecture

Mohamed Tahar Bhiri, Mourad Kmimech, Badran Raddaoui, 2017, 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

Towards a formal approach for the verification of SCA/BPEL software architectures

Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman, 2017, IISA.

Towards a Formal Verification Approach for Service Component Architecture

Mohamed Tahar Bhiri, Mourad Kmimech, Badran Raddaoui, 2017, SoMeT.

An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components

Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman, 2020, IEEE Systems Journal.

Wr2Fdr Tool Maintenance for Models Checking

Mohamed Tahar Bhiri, Mourad Kmimech, Taoufik Sakka Rouis, 2017, SoMeT.

Towards a Practical Approach to Check Service Component Architecture

Mohamed Tahar Bhiri, Mourad Kmimech, Taoufik Sakka Rouis, 2015, 2015 11th International Conference on Semantics, Knowledge and Grids (SKG).

A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures

Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman, 2018, PDCAT.

Checking Non-functional Properties of UML2.0 Components Assembly

Mohamed Tahar Bhiri, Mourad Kmimech, Taoufik Sakka Rouis, 2013, WETICE.

A contractual approach for the verification of UML2.0 software architectures

Mohamed Tahar Bhiri, Mourad Kmimech, Taoufik Sakka Rouis, 2018, Int. J. Comput. Appl. Technol..