Imed Abbassi

According to our database, Imed Abbassi authored at least 18 papers between 2012 and 2023.

Collaborative distances:

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

2023

Adaptive configuration of IoT applications in the fog infrastructure.

Houda Chouat, Imed Abbassi, Mohamed Graiet, Mario Südholt

Computing, December, 2023

2022

A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration.

Imed Abbassi, Amel Mammar, Mohamed Graiet

IEEE Trans. Serv. Comput., 2022

ITS Traffic Violation Regulation Based on Blockchain Smart Contracts.

Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hédi Hamdi, Mohamed Graiet

Proceedings of the Advances in Computational Collective Intelligence, 2022

2021

A genetic-based requirements-aware approach for reliable IoT applications in the Fog.

Houda Chouat, Imed Abbassi, Mohamed Graiet

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

2019

Towards correct cloud resource allocation in FOSS applications.

Sindyana Jlassi, Amel Mammar, Imed Abbassi, Mohamed Graiet

Future Gener. Comput. Syst., 2019

On the Verification of Data Encryption Requirements in Internet of Things Using Event-B.

Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul

Proceedings of the Digital Economy. Emerging Technologies and Business Innovation, 2019

2018

An Automatic Configuration Algorithm for Reliable and Efficient Composite Services.

Imed Abbassi, Mohamed Graiet

IEEE Trans. Netw. Serv. Manag., 2018

A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition.

Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul

IEEE Syst. J., 2018

2017

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

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

2015

Genetic-Based Approach for ATS and SLA-aware Web Services Composition.

Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane

Proceedings of the Web Information Systems Engineering - WISE 2015, 2015

Formal Behavioral Modeling for Verifying SCA Composition with Event-B.

Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech

Proceedings of the 2015 IEEE International Conference on Web Services, 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

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

A Formal Approach for Ensuring a Correct Reconfigurable Composite Service.

Mohamed Graiet, Imed Abbassi, Raoudha Maraoui, Sindyana Jlassi, Lazhar Hamel

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B.

Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach.

Imed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions.

Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.

Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012

Patrons transactionnels dynamiques pour des services composés fiables et flexibles.

Imed Abbassi, Mohamed Graiet, Eric Cariou, Zied Jaoua

Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012