Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. - Mohamed Khalgui; Hans-Michael Hanisch; Atef Gharbi (ETFA, 2009)

Optimal model checking of safe control embedded software components. - Atef Gharbi; Mohamed Khalgui; Samir Ben Ahmed (ETFA, 2010)

New Solutions for Feasible and Coherent Reconfigurations of Multi-Agent Embedded Software Architectures. - Mohamed Khalgui; Atef Gharbi (J. Ubiquitous Syst. Pervasive Networks, 2010)

Agent-based Fault Management of Embedded Control Systems. - Atef Gharbi; Mohamed Khalgui; Jiafeng Zhang; Samir Ben Ahmed (ICSOFT (2), 2011)

Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System. - Mohamed Khalgui; Olfa Mosbahi; Jiafeng Zhang; Zhiwu Li 001; Atef Gharbi (ICSOFT (2), 2011)

Model Checking of Distributed Component-based Control Systems. - Atef Gharbi; Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (ICSOFT, 2013)

Multi-Agent Control System. - Atef Gharbi; Hamza Gharsellaoui; Samir Ben Ahmed (ICSOFT EA, 2014)

Real-time Reconfigurable Scheduling of Aperiodic OS Tasks on Multiprocessor Systems. - Hamza Gharsellaoui; Atef Gharbi; Samir Ben Ahmed (ICSOFT PT, 2014)

Functional safety of adaptive embedded control systems: new solutions. - Atef Gharbi; Mohamed Khalgui (Int. J. Crit. Comput. Based Syst., 2014)

Building Multi-Robot System based on Five Capabilities Model. - Atef Gharbi; Dhouha Ben Noureddine; Nadhir Ben Halima (ENASE, 2015)

Reactivity and Social Cooperation in a Multi-Robot System. - Atef Gharbi; Nadhir Ben Halima; Hamza Gharsellaoui (ICSOFT-EA, 2015)

Five Capabilities Model Applied to Multi-Robot Systems. - Atef Gharbi (Int. J. Adv. Pervasive Ubiquitous Comput., 2015)

Real-Time Reconfigurations of Embedded Control Systems. - Atef Gharbi; Hamza Gharsellaoui; Mohamed Khalgui (Int. J. Syst. Dyn. Appl., 2016)

Agent-based Semantic Negotiation Protocol for Semantic Heterogeneity Solving in Multi-agent System. - Dhouha Ben Noureddine; Atef Gharbi; Samir Ben Ahmed (ENASE, 2017)

Multi-agent Deep Reinforcement Learning for Task Allocation in Dynamic Environment. - Dhouha Ben Noureddine; Atef Gharbi; Samir Ben Ahmed (ICSOFT, 2017)

Reflective multi-agent model using semantic similarity measure and negotiation protocol for solving heterogeneity. - Dhouha Ben Noureddine; Atef Gharbi; Samir Ben Ahmed (IFSA-SCIS, 2017)

A Social Multi-agent Cooperation System based on Planning and Distributed Task Allocation: Real Case Study. - Dhouha Ben Noureddine; Atef Gharbi; Samir Ben Ahmed (ICSOFT, 2018)

An Agent-Based Planning Method for Distributed Task Allocation. - Dhouha Ben Noureddine; Atef Gharbi; Samir Ben Ahmed (ICSOFT (Selected Papers), 2018)

A Social Multi-Agent Cooperation System Based on Planning and Distributed Task Allocation. - Atef Gharbi (Inf., 2020)

Faulty control system. - Atef Gharbi (Cogn. Syst. Res., 2024)