default search action
Olfa Mosbahi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c55]Bakhta Haouari, Rania Mzid, Olfa Mosbahi:
Reinforcement Learning for Multi-Objective Task Placement on Heterogeneous Architectures with Real-Time Constraints. ENASE 2024: 179-189 - [c54]Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi, Abdelaziz El Fazziki:
Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation. ENASE 2024: 370-378 - [c53]Asma Ben Ahmed, Fadwa Oukhay, Olfa Mosbahi:
Multi-Criteria Decision-Making Approach for an Efficient Postproduction Test of Reconfigurable Hardware System. ICSOFT 2024: 511-518 - 2023
- [j30]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): 20375-20401 (2023) - [c52]Bakhta Haouari, Rania Mzid, Olfa Mosbahi:
PSRL: A New Method for Real-Time Task Placement and Scheduling Using Reinforcement Learning. SEKE 2023: 554-559 - [c51]Amina Jandoubi, Abdelaziz El Fazziki, Mohamed Taha Bennani, Olfa Mosbahi:
Equitable water distribution: Solution based on genetic algorithms. SITIS 2023: 226-233 - 2022
- [c50]Bakhta Haouari, Rania Mzid, Olfa Mosbahi:
On the Use of Reinforcement Learning for Real-Time System Design and Refactoring. ISDA (3) 2022: 503-512 - 2020
- [j29]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: 95698-95713 (2020) - [j28]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): 2623-2637 (2020) - [j27]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): 3562-3576 (2020)
2010 – 2019
- 2019
- [j26]Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li:
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment. IEEE Access 7: 18219-18233 (2019) - [j25]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. 66-I(7): 2699-2708 (2019) - [c49]Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir:
Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids. ICSOFT (Selected Papers) 2019: 205-228 - [c48]Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir:
Cooperative Energy Management Software for Networked Microgrids. ICSOFT 2019: 428-438 - 2018
- [j24]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: 2068-2084 (2018) - [j23]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: 35824-35843 (2018) - [j22]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: 70426-70443 (2018) - [j21]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): 1864-1882 (2018) - [j20]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): 892-905 (2018) - [j19]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): 1120-1130 (2018) - [c47]Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui:
Enhanced Test for Reconfigurable Hardware Systems Based on Sequential Logic. EUC 2018: 45-53 - 2017
- [j18]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
RWiN: New Methodology for the Development of Reconfigurable WSN. IEEE Trans Autom. Sci. Eng. 14(1): 109-125 (2017) - [c46]Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui:
Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems. AICCSA 2017: 630-636 - [c45]Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
From Specification to Implementation of an Automotive Transport System. ICSOFT (Selected Papers) 2017: 49-68 - [c44]Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
Specification Approach using GR-TNCES: Application to an Automotive Transport System. ICSOFT 2017: 105-115 - [c43]Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui:
REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems. ICSOFT 2017: 346-354 - [c42]Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
New Verification Approach for Reconfigurable Distributed Systems. ICSOFT 2017: 355-362 - 2016
- [j17]Olfa Mosbahi, Mohamed Khalgui:
New solutions for optimal power production, distribution and consumption in smart grids. Int. J. Model. Identif. Control. 26(2): 110-129 (2016) - [c41]Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Maryline Chetto:
Real-time scheduling of sporadic tasks in energy harvesting distributed reconfigurable embedded systems. AICCSA 2016: 1-8 - [c40]Wiem Housseyni, Olfa Mosbahi, Mohamed Khalgui, Maryline Chetto:
Real-Time Scheduling of Reconfigurable Distributed Embedded Systems with Energy Harvesting Prediction. DS-RT 2016: 145-152 - [c39]Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane:
Towards a Secure RA2DL Based Approach. ENASE (Selected Papers) 2016: 89-110 - [c38]Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane:
RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems. ENASE 2016: 102-111 - [c37]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: 140-147 - [c36]Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO. ICINCO (1) 2016: 551-558 - [c35]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li:
CRMPSoC: New Solution for Feasible Reconfigurable MPSoC. ICSOFT (Selected Papers) 2016: 175-198 - [c34]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, ZhiWu Li:
New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip NoC. ICSOFT-EA 2016: 249-257 - [c33]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui:
A Development Tool Chain for Reconfigurable WSNs. SoMeT 2016: 101-114 - 2015
- [j16]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): 258-271 (2015) - [j15]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): 323-330 (2015) - [j14]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): 1385-1386 (2015) - [c32]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui:
Formal specification and verification of reconfigurable wireless sensor networks. SSD 2015: 1-8 - [c31]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: 20-31 - [c30]Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey:
BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture. HEALTHINF 2015: 151-163 - [c29]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: 403-423 - [c28]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui:
ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems. ICSOFT-EA 2015: 45-52 - [c27]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: 64-75 - [c26]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: 118-136 - [c25]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: 373-380 - [c24]Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed:
Modeling and Verification of B-based Distributed Reconfigurable Control Systems. PECCS 2015: 124-131 - [c23]Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane:
RA2DL: New Flexible Solution for Adaptive AADL-based Control Components. PECCS 2015: 247-258 - [c22]Asma Ben Ahmed, Olfa Mosbahi, Mohamed Khalgui:
New Solutions for Optimal Hardware Tests of Reconfigurable Hardware Systems. PECCS 2015: 281-288 - [c21]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes:
PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. SoMeT 2015: 59-72 - [c20]Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane:
New Solutions for Useful Execution Models of Communicating Adaptive RA2DL. SoMeT 2015: 87-101 - 2014
- [c19]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui:
New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures. ACSD 2014: 152-158 - [c18]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: 52-67 - [c17]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes:
Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. ICINCO (Selected Papers) 2014: 23-42 - [c16]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luís Gomes:
Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling. ICINCO (1) 2014: 42-52 - [c15]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui:
Reconfigurable CAN in Real-time Embedded Platforms. ICINCO (1) 2014: 355-362 - [c14]Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed:
New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems. ICINCO (1) 2014: 749-757 - [c13]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui:
New Flexible Architectures for Reconfigurable Wireless Sensor Networks. ICSOFT (Selected Papers) 2014: 151-169 - [c12]Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui:
Reconfigurable Wireless Sensor Networks - New Adaptive Dynamic Solutions for Flexible Architectures. ICSOFT EA 2014: 254-265 - [c11]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui:
New Multi-Token based Protocol for Flexible Networked Microcontrollers. ICSOFT EA 2014: 464-469 - [c10]Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Walid Bouzayen:
New Reconfigurable Middleware for Feasible Adaptive RT-Linux. PECCS 2014: 158-167 - [c9]Aymen Jaouadi, Olfa Mosbahi, Mohamed Khalgui, Ahmed Toujani:
Adaptive STM32F4 Microcontrollers - Case of Flexible Smart Meters. SMARTGREENS 2014: 364-374 - [c8]Aymen Jaouadi, Olfa Mosbahi, Mohamed Khalgui, Asma Sakri:
New Software Solutions for Low-power Management of Green Smart Homes. SMARTGREENS 2014: 375-385 - 2013
- [j13]Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li:
Runtime Reconfigurations of Embedded Controllers. ACM Trans. Embed. Comput. Syst. 12(1): 14:1-14:23 (2013) - [j12]Olfa Mosbahi:
Combining Formal Methods for the Development of Reactive Systems. ACM Trans. Embed. Comput. Syst. 12(1): 16:1-16:29 (2013) - [j11]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): 757-772 (2013) - 2012
- [j10]Mohamed Khalgui, Olfa Mosbahi, Emanuele Carpanzano, Anna Valente:
An Automated Approach for Adaptive Control Systems. Int. J. Intell. Mechatronics Robotics 2(3): 58-71 (2012) - [j9]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): 455 (2012) - [j8]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): 727-738 (2012) - 2011
- [j7]Mohamed Khalgui, Olfa Mosbahi:
Formal approach for the development of intelligent industrial control components. Int. J. Comput. Appl. Technol. 42(2/3): 84-107 (2011) - [j6]Olfa Mosbahi, Mohamed Khalgui:
Combining formal methods for the development of reactive systems. Int. J. Comput. Appl. Technol. 42(2/3): 127-149 (2011) - [j5]Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui:
A formal approach for the development of reactive systems. Inf. Softw. Technol. 53(1): 14-33 (2011) - [j4]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): 374-393 (2011) - [j3]Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch:
Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. IEEE Trans. Computers 60(4): 538-551 (2011) - [j2]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): 1026-1031 (2011) - [c7]Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li, Atef Gharbi:
Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System. ICSOFT (2) 2011: 105-110 - 2010
- [j1]Mohamed Khalgui, Olfa Mosbahi:
Intelligent distributed control systems. Inf. Softw. Technol. 52(12): 1259-1271 (2010)
2000 – 2009
- 2009
- [c6]Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch:
Implementation of agent-based reconfigurable embedded control systems. INDIN 2009: 428-433 - 2008
- [c5]Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch:
A formal approach to check and schedule reconfigurable embedded control systems. ETFA 2008: 383-391 - 2007
- [c4]Olfa Mosbahi, Jacques Jaray:
Specification and Proof of Liveness Properties in B Event Systems. ICSOFT (SE) 2007: 25-34 - [c3]Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray:
A Formal Approach for the Development of Automated Systems. ICSOFT (SE) 2007: 304-310 - 2006
- [c2]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: 834-841 - 2002
- [c1]Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray:
A Specification and Validation Technique Based on STATEMATE and FNLOG. ICFEM 2002: 216-220
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint