Kmimech Mourad

Behavioral Verification of UML2.0 Software Architecture

Mohamed Tahar Bhiri, Sakka Rouis Taoufik, Bhiri Mohamed Tahar, 2016, SKG.

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

Sakka Rouis Taoufik, Bhiri Mohamed Tahar, Kmimech Mourad, 2017, 2017 8th International Conference on Information, Intelligence, Systems & Applications (IISA).

Checking Non-functional Properties of UML2.0 Components Assembly

Sakka Rouis Taoufik, Bhiri Mohamed Tahar, Kmimech Mourad, 2013, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.

UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures

Mohamed Tahar Bhiri, Sakka Rouis Taoufik, Bhiri Mohamed Tahar, 2016, WETICE.

Mapping SCDL/BPEL to ADA for Formal Verification of the Behavioral Properties of Service-Component Architecture

Sakka Rouis Taoufik, Bhiri Mohamed Tahar, Kmimech Mourad, 2018 .