الرئيسية › دليل الباحثين › Imed Abbassi

Imed Abbassi

الانتماء : University of Monastir · Institut Supérieur d'Informatique et de Mathématiques de Monastir · Tunis El Manar University

• 23منشورات (انتماء تونسي)
• 27مجموع المنشورات
• 117الاستشهادات
• 7مؤشر h

ORCIDOpenAlex

مجالات البحث

• Service-Oriented Architecture and Web Services
• Formal Methods in Verification
• Advanced Software Engineering Methodologies
• Distributed systems and fault tolerance
• Business Process Modeling and Analysis

المنشورات (23)

• Verifying Security Requirements of Fog Services Communication with Event-B
  2026 · Lecture notes in computer science
• Verifying RAFT-based Consensus Distributed Systems with Event-B
  2026 · Zenodo (CERN European Organization for Nuclear Research)
• A Correct-by-Construction Model for Verifying Cloud Deployment Requirements of FOSS Applications
  2026 · Zenodo (CERN European Organization for Nuclear Research)
• Intrusion detection systems for the internet of things: a probabilistic anomaly detection approach
  2024 · International Journal of Computers and Applications
• Adaptive configuration of IoT applications in the fog infrastructure
  2023 · Computing · استُشهد به 9 مرة
• ITS Traffic Violation Regulation Based on Blockchain Smart Contracts
  2022 · Communications in computer and information science
• Modeling and verifying clustering properties in a vehicular ad hoc network protocol with Event-B
  2021 · Scientific Reports · استُشهد به 7 مرة
• A genetic-based requirements-aware approach for reliable IoT applications in the Fog
  2021 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · استُشهد به 1 مرة
• A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration
  2021 · IEEE Transactions on Services Computing
• On the Verification of Data Encryption Requirements in Internet of Things Using Event-B
  2019 · Lecture notes in business information processing · استُشهد به 2 مرة
• Une approche formelle centrée exigences de composition de services Web
  2019 · Tunisian Scientific and Technical Information Portal
• Towards correct cloud resource allocation in FOSS applications
  2018 · Future Generation Computer Systems · استُشهد به 16 مرة
• An Automatic Configuration Algorithm for Reliable and Efficient Composite Services
  2017 · IEEE Transactions on Network and Service Management · استُشهد به 15 مرة
• A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud
  2017 · Lecture notes in computer science · استُشهد به 4 مرة
• A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition
  2016 · IEEE Systems Journal · استُشهد به 8 مرة
• Genetic-Based Approach for ATS and SLA-aware Web Services Composition
  2015 · Lecture notes in computer science · استُشهد به 9 مرة
• Formal Behavioral Modeling for Verifying SCA Composition with Event-B
  2015 · IEEE International Conference on Web Services (ICWS) · استُشهد به 6 مرة
• A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B
  2015 · IEEE International Conference on Web Services (ICWS) · استُشهد به 3 مرة
• A Formal Approach for Ensuring a Correct Reconfigurable Composite Service
  2015 · IEEE International Conference on Services Computing
• A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions
  2014 · IEEE International Conference on Services Computing · استُشهد به 6 مرة
• Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B
  2014 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · استُشهد به 5 مرة
• Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach
  2014 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · استُشهد به 2 مرة
• Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior
  2013 · IEEE International Conference on Web Services (ICWS) · استُشهد به 14 مرة

مجلات النشر

• 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

المنشورات حسب السنة

• 20263
• 20241
• 20231
• 20221
• 20213
• 20192
• 20181
• 20172
• 20161
• 20154

التعاون العلمي

المؤسسات الشريكة : 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

بلدان المؤلفين المشاركين : فرنسا · السعودية

المؤلفون المشاركون

• 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

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).