| 2026 | ENASE | TrustTranslate: A Multi-Dimensional Framework for Trustworthy Emotion-Aware Machine Translation with Hallucination Detection, Bias Mitigation, and Green AI. | Nour El Houda Ben Chaabene, Laid Kahloul, Hamza Hammami, Mohamed Khalgui |
| 2026 | ENASE | YOLO11-Based Drone Swarm Detection: An Advanced Deep Learning Based Approach for Anti-UAV Systems. | Hafedh Jouini, Hamza Gharsellaoui, Mohamed Khalgui |
| 2026 | ICAART | Optimized Coordination and Performance in UAVs-Cobot Systems for Missions in Dynamic Environment. | Hafedh Jouini, Hamza Gharsellaoui, Mohamed Khalgui |
| 2025 | VECoS | Intelligent Path Planning for UAV Swarms via Deep Reinforcement Learning. | Hafedh Jouini, Hamza Gharsellaoui, Mohamed Khalgui |
| 2024 | AINA | Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL. | Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui |
| 2022 | ENASE | New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent Architecture in Reconfigurable Wireless Sensor Networks. | Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui |
| 2022 | ICSoft | Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator. | Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui |
| 2022 | ICSoft | A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology. | Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui |
| 2021 | ENASE | Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499. | Soumoud Fkaier, Mohamed Khalgui, Georg Frey |
| 2021 | ICSoft | A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems. | Soumoud Fkaier, Mohamed Khalgui, Georg Frey |
| 2021 | ICSoft | Software Framework of Context-Aware Reconfigurable Secure Smart Grids. | Soumoud Fkaier, Mohamed Khalgui, Georg Frey |
| 2020 | ENASE | A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata. | Roufaida Bettira, Laid Kahloul, Mohamed Khalgui |
| 2020 | ENASE | Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement. | Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laid Kahloul |
| 2020 | ICSoft | On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. | Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul |
| 2020 | ICSoft | On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. | Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul |
| 2020 | ICSoft | R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture. | Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laid Kahloul, Nama Soud Ougouti |
| 2020 | ICSoft | On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. | Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laid Kahloul, Nama Soud Ougouti |
| 2020 | ICSoft | Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control. | Soumoud Fkaier, Mohamed Khalgui, Georg Frey |
| 2020 | ICSoft | New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks. | Aicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li |
| 2020 | ICSoft | Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints. | Aicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li |
| 2020 | ICSoft | 3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints. | Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui |
| 2020 | ICSoft | Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. | Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul |
| 2020 | ICSoft | Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. | Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul |
| 2020 | VECoS | Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms. | Salwa Habbachi, Zhiwu Li, Mohamed Khalgui |
| 2019 | ENASE | On Improved Verification of Reconfigurable Real-Time Systems. | Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani |
| 2019 | ENASE | New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. | Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani |
| 2019 | ENASE | R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. | Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi |
| 2019 | ENASE | On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. | Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi |
| 2019 | ICSoft | QCOF: New RPL Extension for QoS and Congestion-Aware in Low Power and Lossy Network. | Yousra Ben Aissa, Hanen Grichi, Mohamed Khalgui, Anis Koubaa, Abdelmalik Bachir |
| 2019 | ICSoft | New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. | Yousra Hafidi, Laid Kahloul, Mohamed Khalgui |
| 2019 | ICSoft | Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids. | Yousra Hafidi, Laid Kahloul, Mohamed Khalgui |
| 2019 | ICSoft | Cooperative Energy Management Software for Networked Microgrids. | Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir |
| 2019 | ICSoft | Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids. | Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir |
| 2019 | ICSoft | On Improving Parallel Rebuilding of R-TNCESs. | Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui |
| 2019 | IWCMC | MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems. | Azza Allouch, Omar Cheikhrouhou, Anis Kouba, Mohamed Khalgui, Tarek Abbes |
| 2019 | SMC | Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. | Roufaida Bettira, Laid Kahloul, Mohamed Khalgui, Zhiwu Li |
| 2019 | SMC | Smart Grid Rebuilding based on Cloud Computing Architecture. | Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laid Kahloul, ZhiWu Li |
| 2018 | ENASE | Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core Platforms. | Aymen Gammoudi, Daniel Chillet, Mohamed Khalgui, Adel Benzina |
| 2018 | ENASE | A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems. | Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey |
| 2018 | ENASE | Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints. | Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey |
| 2018 | EUC | Enhanced Test for Reconfigurable Hardware Systems Based on Sequential Logic. | Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui |
| 2018 | ICSoft | Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. | Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui |
| 2017 | AICCSA | Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems. | Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui |
| 2017 | ENASE | Context-awareness Meta-model for Reconfigurable Control Systems. | Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey |
| 2017 | ICSoft | An Energy Aware Scheduling for Reconfigurable Heterogeneous Systems. | Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui |
| 2017 | ICSoft | REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems. | Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui |
| 2017 | ICSoft | New Verification Approach for Reconfigurable Distributed Systems. | Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2017 | ICSoft | Specification Approach using GR-TNCES: Application to an Automotive Transport System. | Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2017 | ICSoft | From Specification to Implementation of an Automotive Transport System. | Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2016 | AICCSA | Enabling reconfiguration of adaptive control systems using real-time context-aware framework. | Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey |
| 2016 | AICCSA | Reconfigurable function blocks: Extension to the standard IEC 61499. | Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey |
| 2016 | AICCSA | Real-time scheduling of sporadic tasks in energy harvesting distributed reconfigurable embedded systems. | Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Maryline Chetto |
| 2016 | COMPSAC | Verification of Reconfigurable NoC under Quality of Service Constraints. | Hela Ben Salah, Adel Benzina, Mohamed Khalgui |
| 2016 | ENASE | RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems. | Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane |
| 2016 | ENASE | Towards a Secure RA2DL Based Approach. | Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane |
| 2016 | ENASE | A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. | Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed |
| 2016 | ICINCO | Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO. | Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2016 | ICSoft | New Co-design Methodology for Real-time Embedded Systems. | Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, Marco Platzner |
| 2016 | ICSoft | I-Codesign: A Codesign Methodology for Reconfigurable Embedded Systems. | Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, Marco Platzner |
| 2016 | ICSoft | New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip NoC. | Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li |
| 2016 | ICSoft | Untitled record | Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li |
| 2016 | ICSoft | MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems. | Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Trves |
| 2016 | ICSoft | A New Approach for Automatic Development of Reconfigurable Real-Time Systems. | Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Trves |
| 2016 | ICTAI | Real-Time Scheduling of Reconfigurable Battery-Powered Multi-Core Platforms. | Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet |
| 2016 | SoMeT | A Development Tool Chain for Reconfigurable WSNs. | Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui |
| 2015 | ICSoft | ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems. | Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui |
| 2015 | ICSoft | GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints. | Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2015 | ICSoft | Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems. | Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2015 | ICSoft | R-UML: An UML Profile for Verification of Flexible Control Systems. | Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2015 | SoMeT | New Solutions for Useful Execution Models of Communicating Adaptive RA2DL. | Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane |
| 2015 | SoMeT | New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems. | Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet |
| 2015 | SoMeT | PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. | Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Lus Gomes |
| 2015 | SoMeT | New Middleware for Secured Reconfigurable Real-Time Systems. | Rim Idriss, Adlen Loukil, Mohamed Khalgui |
| 2015 | SoMeT | An Efficient Reconfiguration-Based Approach for Improving Smart Grid Performance. | Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui |
| 2014 | ICINCO | Adaptive Embedded Systems - New Composed Technical Solutions for Feasible Low-Power and Real-time Flexible OS Tasks. | Hamza Chniter, Mohamed Khalgui, Fethi Jarray |
| 2014 | ICINCO | Combinatorial Optimization Approach for Feasible Low-Power and Real-Time Flexible OS Tasks. | Hamza Chniter, Mohamed Khalgui, Fethi Jarray |
| 2014 | ICINCO | Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. | Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Lus Gomes |
| 2014 | ICINCO | Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling. | Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Lus Gomes |
| 2014 | ICINCO | Reconfigurable CAN in Real-time Embedded Platforms. | Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui |
| 2014 | ICINCO | New Solutions for Fault Detections and Dynamic Recoveries of Flexible Power Smart Grids. | Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui |
| 2014 | ICINCO | New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems. | Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed |
| 2014 | ICSoft | Reconfigurable Wireless Sensor Networks - New Adaptive Dynamic Solutions for Flexible Architectures. | Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui |
| 2014 | ICSoft | New Flexible Architectures for Reconfigurable Wireless Sensor Networks. | Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui |
| 2014 | ICSoft | New Multi-Token based Protocol for Flexible Networked Microcontrollers. | Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui |
| 2013 | ICSoft | Model Checking of Distributed Component-based Control Systems. | Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed |
| 2013 | ICSoft | An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks. | Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed |
| 2011 | ICSoft | Agent-based Fault Management of Embedded Control Systems. | Atef Gharbi, Mohamed Khalgui, Jiafeng Zhang, Samir Ben Ahmed |
| 2011 | ICSoft | Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System. | Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li, Atef Gharbi |
| 2010 | ETFA | Optimal model checking of safe control embedded software components. | Atef Gharbi, Mohamed Khalgui, Samir Ben Ahmed |
| 2009 | ETFA | Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. | Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi |
| 2009 | INDIN | Implementation of agent-based reconfigurable embedded control systems. | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch |
| 2008 | ETFA | Automatic specification of feasible Control Tasks in Benchmark Production Systems. | Mohamed Khalgui, Hans-Michael Hanisch |
| 2008 | ETFA | A formal approach to check and schedule reconfigurable embedded control systems. | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch |
| 2008 | ICINCO | Reconfiguration of Embedded Systems. | Mohamed Khalgui, Martin Hirsch, Dirk Missal, Hans-Michael Hanisch |
| 2007 | ICSoft | A Formal Approach to Deploy Heterogeneous Software Components in a PLC. | Mohamed Khalgui, Emanuele Carpanzano |
| 2006 | ETFA | Component based deployment of industrial control systems: a hybrid scheduling approach. | Mohamed Khalgui, Xavier Rebeuf, Franoise Simonot-Lion |
| 2005 | ETFA | Adaptable OPC-XML contracts taking into account network traffic. | Mohamed Khalgui, Xavier Rebeuf, Francesco Zampognaro |