Imed Abbassi

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