Olfa Mosbahi

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 36

Top Topics

Wireless Sensor

Reinforcement Learning

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

ICSOFT (Selected Papers)

Publications

Bakhta Haouari, Rania Mzid, Olfa Mosbahi
Reinforcement Learning for Multi-Objective Task Placement on Heterogeneous Architectures with Real-Time Constraints. ENASE (2024)
Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi, Abdelaziz El Fazziki
Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation. ENASE (2024)
Bakhta Haouari, Rania Mzid, Olfa Mosbahi
A reinforcement learning-based approach for online optimal control of self-adaptive real-time systems. Neural Comput. Appl. 35 (27) (2023)
Bakhta Haouari, Rania Mzid, Olfa Mosbahi
PSRL: A New Method for Real-Time Task Placement and Scheduling Using Reinforcement Learning. SEKE (2023)
Amina Jandoubi, Abdelaziz El Fazziki, Mohamed Taha Bennani, Olfa Mosbahi
Equitable water distribution: Solution based on genetic algorithms. SITIS (2023)
Bakhta Haouari, Rania Mzid, Olfa Mosbahi
On the Use of Reinforcement Learning for Real-Time System Design and Refactoring. ISDA (3) (2022)
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)
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)
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)
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)
Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir
Cooperative Energy Management Software for Networked Microgrids. ICSOFT (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)
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)
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)
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)
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)
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)
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)
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)
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li
New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip NoC. ICSOFT-EA (2016)
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li
: New Solution for Feasible Reconfigurable MPSoC. ICSOFT (Selected Papers) (2016)
Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO. ICINCO (1) (2016)
Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems. ENASE (2016)
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed
A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. ENASE (2016)
Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
New Solutions for Useful Execution Models of Communicating Adaptive RA2DL. SoMeT (2015)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture. BIOSTEC (Selected Papers) (2015)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS. HEALTHINF (2015)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture. HEALTHINF (2015)
Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
RA2DL: New Flexible Solution for Adaptive AADL-based Control Components. PECCS (2015)
Xi Wang, Imen Khemaissia, Mohamed Khalgui, ZhiWu Li, Olfa Mosbahi, MengChu Zhou
Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks. IEEE Trans Autom. Sci. Eng. 12 (1) (2015)
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed
Modeling and Verification of B-based Distributed Reconfigurable Control Systems. PECCS (2015)
Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints. ICSOFT-EA (2015)
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems. ICSOFT-EA (2015)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. SoMeT (2015)
Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui
New Solutions for Optimal Hardware Tests of Reconfigurable Hardware Systems. PECCS (2015)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems. ICSOFT-PT (2015)
Meng Qin, Zhiwu Li, Mengchu Zhou, Mohamed Khalgui, Olfa Mosbahi
Corrections to "Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions". IEEE Trans. Syst. Man Cybern. Syst. 45 (10) (2015)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
R-UML: An UML Profile for Verification of Flexible Control Systems. ICSOFT (Selected Papers) (2015)
Jiafeng Zhang, Mohamed Khalgui, Zhiwu Li, Georg Frey, Olfa Mosbahi, Hela Ben Salah
Reconfigurable Coordination of Distributed Discrete Event Control Systems. IEEE Trans. Control. Syst. Technol. 23 (1) (2015)
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
Formal specification and verification of reconfigurable wireless sensor networks. SSD (2015)
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Walid Bouzayen
New Reconfigurable Middleware for Feasible Adaptive RT-Linux. PECCS (2014)
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
New Flexible Architectures for Reconfigurable Wireless Sensor Networks. ICSOFT (Selected Papers) (2014)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui
PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems. ADECS @ Petri Nets (2014)
Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
Reconfigurable Wireless Sensor Networks - New Adaptive Dynamic Solutions for Flexible Architectures. ICSOFT EA (2014)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling. ICINCO (1) (2014)
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui
Reconfigurable CAN in Real-time Embedded Platforms. ICINCO (1) (2014)
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. ICINCO (Selected Papers) (2014)
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui
New Multi-Token based Protocol for Flexible Networked Microcontrollers. ICSOFT EA (2014)
Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui
New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures. ACSD (2014)
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed
New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems. ICINCO (1) (2014)
Aymen Jaouadi, Olfa Mosbahi, Mohamed Khalgui, Asma Sakri
New Software Solutions for Low-power Management of Green Smart Homes. SMARTGREENS (2014)
Aymen Jaouadi, Olfa Mosbahi, Mohamed Khalgui, Ahmed Toujani
Adaptive STM32F4 Microcontrollers - Case of Flexible Smart Meters. SMARTGREENS (2014)
Jiafeng Zhang, Mohamed Khalgui, Zhiwu Li, Olfa Mosbahi, Abdulrahman Al-Ahmari
R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems. IEEE Trans. Syst. Man Cybern. Syst. 43 (4) (2013)
Olfa Mosbahi
Combining Formal Methods for the Development of Reactive Systems. ACM Trans. Embed. Comput. Syst. 12 (1) (2013)
Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li
Runtime Reconfigurations of Embedded Controllers. ACM Trans. Embed. Comput. Syst. 12 (1) (2013)
Meng Qin, ZhiWu Li, MengChu Zhou, Mohamed Khalgui, Olfa Mosbahi
Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions. IEEE Trans. Syst. Man Cybern. Part A 42 (3) (2012)
Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi
Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems". IEEE Trans Autom. Sci. Eng. 9 (2) (2012)
Mohamed Khalgui, Olfa Mosbahi, Emanuele Carpanzano, Anna Valente
An Automated Approach for Adaptive Control Systems. Int. J. Intell. Mechatronics Robotics 2 (3) (2012)
Mohamed Khalgui, Olfa Mosbahi
Formal approach for the development of intelligent industrial control components. Int. J. Comput. Appl. Technol. 42 (2/3) (2011)
Olfa Mosbahi, Mohamed Khalgui
Combining formal methods for the development of reactive systems. Int. J. Comput. Appl. Technol. 42 (2/3) (2011)
Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch
Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. IEEE Trans. Computers 60 (4) (2011)
Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li, Atef Gharbi
Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System. ICSOFT (2) (2011)
Yufeng Chen, ZhiWu Li, Mohamed Khalgui, Olfa Mosbahi
Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems. IEEE Trans Autom. Sci. Eng. 8 (2) (2011)
Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui
A formal approach for the development of reactive systems. Inf. Softw. Technol. 53 (1) (2011)
Olfa Mosbahi, Mohamed Khalgui, Hans-Michael Hanisch, Zhiwu Li
A Component-Based Approach for the Development of Automated Systems. IEEE Trans. Syst. Man Cybern. Part A 41 (5) (2011)
Mohamed Khalgui, Olfa Mosbahi
Intelligent distributed control systems. Inf. Softw. Technol. 52 (12) (2010)
Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch
Implementation of agent-based reconfigurable embedded control systems. INDIN (2009)
Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch
A formal approach to check and schedule reconfigurable embedded control systems. ETFA (2008)
Olfa Mosbahi, Jacques Jaray
Specification and Proof of Liveness Properties in B Event Systems. ICSOFT (SE) (2007)
Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray
A Formal Approach for the Development of Automated Systems. ICSOFT (SE) (2007)
Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed
Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. AICCSA (2006)
Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray
A Specification and Validation Technique Based on STATEMATE and FNLOG. ICFEM (2002)