الرئيسية › دليل الباحثين › Riadh Ben Halima

Riadh Ben Halima

الانتماء : University of Sfax · Laboratoire d'Analyse et d'Architecture des Systèmes

• 49منشورات (انتماء تونسي)
• 72مجموع المنشورات
• 421الاستشهادات
• 10مؤشر h

ORCIDOpenAlex

مجالات البحث

• Advanced Software Engineering Methodologies
• Service-Oriented Architecture and Web Services
• Software System Performance and Reliability
• Model-Driven Software Engineering Techniques
• Cloud Computing and Resource Management

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

• Blockchain Implementation for Sustainable and Transparent Fisheries
  2025 · Lecture notes in networks and systems
• PreSA: an intelligent blockchain-based platform for monitoring and predicting water quality for smart aquaculture
  2024 · Neural Computing and Applications · استُشهد به 8 مرة
• Smart Maritime Surveillance: Leveraging YOLO Detection and Blockchain traceability for Vessel Monitoring
  2024 · Journal of Information assurance and security · استُشهد به 5 مرة
• Embedded decision support platform based on multi-agent systems
  2023 · Multimedia Tools and Applications · استُشهد به 11 مرة
• MAPE-K patterns for self-adaptation in cyber-physical systems
  2022 · The Journal of Supercomputing · استُشهد به 17 مرة
• An Estimation Approach to Optimize Energy Consumption in Wireless Sensor Network: A Health-Care Application
  2022 · Vietnam Journal of Computer Science · استُشهد به 3 مرة
• Modeling Autonomic Systems
  2022 · International Journal of Software Innovation
• Future internet services and applications
  2022 · Concurrency and Computation Practice and Experience
• Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems
  2021 · Innovations in Systems and Software Engineering · استُشهد به 1 مرة
• Track report of Future Internet Services and Applications (FISA’2020)
  2020 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · استُشهد به 1 مرة
• Formal Verification approaches of Self-adaptive Systems: A Survey
  2019 · Procedia Computer Science · استُشهد به 14 مرة
• Translation of UML Models for Self-adaptive Systems into Event-B Specifications
  2019 · Advances in intelligent systems and computing · استُشهد به 3 مرة
• Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns
  2018 · International Journal of Computer Applications in Technology · استُشهد به 7 مرة
• Designing Compound MAPE Patterns for Self-adaptive Systems
  2018 · Advances in intelligent systems and computing · استُشهد به 6 مرة
• Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns
  2018 · International Journal of Computer Applications in Technology · استُشهد به 4 مرة
• Formalizing compound MAPE patterns for decentralized control in self-adaptive systems
  2018 · International Conference on Research Challenges in Information Science (RCIS) · استُشهد به 2 مرة
• Ontology-Based Decision Support System for Enterprise Interoperability
  2018 · Lecture notes in computer science
• Design and timed verification of self-adaptive systems
  2017 · IEEE/ACIS International Conference on Computer and Information Science (ICIS) · استُشهد به 3 مرة
• A semantic-based representation and analysis of monitoring data for self-adaptive systems
  2017 · International Journal of Autonomic Computing
• A semantic-based representation and analysis of monitoring data for self-adaptive systems
  2017 · International Journal of Autonomic Computing
• A correct by construction approach for modeling and formalizing self-adaptive systems
  2016 · ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) · استُشهد به 10 مرة
• Reactive performance monitoring of Cloud computing environments
  2016 · Cluster Computing · استُشهد به 9 مرة
• Modeling and verifying self-adaptive systems: A refinement approach
  2016 · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics · استُشهد به 7 مرة
• Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing
  2016 · International Journal of Autonomous and Adaptive Communications Systems · استُشهد به 5 مرة
• OoDAAS
  2016 · International Conference on Internet of Things, Data and Cloud Computing (ICC) · استُشهد به 2 مرة
