Mohamed Khalgui

Proceedings of the 15th International Conference on Software Technologies, 2020

Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 15th International Conference, 2020

New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Software Technologies, 2020

Hybrid Context-awareness Modelling and Reasoning Approach for Microgrid's Intelligent Control.

[BibT_eX]

[DOI]

Soumoud Fkaier

Proceedings of the 15th International Conference on Software Technologies, 2020

On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture.

[BibT_eX]

[DOI]

Chams Eddine Choucha

Naïma Souâd Ougouti

Proceedings of the 15th International Conference on Software Technologies, 2020

R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture.

[BibT_eX]

[DOI]

Chams Eddine Choucha

Naïma Souâd Ougouti

Proceedings of the Software Technologies - 15th International Conference, 2020

On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 15th International Conference, 2020

On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Software Technologies, 2020

Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata.

[BibT_eX]

[DOI]

Roufaida Bettira

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

2019

Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation.

[BibT_eX]

[DOI]

Abdulrahman Al-Ahmari

IEEE Trans. Syst. Man Cybern. Syst., 2019

Boundary Scan Extension for Testing Distributed Reconfigurable Hardware Systems.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. I Regul. Pap., 2019

Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2019

Non Cooperative Game Theoretic Approach for Residential Energy Management in Smart Grid.

[BibT_eX]

[DOI]

CoRR, 2019

Dronemap Planner: A service-oriented cloud-based management system for the Internet-of-Drones.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2019

Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location.

[BibT_eX]

[DOI]

IEEE Access, 2019

Efficient Allocation Strategy of Energy Storage Systems in Power Grids Considering Contingencies.

[BibT_eX]

[DOI]

IEEE Access, 2019

Micro Air Vehicle Link (MAVlink) in a Nutshell: A Survey.

[BibT_eX]

[DOI]

IEEE Access, 2019

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

[BibT_eX]

[DOI]

IEEE Access, 2019

Dynamic Reconfiguration of Intelligence for High Behaviour Adaptability of Autonomous Distributed Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Access, 2019

Qualitative and Quantitative Risk Analysis and Safety Assessment of Unmanned Aerial Vehicles Missions Over the Internet.

[BibT_eX]

[DOI]

IEEE Access, 2019

Source Resizing and Improved Power Distribution for High Available Island Microgrid: A Case Study on a Tunisian Petroleum Platform.

[BibT_eX]

[DOI]

Mohamed Ghaieth Abidi

IEEE Access, 2019

Smart Grid Rebuilding based on Cloud Computing Architecture.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th International Wireless Communications & Mobile Computing Conference, 2019

On Improving Parallel Rebuilding of R-TNCESs.

[BibT_eX]

[DOI]

Mohamed Ramdani

Proceedings of the 14th International Conference on Software Technologies, 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

Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids.

[BibT_eX]

[DOI]

Yousra Hafidi

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

New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs.

[BibT_eX]

[DOI]

Yousra Hafidi

Abdul-Aziz Mohammed El-Tamimi

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

QCOF: New RPL Extension for QoS and Congestion-Aware in Low Power and Lossy Network.

[BibT_eX]

[DOI]

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

On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems.

[BibT_eX]

[DOI]

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

R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism.

[BibT_eX]

[DOI]

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

On Improved Verification of Reconfigurable Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 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

Reconfiguration-based methodology for improving recovery performance of faults in smart grids.

[BibT_eX]

[DOI]

Inf. Sci., 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

One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy.

[BibT_eX]

[DOI]

IEEE Access, 2018

State Space Characterization of Disjunctive Single-Unit Resource Allocation 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

Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems.

[BibT_eX]

[DOI]

Abdulrahman Al-Ahmari

IEEE Access, 2018

R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded Systems Under Energy Constraints.

[BibT_eX]

[DOI]

Khalid Abdulaziz Alnowibet

Marco Platzner

IEEE Access, 2018

Multi-Agent Adaptive Architecture for Flexible Distributed Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Access, 2018

Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems.

[BibT_eX]

[DOI]

Mohamed Ramdani

Proceedings of the 13th International Conference on Software Technologies, 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

Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints.

[BibT_eX]

[DOI]

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

A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core Platforms.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

2017

Multiagent Framework for Smart Grids Recovery.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2017

RWiN: New Methodology for the Development of Reconfigurable WSN.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2017

Dual mode for vehicular platoon safety: Simulation and formal verification.

[BibT_eX]

[DOI]

Inf. Sci., 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

An Energy Aware Scheduling for Reconfigurable Heterogeneous Systems.

[BibT_eX]

[DOI]

Ines Ghribi

Riadh Ben Abdallah

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

Context-awareness Meta-model for Reconfigurable Control Systems.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2017, 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

Real-Time Reconfigurations of Embedded Control Systems.

[BibT_eX]

[DOI]

Int. J. Syst. Dyn. Appl., 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

Real-Time Scheduling of Reconfigurable Battery-Powered Multi-Core Platforms.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

A New Approach for Automatic Development of Reconfigurable Real-Time Systems.

[BibT_eX]

[DOI]

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

MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 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

I-Codesign: A Codesign Methodology for Reconfigurable Embedded Systems.

[BibT_eX]

[DOI]

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

New Co-design Methodology for Real-time Embedded Systems.

