Olfa Mosbahi

Zhiwu Li

IEEE Access, 2019

Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 14th International Conference, 2019

Cooperative Energy Management Software for Networked Microgrids.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2018

R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2018

Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2018

Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems.

[BibT_eX]

[DOI]

IEEE Access, 2018

Coherence and Feasibility of Real-Time Software Tasks in Networked Adaptive Systems.

[BibT_eX]

[DOI]

IEEE Access, 2018

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

[BibT_eX]

[DOI]

IEEE Access, 2018

Enhanced Test for Reconfigurable Hardware Systems Based on Sequential Logic.

[BibT_eX]

[DOI]

Asma Ben Ahmed

Proceedings of the 16th IEEE International Conference on Embedded and Ubiquitous Computing, 2018

2017

RWiN: New Methodology for the Development of Reconfigurable WSN.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2017

From Specification to Implementation of an Automotive Transport System.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 12th International Joint Conference, 2017

Specification Approach using GR-TNCES: Application to an Automotive Transport System.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Software Technologies, 2017

New Verification Approach for Reconfigurable Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Software Technologies, 2017

REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems.

[BibT_eX]

[DOI]

Wiem Housseyni

Proceedings of the 12th International Conference on Software Technologies, 2017

Adaptive Task Mapping and Scheduling for Reconfigurable Distributed Embedded Energy Harvesting Systems.

[BibT_eX]

[DOI]

Wiem Housseyni

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.

[BibT_eX]

[DOI]

Int. J. Model. Identif. Control., 2016

A Development Tool Chain for Reconfigurable WSNs.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

<i>CRMPSoC</i>: New Solution for Feasible Reconfigurable MPSoC.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies, 11th International Joint Conference, 2016

New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip NoC.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2016, 2016

Towards a Secure RA2DL Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2016, 2016

Real-Time Scheduling of Reconfigurable Distributed Embedded Systems with Energy Harvesting Prediction.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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".

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2015

Reconfigurable Coordination of Distributed Discrete Event Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2015

Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2015

PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

New Solutions for Useful Execution Models of Communicating Adaptive RA2DL.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

Modeling and Verification of B-based Distributed Reconfigurable Control Systems.

[BibT_eX]

[DOI]

Proceedings of the PECCS 2015, 2015

New Solutions for Optimal Hardware Tests of Reconfigurable Hardware Systems.

[BibT_eX]

[DOI]

Asma Ben Ahmed

Proceedings of the PECCS 2015, 2015

RA2DL: New Flexible Solution for Adaptive AADL-based Control Components.

[BibT_eX]

[DOI]

Proceedings of the PECCS 2015, 2015

R-UML: An UML Profile for Verification of Flexible Control Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-EA 2015, 2015

ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-EA 2015, 2015

Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Engineering Systems and Technologies, 2015

BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture.

[BibT_eX]

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.

[BibT_eX]

Proceedings of the HEALTHINF 2015, 2015

Formal specification and verification of reconfigurable wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Multi-Conference on Systems, Signals & Devices, 2015

2014

Adaptive STM32F4 Microcontrollers - Case of Flexible Smart Meters.

[BibT_eX]

[DOI]

Proceedings of the SMARTGREENS 2014, 2014

New Software Solutions for Low-power Management of Green Smart Homes.

[BibT_eX]

[DOI]

Proceedings of the SMARTGREENS 2014, 2014

New Reconfigurable Middleware for Feasible Adaptive RT-Linux.

[BibT_eX]

[DOI]

Proceedings of the PECCS 2014, 2014

New Multi-Token based Protocol for Flexible Networked Microcontrollers.

[BibT_eX]

[DOI]

Imen Khemaissia

Proceedings of the ICSOFT-EA 2014, 2014

New Flexible Architectures for Reconfigurable Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 9th International Joint Conference, 2014

Reconfigurable Wireless Sensor Networks - New Adaptive Dynamic Solutions for Flexible Architectures.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-EA 2014, 2014

New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Imen Khemaissia

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Informatics in Control, Automation and Robotics, 2014

PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems.

[BibT_eX]

[DOI]

Proceedings of the ADECS 2014, 2014

New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures.

[BibT_eX]

[DOI]

Imen Khemaissia

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.

[BibT_eX]

[DOI]

Abdulrahman Al-Ahmari

IEEE Trans. Syst. Man Cybern. Syst., 2013

Combining Formal Methods for the Development of Reactive Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

Runtime Reconfigurations of Embedded Controllers.

[BibT_eX]

[DOI]

Zhiwu Li

ACM Trans. Embed. Comput. Syst., 2013

2012

Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2012

Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems".

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2012

An Automated Approach for Adaptive Control Systems.

[BibT_eX]

[DOI]

Int. J. Intell. Mechatronics Robotics, 2012

2011

A Component-Based Approach for the Development of Automated Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2011

Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2011

Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2011

A formal approach for the development of reactive systems.

[BibT_eX]

[DOI]

Leila Jemni Ben Ayed

Inf. Softw. Technol., 2011

Combining formal methods for the development of reactive systems.

[BibT_eX]

[DOI]

Int. J. Comput. Appl. Technol., 2011

Formal approach for the development of intelligent industrial control components.

[BibT_eX]

[DOI]

Int. J. Comput. Appl. Technol., 2011

Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System.

[BibT_eX]

Proceedings of the ICSOFT 2011, 2011

2010

Intelligent distributed control systems.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2010

2009

Implementation of agent-based reconfigurable embedded control systems.

[BibT_eX]

[DOI]

Hans-Michael Hanisch

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

2008

A formal approach to check and schedule reconfigurable embedded control systems.

[BibT_eX]

[DOI]

Hans-Michael Hanisch

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007

A Formal Approach for the Development of Automated Systems.

[BibT_eX]

Leila Jemni Ben Ayed

Jacques Jaray

Proceedings of the ICSOFT 2007, 2007

Specification and Proof of Liveness Properties in B Event Systems.

[BibT_eX]

Jacques Jaray

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.

[BibT_eX]

[DOI]