Imed Abbassi

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 9

Top Topics

Composite Services

Formal Language

Top Venues

IEEE Trans. Netw. Serv. Manag.

Publications

Houda Chouat, Imed Abbassi, Mohamed Graiet, Mario Südholt
Adaptive configuration of IoT applications in the fog infrastructure. Computing 105 (12) (2023)
Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hédi Hamdi, Mohamed Graiet
ITS Traffic Violation Regulation Based on Blockchain Smart Contracts. ICCCI (CCIS Volume) (2022)
Imed Abbassi, Amel Mammar, Mohamed Graiet
A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration. IEEE Trans. Serv. Comput. 15 (5) (2022)
Houda Chouat, Imed Abbassi, Mohamed Graiet
A genetic-based requirements-aware approach for reliable IoT applications in the Fog. WETICE (2021)
Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul
On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. ICDEc (2019)
Sindyana Jlassi, Amel Mammar, Imed Abbassi, Mohamed Graiet
Towards correct cloud resource allocation in FOSS applications. Future Gener. Comput. Syst. 91 (2019)
Imed Abbassi, Mohamed Graiet
An Automatic Configuration Algorithm for Reliable and Efficient Composite Services. IEEE Trans. Netw. Serv. Manag. 15 (1) (2018)
Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul
A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. IEEE Syst. J. 12 (2) (2018)
Imed Abbassi, Mohamed Graiet, Sindyana Jlassi, Abir Elkhalfa, Layth Sliman
A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud. OTM Conferences (1) (2017)
Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane
Genetic-Based Approach for ATS and SLA-aware Web Services Composition. WISE (1) (2015)
Mohamed Graiet, Imed Abbassi, Raoudha Maraoui, Sindyana Jlassi, Lazhar Hamel
A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. SCC (2015)
Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech
Formal Behavioral Modeling for Verifying SCA Composition with Event-B. ICWS (2015)
Imed Abbassi, Mohamed Graiet, Souha Boubaker, Mourad Kmimech, Nejib Ben Hadj-Alouane
A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. ICWS (2015)
Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. WETICE (2014)
Imed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane
Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. WETICE (2014)
Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. IEEE SCC (2014)
Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. ICWS (2013)
Imed Abbassi, Mohamed Graiet, Eric Cariou, Zied Jaoua
Patrons transactionnels dynamiques pour des services composés fiables et flexibles. CAL (2012)