Modeling and verifying clustering properties in a vehicular ad hoc network protocol with Event-B
Sondi, Patrick, Abbassi, Imed, Ramat, Eric, Chebbi, Emna, Graiet, Mohamed
Published in Scientific reports (02.09.2021)
Published in Scientific reports (02.09.2021)
Get full text
Journal Article
A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration
Abbassi, Imed, Mammar, Amel, Graiet, Mohamed
Published in IEEE transactions on services computing (01.09.2022)
Published in IEEE transactions on services computing (01.09.2022)
Get full text
Journal Article
Safety of laparoscopic cholecystectomy for cholecystitis during pregnancy
Itaimi, Ahmed, Abbassi, Imed, Baraket, Oussama, Kotti, Ahmed, Triki, Wissem, Bouchoucha, Sami
Published in Gynecology and minimally invasive therapy (01.07.2023)
Published in Gynecology and minimally invasive therapy (01.07.2023)
Get full text
Journal Article
Right Colon Clear Cell Carcinoma of Müllerian Type
Khefacha, Fahd, Triki, Wissem, Ayed, Karim, Abbassi, Imed, Baccar, Abdelmajid, Baraket, Oussema, Bouchoucha, Sami
Published in Case reports in gastroenterology (19.08.2022)
Published in Case reports in gastroenterology (19.08.2022)
Get full text
Journal Article
Case Report: Caecal volvulus management from diagnosis to treatment in a young patient [version 1; peer review: 2 approved, 1 approved with reservations]
Abbassi, Imed, Triki, Wissem, Trigui, Racem, Itaimi, Ahmed, Ayed, Karim, Sebri, Hajer, Baraket, Oussema, Bouchoucha, Sami
Published in F1000 research (2022)
Published in F1000 research (2022)
Get full text
Journal Article
Case Report: Caecal volvulus management from diagnosis to treatment in a young patient [version 2; peer review: 2 approved, 1 approved with reservations]
Abbassi, Imed, Triki, Wissem, Trigui, Racem, Ben Salah, Ramy, Itaimi, Ahmed, Ayed, Karim, Sebri, Hajer, Baraket, Oussema, Bouchoucha, Sami
Published in F1000 research (2022)
Published in F1000 research (2022)
Get full text
Journal Article
An Automatic Configuration Algorithm for Reliable and Efficient Composite Services
Imed, Abbassi, Graiet, Mohamed
Published in IEEE eTransactions on network and service management (01.03.2018)
Published in IEEE eTransactions on network and service management (01.03.2018)
Get full text
Journal Article
Towards correct cloud resource allocation in FOSS applications
Jlassi, Sindyana, Mammar, Amel, Abbassi, Imed, Graiet, Mohamed
Published in Future generation computer systems (01.02.2019)
Published in Future generation computer systems (01.02.2019)
Get full text
Journal Article
A genetic-based requirements-aware approach for reliable IoT applications in the Fog
Chouat, Houda, Abbassi, Imed, Graiet, Mohamed
Published in 2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (01.10.2021)
Published in 2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (01.10.2021)
Get full text
Conference Proceeding
A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition
Graiet, Mohamed, Abbassi, Imed, Kmimech, Mourad, Gaaloul, Walid
Published in IEEE systems journal (01.06.2018)
Published in IEEE systems journal (01.06.2018)
Get full text
Journal Article
Fournier’s Gangrene: validation of the severity index
Itaimi, Ahmed, Triki, Wissem, Abbassi, Imed, Ayed, Karim, Baraket, Oussama, Bouchoucha, Sami
Published in Tunisie Medicale (01.02.2022)
Get full text
Published in Tunisie Medicale (01.02.2022)
Journal Article
Appendiceal duplication: a new case
Triki, Wissem, Itaimi, Ahmed, Abbassi, Imed, Baraket, Oussama, Bouchoucha, Sami
Published in Tunisie Medicale (01.04.2017)
Get more information
Published in Tunisie Medicale (01.04.2017)
Journal Article
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B
Abbassi, Imed, Kmimech, Mourad, Ben Hadj Alouane, Nejib, Gaaloul, Walid
Published in 2014 IEEE 23rd International WETICE Conference (01.06.2014)
Published in 2014 IEEE 23rd International WETICE Conference (01.06.2014)
Get full text
Conference Proceeding
Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach
Abbassi, Imed, Graiet, Mohamed, Ben Hadj Alouane, Nejib
Published in 2014 IEEE 23rd International WETICE Conference (01.06.2014)
Published in 2014 IEEE 23rd International WETICE Conference (01.06.2014)
Get full text
Conference Proceeding