[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

Verification of Reconfigurable NoC under Quality of Service Constraints.

[BibT_eX]

[DOI]

Hela Ben Salah

Adel Benzina

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 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

Reconfigurable function blocks: Extension to the standard IEC 61499.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

Enabling reconfiguration of adaptive control systems using real-time context-aware framework.

[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

An Efficient Reconfiguration-Based Approach for Improving Smart Grid Performance.

[BibT_eX]

[DOI]

Syrine Ben Meskina

Narjes Doggaz

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

New Middleware for Secured Reconfigurable Real-Time Systems.

[BibT_eX]

[DOI]

Rim Idriss

Adlen Loukil

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

PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm.

[BibT_eX]

[DOI]

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

New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems.

[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

CHAMELEON - New Object Oriented Solution for Adaptive Control Systems.

[BibT_eX]

[DOI]

Asma Nafti

Mohamed Romdhani

Proceedings of the PECCS 2015, 2015

An Efficient Simulator for Fault Detection and Recovery in Smart Grids - FDIRSY.

[BibT_eX]

[DOI]

Syrine Ben Meskina

Narjes Doggaz

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

New Forecasting-based Solutions for Optimal Energy Consumption in Microgrids with Load Shedding - Case Study: Petroleum Platform.

[BibT_eX]

[DOI]

Mohamed Ghaieth Abidi

Moncef Ben Smida

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

Petri Nets-based design of real-time reconfigurable networks on chips.

[BibT_eX]

[DOI]

Hela Ben Salah

Adel Benzina

Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

New adaptive middleware for real-time embedded operating systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

Real-time reconfigurable scheduling of multiprocessor embedded systems using hybrid genetic based approach.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

2014

Functional safety of adaptive embedded control systems: new solutions.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 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

Preemptive Hard Real-time Scheduling of Reconfigurable OS Tasks on Multiprocessors Embedded Control Systems.

[BibT_eX]

[DOI]

Proceedings of the PECCS 2014, 2014

Combinatorial Approaches for Low-power and Real-time Adaptive Reconfigurable Embedded Systems.

[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

New Solutions for Fault Detections and Dynamic Recoveries of Flexible Power Smart Grids.

[BibT_eX]

[DOI]

Syrine Ben Meskina

Narjes Doggaz

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

Combinatorial Optimization Approach for Feasible Low-Power and Real-Time Flexible OS Tasks.

[BibT_eX]

[DOI]

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

Adaptive Embedded Systems - New Composed Technical Solutions for Feasible Low-Power and Real-time Flexible OS Tasks.

[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

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

Runtime Reconfigurations of Embedded Controllers.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

Distributed Reconfigurations of Autonomous IEC61499 Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

Reconfiguration of Synchronous Real-Time Operating System.

[BibT_eX]

[DOI]

Int. J. Syst. Dyn. Appl., 2013

An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2013, 2013

Model Checking of Distributed Component-based Control Systems.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2013, 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

New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous Operating System Tasks with Minimizations of Response Time.

[BibT_eX]

[DOI]

Int. J. Syst. Dyn. Appl., 2012

UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable Embedded Control Systems.

[BibT_eX]

[DOI]

Amen Ben Hadj Ali

Int. J. Syst. Dyn. Appl., 2012

An Automated Approach for Adaptive Control Systems.

[BibT_eX]

[DOI]

Int. J. Intell. Mechatronics Robotics, 2012

New Optimal Preemptively Scheduling for Real-Time Reconfigurable Sporadic Tasks Based on Earliest Deadline First Algorithm.

[BibT_eX]

[DOI]

Int. J. Adv. Pervasive Ubiquitous Comput., 2012

2011

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

[BibT_eX]

[DOI]

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

Reconfiguration Protocol for Multi-Agent Control Software Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 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

Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems.

[BibT_eX]

[DOI]

Int. J. Model. Identif. Control., 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

Dynamic Low Power Reconfigurations of Real-time Embedded Systems.

[BibT_eX]

Xi Wang

Proceedings of the PECCS 2011, 2011

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

[BibT_eX]

Proceedings of the ICSOFT 2011, 2011

Agent-based Fault Management of Embedded Control Systems.

[BibT_eX]

Proceedings of the ICSOFT 2011, 2011

2010

New Solutions for Feasible and Coherent Reconfigurations of Multi-Agent Embedded Software Architectures.

[BibT_eX]

[DOI]

J. Ubiquitous Syst. Pervasive Networks, 2010

Intelligent distributed control systems.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2010

NCES-based modelling and CTL-based verification of reconfigurable embedded control systems.

[BibT_eX]

[DOI]

Comput. Ind., 2010

Optimal model checking of safe control embedded software components.

[BibT_eX]

[DOI]

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009

Implementation of agent-based reconfigurable embedded control systems.

[BibT_eX]

[DOI]

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

Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008

An optimised simulation of component-based embedded systems in manufacturing industry.

[BibT_eX]

[DOI]

Emanuele Carpanzano

Int. J. Simul. Process. Model., 2008

An IEC61499-based development approach for distributed industrial control applications.

[BibT_eX]

[DOI]

Kleanthis Thramboulidis

Int. J. Model. Identif. Control., 2008

A deployment methodology of real-time industrial control applications in distributed controllers.

[BibT_eX]

[DOI]

Comput. Ind., 2008

NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Reconfiguration of Embedded Systems.

[BibT_eX]

Proceedings of the ICINCO 2008, 2008

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

[BibT_eX]

[DOI]

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

Automatic specification of feasible Control Tasks in Benchmark Production Systems.

[BibT_eX]

[DOI]

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

2007

Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants. (Temporal validation and deployment of component based industrial control applications).

[BibT_eX]

[DOI]

PhD thesis, 2007

A Formal Approach to Deploy Heterogeneous Software Components in a PLC.

[BibT_eX]