Home › Researcher directory › Imed Abbassi
Imed Abbassi
Affiliation : University of Monastir · Institut Supérieur d'Informatique et de Mathématiques de Monastir · Tunis El Manar University
- 23Publications (affiliation in Tunisia)
- 27Total publications
- 117Citations
- 7h-index
Research profile
Imed Abbassi has 23 indexed publications (2013–2026). Their work appears mainly in “Lecture notes in computer science”, “IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)” and “IEEE International Conference on Web Services (ICWS)”. Their most cited article, “Towards correct cloud resource allocation in FOSS applications” (2018), has been cited 16 times. 4 of these publications date from the last three years of activity. Their work is co-authored with at least 12 researchers, including institutions in France, Saudi Arabia.
Is this you? Get your research seen
Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.
Create my free profile Add my publicationsResearch areas
- Service-Oriented Architecture and Web Services
- Formal Methods in Verification
- Advanced Software Engineering Methodologies
- Distributed systems and fault tolerance
- Business Process Modeling and Analysis
Publications (23)
- Verifying Security Requirements of Fog Services Communication with Event-B
- Verifying RAFT-based Consensus Distributed Systems with Event-B
- A Correct-by-Construction Model for Verifying Cloud Deployment Requirements of FOSS Applications
- Intrusion detection systems for the internet of things: a probabilistic anomaly detection approach
- Adaptive configuration of IoT applications in the fog infrastructure
- ITS Traffic Violation Regulation Based on Blockchain Smart Contracts
- Modeling and verifying clustering properties in a vehicular ad hoc network protocol with Event-B
- A genetic-based requirements-aware approach for reliable IoT applications in the Fog
- A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration
- On the Verification of Data Encryption Requirements in Internet of Things Using Event-B
- Une approche formelle centrée exigences de composition de services Web
- Towards correct cloud resource allocation in FOSS applications
- An Automatic Configuration Algorithm for Reliable and Efficient Composite Services
- A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud
- A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition
- Genetic-Based Approach for ATS and SLA-aware Web Services Composition
- Formal Behavioral Modeling for Verifying SCA Composition with Event-B
- A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B
- A Formal Approach for Ensuring a Correct Reconfigurable Composite Service
- A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions
- Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B
- Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach
- Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior
Publication venues
- Lecture notes in computer science × 3
- IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) × 3
- IEEE International Conference on Web Services (ICWS) × 3
- Zenodo (CERN European Organization for Nuclear Research) × 2
- IEEE International Conference on Services Computing × 2
- International Journal of Computers and Applications × 1
Publications per year
- 20263
- 20241
- 20231
- 20221
- 20213
- 20192
- 20181
- 20172
- 20161
- 20154
Collaborations
Partner institutions : Télécom SudParis · University of Sousse · Centre National de la Recherche Scientifique · Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux · University of Sfax
Co-authors’ countries : France · Saudi Arabia
Co-authors
- Mohamed Graïet
- Nejib Ben Hadj-Alouane
- Mourad Kmimech
- Sindyana Jlassi
- Lazhar Hamel
- Houda Chouat
- Samia Ben Ismail
- Ines Jday
- Marwa Aloui
- Olfa Bzeouich
- Hédi Hamdi
- Aida Lahouij
Bibliographic data from OpenAlex (open database).
Why choose Dzcademia?
Profiles, articles and conference contributions: give your research a structured public presence. Integrated metadata help search engines and AI assistants identify your work and understand its references.
Comment with Google
Sign in with Google to comment directly on this page.