Modeling and verifying clustering properties in a vehicular ad hoc network protocol with Event-B von Sondi, Patrick, Abbassi, Imed, Ramat, Eric, Chebbi, Emna, Graiet, Mohamed

Volltext

A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration von Abbassi, Imed, Mammar, Amel, Graiet, Mohamed

Volltext

Safety of laparoscopic cholecystectomy for cholecystitis during pregnancy von Itaimi, Ahmed, Abbassi, Imed, Baraket, Oussama, Kotti, Ahmed, Triki, Wissem, Bouchoucha, Sami

Volltext

Case Report: Caecal volvulus management from diagnosis to treatment in a young patient [version 1; peer review: 2 approved, 1 approved with reservations] von Abbassi, Imed, Triki, Wissem, Trigui, Racem, Itaimi, Ahmed, Ayed, Karim, Sebri, Hajer, Baraket, Oussema, Bouchoucha, Sami

Volltext

Right Colon Clear Cell Carcinoma of Müllerian Type von Khefacha, Fahd, Triki, Wissem, Ayed, Karim, Abbassi, Imed, Baccar, Abdelmajid, Baraket, Oussema, Bouchoucha, Sami

Volltext

A giant renal hydatid cyst with pleural extension and epiploic localization management: A case report von Trigui, Mohamed, Ayed, Karim, Triki, Wissem, Abbassi, Imed, Baraket, Oussema, Bouchoucha, Samy

Volltext

Solid-cystic pseudo papillary tumor of the pancreas discovered during presentation of acute appendicitis von Ahmed, Kotti, Wissem, Triki, Imed, Abbassi, Karim, Ayed, Imen, Ganzoui, Sami, Bouchoucha

Volltext

Case Report: Caecal volvulus management from diagnosis to treatment in a young patient [version 2; peer review: 2 approved, 1 approved with reservations] von Abbassi, Imed, Triki, Wissem, Trigui, Racem, Ben Salah, Ramy, Itaimi, Ahmed, Ayed, Karim, Sebri, Hajer, Baraket, Oussema, Bouchoucha, Sami

Volltext

An Automatic Configuration Algorithm for Reliable and Efficient Composite Services von Imed, Abbassi, Graiet, Mohamed

Volltext

Adaptive configuration of IoT applications in the fog infrastructure von Chouat, Houda, Abbassi, Imed, Graiet, Mohamed, Südholt, Mario

Volltext

Towards correct cloud resource allocation in FOSS applications von Jlassi, Sindyana, Mammar, Amel, Abbassi, Imed, Graiet, Mohamed

Volltext

Intrusion detection systems for the internet of things: a probabilistic anomaly detection approach von Bali, Nadia, Jaoua, Zied, Bzeouich, Olfa, Abbassi, Imed

Volltext

A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition von Graiet, Mohamed, Abbassi, Imed, Kmimech, Mourad, Gaaloul, Walid

Volltext

Fournier’s Gangrene: validation of the severity index von Itaimi, Ahmed, Triki, Wissem, Abbassi, Imed, Ayed, Karim, Baraket, Oussama, Bouchoucha, Sami

Volltext

Appendiceal duplication: a new case von Triki, Wissem, Itaimi, Ahmed, Abbassi, Imed, Baraket, Oussama, Bouchoucha, Sami

Volltext

A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud von Abbassi, Imed, Graiet, Mohamed, Jlassi, Sindyana, Elkhalfa, Abir, Sliman, Layth

Volltext

Genetic-Based Approach for ATS and SLA-aware Web Services Composition von Abbassi, Imed, Graiet, Mohamed, Gaaloul, Walid, Hadj-Alouane, Nejib Ben

Volltext

Right Colon Clear Cell Carcinoma of Müllerian Type von Khefacha, Fahd, Triki, Wissem, Ayed, Karim, Abbassi, Imed, Baccar, Abdelmajid, Baraket, Oussema, Bouchoucha, Sami

Volltext

A giant renal hydatid cyst with pleural extension and epiploic localization management: A case report von Trigui, Mohamed, Ayed, Karim, Triki, Wissem, Abbassi, Imed, Baraket, Oussema, Bouchoucha, Samy

Volltext

Case Report: Caecal volvulus management from diagnosis to treatment in a young patient von Abbassi, Imed, Triki, Wissem, Trigui, Racem, Ben Salah, Ramy, Itaimi, Ahmed, Ayed, Karim, Sebri, Hajer, Baraket, Oussema, Bouchoucha, Sami

Volltext