Mohamed Khalgui

198 papers B 16C 43Journal 79Unranked 58
YearRankTypeTitle / Venue / Authors
2026 — conf
Optimized Coordination and Performance in UAVs-Cobot Systems for Missions in Dynamic Environment.
ICAART (5)
Hafedh Jouini, Hamza Gharsellaoui, Mohamed Khalgui
2025 J jnl
On formal modeling, analysis and optimization of reconfigurable manufacturing systems.
Int. J. Comput. Integr. Manuf.
Manel Houimli, Laid Kahloul, Mohamed Khalgui
2025 J jnl
Supervisory Control of Discrete Event Systems Modeled With Labeled Petri Nets for Diagnosability Enforcement.
IEEE Trans Autom. Sci. Eng.
Chengzong Li, Yufeng Chen, Almetwally M. Mostafa, Mohamed Khalgui
2024 — conf
Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL.
AINA (2)
Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui
2023 J jnl
Dynamic Timed Automata for Reconfigurable System Modeling and Verification.
Axioms
Samir Tigane, Fayçal Guerrouf, Nadia Hamani, Laid Kahloul, Mohamed Khalgui, Masood Ashraf Ali
2023 J jnl
On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Samir Tigane, Laid Kahloul, Nadia Hamani, Mohamed Khalgui, Masood Ashraf Ali
2022 — conf
A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology.
ICSOFT (Selected Papers)
Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui
2022 B conf
New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent Architecture in Reconfigurable Wireless Sensor Networks.
ENASE
Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui
2022 C conf
Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator.
ICSOFT
Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui
2022 J jnl
Secret inference and attacktability analysis of discrete event systems.
Inf. Sci.
Salwa Habbachi, Amal Zaghdoud, ZhiWu Li, Naiqi Wu, Mohamed Khalgui
2021 C conf
A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems.
ICSOFT
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2021 B conf
Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499.
ENASE
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2021 J jnl
On Feasibility of Multichannel Reconfigurable Wireless Sensor Networks Under Real-Time and Energy Constraints.
IEEE Trans. Syst. Man Cybern. Syst.
Yousra Ben Aissa, Abdelmalik Bachir, Mohamed Khalgui, Anis Koubaa, ZhiWu Li, Ting Qu
2021 J jnl
On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints.
IEEE Trans Autom. Sci. Eng.
Aicha Goubaa, Mohamed Khalgui, ZhiWu Li, Georg Frey, Abdulrahman Al-Ahmari
2021 J jnl
Predictive Intelligent Transportation: Alleviating Traffic Congestion in the Internet of Vehicles.
Sensors
Le Zhang, Mohamed Khalgui, ZhiWu Li
2021 J jnl
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, ZhiWu Li, MengChu Zhou
2021 — conf
Software Framework of Context-Aware Reconfigurable Secure Smart Grids.
ICSOFT (Selected Papers)
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2021 J jnl
UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones.
Sensors
Azza Allouch, Omar Cheikhrouhou, Anis Koubâa, Khalifa Toumi, Mohamed Khalgui, Tuan Nguyen Gia
2020 C conf
3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints.
ICSOFT
Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui
2020 B conf
A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata.
ENASE
Roufaida Bettira, Laid Kahloul, Mohamed Khalgui
2020 J jnl
A guidance framework for synthesis of multi-core reconfigurable real-time systems.
Inf. Sci.
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey, ZhiWu Li, MengChu Zhou
2020 J jnl
An Extended Object Constraint Language for Adaptive Discrete Event Systems With Application to Reconfigurable Wireless Sensor Networks.
IEEE Trans. Syst. Man Cybern. Syst.
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li
2020 — conf
Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints.
ICSOFT (Selected Papers)
Aicha Goubaa, Mohamed Khalgui, Georg Frey, ZhiWu Li
2020 — conf
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop.
ICSOFT (Selected Papers)
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul
2020 J jnl
Energy-Efficient Scheduling of Real-Time Tasks in Reconfigurable Homogeneous Multicore Platforms.
IEEE Trans. Syst. Man Cybern. Syst.
Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet
2020 C conf
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL.
ICSOFT
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul
2020 C conf
Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control.
ICSOFT
Soumoud Fkaier, Mohamed Khalgui, Georg Frey
2020 J jnl
Improved Multi-Core Real-Time Task Scheduling of Reconfigurable Systems With Energy Constraints.
IEEE Access
Hamza Chniter, Olfa Mosbahi, Mohamed Khalgui, MengChu Zhou, ZhiWu Li
2020 C conf
New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks.
ICSOFT
Aicha Goubaa, Mohamed Khalgui, Georg Frey, ZhiWu Li
2020 C conf
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment.
ICSOFT
Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul
2020 J jnl
On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Oussama Karoui, Yufeng Chen, ZhiWu Li, Naiqi Wu, Mohamed Khalgui
2020 — conf
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment.
ICSOFT (Selected Papers)
Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul
2020 J jnl
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, ZhiWu Li, Khalid Abdulaziz Alnowibet, Ting Qu
2020 C conf
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture.
ICSOFT
Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laid Kahloul, Naïma Souâd Ougouti
2020 J jnl
Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks.
IEEE Trans. Syst. Man Cybern. Syst.
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, ZhiWu Li
2020 — conf
R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture.
ICSOFT (Selected Papers)
Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laid Kahloul, Naïma Souâd Ougouti
2020 J jnl
Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems.
Inf. Sci.
Aicha Goubaa, Mohamed Khalgui, ZhiWu Li, Georg Frey, MengChu Zhou
2020 B conf
Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement.
ENASE
Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laid Kahloul
2020 C conf
Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms.
VECoS
Salwa Habbachi, ZhiWu Li, Mohamed Khalgui
2019 J jnl
Boundary Scan Extension for Testing Distributed Reconfigurable Hardware Systems.
IEEE Trans. Circuits Syst. I Regul. Pap.
Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li
2019 C conf
Cooperative Energy Management Software for Networked Microgrids.
ICSOFT
Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir
2019 J jnl
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking.
IEEE Trans Autom. Sci. Eng.
Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, ZhiWu Li, Valeriy Vyatkin
2019 J jnl
Dronemap Planner: A service-oriented cloud-based management system for the Internet-of-Drones.
Ad Hoc Networks
Anis Koubâa, Basit Qureshi, Mohamed-Foued Sriti, Azza Allouch, Yasir Javed, Maram Alajlan, Omar Cheikhrouhou, Mohamed Khalgui, Eduardo Tovar
2019 J jnl
Dynamic Reconfiguration of Intelligence for High Behaviour Adaptability of Autonomous Distributed Discrete-Event Systems.
IEEE Access
Hamza Gharsellaoui, Mohamed Khalgui
2019 J jnl
Efficient Allocation Strategy of Energy Storage Systems in Power Grids Considering Contingencies.
IEEE Access
Ilyes Naidji, Moncef Ben Smida, Mohamed Khalgui, Abdelmalik Bachir, ZhiWu Li, Naiqi Wu
2019 — conf
Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids.
ICSOFT (Selected Papers)
Yousra Hafidi, Laid Kahloul, Mohamed Khalgui
2019 B conf
MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems.
IWCMC
Azza Allouch, Omar Cheikhrouhou, Anis Koubâa, Mohamed Khalgui, Tarek Abbes
2019 J jnl
MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems.
CoRR
Azza Allouch, Omar Cheikhrouhou, Anis Koubaa, Mohamed Khalgui, Tarek Abbes
2019 J jnl
Micro Air Vehicle Link (MAVLink) in a Nutshell: A Survey.
CoRR
Anis Koubaa, Azza Allouch, Maram Alajlan, Yasir Javed, Abdelfettah Belghith, Mohamed Khalgui
2019 J jnl
Micro Air Vehicle Link (MAVlink) in a Nutshell: A Survey.
IEEE Access
Anis Koubâa, Azza Allouch, Maram Alajlan, Yasir Javed, Abdelfettah Belghith, Mohamed Khalgui
2019 J jnl
Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location.
IEEE Access
Moncef Ben Smida, Khaoula Miled, Mohamed Khalgui, Georg Frey, ZhiWu Li
2019 J jnl
Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation.
IEEE Trans. Syst. Man Cybern. Syst.
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, ZhiWu Li, Georg Frey, Abdulrahman Al-Ahmari
2019 — conf
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism.
ENASE (Selected Papers)
Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani
2019 C conf
New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs.
ICSOFT
Yousra Hafidi, Laid Kahloul, Mohamed Khalgui
2019 J jnl
Non Cooperative Game Theoretic Approach for Residential Energy Management in Smart Grid.
CoRR
Ilyes Naidji, Moncef Ben Smida, Mohamed Khalgui, Abdelmalik Bachir
2019 B conf
On Improved Verification of Reconfigurable Real-Time Systems.
ENASE
Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani
2019 C conf
On Improving Parallel Rebuilding of R-TNCESs.
ICSOFT
Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui
2019 — conf
On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems.
ENASE (Selected Papers)
Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi
2019 J jnl
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment.
IEEE Access
Mohamed Khalgui, Olfa Mosbahi, ZhiWu Li
2019 C conf
QCOF: New RPL Extension for QoS and Congestion-Aware in Low Power and Lossy Network.
ICSOFT
Yousra Ben Aissa, Hanen Grichi, Mohamed Khalgui, Anis Koubaa, Abdelmalik Bachir
2019 J jnl
Qualitative and Quantitative Risk Analysis and Safety Assessment of Unmanned Aerial Vehicles Missions Over the Internet.
IEEE Access
Azza Allouch, Anis Koubaa, Mohamed Khalgui, Tarek Abbes
2019 J jnl
Qualitative and Quantitative Risk Analysis and Safety Assessment of Unmanned Aerial Vehicles Missions over the Internet.
CoRR
Azza Allouch, Anis Koubaa, Mohamed Khalgui, Tarek Abbes
2019 B conf
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems.
ENASE
Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi
2019 B conf
Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification.
SMC
Roufaida Bettira, Laid Kahloul, Mohamed Khalgui, ZhiWu Li
2019 B conf
Smart Grid Rebuilding based on Cloud Computing Architecture.
SMC
Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laid Kahloul, ZhiWu Li
2019 J jnl
Source Resizing and Improved Power Distribution for High Available Island Microgrid: A Case Study on a Tunisian Petroleum Platform.
IEEE Access
Mohamed Ghaieth Abidi, Moncef Ben Smida, Mohamed Khalgui, ZhiWu Li, Ting Qu
2019 — conf
Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids.
ICSOFT (Selected Papers)
Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir
2018 B conf
A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems.
ENASE
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey
2018 C conf
Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems.
ICSOFT
Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui
2018 J jnl
Coherence and Feasibility of Real-Time Software Tasks in Networked Adaptive Systems.
IEEE Access
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li, Ting Qu
2018 J jnl
Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems.
IEEE Access
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li, Ting Qu
2018 C conf
Enhanced Test for Reconfigurable Hardware Systems Based on Sequential Logic.
EUC
Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui
2018 J jnl
Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems.
IEEE Access
Chao Gu, ZhiWu Li, Naiqi Wu, Mohamed Khalgui, Ting Qu, Abdulrahman Al-Ahmari
2018 B conf
Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core Platforms.
ENASE
Aymen Gammoudi, Daniel Chillet, Mohamed Khalgui, Adel Benzina
2018 J jnl
Multi-Agent Adaptive Architecture for Flexible Distributed Real-Time Systems.
IEEE Access
Hamza Chniter, Yuting Li, Mohamed Khalgui, Anis Koubaa, ZhiWu Li, Fethi Jarray
2018 J jnl
Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints.
IEEE Access
Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li, Li Yin
2018 J jnl
New Power-Oriented Methodology for Dynamic Resizing and Mobility of Reconfigurable Wireless Sensor Networks.
IEEE Trans. Syst. Man Cybern. Syst.
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li
2018 J jnl
One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy.
IEEE Access
Oussama Karoui, ZhiWu Li, Naiqi Wu, Mohamed Khalgui, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi
2018 — conf
Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints.
ENASE (Selected Papers)
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Georg Frey
2018 J jnl
R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded Systems Under Energy Constraints.
IEEE Access
Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, ZhiWu Li, Khalid Abdulaziz Alnowibet, Marco Platzner
2018 J jnl
R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node.
IEEE Trans. Syst. Man Cybern. Syst.
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes, ZhiWu Li
2018 J jnl
Reconfiguration-based methodology for improving recovery performance of faults in smart grids.
Inf. Sci.
Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui, ZhiWu Li
2018 J jnl
State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems.
IEEE Access
Oussama Karoui, Mohamed Khalgui, Yufeng Chen, Naiqi Wu, Ateekh-Ur-Rehman, Usama Umer
2018 J jnl
Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems.
IEEE Trans Autom. Sci. Eng.
Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li
2017 C conf
Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems.
AICCSA
Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui
2017 C conf
An Energy Aware Scheduling for Reconfigurable Heterogeneous Systems.
ICSOFT
Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui
2017 B conf
Context-awareness Meta-model for Reconfigurable Control Systems.
ENASE
Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey
2017 J jnl
Dual mode for vehicular platoon safety: Simulation and formal verification.
Inf. Sci.
Oussama Karoui, Mohamed Khalgui, Anis Koubâa, Emna Guerfala, ZhiWu Li, Eduardo Tovar
2017 — conf
From Specification to Implementation of an Automotive Transport System.
ICSOFT (Selected Papers)
Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2017 J jnl
Multiagent Framework for Smart Grids Recovery.
IEEE Trans. Syst. Man Cybern. Syst.
Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui, ZhiWu Li
2017 C conf
New Verification Approach for Reconfigurable Distributed Systems.
ICSOFT
Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2017 C conf
REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems.
ICSOFT
Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui
2017 J jnl
RWiN: New Methodology for the Development of Reconfigurable WSN.
IEEE Trans Autom. Sci. Eng.
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li
2017 C conf
Specification Approach using GR-TNCES: Application to an Automotive Transport System.
ICSOFT
Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2016 C conf
A Development Tool Chain for Reconfigurable WSNs.
SoMeT
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
2016 — conf
A New Approach for Automatic Development of Reconfigurable Real-Time Systems.
ICSOFT (Selected Papers)
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Trèves
2016 B conf
A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems.
ENASE
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed
2016 C conf
Enabling reconfiguration of adaptive control systems using real-time context-aware framework.
AICCSA
Soumoud Fkaier, Mohamed Romdhani, Mohamed Khalgui, Georg Frey
2016 — conf
I-Codesign: A Codesign Methodology for Reconfigurable Embedded Systems.
ICSOFT (Selected Papers)
Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, Marco Platzner
2016 — conf
MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems.
ICSOFT-EA
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Trèves
2016 — conf
Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO.
ICINCO (1)
Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2016 — conf
New Co-design Methodology for Real-time Embedded Systems.
ICSOFT-EA
Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, Marco Platzner
2016 — conf
New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip NoC.
ICSOFT-EA
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li
2016 J jnl
New solutions for optimal power production, distribution and consumption in smart grids.
Int. J. Model. Identif. Control.
Olfa Mosbahi, Mohamed Khalgui
2016 B conf
RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems.
ENASE
Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
2016 J jnl
Real-Time Reconfigurations of Embedded Control Systems.
Int. J. Syst. Dyn. Appl.
Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui
2016 B conf
Real-Time Scheduling of Reconfigurable Battery-Powered Multi-Core Platforms.
ICTAI
Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet
2016 C conf
Real-Time Scheduling of Reconfigurable Distributed Embedded Systems with Energy Harvesting Prediction.
DS-RT
Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Maryline Chetto
2016 C conf
Real-time scheduling of sporadic tasks in energy harvesting distributed reconfigurable embedded systems.
AICCSA
Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Maryline Chetto
2016 C conf
Reconfigurable function blocks: Extension to the standard IEC 61499.
AICCSA
Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey
2016 — conf
Towards a Secure RA2DL Based Approach.
ENASE (Selected Papers)
Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
2016 B conf
Verification of Reconfigurable NoC under Quality of Service Constraints.
COMPSAC
Hela Ben Salah, Adel Benzina, Mohamed Khalgui
2015 C conf
An Efficient Reconfiguration-Based Approach for Improving Smart Grid Performance.
SoMeT
Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui
2015 — conf
An Efficient Simulator for Fault Detection and Recovery in Smart Grids - FDIRSY.
PECCS
Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui
2015 — conf
BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture.
HEALTHINF
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2015 — conf
CHAMELEON - New Object Oriented Solution for Adaptive Control Systems.
PECCS
Asma Nafti, Mohamed Romdhani, Mohamed Khalgui
2015 J jnl
Corrections to "Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions".
IEEE Trans. Syst. Man Cybern. Syst.
Meng Qin, ZhiWu Li, MengChu Zhou, Mohamed Khalgui, Olfa Mosbahi
2015 J jnl
Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks.
IEEE Trans Autom. Sci. Eng.
Xi Wang, Imen Khemaissia, Mohamed Khalgui, ZhiWu Li, Olfa Mosbahi, MengChu Zhou
2015 — conf
Formal specification and verification of reconfigurable wireless sensor networks.
SSD
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
2015 — conf
GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints.
ICSOFT-EA
Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2015 — conf
Modeling and Verification of B-based Distributed Reconfigurable Control Systems.
PECCS
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed
2015 — conf
New Forecasting-based Solutions for Optimal Energy Consumption in Microgrids with Load Shedding - Case Study: Petroleum Platform.
PECCS
Mohamed Ghaieth Abidi, Moncef Ben Smida, Mohamed Khalgui
2015 C conf
New Middleware for Secured Reconfigurable Real-Time Systems.
SoMeT
Rim Idriss, Adlen Loukil, Mohamed Khalgui
2015 C conf
New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems.
SoMeT
Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet
2015 — conf
New Solutions for Optimal Hardware Tests of Reconfigurable Hardware Systems.
PECCS
Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui
2015 C conf
New Solutions for Useful Execution Models of Communicating Adaptive RA2DL.
SoMeT
Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
2015 C conf
New adaptive middleware for real-time embedded operating systems.
ICIS
Fethi Jarray, Hamza Chniter, Mohamed Khalgui
2015 C conf
PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm.
SoMeT
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
2015 C conf
Petri Nets-based design of real-time reconfigurable networks on chips.
ICIS
Hela Ben Salah, Adel Benzina, Mohamed Khalgui
2015 — conf
R-UML: An UML Profile for Verification of Flexible Control Systems.
ICSOFT (Selected Papers)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2015 — conf
RA2DL: New Flexible Solution for Adaptive AADL-based Control Components.
PECCS
Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
2015 — conf
ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems.
ICSOFT-EA
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
2015 C conf
Real-time reconfigurable scheduling of multiprocessor embedded systems using hybrid genetic based approach.
ICIS
Hamza Gharsellaoui, Ismail Ktata, Naoufel Kharroubi, Mohamed Khalgui
2015 J jnl
Reconfigurable Coordination of Distributed Discrete Event Control Systems.
IEEE Trans. Control. Syst. Technol.
Jiafeng Zhang, Mohamed Khalgui, ZhiWu Li, Georg Frey, Olfa Mosbahi, Hela Ben Salah
2015 — conf
Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture.
BIOSTEC (Selected Papers)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2015 — conf
Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems.
ICSOFT-PT
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2015 — conf
ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS.
HEALTHINF
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
2014 — ed.
ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014.
ADECS @ Petri Nets
Mohamed Khalgui, ZhiWu Li
2014 — conf
Adaptive Embedded Systems - New Composed Technical Solutions for Feasible Low-Power and Real-time Flexible OS Tasks.
ICINCO (1)
Hamza Chniter, Mohamed Khalgui, Fethi Jarray
2014 — conf
Adaptive STM32F4 Microcontrollers - Case of Flexible Smart Meters.
SMARTGREENS
Aymen Jaouadi, Olfa Mosbahi, Mohamed Khalgui, Ahmed Toujani
2014 — conf
Combinatorial Approaches for Low-power and Real-time Adaptive Reconfigurable Embedded Systems.
PECCS
Hamza Chniter, Fethi Jarray, Mohamed Khalgui
2014 — conf
Combinatorial Optimization Approach for Feasible Low-Power and Real-Time Flexible OS Tasks.
ICINCO (Selected Papers)
Hamza Chniter, Mohamed Khalgui, Fethi Jarray
2014 J jnl
Functional safety of adaptive embedded control systems: new solutions.
Int. J. Crit. Comput. Based Syst.
Atef Gharbi, Mohamed Khalgui
2014 — conf
New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures.
ACSD
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui
2014 — conf
New Flexible Architectures for Reconfigurable Wireless Sensor Networks.
ICSOFT (Selected Papers)
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
2014 — conf
New Multi-Token based Protocol for Flexible Networked Microcontrollers.
ICSOFT EA
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui
2014 — conf
New Reconfigurable Middleware for Feasible Adaptive RT-Linux.
PECCS
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Walid Bouzayen
2014 — conf
New Software Solutions for Low-power Management of Green Smart Homes.
SMARTGREENS
Aymen Jaouadi, Olfa Mosbahi, Mohamed Khalgui, Asma Sakri
2014 — conf
New Solutions for Fault Detections and Dynamic Recoveries of Flexible Power Smart Grids.
ICINCO (1)
Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui
2014 — conf
New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems.
ICINCO (1)
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed
2014 — conf
PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems.
ADECS @ Petri Nets
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui
2014 — conf
Preemptive Hard Real-time Scheduling of Reconfigurable OS Tasks on Multiprocessors Embedded Control Systems.
PECCS
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed
2014 — conf
Reconfigurable CAN in Real-time Embedded Platforms.
ICINCO (1)
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui
2014 — conf
Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling.
ICINCO (1)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
2014 — conf
Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration.
ICINCO (Selected Papers)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
2014 — conf
Reconfigurable Wireless Sensor Networks - New Adaptive Dynamic Solutions for Flexible Architectures.
ICSOFT EA
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
2013 C conf
An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks.
ICSOFT
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed
2013 J jnl
Distributed Reconfigurations of Autonomous IEC61499 Systems.
ACM Trans. Embed. Comput. Syst.
Mohamed Khalgui
2013 J jnl
Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems.
ACM Trans. Embed. Comput. Syst.
Mohamed Khalgui, ZhiWu Li
2013 C conf
Model Checking of Distributed Component-based Control Systems.
ICSOFT
Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed
2013 J jnl
R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Jiafeng Zhang, Mohamed Khalgui, ZhiWu Li, Olfa Mosbahi, Abdulrahman Al-Ahmari
2013 J jnl
Reconfiguration of Synchronous Real-Time Operating System.
Int. J. Syst. Dyn. Appl.
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed
2013 J jnl
Runtime Reconfigurations of Embedded Controllers.
ACM Trans. Embed. Comput. Syst.
Mohamed Khalgui, Olfa Mosbahi, ZhiWu Li
2012 J jnl
An Automated Approach for Adaptive Control Systems.
Int. J. Intell. Mechatronics Robotics
Mohamed Khalgui, Olfa Mosbahi, Emanuele Carpanzano, Anna Valente
2012 J jnl
Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems".
IEEE Trans Autom. Sci. Eng.
Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi
2012 J jnl
Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions.
IEEE Trans. Syst. Man Cybern. Part A
Meng Qin, ZhiWu Li, MengChu Zhou, Mohamed Khalgui, Olfa Mosbahi
2012 J jnl
New Optimal Preemptively Scheduling for Real-Time Reconfigurable Sporadic Tasks Based on Earliest Deadline First Algorithm.
Int. J. Adv. Pervasive Ubiquitous Comput.
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed
2012 J jnl
New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous Operating System Tasks with Minimizations of Response Time.
Int. J. Syst. Dyn. Appl.
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed
2012 J jnl
UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable Embedded Control Systems.
Int. J. Syst. Dyn. Appl.
Amen Ben Hadj Ali, Mohamed Khalgui, Samir Ben Ahmed
2011 J jnl
A Component-Based Approach for the Development of Automated Systems.
IEEE Trans. Syst. Man Cybern. Part A
Olfa Mosbahi, Mohamed Khalgui, Hans-Michael Hanisch, ZhiWu Li
2011 J jnl
A formal approach for the development of reactive systems.
Inf. Softw. Technol.
Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui
2011 — conf
Agent-based Fault Management of Embedded Control Systems.
ICSOFT (2)
Atef Gharbi, Mohamed Khalgui, Jiafeng Zhang, Samir Ben Ahmed
2011 J jnl
Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems.
Int. J. Model. Identif. Control.
Mohamed Khalgui, Hans-Michael Hanisch
2011 J jnl
Combining formal methods for the development of reactive systems.
Int. J. Comput. Appl. Technol.
Olfa Mosbahi, Mohamed Khalgui
2011 J jnl
Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems.
IEEE Trans Autom. Sci. Eng.
Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi
2011 — conf
Dynamic Low Power Reconfigurations of Real-time Embedded Systems.
PECCS
Xi Wang, Mohamed Khalgui, ZhiWu Li
2011 — conf
Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System.
ICSOFT (2)
Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, ZhiWu Li, Atef Gharbi
2011 J jnl
Formal approach for the development of intelligent industrial control components.
Int. J. Comput. Appl. Technol.
Mohamed Khalgui, Olfa Mosbahi
2011 J jnl
Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation.
IEEE Trans. Computers
Mohamed Khalgui, Olfa Mosbahi, ZhiWu Li, Hans-Michael Hanisch
2011 J jnl
Reconfiguration Protocol for Multi-Agent Control Software Architectures.
IEEE Trans. Syst. Man Cybern. Part C
Mohamed Khalgui, Hans-Michael Hanisch
2010 J jnl
Intelligent distributed control systems.
Inf. Softw. Technol.
Mohamed Khalgui, Olfa Mosbahi
2010 J jnl
NCES-based modelling and CTL-based verification of reconfigurable embedded control systems.
Comput. Ind.
Mohamed Khalgui
2010 J jnl
New Solutions for Feasible and Coherent Reconfigurations of Multi-Agent Embedded Software Architectures.
J. Ubiquitous Syst. Pervasive Networks
Mohamed Khalgui, Atef Gharbi
2010 C conf
Optimal model checking of safe control embedded software components.
ETFA
Atef Gharbi, Mohamed Khalgui, Samir Ben Ahmed
2009 C conf
Implementation of agent-based reconfigurable embedded control systems.
INDIN
Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch
2009 C conf
Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems.
ETFA
Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi
2008 J jnl
A deployment methodology of real-time industrial control applications in distributed controllers.
Comput. Ind.
Mohamed Khalgui
2008 C conf
A formal approach to check and schedule reconfigurable embedded control systems.
ETFA
Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch
2008 J jnl
An IEC61499-based development approach for distributed industrial control applications.
Int. J. Model. Identif. Control.
Mohamed Khalgui, Kleanthis Thramboulidis
2008 J jnl
An optimised simulation of component-based embedded systems in manufacturing industry.
Int. J. Simul. Process. Model.
Mohamed Khalgui, Emanuele Carpanzano, Hans-Michael Hanisch
2008 C conf
Automatic specification of feasible Control Tasks in Benchmark Production Systems.
ETFA
Mohamed Khalgui, Hans-Michael Hanisch
2008 — conf
NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems.
SIES
Mohamed Khalgui, Hans-Michael Hanisch
2008 — conf
Reconfiguration of Embedded Systems.
ICINCO-ICSO
Mohamed Khalgui, Martin Hirsch, Dirk Missal, Hans-Michael Hanisch
2007 — conf
A Formal Approach to Deploy Heterogeneous Software Components in a PLC.
ICSOFT (SE)
Mohamed Khalgui, Emanuele Carpanzano
2007 — —
Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants. (Temporal validation and deployment of component based industrial control applications).
Mohamed Khalgui
2006 C conf
A heuristic based method for automatic deployment of distributed component based applications.
IES
Mohamed Khalgui, Xavier Rebeuf
2006 C conf
Component based deployment of industrial control systems: a hybrid scheduling approach.
ETFA
Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion
2005 C conf
Adaptable OPC-XML contracts taking into account network traffic.
ETFA
Mohamed Khalgui, Xavier Rebeuf, Francesco Zampognaro