Taoufik Sakka Rouis

According to our database, Taoufik Sakka Rouis authored at least 14 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Automatic Processing of Planning Problems: Application on Representative Case Studies.

Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul

Proceedings of the Advances in Computational Collective Intelligence, 2022

2020

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

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

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

Proceedings of the Parallel and Distributed Computing, 2018

2017

Behavioral Verification of Service Component Architecture.

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Wr2Fdr Tool Maintenance for Models Checking.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

Towards a Formal Verification Approach for Service Component Architecture.

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

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

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman

Proceedings of the Intelligent Systems Design and Applications, 2017

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

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech

Proceedings of the 8th International Conference on Information, 2017

2016

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

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Behavioral Verification of UML2.0/PoSM Components.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

Behavioral Verification of UML2.0 Software Architecture.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech

Proceedings of the 12th International Conference on Semantics, Knowledge and Grids, 2016

2015

Towards a Practical Approach to Check Service Component Architecture.

Imen Haddad, Mourad Kmimech, Taoufik Sakka Rouis, Mohamed Tahar Bhiri

Proceedings of the 11th International Conference on Semantics, Knowledge and Grids, 2015

2013

Checking Non-functional Properties of UML2.0 Components Assembly.

Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013