Adaptable OPC-XML contracts taking into account network traffic. - Mohamed Khalgui; Xavier Rebeuf; Francesco Zampognaro (ETFA, 2005)

Component based deployment of industrial control systems: a hybrid scheduling approach. - Mohamed Khalgui; Xavier Rebeuf; Françoise Simonot-Lion (ETFA, 2006)

A heuristic based method for automatic deployment of distributed component based applications. - Mohamed Khalgui; Xavier Rebeuf (IES, 2006)

A Formal Approach to Deploy Heterogeneous Software Components in a PLC. - Mohamed Khalgui; Emanuele Carpanzano (ICSOFT (SE), 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 (2007)

Automatic specification of feasible Control Tasks in Benchmark Production Systems. - Mohamed Khalgui; Hans-Michael Hanisch (ETFA, 2008)

A formal approach to check and schedule reconfigurable embedded control systems. - Mohamed Khalgui; Olfa Mosbahi; Hans-Michael Hanisch (ETFA, 2008)

Reconfiguration of Embedded Systems. - Mohamed Khalgui; Martin Hirsch 002; Dirk Missal; Hans-Michael Hanisch (ICINCO-ICSO, 2008)

NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems. - Mohamed Khalgui; Hans-Michael Hanisch (SIES, 2008)

A deployment methodology of real-time industrial control applications in distributed controllers. - Mohamed Khalgui (Comput. Ind., 2008)

An IEC61499-based development approach for distributed industrial control applications. - Mohamed Khalgui; Kleanthis Thramboulidis (Int. J. Model. Identif. Control., 2008)

An optimised simulation of component-based embedded systems in manufacturing industry. - Mohamed Khalgui; Emanuele Carpanzano; Hans-Michael Hanisch (Int. J. Simul. Process. Model., 2008)

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

Implementation of agent-based reconfigurable embedded control systems. - Mohamed Khalgui; Olfa Mosbahi; Hans-Michael Hanisch (INDIN, 2009)

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

NCES-based modelling and CTL-based verification of reconfigurable embedded control systems. - Mohamed Khalgui (Comput. Ind., 2010)

Intelligent distributed control systems. - Mohamed Khalgui; Olfa Mosbahi (Inf. Softw. Technol., 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)

Dynamic Low Power Reconfigurations of Real-time Embedded Systems. - Xi Wang 015; Mohamed Khalgui; Zhiwu Li 001 (PECCS, 2011)

Formal approach for the development of intelligent industrial control components. - Mohamed Khalgui; Olfa Mosbahi (Int. J. Comput. Appl. Technol., 2011)

Combining formal methods for the development of reactive systems. - Olfa Mosbahi; Mohamed Khalgui (Int. J. Comput. Appl. Technol., 2011)

Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems. - Mohamed Khalgui; Hans-Michael Hanisch (Int. J. Model. Identif. Control., 2011)

A formal approach for the development of reactive systems. - Olfa Mosbahi; Leila Jemni Ben Ayed; Mohamed Khalgui (Inf. Softw. Technol., 2011)

Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems. - Yufeng Chen 001; ZhiWu Li 001; Mohamed Khalgui; Olfa Mosbahi (IEEE Trans Autom. Sci. Eng., 2011)

Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. - Mohamed Khalgui; Olfa Mosbahi; Zhiwu Li 001; Hans-Michael Hanisch (IEEE Trans. Computers, 2011)

Reconfiguration Protocol for Multi-Agent Control Software Architectures. - Mohamed Khalgui; Hans-Michael Hanisch (IEEE Trans. Syst. Man Cybern. Part C, 2011)

A Component-Based Approach for the Development of Automated Systems. - Olfa Mosbahi; Mohamed Khalgui; Hans-Michael Hanisch; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Part A, 2011)

New Optimal Preemptively Scheduling for Real-Time Reconfigurable Sporadic Tasks Based on Earliest Deadline First Algorithm. - Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (Int. J. Adv. Pervasive Ubiquitous Comput., 2012)

An Automated Approach for Adaptive Control Systems. - Mohamed Khalgui; Olfa Mosbahi; Emanuele Carpanzano; Anna Valente (Int. J. Intell. Mechatronics Robotics, 2012)

UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable Embedded Control Systems. - Amen Ben Hadj Ali; Mohamed Khalgui; Samir Ben Ahmed (Int. J. Syst. Dyn. Appl., 2012)

