Mohamed Khalgui

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 110

Top Venues

ICSOFT

IEEE Access

ICSOFT (Selected Papers)

IEEE Trans. Syst. Man Cybern. Syst.

National Polytechnic Institute of Lorraine, Nancy, France (PHD)

Education History

National Polytechnic Institute of Lorraine, Nancy, France

PHD

Publications

Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui
Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL. AINA (2) (2024)
Samir Tigane, Laïd Kahloul, Nadia Hamani, Mohamed Khalgui, Masood Ashraf Ali
On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 53 (6) (2023)
Samir Tigane, Fayçal Guerrouf, Nadia Hamani, Laïd Kahloul, Mohamed Khalgui, Masood Ashraf Ali
Dynamic Timed Automata for Reconfigurable System Modeling and Verification. Axioms 12 (3) (2023)
Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui
Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator. ICSOFT (2022)
Salwa Habbachi, Amal Zaghdoud, Zhiwu Li, Naiqi Wu, Mohamed Khalgui
Secret inference and attacktability analysis of discrete event systems. Inf. Sci. 609 (2022)
Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui
New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent Architecture in Reconfigurable Wireless Sensor Networks. ENASE (2022)
Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui
A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology. ICSOFT (Selected Papers) (2022)
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems. ICSOFT (2021)
Yousra Ben Aissa, Abdelmalik Bachir, Mohamed Khalgui, Anis Koubaa, Zhiwu Li, Ting Qu
On Feasibility of Multichannel Reconfigurable Wireless Sensor Networks Under Real-Time and Energy Constraints. IEEE Trans. Syst. Man Cybern. Syst. 51 (3) (2021)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, MengChu Zhou
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 18 (3) (2021)
Le Zhang, Mohamed Khalgui, Zhiwu Li
Predictive Intelligent Transportation: Alleviating Traffic Congestion in the Internet of Vehicles. Sensors 21 (21) (2021)
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499. ENASE (2021)
Aicha Goubaa, Mohamed Khalgui, Zhiwu Li, Georg Frey, Abdulrahman Al-Ahmari
On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints. IEEE Trans Autom. Sci. Eng. 18 (3) (2021)
Azza Allouch, Omar Cheikhrouhou, Anis Koubâa, Khalifa Toumi, Mohamed Khalgui, Tuan Nguyen Gia
UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones. Sensors 21 (9) (2021)
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
Software Framework of Context-Aware Reconfigurable Secure Smart Grids. ICSOFT (Selected Papers) (2021)
Hanene Rouainia, Hanen Grichi, Laïd Kahloul, Mohamed Khalgui
3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints. ICSOFT (2020)
Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laïd Kahloul, Naïma Souâd Ougouti
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. ICSOFT (2020)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, Khalid Abdulaziz Alnowibet, Ting Qu
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li
An Extended Object Constraint Language for Adaptive Discrete Event Systems With Application to Reconfigurable Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Aicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li
Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints. ICSOFT (Selected Papers) (2020)
Aicha Goubaa, Mohamed Khalgui, Zhiwu Li, Georg Frey, MengChu Zhou
Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems. Inf. Sci. 520 (2020)
Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui
A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata. ENASE (2020)
Hamza Chniter, Olfa Mosbahi, Mohamed Khalgui, Mengchu Zhou, Zhiwu Li
Improved Multi-Core Real-Time Task Scheduling of Reconfigurable Systems With Energy Constraints. IEEE Access 8 (2020)
Oussama Karoui, Yufeng Chen, Zhiwu Li, Naiqi Wu, Mohamed Khalgui
On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. ICSOFT (Selected Papers) (2020)
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control. ICSOFT (2020)
Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laïd Kahloul, Naïma Souâd Ougouti
R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture. ICSOFT (Selected Papers) (2020)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, Zhiwu Li
Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 50 (7) (2020)
Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet
Energy-Efficient Scheduling of Real-Time Tasks in Reconfigurable Homogeneous Multicore Platforms. IEEE Trans. Syst. Man Cybern. Syst. 50 (12) (2020)
Aicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li
New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks. ICSOFT (2020)
Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. ICSOFT (Selected Papers) (2020)
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. ICSOFT (2020)
Salwa Habbachi, Zhiwu Li, Mohamed Khalgui
Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms. VECoS (2020)
Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. ICSOFT (2020)
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey, Zhiwu Li, MengChu Zhou
A guidance framework for synthesis of multi-core reconfigurable real-time systems. Inf. Sci. 539 (2020)
Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laïd Kahloul
Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement. ENASE (2020)
Azza Allouch, Anis Koubaa, Mohamed Khalgui, Tarek Abbes
Qualitative and Quantitative Risk Analysis and Safety Assessment of Unmanned Aerial Vehicles Missions over the Internet. CoRR (2019)
Azza Allouch, Anis Koubaa, Mohamed Khalgui, Tarek Abbes
Qualitative and Quantitative Risk Analysis and Safety Assessment of Unmanned Aerial Vehicles Missions Over the Internet. IEEE Access 7 (2019)
Anis Koubâa, Azza Allouch, Maram Alajlan, Yasir Javed, Abdelfettah Belghith, Mohamed Khalgui
Micro Air Vehicle Link (MAVlink) in a Nutshell: A Survey. IEEE Access 7 (2019)
Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment. IEEE Access 7 (2019)
Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir
Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids. ICSOFT (Selected Papers) (2019)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi
On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. ENASE (Selected Papers) (2019)
Yousra Ben Aissa, Hanen Grichi, Mohamed Khalgui, Anis Koubaa, Abdelmalik Bachir
QCOF: New RPL Extension for QoS and Congestion-Aware in Low Power and Lossy Network. ICSOFT (2019)
Mohamed Ghaieth Abidi, Moncef Ben Smida, Mohamed Khalgui, Zhiwu Li, Ting Qu
Source Resizing and Improved Power Distribution for High Available Island Microgrid: A Case Study on a Tunisian Petroleum Platform. IEEE Access 7 (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani
On Improved Verification of Reconfigurable Real-Time Systems. ENASE (2019)
Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laïd Kahloul, ZhiWu Li
Smart Grid Rebuilding based on Cloud Computing Architecture. SMC (2019)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui
On Improving Parallel Rebuilding of R-TNCESs. ICSOFT (2019)
Ilyes Naidji, Moncef Ben Smida, Mohamed Khalgui, Abdelmalik Bachir, Zhiwu Li, Naiqi Wu
Efficient Allocation Strategy of Energy Storage Systems in Power Grids Considering Contingencies. IEEE Access 7 (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. ENASE (Selected Papers) (2019)
Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir
Cooperative Energy Management Software for Networked Microgrids. ICSOFT (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui
Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids. ICSOFT (Selected Papers) (2019)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. ENASE (2019)
Anis Koubâa, Basit Qureshi, Mohamed-Foued Sriti, Azza Allouch, Yasir Javed, Maram Alajlan, Omar Cheikhrouhou, Mohamed Khalgui, Eduardo Tovar
Dronemap Planner: A service-oriented cloud-based management system for the Internet-of-Drones. Ad Hoc Networks 86 (2019)
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Zhiwu Li, Georg Frey, Abdulrahman Al-Ahmari
Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation. IEEE Trans. Syst. Man Cybern. Syst. 49 (3) (2019)
Roufaida Bettira, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li
Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. SMC (2019)
Azza Allouch, Omar Cheikhrouhou, Anis Koubâa, Mohamed Khalgui, Tarek Abbes
MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems. IWCMC (2019)
Ilyes Naidji, Moncef Ben Smida, Mohamed Khalgui, Abdelmalik Bachir
Non Cooperative Game Theoretic Approach for Residential Energy Management in Smart Grid. CoRR (2019)
Azza Allouch, Omar Cheikhrouhou, Anis Koubaa, Mohamed Khalgui, Tarek Abbes
MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems. CoRR (2019)
Moncef Ben Smida, Khaoula Miled, Mohamed Khalgui, Georg Frey, Zhiwu Li
Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location. IEEE Access 7 (2019)
Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li
Boundary Scan Extension for Testing Distributed Reconfigurable Hardware Systems. IEEE Trans. Circuits Syst. I Regul. Pap. (7) (2019)
Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, Zhiwu Li, Valeriy Vyatkin
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. IEEE Trans Autom. Sci. Eng. 16 (3) (2019)
Hamza Gharsellaoui, Mohamed Khalgui
Dynamic Reconfiguration of Intelligence for High Behaviour Adaptability of Autonomous Distributed Discrete-Event Systems. IEEE Access 7 (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui
New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. ICSOFT (2019)
Anis Koubaa, Azza Allouch, Maram Alajlan, Yasir Javed, Abdelfettah Belghith, Mohamed Khalgui
Micro Air Vehicle Link (MAVLink) in a Nutshell: A Survey. CoRR (2019)
Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, Li Yin
Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints. IEEE Access 6 (2018)
Oussama Karoui, Mohamed Khalgui, Yufeng Chen, Naiqi Wu, Ateekh-Ur-Rehman, Usama Umer
State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems. IEEE Access 6 (2018)
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey
A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems. ENASE (2018)
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, Ting Qu
Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems. IEEE Access 6 (2018)
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li
New Power-Oriented Methodology for Dynamic Resizing and Mobility of Reconfigurable Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 48 (7) (2018)
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, Ting Qu
Coherence and Feasibility of Real-Time Software Tasks in Networked Adaptive Systems. IEEE Access 6 (2018)
Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li
Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems. IEEE Trans Autom. Sci. Eng. 15 (4) (2018)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. ICSOFT (2018)
Aymen Gammoudi, Daniel Chillet, Mohamed Khalgui, Adel Benzina
Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core Platforms. ENASE (2018)
Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, Zhiwu Li, Khalid Abdulaziz Alnowibet, Marco Platzner
R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded Systems Under Energy Constraints. IEEE Access 6 (2018)
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey
Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints. ENASE (Selected Papers) (2018)
Chao Gu, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Ting Qu, Abdulrahman Al-Ahmari
Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems. IEEE Access 6 (2018)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, Zhiwu Li
R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node. IEEE Trans. Syst. Man Cybern. Syst. 48 (6) (2018)
Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui
Enhanced Test for Reconfigurable Hardware Systems Based on Sequential Logic. EUC (2018)
Hamza Chniter, Yuting Li, Mohamed Khalgui, Anis Koubaa, Zhiwu Li, Fethi Jarray
Multi-Agent Adaptive Architecture for Flexible Distributed Real-Time Systems. IEEE Access 6 (2018)
Oussama Karoui, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi
One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy. IEEE Access 6 (2018)
Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui, Zhiwu Li
Reconfiguration-based methodology for improving recovery performance of faults in smart grids. Inf. Sci. (2018)
Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey
Context-awareness Meta-model for Reconfigurable Control Systems. ENASE (2017)
Oussama Karoui, Mohamed Khalgui, Anis Koubâa, Emna Guerfala, Zhiwu Li, Eduardo Tovar
Dual mode for vehicular platoon safety: Simulation and formal verification. Inf. Sci. 402 (2017)
Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
New Verification Approach for Reconfigurable Distributed Systems. ICSOFT (2017)
Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui
REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems. ICSOFT (2017)
Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui
An Energy Aware Scheduling for Reconfigurable Heterogeneous Systems. ICSOFT (2017)
Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
From Specification to Implementation of an Automotive Transport System. ICSOFT (Selected Papers) (2017)
Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui
Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems. AICCSA (2017)
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li
RWiN: New Methodology for the Development of Reconfigurable WSN. IEEE Trans Autom. Sci. Eng. 14 (1) (2017)
Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
Specification Approach using GR-TNCES: Application to an Automotive Transport System. ICSOFT (2017)
Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui, Zhiwu Li
Multiagent Framework for Smart Grids Recovery. IEEE Trans. Syst. Man Cybern. Syst. 47 (7) (2017)
Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Maryline Chetto
Real-Time Scheduling of Reconfigurable Distributed Embedded Systems with Energy Harvesting Prediction. DS-RT (2016)
Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Maryline Chetto
Real-time scheduling of sporadic tasks in energy harvesting distributed reconfigurable embedded systems. AICCSA (2016)
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
A Development Tool Chain for Reconfigurable WSNs. SoMeT (2016)
Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, Marco Platzner
New Co-design Methodology for Real-time Embedded Systems. ICSOFT-EA (2016)
Olfa Mosbahi, Mohamed Khalgui
New solutions for optimal power production, distribution and consumption in smart grids. Int. J. Model. Identif. Control. 26 (2) (2016)
Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
Towards a Secure RA2DL Based Approach. ENASE (Selected Papers) (2016)
Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui
Real-Time Reconfigurations of Embedded Control Systems. Int. J. Syst. Dyn. Appl. 5 (3) (2016)
Hela Ben Salah, Adel Benzina, Mohamed Khalgui
Verification of Reconfigurable NoC under Quality of Service Constraints. COMPSAC (2016)
Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey
Reconfigurable function blocks: Extension to the standard IEC 61499. AICCSA (2016)

Mohamed Khalgui.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mohamed Khalgui