Patrons transactionnels dynamiques pour des services composés fiables et flexibles. - Imed Abbassi; Mohamed Graiet; Eric Cariou; Zied Jaoua (CAL, 2012)

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. - Mohamed Graiet; Imed Abbassi; Lazhar Hamel; Mohamed Tahar Bhiri; Mourad Kmimech; Walid Gaaloul (ICWS, 2013)

A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. - Imed Abbassi; Mohamed Graiet; Walid Gaaloul; Nejib Ben Hadj-Alouane (IEEE SCC, 2014)

Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. - Imed Abbassi; Mohamed Graiet; Nejib Ben Hadj-Alouane (WETICE, 2014)

Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. - Imed Abbassi; Mourad Kmimech; Nejib Ben Hadj-Alouane; Walid Gaaloul (WETICE, 2014)

A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. - Mohamed Graiet; Imed Abbassi; Raoudha Maraoui; Sindyana Jlassi; Lazhar Hamel (SCC, 2015)

A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. - Imed Abbassi; Mohamed Graiet; Souha Boubaker; Mourad Kmimech; Nejib Ben Hadj-Alouane (ICWS, 2015)

Formal Behavioral Modeling for Verifying SCA Composition with Event-B. - Mohamed Graiet; Aida Lahouij; Imed Abbassi; Lazhar Hamel; Mourad Kmimech (ICWS, 2015)

Genetic-Based Approach for ATS and SLA-aware Web Services Composition. - Imed Abbassi; Mohamed Graiet; Walid Gaaloul; Nejib Ben Hadj-Alouane (WISE (1), 2015)

A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud. - Imed Abbassi; Mohamed Graiet; Sindyana Jlassi; Abir Elkhalfa; Layth Sliman (OTM Conferences (1), 2017)

A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. - Mohamed Graiet; Imed Abbassi; Mourad Kmimech; Walid Gaaloul (IEEE Syst. J., 2018)

An Automatic Configuration Algorithm for Reliable and Efficient Composite Services. - Imed Abbassi; Mohamed Graiet (IEEE Trans. Netw. Serv. Manag., 2018)

On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. - Imed Abbassi; Layth Sliman; Mohamed Graiet; Walid Gaaloul (ICDEc, 2019)

Towards correct cloud resource allocation in FOSS applications. - Sindyana Jlassi; Amel Mammar; Imed Abbassi; Mohamed Graiet (Future Gener. Comput. Syst., 2019)

A genetic-based requirements-aware approach for reliable IoT applications in the Fog. - Houda Chouat; Imed Abbassi; Mohamed Graiet (WETICE, 2021)

ITS Traffic Violation Regulation Based on Blockchain Smart Contracts. - Nihed Yousfi; Mourad Kmimech; Imed Abbassi; Hédi Hamdi; Mohamed Graiet (ICCCI (CCIS Volume), 2022)

A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration. - Imed Abbassi; Amel Mammar; Mohamed Graiet (IEEE Trans. Serv. Comput., 2022)

Adaptive configuration of IoT applications in the fog infrastructure. - Houda Chouat; Imed Abbassi; Mohamed Graiet; Mario Südholt (Computing, 2023)