Riadh Ben Halima

49 papers A 1B 3C 14Misc 1Journal 13Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Service-Oriented Computing - ICSOC 2024 Workshops - ASOCA, AI-PA, WESOACS, GAISS, LAIS, AI on Edge, RTSEMS, SQS, SOCAISA, SOC4AI and Satellite Events, Tunis, Tunisia, December 3-6, 2024, Revised Selected Papers, Part I ICSOC Workshops (1) Slim Kallel, Claudia Raibulet, Ismael Bouassida Rodriguez, Noura Faci, Amel Bennaceur, Saoussen Cheikhrouhou, Leila Ben Ayed, Mohamed Sellami, Elisa Yumi Nakagawa, Riadh Ben Halima
2026	—	`ed.`	Service-Oriented Computing - ICSOC 2024 Workshops - ASOCA, AI-PA, WESOACS, GAISS, LAIS, AI on Edge, RTSEMS, SQS, SOCAISA, SOC4AI and Satellite Events, Tunis, Tunisia, December 3-6, 2024, Revised Selected Papers, Part II ICSOC Workshops (2) Slim Kallel, Claudia Raibulet, Ismael Bouassida Rodriguez, Noura Faci, Amel Bennaceur, Saoussen Cheikhrouhou, Leila Ben Ayed, Mohamed Sellami, Elisa Yumi Nakagawa, Riadh Ben Halima
2025	J	`jnl`	PreSA: an intelligent blockchain-based platform for monitoring and predicting water quality for smart aquaculture. Neural Comput. Appl. Marwa Hachicha, Riadh Ben Halima, Tarek Frikha
2023	J	`jnl`	Embedded decision support platform based on multi-agent systems. Multim. Tools Appl. Tarek Frikha, Faten Chaabane, Riadh Ben Halima, Walid Wannes, Habib Hamam
2023	J	`jnl`	Future internet services and applications. Concurr. Comput. Pract. Exp. Abderrahim Ait Wakrime, Mohamed Sellami, Riadh Ben Halima
2023	J	`jnl`	MAPE-K patterns for self-adaptation in cyber-physical systems. J. Supercomput. Riadh Ben Halima, Marwa Hachicha, Ahmed Jemal, Ahmed Hadj Kacem
2022	J	`jnl`	An Estimation Approach to Optimize Energy Consumption in Wireless Sensor Network: A Health-Care Application. Vietnam. J. Comput. Sci. Marwa Hachicha, Riadh Ben Halima, Ahmed Jemal
2022	J	`jnl`	Modeling Autonomic Systems: Review, Classification, and Research Challenges. Int. J. Softw. Innov. Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2022	J	`jnl`	Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems. Innov. Syst. Softw. Eng. Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2020	C	`conf`	Track report of Future Internet Services and Applications (FISA'2020). WETICE Abderrahim Ait Wakrime, Riadh Ben Halima, Mohamed Sellami
2019	B	`conf`	Formal Verification approaches of Self-adaptive Systems: A Survey. KES Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2018	B	`conf`	Formalizing compound MAPE patterns for decentralized control in self-adaptive systems. RCIS Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2018	J	`jnl`	Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns. Int. J. Comput. Appl. Technol. Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2018	—	`conf`	Translation of UML Models for Self-adaptive Systems into Event-B Specifications. ISDA (2) Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2017	J	`jnl`	A semantic-based representation and analysis of monitoring data for self-adaptive systems. Int. J. Auton. Comput. Ahmed Jemal, Riadh Ben Halima, Hend Ktait, Mohamed Jmaiel
2017	C	`conf`	Design and timed verification of self-adaptive systems. ICIS Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2017	C	`conf`	Designing Compound MAPE Patterns for Self-adaptive Systems. ISDA Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2017	—	`conf`	Ontology-Based Decision Support System for Enterprise Interoperability. OTM Workshops Mahdi Zouch, Wided Guédria, Riadh Ben Halima
2017	J	`jnl`	Reactive performance monitoring of Cloud computing environments. Clust. Comput. Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben
2016	C	`conf`	A correct by construction approach for modeling and formalizing self-adaptive systems. SNPD Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem
2016	B	`conf`	Modeling and verifying self-adaptive systems: A refinement approach. SMC Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem
2016	—	`conf`	OoDAAS: Ontology-Driven Analysis for Self-Adaptive Ambient Systems. ICC 2016 Ahmed Jemal, Hend Ktait, Riadh Ben Halima, Mohamed Jmaiel
2016	J	`jnl`	Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing. Int. J. Auton. Adapt. Commun. Syst. Alberto Calixto Simon, Saúl E. Pomares Hernández, Jose Roberto Perez Cruz, Riadh Ben Halima, Hatem Hadj Kacem
2016	C	`conf`	Track Report of Future Internet Services and Applications (FISA'2016). WETICE Riadh Ben Halima, Anderson Santana de Oliveira, Mohamed Sellami
2014	—	`conf`	CEP4CMA: Multi-layer Cloud Performance Monitoring and Analysis via Complex Event Processing. NETYS Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben
2014	C	`conf`	CEP4Cloud: Complex Event Processing for Self-Healing Clouds. WETICE Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben
2014	J	`jnl`	D-CEP4CMA: a dynamic architecture for cloud performance monitoring and analysis via complex event processing. Int. J. Big Data Intell. Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben
2014	—	`ch.`	DRAAS: Dynamically Reconfigurable Architecture for Autonomic Services. Web Services Foundations Emna Mezghani, Riadh Ben Halima, Khalil Drira
2014	—	`conf`	Energy Saving in WSN Using Monitoring Values Prediction. ANT/SEIT Ahmed Jemal, Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Khalil Drira, Mohamed Jmaiel
2014	C	`conf`	Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014). WETICE Hatem Hadj Kacem, Riadh Ben Halima, Samir Tata
2013	—	`conf`	A Dynamic Complex Event Processing Architecture for Cloud Monitoring and Analysis. CloudCom (2) Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben
2013	C	`conf`	A QoS-driven Self-Adaptive Architecture for Wireless Sensor Networks. WETICE Ahmed Jemal, Riadh Ben Halima
2013	Misc	`conf`	A model driven methodology for enabling autonomic reconfiguration of service oriented architecture. SAC Emna Mezghani, Riadh Ben Halima, Ismael Bouassida Rodriguez, Khalil Drira
2013	C	`conf`	PROMASC Track Report. WETICE Riadh Ben Halima, Hatem Hadj Kacem, Wajdi Louati
2013	C	`conf`	Surveying Collaborative and Content Management Platforms for Enterprise. WETICE Salsabil Dhouib, Riadh Ben Halima
2012	C	`conf`	DRF4SOA: A Dynamic Reconfigurable Framework for Designing Autonomic Application Based on SOA. WETICE Emna Mezghani, Riadh Ben Halima
2012	—	`conf`	Vers une architecture d'auto-réparation sur le Cloud Computing. CAL Faten Khemakhem, Riadh Ben Halima, Ahmed Hadj Kacem
2011	—	`conf`	A Comparative Study of the Current Cloud Computing Technologies and Offers. NCCA Meriam Mahjoub, Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel
2011	C	`conf`	AOP4CSM: An Aspect-Oriented Programming Approach for Cloud Service Monitoring. CIT Afef Mdhaffar, Riadh Ben Halima, Ernst Juhnke, Mohamed Jmaiel, Bernd Freisleben
2010	—	`conf`	A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures. BSME Ismael Bouassida Rodriguez, Riadh Ben Halima, Khalil Drira, Christophe Chassot, Mohamed Jmaiel
2010	—	`conf`	A Runtime Performance Analysis for Web Service-Based Applications. ICWE Workshops Afef Mdhaffar, Soumaya Marzouk, Riadh Ben Halima, Mohamed Jmaiel
2010	J	`jnl`	A large-scale monitoring and measurement campaign for web services-based applications. Concurr. Comput. Pract. Exp. Riadh Ben Halima, Emna Fki, Khalil Drira, Mohamed Jmaiel
2009	—	`—`	Conception, implantation et expérimentation d'une architecture en bus pour l'auto-réparation des applications distribuées à base de services Web. Riadh Ben Halima
2009	C	`conf`	Experiments results and large scale measurement data for web services performance assessment. ISCC Riadh Ben Halima, Emna Fki, Khalil Drira, Mohamed Jmaiel
2008	—	`conf`	A Framework for Monitoring and Runtime Recovery of Web Service-Based Applications. ICEIS (3-2) Renê Pegoraro, Riadh Ben Halima, Khalil Drira, Karim Guennoun, João Maurício Rosário
2008	A	`conf`	A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services. ICWS Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel
2008	—	`conf`	Model-Based QoS-Enabled Self-Healing Web Services. DEXA Workshops Olga Nabuco, Riadh Ben Halima, Khalil Drira, Maria Grazia Fugini, Stefano Modafferi, Enrico Mussi
2007	C	`conf`	A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties. WETICE Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel
2005	—	`conf`	Graphical simulation of the dynamic evolution of the software architectures specified in Z. IWPSE Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira