Olfa Mosbahi

According to our database1, Olfa Mosbahi authored at least 77 papers between 2002 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
An Extended Object Constraint Language for Adaptive Discrete Event Systems With Application to Reconfigurable Wireless Sensor Networks.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Improved Multi-Core Real-Time Task Scheduling of Reconfigurable Systems With Energy Constraints.
IEEE Access, 2020

2019
Boundary Scan Extension for Testing Distributed Reconfigurable Hardware Systems.
IEEE Trans. Circuits Syst. I Regul. Pap., 2019

On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment.
IEEE Access, 2019

Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids.
Proceedings of the Software Technologies - 14th International Conference, 2019

Cooperative Energy Management Software for Networked Microgrids.
Proceedings of the 14th International Conference on Software Technologies, 2019

2018
New Power-Oriented Methodology for Dynamic Resizing and Mobility of Reconfigurable Wireless Sensor Networks.
IEEE Trans. Syst. Man Cybern. Syst., 2018

R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node.
IEEE Trans. Syst. Man Cybern. Syst., 2018

Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems.
IEEE Trans Autom. Sci. Eng., 2018

Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems.
IEEE Access, 2018

Coherence and Feasibility of Real-Time Software Tasks in Networked Adaptive Systems.
IEEE Access, 2018

Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints.
IEEE Access, 2018

Enhanced Test for Reconfigurable Hardware Systems Based on Sequential Logic.
Proceedings of the 16th IEEE International Conference on Embedded and Ubiquitous Computing, 2018

2017
RWiN: New Methodology for the Development of Reconfigurable WSN.
IEEE Trans Autom. Sci. Eng., 2017

From Specification to Implementation of an Automotive Transport System.
Proceedings of the Software Technologies - 12th International Joint Conference, 2017

Specification Approach using GR-TNCES: Application to an Automotive Transport System.
Proceedings of the 12th International Conference on Software Technologies, 2017

New Verification Approach for Reconfigurable Distributed Systems.
Proceedings of the 12th International Conference on Software Technologies, 2017

REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems.
Proceedings of the 12th International Conference on Software Technologies, 2017

Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems.
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2016
New solutions for optimal power production, distribution and consumption in smart grids.
Int. J. Model. Identif. Control., 2016

A Development Tool Chain for Reconfigurable WSNs.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

<i>CRMPSoC</i>: New Solution for Feasible Reconfigurable MPSoC.
Proceedings of the Software Technologies, 11th International Joint Conference, 2016

New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip NoC.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO.
Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2016), 2016

A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems.
Proceedings of the ENASE 2016, 2016

Towards a Secure RA2DL Based Approach.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems.
Proceedings of the ENASE 2016, 2016

Real-Time Scheduling of Reconfigurable Distributed Embedded Systems with Energy Harvesting Prediction.
Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2016

Real-time scheduling of sporadic tasks in energy harvesting distributed reconfigurable embedded systems.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2015
Corrections to "Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions".
IEEE Trans. Syst. Man Cybern. Syst., 2015

Reconfigurable Coordination of Distributed Discrete Event Control Systems.
IEEE Trans. Control. Syst. Technol., 2015

Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks.
IEEE Trans Autom. Sci. Eng., 2015

PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm.
Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

New Solutions for Useful Execution Models of Communicating Adaptive RA2DL.
Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

Modeling and Verification of B-based Distributed Reconfigurable Control Systems.
Proceedings of the PECCS 2015, 2015

New Solutions for Optimal Hardware Tests of Reconfigurable Hardware Systems.
Proceedings of the PECCS 2015, 2015

RA2DL: New Flexible Solution for Adaptive AADL-based Control Components.
Proceedings of the PECCS 2015, 2015

R-UML: An UML Profile for Verification of Flexible Control Systems.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems.
Proceedings of the ICSOFT-PT 2015, 2015

GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints.
Proceedings of the ICSOFT-EA 2015, 2015

ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems.
Proceedings of the ICSOFT-EA 2015, 2015

Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture.
Proceedings of the Biomedical Engineering Systems and Technologies, 2015

BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture.
Proceedings of the HEALTHINF 2015, 2015

ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS.
Proceedings of the HEALTHINF 2015, 2015

Formal specification and verification of reconfigurable wireless sensor networks.
Proceedings of the 12th IEEE International Multi-Conference on Systems, Signals & Devices, 2015

2014
Adaptive STM32F4 Microcontrollers - Case of Flexible Smart Meters.
Proceedings of the SMARTGREENS 2014, 2014

New Software Solutions for Low-power Management of Green Smart Homes.
Proceedings of the SMARTGREENS 2014, 2014

New Reconfigurable Middleware for Feasible Adaptive RT-Linux.
Proceedings of the PECCS 2014, 2014

New Multi-Token based Protocol for Flexible Networked Microcontrollers.
Proceedings of the ICSOFT-EA 2014, 2014

New Flexible Architectures for Reconfigurable Wireless Sensor Networks.
Proceedings of the Software Technologies - 9th International Joint Conference, 2014

Reconfigurable Wireless Sensor Networks - New Adaptive Dynamic Solutions for Flexible Architectures.
Proceedings of the ICSOFT-EA 2014, 2014

New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems.
Proceedings of the ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Vienna, Austria, 1, 2014

Reconfigurable CAN in Real-time Embedded Platforms.
Proceedings of the ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Vienna, Austria, 1, 2014

Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling.
Proceedings of the ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Vienna, Austria, 1, 2014

Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration.
Proceedings of the Informatics in Control, Automation and Robotics, 2014

PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems.
Proceedings of the ADECS 2014, 2014

New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013
R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2013

Combining Formal Methods for the Development of Reactive Systems.
ACM Trans. Embed. Comput. Syst., 2013

Runtime Reconfigurations of Embedded Controllers.
ACM Trans. Embed. Comput. Syst., 2013

2012
Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions.
IEEE Trans. Syst. Man Cybern. Part A, 2012

Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems".
IEEE Trans Autom. Sci. Eng., 2012

An Automated Approach for Adaptive Control Systems.
Int. J. Intell. Mechatronics Robotics, 2012

2011
A Component-Based Approach for the Development of Automated Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2011

Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation.
IEEE Trans. Computers, 2011

Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems.
IEEE Trans Autom. Sci. Eng., 2011

A formal approach for the development of reactive systems.
Inf. Softw. Technol., 2011

Combining formal methods for the development of reactive systems.
Int. J. Comput. Appl. Technol., 2011

Formal approach for the development of intelligent industrial control components.
Int. J. Comput. Appl. Technol., 2011

Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System.
Proceedings of the ICSOFT 2011, 2011

2010
Intelligent distributed control systems.
Inf. Softw. Technol., 2010

2008
A formal approach to check and schedule reconfigurable embedded control systems.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007
A Formal Approach for the Development of Automated Systems.
Proceedings of the ICSOFT 2007, 2007

Specification and Proof of Liveness Properties in B Event Systems.
Proceedings of the ICSOFT 2007, 2007

2006
Formal development method of control systems using the event-based B approach Case study : A parcel sorting device.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2002
A Specification and Validation Technique Based on STATEMATE and FNLOG.
Proceedings of the Formal Methods and Software Engineering, 2002


  Loading...