New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous Operating System Tasks with Minimizations of Response Time. - Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (Int. J. Syst. Dyn. Appl., 2012)

Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems". - Yufeng Chen 001; ZhiWu Li 001; Mohamed Khalgui; Olfa Mosbahi (IEEE Trans Autom. Sci. Eng., 2012)

Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions. - Meng Qin; ZhiWu Li 001; MengChu Zhou; Mohamed Khalgui; Olfa Mosbahi (IEEE Trans. Syst. Man Cybern. Part A, 2012)

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

An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks. - Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (ICSOFT, 2013)

Reconfiguration of Synchronous Real-Time Operating System. - Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (Int. J. Syst. Dyn. Appl., 2013)

Distributed Reconfigurations of Autonomous IEC61499 Systems. - Mohamed Khalgui (ACM Trans. Embed. Comput. Syst., 2013)

Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems. - Mohamed Khalgui; Zhiwu Li 001 (ACM Trans. Embed. Comput. Syst., 2013)

Runtime Reconfigurations of Embedded Controllers. - Mohamed Khalgui; Olfa Mosbahi; Zhiwu Li 001 (ACM Trans. Embed. Comput. Syst., 2013)

R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems. - Jiafeng Zhang; Mohamed Khalgui; Zhiwu Li 001; Olfa Mosbahi; Abdulrahman Al-Ahmari (IEEE Trans. Syst. Man Cybern. Syst., 2013)

New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures. - Imen Khemaissia; Olfa Mosbahi; Mohamed Khalgui (ACSD, 2014)

PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui (ADECS @ Petri Nets, 2014)

Adaptive Embedded Systems - New Composed Technical Solutions for Feasible Low-Power and Real-time Flexible OS Tasks. - Hamza Chniter; Mohamed Khalgui; Fethi Jarray (ICINCO (1), 2014)

Combinatorial Optimization Approach for Feasible Low-Power and Real-Time Flexible OS Tasks. - Hamza Chniter; Mohamed Khalgui; Fethi Jarray (ICINCO (Selected Papers), 2014)

Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. - Maroua Gasmi; Olfa Mosbahi; Mohamed Khalgui; Luís Gomes 001 (ICINCO (Selected Papers), 2014)

Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling. - Maroua Gasmi; Olfa Mosbahi; Mohamed Khalgui; Luís Gomes 001 (ICINCO (1), 2014)

Reconfigurable CAN in Real-time Embedded Platforms. - Imen Khemaissia; Olfa Mosbahi; Mohamed Khalgui (ICINCO (1), 2014)

New Solutions for Fault Detections and Dynamic Recoveries of Flexible Power Smart Grids. - Syrine Ben Meskina; Narjes Doggaz; Mohamed Khalgui (ICINCO (1), 2014)

New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems. - Raja Oueslati; Olfa Mosbahi; Mohamed Khalgui; Samir Ben Ahmed (ICINCO (1), 2014)

Reconfigurable Wireless Sensor Networks - New Adaptive Dynamic Solutions for Flexible Architectures. - Hanen Grichi; Olfa Mosbahi; Mohamed Khalgui (ICSOFT EA, 2014)

New Flexible Architectures for Reconfigurable Wireless Sensor Networks. - Hanen Grichi; Olfa Mosbahi; Mohamed Khalgui (ICSOFT (Selected Papers), 2014)

New Multi-Token based Protocol for Flexible Networked Microcontrollers. - Imen Khemaissia; Olfa Mosbahi; Mohamed Khalgui (ICSOFT EA, 2014)

Combinatorial Approaches for Low-power and Real-time Adaptive Reconfigurable Embedded Systems. - Hamza Chniter; Fethi Jarray; Mohamed Khalgui (PECCS, 2014)

Preemptive Hard Real-time Scheduling of Reconfigurable OS Tasks on Multiprocessors Embedded Control Systems. - Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (PECCS, 2014)

New Reconfigurable Middleware for Feasible Adaptive RT-Linux. - Imen Khemaissia; Olfa Mosbahi; Mohamed Khalgui; Walid Bouzayen (PECCS, 2014)

New Software Solutions for Low-power Management of Green Smart Homes. - Aymen Jaouadi; Olfa Mosbahi; Mohamed Khalgui; Asma Sakri (SMARTGREENS, 2014)