• Track Report of Future Internet Services and Applications (FISA'2016)
  2016 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
• D-CEP4CMA: a dynamic architecture for cloud performance monitoring and analysis via complex event processing
  2014 · International Journal of Big Data Intelligence · استُشهد به 8 مرة
• Energy Saving in WSN Using Monitoring Values Prediction
  2014 · Procedia Computer Science · استُشهد به 8 مرة
• CEP4Cloud: Complex Event Processing for Self-Healing Clouds
  2014 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · استُشهد به 6 مرة
• CEP4CMA: Multi-layer Cloud Performance Monitoring and Analysis via Complex Event Processing
  2014 · Lecture notes in computer science · استُشهد به 4 مرة
• Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014)
  2014 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
• A Dynamic Complex Event Processing Architecture for Cloud Monitoring and Analysis
  2013 · IEEE International Conference on Cloud Computing Technology and Science · استُشهد به 15 مرة
• A QoS-driven Self-Adaptive Architecture for Wireless Sensor Networks
  2013 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · استُشهد به 10 مرة
• Surveying Collaborative and Content Management Platforms for Enterprise
  2013 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · استُشهد به 6 مرة
• DRAAS: Dynamically Reconfigurable Architecture for Autonomic Services
  2013 · Springer eBooks · استُشهد به 3 مرة
• A model driven methodology for enabling autonomic reconfiguration of service oriented architecture
  2013 · ACM Symposium on Applied Computing · استُشهد به 1 مرة
• PROMASC Track Report
  2013 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
• DRF4SOA: A Dynamic Reconfigurable Framework for Designing Autonomic Application Based on SOA
  2012 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · استُشهد به 5 مرة
• A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures
  2012 · Lecture notes in computer science · استُشهد به 1 مرة
• A Comparative Study of the Current Cloud Computing Technologies and Offers
  2011 · IEEE Symposium on Network Cloud Computing and Applications (NCCA) · استُشهد به 69 مرة
• AOP4CSM: An Aspect-Oriented Programming Approach for Cloud Service Monitoring
  2011 · IEEE International Conference on Computer and Information Technology (CIT) · استُشهد به 20 مرة
• A large‐scale monitoring and measurement campaign for web services‐based applications
  2010 · Concurrency and Computation Practice and Experience · استُشهد به 9 مرة
• A Runtime Performance Analysis for Web Service-Based Applications
  2010 · Lecture notes in computer science · استُشهد به 2 مرة
• Experiments results and large scale measurement data for web services performance assessment
  2009 · IEEE Symposium on Computers and Communications (ISCC) · استُشهد به 3 مرة
• A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services
  2008 · IEEE International Conference on Web Services (ICWS) · استُشهد به 55 مرة
• Providing Predictive Self-Healing for Web Services: A QoS Monitoring and Analysis-based Approach
  2008 · استُشهد به 29 مرة
• Non-intrusive QoS monitoring and analysis for self-healing web services
  2008 · International Conference on the Applications of Digital Information and Web Technologies (ICADIWT) · استُشهد به 15 مرة
• A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties
  2007 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · استُشهد به 19 مرة
• Graphical simulation of the dynamic evolution of the software architectures specified in Z
  2006 · International Workshop on Principles of Software Evolution

مجلات النشر

• IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) × 9
• Lecture notes in computer science × 4
• Concurrency and Computation Practice and Experience × 2
• Procedia Computer Science × 2
• Advances in intelligent systems and computing × 2
• International Journal of Computer Applications in Technology × 2

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

• 20251
• 20242
• 20231
• 20224
• 20211
• 20201
• 20192
• 20185
• 20173
• 20166

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

المؤسسات الشريكة : Université de Toulouse · Centre National de la Recherche Scientifique · Université Toulouse III - Paul Sabatier · Digital Research Centre of Sfax · Philipps University of Marburg

بلدان المؤلفين المشاركين : فرنسا · ألمانيا

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

• Mohamed Jmaïel
• Marwa Hachicha
• Ahmed Hadj Kacem
• Afef Mdhaffar
• Ahmed Jemal
• Tarek Frikha
• Hatem Hadj Kacem
• Henda Ktait
• Emna Mezghani
• Lotfi Ezzeddini
• Jalel Ktari
• Ismael Bouassida Rodriguez

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