| 2022 | ICCCI | Automatic Processing of Planning Problems: Application on Representative Case Studies. | Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul |
| 2018 | PDCAT | 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 |
| 2017 | ISDA | UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components. | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman |
| 2017 | WETICE | Behavioral Verification of Service Component Architecture. | Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui |
| 2017 | SoMeT | Towards a Formal Verification Approach for Service Component Architecture. | Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui |
| 2017 | SoMeT | Wr2Fdr Tool Maintenance for Models Checking. | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa |
| 2016 | WETICE | UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures. | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa |
| 2016 | SoMeT | Behavioral Verification of UML2.0/PoSM Components. | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech |
| 2013 | WETICE | Checking Non-functional Properties of UML2.0 Components Assembly. | Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech |