Accueil › Annuaire des chercheurs › 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 tunisienne)
- 27Publications au total
- 117Citations
- 7Indice h
Profil de recherche
Imed Abbassi compte 23 publications référencées (2013–2026). Ses travaux paraissent principalement dans « Lecture notes in computer science », « IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) » et « IEEE International Conference on Web Services (ICWS) ». Son article le plus cité, « Towards correct cloud resource allocation in FOSS applications » (2018), a été cité 16 fois. 4 de ces publications datent des trois dernières années d’activité. Ses travaux sont cosignés avec au moins 12 chercheurs, notamment dans des établissements de France, Arabie saoudite.
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- 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
Revues de publication
- 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 par année
- 20263
- 20241
- 20231
- 20221
- 20213
- 20192
- 20181
- 20172
- 20161
- 20154
Collaborations
Établissements partenaires : 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
Pays des co-auteurs : France · Arabie saoudite
Co-auteurs
- 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
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.