Olfa Mosbahi

87 papers B 4C 17Journal 33Unranked 33
YearRankTypeTitle / Venue / Authors
2026 J jnl
Faultload sequences for the MQTT protocol services.
Int. J. Internet Protoc. Technol.
Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi
2025 J jnl
Investigating the performance of multi-objective reinforcement learning techniques in the context of IoT with harvesting energy.
J. Supercomput.
Bakhta Haouari, Rania Mzid, Olfa Mosbahi
2025 J jnl
User comfort or sustainability? A multi-objective reinforcement learning strategy for the IoMT with harvesting energy.
Clust. Comput.
Rania Mzid, Bakhta Haouari, Olfa Mosbahi
2024 B conf
Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation.
ENASE
Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi, Abdelaziz El Fazziki
2024 C conf
Multi-Criteria Decision-Making Approach for an Efficient Postproduction Test of Reconfigurable Hardware System.
ICSOFT
Asma Ben Ahmed, Fadwa Oukhay, Olfa Mosbahi
2024 B conf
Reinforcement Learning for Multi-Objective Task Placement on Heterogeneous Architectures with Real-Time Constraints.
ENASE
Bakhta Haouari, Rania Mzid, Olfa Mosbahi
2023 J jnl
A reinforcement learning-based approach for online optimal control of self-adaptive real-time systems.
Neural Comput. Appl.
Bakhta Haouari, Rania Mzid, Olfa Mosbahi
2023 — conf
Equitable water distribution: Solution based on genetic algorithms.
SITIS
Amina Jandoubi, Abdelaziz El Fazziki, Mohamed Taha Bennani, Olfa Mosbahi
2023 C conf
PSRL: A New Method for Real-Time Task Placement and Scheduling Using Reinforcement Learning.
SEKE
Bakhta Haouari, Rania Mzid, Olfa Mosbahi
2022 — conf
On the Use of Reinforcement Learning for Real-Time System Design and Refactoring.
ISDA (3)
Bakhta Haouari, Rania Mzid, Olfa Mosbahi
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 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 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
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
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment.
IEEE Access
Mohamed Khalgui, Olfa Mosbahi, ZhiWu Li
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 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
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
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
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 — conf
From Specification to Implementation of an Automotive Transport System.
ICSOFT (Selected Papers)
Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
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 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 — 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 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 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 — conf
Towards a Secure RA2DL Based Approach.
ENASE (Selected Papers)
Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
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 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 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
PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm.
SoMeT
Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes
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 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 — conf
Adaptive STM32F4 Microcontrollers - Case of Flexible Smart Meters.
SMARTGREENS
Aymen Jaouadi, Olfa Mosbahi, Mohamed Khalgui, Ahmed Toujani
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 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
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 J jnl
Combining Formal Methods for the Development of Reactive Systems.
ACM Trans. Embed. Comput. Syst.
Olfa Mosbahi
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
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
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 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
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
2010 J jnl
Intelligent distributed control systems.
Inf. Softw. Technol.
Mohamed Khalgui, Olfa Mosbahi
2009 C conf
Implementation of agent-based reconfigurable embedded control systems.
INDIN
Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch
2008 C conf
A formal approach to check and schedule reconfigurable embedded control systems.
ETFA
Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch
2007 — conf
A Formal Approach for the Development of Automated Systems.
ICSOFT (SE)
Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray
2007 — conf
Specification and Proof of Liveness Properties in B Event Systems.
ICSOFT (SE)
Olfa Mosbahi, Jacques Jaray
2006 C conf
Formal development method of control systems using the event-based B approach Case study : A parcel sorting device.
AICCSA
Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed
2002 C conf
A Specification and Validation Technique Based on STATEMATE and FNLOG.
ICFEM
Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray