A Specification and Validation Technique Based on STATEMATE and FNLOG. - Olfa Mosbahi; Leila Jemni Ben Ayed; Samir Ben Ahmed; Jacques Jaray (ICFEM, 2002)

Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. - Olfa Mosbahi; Jacques Jaray; Leila Jemni Ben Ayed (AICCSA, 2006)

Specification and Proof of Liveness Properties in B Event Systems. - Olfa Mosbahi; Jacques Jaray (ICSOFT (SE), 2007)

A Formal Approach for the Development of Automated Systems. - Olfa Mosbahi; Leila Jemni Ben Ayed; Jacques Jaray (ICSOFT (SE), 2007)

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

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

Intelligent distributed control systems. - Mohamed Khalgui; Olfa Mosbahi (Inf. Softw. Technol., 2010)

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)

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)

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)

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)

An Automated Approach for Adaptive Control Systems. - Mohamed Khalgui; Olfa Mosbahi; Emanuele Carpanzano; Anna Valente (Int. J. Intell. Mechatronics Robotics, 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)

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

Combining Formal Methods for the Development of Reactive Systems. - Olfa Mosbahi (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)

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 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)

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)

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)

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)

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)

PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. - Maroua Gasmi; Olfa Mosbahi; Mohamed Khalgui; Luís Gomes 001 (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)

Real-time scheduling of sporadic tasks in energy harvesting distributed reconfigurable embedded systems. - Wiem Housseyni; Olfa Mosbahi; Mohamed Khalgui; Maryline Chetto (AICCSA, 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 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)

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)

Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems. - Wiem Housseyni; Olfa Mosbahi; Mohamed Khalgui (AICCSA, 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)

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

Enhanced Test for Reconfigurable Hardware Systems Based on Sequential Logic. - Asma Ben Ahmed; Olfa Mosbahi; Mohamed Khalgui (EUC, 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)

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)

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)

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 Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment. - Mohamed Khalgui; Olfa Mosbahi; Zhiwu Li 001 (IEEE Access, 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)

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)

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 the Use of Reinforcement Learning for Real-Time System Design and Refactoring. - Bakhta Haouari; Rania Mzid; Olfa Mosbahi (ISDA (3), 2022)

PSRL: A New Method for Real-Time Task Placement and Scheduling Using Reinforcement Learning. - Bakhta Haouari; Rania Mzid; Olfa Mosbahi (SEKE, 2023)

Equitable water distribution: Solution based on genetic algorithms. - Amina Jandoubi; Abdelaziz El Fazziki; Mohamed Taha Bennani; Olfa Mosbahi (SITIS, 2023)

A reinforcement learning-based approach for online optimal control of self-adaptive real-time systems. - Bakhta Haouari; Rania Mzid; Olfa Mosbahi (Neural Comput. Appl., 2023)

Reinforcement Learning for Multi-Objective Task Placement on Heterogeneous Architectures with Real-Time Constraints. - Bakhta Haouari; Rania Mzid; Olfa Mosbahi (ENASE, 2024)

Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation. - Amina Jandoubi; Mohamed Taha Bennani; Olfa Mosbahi; Abdelaziz El Fazziki (ENASE, 2024)

Multi-Criteria Decision-Making Approach for an Efficient Postproduction Test of Reconfigurable Hardware System. - Asma Ben Ahmed; Fadwa Oukhay; Olfa Mosbahi (ICSOFT, 2024)

Investigating the performance of multi-objective reinforcement learning techniques in the context of IoT with harvesting energy. - Bakhta Haouari; Rania Mzid; Olfa Mosbahi (J. Supercomput., 2025)

User comfort or sustainability? A multi-objective reinforcement learning strategy for the IoMT with harvesting energy. - Rania Mzid; Bakhta Haouari; Olfa Mosbahi (Clust. Comput., 2025)