Get started
Author

Imed Abbassi

Towards correct cloud resource allocation in FOSS applications
2018 · Sindyana Jlassi, Amel Mammar, et al. · Future Generation Computer Systems · 16
An Automatic Configuration Algorithm for Reliable and Efficient Composite Services
2017 · Abbassi Imed, Mohamed Graiet · IEEE Transactions on Network and Service Management · 15
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior
2013 · Mohamed Graiet, Imed Abbassi, et al. · IEEE International Conference on Web Services (ICWS) · 14
Adaptive configuration of IoT applications in the fog infrastructure
2023 · Houda Chouat, Imed Abbassi, et al. · Computing · 9
Genetic-Based Approach for ATS and SLA-aware Web Services Composition
2015 · Imed Abbassi, Mohamed Graiet, et al. · Lecture notes in computer science · 9
Case Report: Caecal volvulus management from diagnosis to treatment in a young patient
2022 · Imed Abbassi, Wissem Triki, et al. · F1000Research · 8
A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition
2016 · Mohamed Graiet, Imed Abbassi, et al. · IEEE Systems Journal · 8
Modeling and verifying clustering properties in a vehicular ad hoc network protocol with Event-B
2021 · Patrick Sondi, Imed Abbassi, et al. · Scientific Reports · 7
PDF
Formal Behavioral Modeling for Verifying SCA Composition with Event-B
2015 · Mohamed Graiet, Aida Lahouij, et al. · IEEE International Conference on Web Services (ICWS) · 6
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions
2014 · Imed Abbassi, Mohamed Graiet, et al. · IEEE International Conference on Services Computing · 6
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B
2014 · Imed Abbassi, Mourad Kmimech, et al. · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · 5
A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud
2017 · Imed Abbassi, Mohamed Graiet, et al. · Lecture notes in computer science · 4
A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B
2015 · Imed Abbassi, Mohamed Graiet, et al. · IEEE International Conference on Web Services (ICWS) · 3
An Event-b Driven Approach for Ensuring Reliable and Flexible Services Composition
2014 · Imed Abbassi, Mohamed Graiet, et al. · Services Transactions on Services Computing · 3
On the Verification of Data Encryption Requirements in Internet of Things Using Event-B
2019 · Imed Abbassi, Layth Sliman, et al. · Lecture notes in business information processing · 2
Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach
2014 · Imed Abbassi, Mohamed Graiet, et al. · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · 2
ITS Traffic Violation Regulation Based on Blockchain Smart Contracts
2022 · Nihed Yousfi, Mourad Kmimech, et al. · Communications in computer and information science · 1
A genetic-based requirements-aware approach for reliable IoT applications in the Fog
2021 · Houda Chouat, Imed Abbassi, et al. · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · 1
A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration
2021 · Imed Abbassi, Amel Mammar, et al. · IEEE Transactions on Services Computing · 1
A Correct-by-Construction Model for Verifying Cloud Deployment Requirements of FOSS Applications
2026 · IMED, ABBASSI, Ben Ismail, Samia, et al. · Zenodo (CERN European Organization for Nuclear Research)
Verifying RAFT-based Consensus Distributed Systems with Event-B
2026 · Jday, Ines, Abbassi, Imed, et al. · Zenodo (CERN European Organization for Nuclear Research)
Verifying Security Requirements of Fog Services Communication with Event-B
2026 · Samia Ben Ismail, Imed Abbassi, et al. · Lecture notes in computer science
Verifying RAFT-based Consensus Distributed Systems with Event-B
2026 · Ines Jday, Imed Abbassi, et al. · Procedia Computer Science
Intrusion detection systems for the internet of things: a probabilistic anomaly detection approach
2024 · Nadia Bali, Zied Jaoua, et al. · International Journal of Computers and Applications
Une approche formelle centrée exigences de composition de services Web
2019 · Abbassi, Imed, Ben Hadj Alouane, Nejib, et al. · Tunisian Scientific and Technical Information Portal
Works count: 28
Citation count: 120
H-index: 7
I10-index: 3
Year
Topic
Type