Adaptive STM32F4 Microcontrollers - Case of Flexible Smart Meters. - Aymen Jaouadi; Olfa Mosbahi; Mohamed Khalgui; Ahmed Toujani (SMARTGREENS, 2014)

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

Real-time reconfigurable scheduling of multiprocessor embedded systems using hybrid genetic based approach. - Hamza Gharsellaoui; Ismail Ktata; Naoufel Kharroubi; Mohamed Khalgui (ICIS, 2015)

New adaptive middleware for real-time embedded operating systems. - Fethi Jarray; Hamza Chniter; Mohamed Khalgui (ICIS, 2015)

Petri Nets-based design of real-time reconfigurable networks on chips. - Hela Ben Salah; Adel Benzina; Mohamed Khalgui (ICIS, 2015)

Formal specification and verification of reconfigurable wireless sensor networks. - Hanen Grichi; Olfa Mosbahi; Mohamed Khalgui (SSD, 2015)

ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (HEALTHINF, 2015)

BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (HEALTHINF, 2015)

Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (BIOSTEC (Selected Papers), 2015)

ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems. - Hanen Grichi; Olfa Mosbahi; Mohamed Khalgui (ICSOFT-EA, 2015)

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 (ICSOFT-EA, 2015)

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 (ICSOFT-PT, 2015)

R-UML: An UML Profile for Verification of Flexible Control Systems. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT (Selected Papers), 2015)

New Forecasting-based Solutions for Optimal Energy Consumption in Microgrids with Load Shedding - Case Study: Petroleum Platform. - Mohamed Ghaieth Abidi; Moncef Ben Smida; Mohamed Khalgui (PECCS, 2015)

RA2DL: New Flexible Solution for Adaptive AADL-based Control Components. - Farid Adaili; Olfa Mosbahi; Mohamed Khalgui; Samia Bouzefrane 001 (PECCS, 2015)

New Solutions for Optimal Hardware Tests of Reconfigurable Hardware Systems. - Asma Ben Ahmed; Olfa Mosbahi; Mohamed Khalgui (PECCS, 2015)

An Efficient Simulator for Fault Detection and Recovery in Smart Grids - FDIRSY. - Syrine Ben Meskina; Narjes Doggaz; Mohamed Khalgui (PECCS, 2015)

CHAMELEON - New Object Oriented Solution for Adaptive Control Systems. - Asma Nafti; Mohamed Romdhani; Mohamed Khalgui (PECCS, 2015)

Modeling and Verification of B-based Distributed Reconfigurable Control Systems. - Raja Oueslati; Olfa Mosbahi; Mohamed Khalgui; Samir Ben Ahmed (PECCS, 2015)

New Solutions for Useful Execution Models of Communicating Adaptive RA2DL. - Farid Adaili; Olfa Mosbahi; Mohamed Khalgui; Samia Bouzefrane 001 (SoMeT, 2015)

New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems. - Aymen Gammoudi 002; Adel Benzina; Mohamed Khalgui; Daniel Chillet (SoMeT, 2015)

PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. - Maroua Gasmi; Olfa Mosbahi; Mohamed Khalgui; Luís Gomes 001 (SoMeT, 2015)

New Middleware for Secured Reconfigurable Real-Time Systems. - Rim Idriss; Adlen Loukil; Mohamed Khalgui (SoMeT, 2015)

An Efficient Reconfiguration-Based Approach for Improving Smart Grid Performance. - Syrine Ben Meskina; Narjes Doggaz; Mohamed Khalgui (SoMeT, 2015)

Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks. - Xi Wang 015; Imen Khemaissia; Mohamed Khalgui; ZhiWu Li 001; Olfa Mosbahi; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2015)

Reconfigurable Coordination of Distributed Discrete Event Control Systems. - Jiafeng Zhang; Mohamed Khalgui; Zhiwu Li 001; Georg Frey; Olfa Mosbahi; Hela Ben Salah (IEEE Trans. Control. Syst. Technol., 2015)

Corrections to "Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions". - Meng Qin; Zhiwu Li 001; Mengchu Zhou; Mohamed Khalgui; Olfa Mosbahi (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Enabling reconfiguration of adaptive control systems using real-time context-aware framework. - Soumoud Fkaier; Mohamed Romdhani; Mohamed Khalgui; Georg Frey (AICCSA, 2016)

Reconfigurable function blocks: Extension to the standard IEC 61499. - Safa Guellouz; Adel Benzina; Mohamed Khalgui; Georg Frey (AICCSA, 2016)

Real-time scheduling of sporadic tasks in energy harvesting distributed reconfigurable embedded systems. - Wiem Housseyni; Olfa Mosbahi; Mohamed Khalgui; Maryline Chetto (AICCSA, 2016)

Verification of Reconfigurable NoC under Quality of Service Constraints. - Hela Ben Salah; Adel Benzina; Mohamed Khalgui (COMPSAC, 2016)

Real-Time Scheduling of Reconfigurable Distributed Embedded Systems with Energy Harvesting Prediction. - Wiem Housseyni; Olfa Mosbahi; Mohamed Khalgui; Maryline Chetto (DS-RT, 2016)

RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems. - Farid Adaili; Olfa Mosbahi; Mohamed Khalgui; Samia Bouzefrane 001 (ENASE, 2016)

Towards a Secure RA2DL Based Approach. - Farid Adaili; Olfa Mosbahi; Mohamed Khalgui; Samia Bouzefrane 001 (ENASE (Selected Papers), 2016)

A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. - Raja Oueslati; Olfa Mosbahi; Mohamed Khalgui; Samir Ben Ahmed (ENASE, 2016)

Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO. - Oussama Khlifi; Christian Siegwart; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICINCO (1), 2016)

New Co-design Methodology for Real-time Embedded Systems. - Ines Ghribi; Riadh Ben Abdallah; Mohamed Khalgui; Marco Platzner (ICSOFT-EA, 2016)

I-Codesign: A Codesign Methodology for Reconfigurable Embedded Systems. - Ines Ghribi; Riadh Ben Abdallah; Mohamed Khalgui; Marco Platzner (ICSOFT (Selected Papers), 2016)

New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip NoC. - Imen Khemaissia; Olfa Mosbahi; Mohamed Khalgui; ZhiWu Li 001 (ICSOFT-EA, 2016)

CRMPSoC: New Solution for Feasible Reconfigurable MPSoC. - Imen Khemaissia; Olfa Mosbahi; Mohamed Khalgui; Zhiwu Li 001 (ICSOFT (Selected Papers), 2016)

MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Nicolas Trèves (ICSOFT-EA, 2016)

A New Approach for Automatic Development of Reconfigurable Real-Time Systems. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Nicolas Trèves (ICSOFT (Selected Papers), 2016)

Real-Time Scheduling of Reconfigurable Battery-Powered Multi-Core Platforms. - Aymen Gammoudi 002; Adel Benzina; Mohamed Khalgui; Daniel Chillet (ICTAI, 2016)

A Development Tool Chain for Reconfigurable WSNs. - Hanen Grichi; Olfa Mosbahi; Mohamed Khalgui (SoMeT, 2016)

New solutions for optimal power production, distribution and consumption in smart grids. - Olfa Mosbahi; Mohamed Khalgui (Int. J. Model. Identif. Control., 2016)

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

Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems. - Wiem Housseyni; Olfa Mosbahi; Mohamed Khalgui (AICCSA, 2017)

Context-awareness Meta-model for Reconfigurable Control Systems. - Soumoud Fkaier; Mohamed Romdhani; Mohamed Khalgui; Georg Frey (ENASE, 2017)

An Energy Aware Scheduling for Reconfigurable Heterogeneous Systems. - Ines Ghribi; Riadh Ben Abdallah; Mohamed Khalgui (ICSOFT, 2017)

REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems. - Wiem Housseyni; Olfa Mosbahi; Mohamed Khalgui (ICSOFT, 2017)

New Verification Approach for Reconfigurable Distributed Systems. - Oussama Khlifi; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT, 2017)

Specification Approach using GR-TNCES: Application to an Automotive Transport System. - Oussama Khlifi; Christian Siegwart; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT, 2017)

From Specification to Implementation of an Automotive Transport System. - Oussama Khlifi; Christian Siegwart; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT (Selected Papers), 2017)

Dual mode for vehicular platoon safety: Simulation and formal verification. - Oussama Karoui; Mohamed Khalgui; Anis Koubâa; Emna Guerfala; Zhiwu Li 001; Eduardo Tovar (Inf. Sci., 2017)

RWiN: New Methodology for the Development of Reconfigurable WSN. - Hanen Grichi; Olfa Mosbahi; Mohamed Khalgui; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2017)

Multiagent Framework for Smart Grids Recovery. - Syrine Ben Meskina; Narjes Doggaz; Mohamed Khalgui; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2017)

Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core Platforms. - Aymen Gammoudi 002; Daniel Chillet; Mohamed Khalgui; Adel Benzina (ENASE, 2018)

A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Georg Frey (ENASE, 2018)

Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Georg Frey (ENASE (Selected Papers), 2018)

Enhanced Test for Reconfigurable Hardware Systems Based on Sequential Logic. - Asma Ben Ahmed; Olfa Mosbahi; Mohamed Khalgui (EUC, 2018)

Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2018)

Multi-Agent Adaptive Architecture for Flexible Distributed Real-Time Systems. - Hamza Chniter; Yuting Li; Mohamed Khalgui; Anis Koubaa; Zhiwu Li 001; Fethi Jarray (IEEE Access, 2018)

R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded Systems Under Energy Constraints. - Ines Ghribi; Riadh Ben Abdallah; Mohamed Khalgui; Zhiwu Li 001; Khalid Abdulaziz Alnowibet; Marco Platzner (IEEE Access, 2018)

Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems. - Chao Gu; Zhiwu Li 001; Naiqi Wu; Mohamed Khalgui; Ting Qu; Abdulrahman Al-Ahmari (IEEE Access, 2018)

Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints. - Wiem Housseyni; Olfa Mosbahi; Mohamed Khalgui; Zhiwu Li 001; Li Yin (IEEE Access, 2018)

State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems. - Oussama Karoui; Mohamed Khalgui; Yufeng Chen 001; Naiqi Wu; Ateekh-Ur-Rehman; Usama Umer (IEEE Access, 2018)

One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy. - Oussama Karoui; Zhiwu Li 001; Naiqi Wu; Mohamed Khalgui; Emad S. Abouel Nasr; Abdul-Aziz Mohammed El-Tamimi (IEEE Access, 2018)

Coherence and Feasibility of Real-Time Software Tasks in Networked Adaptive Systems. - Imen Khemaissia; Olfa Mosbahi; Mohamed Khalgui; Zhiwu Li 001; Ting Qu (IEEE Access, 2018)

Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems. - Raja Oueslati; Olfa Mosbahi; Mohamed Khalgui; Zhiwu Li 001; Ting Qu (IEEE Access, 2018)

Reconfiguration-based methodology for improving recovery performance of faults in smart grids. - Syrine Ben Meskina; Narjes Doggaz; Mohamed Khalgui; Zhiwu Li 001 (Inf. Sci., 2018)

Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems. - Asma Ben Ahmed; Olfa Mosbahi; Mohamed Khalgui; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2018)

R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node. - Maroua Gasmi; Olfa Mosbahi; Mohamed Khalgui; Luís Gomes 001; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2018)

New Power-Oriented Methodology for Dynamic Resizing and Mobility of Reconfigurable Wireless Sensor Networks. - Hanen Grichi; Olfa Mosbahi; Mohamed Khalgui; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2018)

On Improved Verification of Reconfigurable Real-Time Systems. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui; Mohamed Ramdani 001 (ENASE, 2019)

New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui; Mohamed Ramdani 001 (ENASE (Selected Papers), 2019)

R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui; Yousra Hafidi (ENASE, 2019)

On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui; Yousra Hafidi (ENASE (Selected Papers), 2019)

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 (ICSOFT, 2019)

New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2019)

Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui (ICSOFT (Selected Papers), 2019)

Cooperative Energy Management Software for Networked Microgrids. - Ilyes Naidji; Olfa Mosbahi; Mohamed Khalgui; Abdelmalik Bachir (ICSOFT, 2019)

Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids. - Ilyes Naidji; Olfa Mosbahi; Mohamed Khalgui; Abdelmalik Bachir (ICSOFT (Selected Papers), 2019)

On Improving Parallel Rebuilding of R-TNCESs. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2019)

MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems. - Azza Allouch; Omar Cheikhrouhou; Anis Koubâa; Mohamed Khalgui; Tarek Abbes (IWCMC, 2019)

Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. - Roufaida Bettira; Laid Kahloul; Mohamed Khalgui; Zhiwu Li 001 (SMC, 2019)

Smart Grid Rebuilding based on Cloud Computing Architecture. - Leila Ziouche; Syrine Ben Meskina; Mohamed Khalgui; Laid Kahloul; ZhiWu Li 001 (SMC, 2019)

Source Resizing and Improved Power Distribution for High Available Island Microgrid: A Case Study on a Tunisian Petroleum Platform. - Mohamed Ghaieth Abidi; Moncef Ben Smida; Mohamed Khalgui; Zhiwu Li 001; Ting Qu (IEEE Access, 2019)

Qualitative and Quantitative Risk Analysis and Safety Assessment of Unmanned Aerial Vehicles Missions Over the Internet. - Azza Allouch; Anis Koubaa; Mohamed Khalgui; Tarek Abbes (IEEE Access, 2019)

Dynamic Reconfiguration of Intelligence for High Behaviour Adaptability of Autonomous Distributed Discrete-Event Systems. - Hamza Gharsellaoui; Mohamed Khalgui (IEEE Access, 2019)

On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment. - Mohamed Khalgui; Olfa Mosbahi; Zhiwu Li 001 (IEEE Access, 2019)

Micro Air Vehicle Link (MAVlink) in a Nutshell: A Survey. - Anis Koubâa; Azza Allouch; Maram Alajlan; Yasir Javed; Abdelfettah Belghith; Mohamed Khalgui (IEEE Access, 2019)

Efficient Allocation Strategy of Energy Storage Systems in Power Grids Considering Contingencies. - Ilyes Naidji; Moncef Ben Smida; Mohamed Khalgui; Abdelmalik Bachir; Zhiwu Li 001; Naiqi Wu (IEEE Access, 2019)

Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location. - Moncef Ben Smida; Khaoula Miled; Mohamed Khalgui; Georg Frey; Zhiwu Li 001 (IEEE Access, 2019)

Dronemap Planner: A service-oriented cloud-based management system for the Internet-of-Drones. - Anis Koubâa; Basit Qureshi; Mohamed-Foued Sriti; Azza Allouch; Yasir Javed; Maram Alajlan; Omar Cheikhrouhou; Mohamed Khalgui; Eduardo Tovar (Ad Hoc Networks, 2019)

Non Cooperative Game Theoretic Approach for Residential Energy Management in Smart Grid. - Ilyes Naidji; Moncef Ben Smida; Mohamed Khalgui; Abdelmalik Bachir (CoRR, 2019)

Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. - Safa Guellouz; Adel Benzina; Mohamed Khalgui; Georg Frey; Zhiwu Li 001; Valeriy Vyatkin (IEEE Trans Autom. Sci. Eng., 2019)

Boundary Scan Extension for Testing Distributed Reconfigurable Hardware Systems. - Asma Ben Ahmed; Olfa Mosbahi; Mohamed Khalgui; Zhiwu Li 001 (IEEE Trans. Circuits Syst. I Regul. Pap., 2019)

Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Zhiwu Li 001; Georg Frey; Abdulrahman Al-Ahmari (IEEE Trans. Syst. Man Cybern. Syst., 2019)

A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata. - Roufaida Bettira; Laid Kahloul; Mohamed Khalgui (ENASE, 2020)

Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement. - Leila Ziouche; Syrine Ben Meskina; Mohamed Khalgui; Laid Kahloul (ENASE, 2020)

On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. - Chams Eddine Choucha; Mohamed Ramdani 001; Mohamed Khalgui; Laid Kahloul (ICSOFT, 2020)

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 001; Mohamed Khalgui; Laid Kahloul (ICSOFT (Selected Papers), 2020)

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; Naïma Souâd Ougouti (ICSOFT (Selected Papers), 2020)

On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. - Chams Eddine Choucha; Mohamed Oussama Ben Salem; Mohamed Khalgui; Laid Kahloul; Naïma Souâd Ougouti (ICSOFT, 2020)

Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control. - Soumoud Fkaier; Mohamed Khalgui; Georg Frey (ICSOFT, 2020)

New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks. - Aicha Goubaa; Mohamed Khalgui; Georg Frey; Zhiwu Li 001 (ICSOFT, 2020)

Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints. - Aicha Goubaa; Mohamed Khalgui; Georg Frey; Zhiwu Li 001 (ICSOFT (Selected Papers), 2020)

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 (ICSOFT, 2020)

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 (ICSOFT, 2020)

Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. - Sohaib Soualah; Yousra Hafidi; Mohamed Khalgui; Allaoua Chaoui; Laid Kahloul (ICSOFT (Selected Papers), 2020)

Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms. - Salwa Habbachi; Zhiwu Li 001; Mohamed Khalgui (VECoS, 2020)

Improved Multi-Core Real-Time Task Scheduling of Reconfigurable Systems With Energy Constraints. - Hamza Chniter; Olfa Mosbahi; Mohamed Khalgui; Mengchu Zhou; Zhiwu Li 001 (IEEE Access, 2020)

Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems. - Aicha Goubaa; Mohamed Khalgui; Zhiwu Li 001; Georg Frey; MengChu Zhou (Inf. Sci., 2020)

A guidance framework for synthesis of multi-core reconfigurable real-time systems. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Georg Frey; Zhiwu Li 001; MengChu Zhou (Inf. Sci., 2020)

Energy-Efficient Scheduling of Real-Time Tasks in Reconfigurable Homogeneous Multicore Platforms. - Aymen Gammoudi 002; Adel Benzina; Mohamed Khalgui; Daniel Chillet (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks. - Maroua Gasmi; Olfa Mosbahi; Mohamed Khalgui; Luís Gomes 001; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2020)

An Extended Object Constraint Language for Adaptive Discrete Event Systems With Application to Reconfigurable Wireless Sensor Networks. - Hanen Grichi; Olfa Mosbahi; Mohamed Khalgui; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2020)

On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems. - Yousra Hafidi; Laïd Kahloul; Mohamed Khalgui; Zhiwu Li 001; Khalid Abdulaziz Alnowibet; Ting Qu (IEEE Trans. Syst. Man Cybern. Syst., 2020)

On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets. - Oussama Karoui; Yufeng Chen 001; Zhiwu Li 001; Naiqi Wu; Mohamed Khalgui (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499. - Soumoud Fkaier; Mohamed Khalgui; Georg Frey (ENASE, 2021)

A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems. - Soumoud Fkaier; Mohamed Khalgui; Georg Frey (ICSOFT, 2021)

Software Framework of Context-Aware Reconfigurable Secure Smart Grids. - Soumoud Fkaier; Mohamed Khalgui; Georg Frey (ICSOFT (Selected Papers), 2021)

UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones. - Azza Allouch; Omar Cheikhrouhou; Anis Koubâa; Khalifa Toumi; Mohamed Khalgui; Tuan Nguyen Gia (Sensors, 2021)

Predictive Intelligent Transportation: Alleviating Traffic Congestion in the Internet of Vehicles. - Le Zhang; Mohamed Khalgui; Zhiwu Li 001 (Sensors, 2021)

On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints. - Aicha Goubaa; Mohamed Khalgui; Zhiwu Li 001; Georg Frey; Abdulrahman Al-Ahmari (IEEE Trans Autom. Sci. Eng., 2021)

RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui; Zhiwu Li 001; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2021)

On Feasibility of Multichannel Reconfigurable Wireless Sensor Networks Under Real-Time and Energy Constraints. - Yousra Ben Aissa; Abdelmalik Bachir; Mohamed Khalgui; Anis Koubaa; Zhiwu Li 001; Ting Qu (IEEE Trans. Syst. Man Cybern. Syst., 2021)

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 (ENASE, 2022)

Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator. - Hanene Rouainia; Hanen Grichi; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2022)

A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology. - Hanene Rouainia; Hanen Grichi; Laid Kahloul; Mohamed Khalgui (ICSOFT (Selected Papers), 2022)

Secret inference and attacktability analysis of discrete event systems. - Salwa Habbachi; Amal Zaghdoud; Zhiwu Li 001; Naiqi Wu; Mohamed Khalgui (Inf. Sci., 2022)

Dynamic Timed Automata for Reconfigurable System Modeling and Verification. - Samir Tigane; Fayçal Guerrouf; Nadia Hamani; Laid Kahloul; Mohamed Khalgui; Masood Ashraf Ali (Axioms, 2023)

On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets. - Samir Tigane; Laid Kahloul; Nadia Hamani; Mohamed Khalgui; Masood Ashraf Ali (IEEE Trans. Syst. Man Cybern. Syst., 2023)

Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL. - Sohaib Soualah; Mohamed Khalgui; Allaoua Chaoui (AINA (2), 2024)

Supervisory Control of Discrete Event Systems Modeled With Labeled Petri Nets for Diagnosability Enforcement. - Chengzong Li; Yufeng Chen 001; Almetwally M. Mostafa; Mohamed Khalgui (IEEE Trans Autom. Sci. Eng., 2025)