| 2024 | ENASE | Reinforcement Learning for Multi-Objective Task Placement on Heterogeneous Architectures with Real-Time Constraints. | Bakhta Haouari, Rania Mzid, Olfa Mosbahi |
| 2024 | ENASE | Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation. | Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi, Abdelaziz El Fazziki |
| 2024 | ICSoft | Multi-Criteria Decision-Making Approach for an Efficient Postproduction Test of Reconfigurable Hardware System. | Asma Ben Ahmed, Fadwa Oukhay, Olfa Mosbahi |
| 2023 | SEKE | PSRL: A New Method for Real-Time Task Placement and Scheduling Using Reinforcement Learning. | Bakhta Haouari, Rania Mzid, Olfa Mosbahi |
| 2022 | ISDA | On the Use of Reinforcement Learning for Real-Time System Design and Refactoring. | Bakhta Haouari, Rania Mzid, Olfa Mosbahi |
| 2019 | ICSoft | Cooperative Energy Management Software for Networked Microgrids. | Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir |
| 2019 | ICSoft | Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids. | Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir |
| 2018 | EUC | Enhanced Test for Reconfigurable Hardware Systems Based on Sequential Logic. | Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui |
| 2017 | AICCSA | Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems. | Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui |
| 2017 | ICSoft | REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems. | Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui |
| 2017 | ICSoft | New Verification Approach for Reconfigurable Distributed Systems. | Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2017 | ICSoft | Specification Approach using GR-TNCES: Application to an Automotive Transport System. | Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2017 | ICSoft | From Specification to Implementation of an Automotive Transport System. | Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2016 | AICCSA | Real-time scheduling of sporadic tasks in energy harvesting distributed reconfigurable embedded systems. | Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Maryline Chetto |
| 2016 | ENASE | RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems. | Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane |
| 2016 | ENASE | Towards a Secure RA2DL Based Approach. | Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane |
| 2016 | ENASE | A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. | Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed |
| 2016 | ICINCO | Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO. | Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2016 | ICSoft | New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip NoC. | Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li |
| 2016 | ICSoft | Untitled record | Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li |
| 2016 | SoMeT | A Development Tool Chain for Reconfigurable WSNs. | Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui |
| 2015 | ICSoft | ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems. | Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui |
| 2015 | ICSoft | 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 |
| 2015 | ICSoft | 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 |
| 2015 | ICSoft | R-UML: An UML Profile for Verification of Flexible Control Systems. | Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |
| 2015 | SoMeT | New Solutions for Useful Execution Models of Communicating Adaptive RA2DL. | Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane |
| 2015 | SoMeT | PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. | Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Lus Gomes |
| 2014 | ICINCO | Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. | Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Lus Gomes |
| 2014 | ICINCO | Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling. | Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Lus Gomes |
| 2014 | ICINCO | Reconfigurable CAN in Real-time Embedded Platforms. | Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui |
| 2014 | ICINCO | New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems. | Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed |
| 2014 | ICSoft | Reconfigurable Wireless Sensor Networks - New Adaptive Dynamic Solutions for Flexible Architectures. | Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui |
| 2014 | ICSoft | New Flexible Architectures for Reconfigurable Wireless Sensor Networks. | Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui |
| 2014 | ICSoft | New Multi-Token based Protocol for Flexible Networked Microcontrollers. | Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui |
| 2011 | ICSoft | Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System. | Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li, Atef Gharbi |
| 2009 | INDIN | Implementation of agent-based reconfigurable embedded control systems. | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch |
| 2008 | ETFA | A formal approach to check and schedule reconfigurable embedded control systems. | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch |
| 2007 | ICSoft | Specification and Proof of Liveness Properties in B Event Systems. | Olfa Mosbahi, Jacques Jaray |
| 2007 | ICSoft | A Formal Approach for the Development of Automated Systems. | Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray |
| 2006 | AICCSA | 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 |
| 2002 | ICFEM | A Specification and Validation Technique Based on STATEMATE and FNLOG. | Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray |