Taoufik Sakka Rouis

15 papers C 8Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
A correct-by-construction approach for development of reliable planning problems.
J. Log. Comput.
Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri
2022 — conf
Automatic Processing of Planning Problems: Application on Representative Case Studies.
ICCCI (CCIS Volume)
Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul
2020 J jnl
An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components.
IEEE Syst. J.
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
2018 C conf
A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures.
PDCAT
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
2018 J jnl
A contractual approach for the verification of UML2.0 software architectures.
Int. J. Comput. Appl. Technol.
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
2017 C conf
Behavioral Verification of Service Component Architecture.
WETICE
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
2017 C conf
Towards a Formal Verification Approach for Service Component Architecture.
SoMeT
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
2017 — conf
Towards a formal approach for the verification of SCA/BPEL software architectures.
IISA
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
2017 C conf
UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components.
ISDA
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
2017 C conf
Wr2Fdr Tool Maintenance for Models Checking.
SoMeT
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
2016 — conf
Behavioral Verification of UML2.0 Software Architecture.
SKG
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech
2016 C conf
Behavioral Verification of UML2.0/PoSM Components.
SoMeT
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech
2016 C conf
UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures.
WETICE
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
2015 — conf
Towards a Practical Approach to Check Service Component Architecture.
SKG
Imen Haddad, Mourad Kmimech, Taoufik Sakka Rouis, Mohamed Tahar Bhiri
2013 C conf
Checking Non-functional Properties of UML2.0 Components Assembly.
WETICE
Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech