Samir Ben Ahmed

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

Energy and Cost-Aware Real-Time Task Scheduling with Deadline-Constraints in Fog Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

A NoSQL-Based Approach for Data Resource Allocation Problems: Embedded Systems Use Case<sup>*</sup>.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Control, 2024

Real-Time Task Scheduling and Dynamic Resource Allocation in Fog Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2024

2023

RLReC: Towards Reinforcement Learning-based Dynamic Design of Reconfiguration Control.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Multi-objective Optimization for Dynamic Service Placement Strategy for Real-Time Applications in Fog Infrastructure.

[BibT_eX]

[DOI]

Nadjib Mohamed Mehdi Bendaoud

Proceedings of the IEEE Symposium on Computers and Communications, 2023

Automatic Detection of Implicit and Typical Implementation of Singleton Pattern Based on Supervised Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

A Dynamic Service Placement in Fog Infrastructure.

[BibT_eX]

[DOI]

Nadjib Mohamed Mehdi Bendaoud

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Supervised Machine Learning for Recovering Implicit Implementation of Singleton Design Pattern.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Features and Supervised Machine Learning Based Method for Singleton Design Pattern Variants Detection.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Control, 2023

2022

Optimal Supervisory Control of Opacity for Modular Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

Defining and Extracting Singleton Design Pattern Information from Object-Oriented Software Program.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Collective Intelligence, 2022

At Design-Time Approach for Supervisory Control of Opacity.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Systems - 28th International Conference, 2022

Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Control, 2022

2021

A Software Product Line Design Based Approach for Real-time Scheduling of Reconfigurable Embedded Systems.

[BibT_eX]

[DOI]

Comput. Hum. Behav., 2021

Optimal Solutions for Real-Time Scheduling of Reconfigurable Embedded Systems Based on Neural Networks with Minimization of Power Consumption.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

An Agent-based Model for Resource Provisioning and Task Scheduling in Cloud Computing Using DRL.

[BibT_eX]

[DOI]

Toutou Oudaa

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Towards Unified Modeling for NoSQL Solution Based on Mapping Approach.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

2020

An Intelligent Agent-Based Industrial IoT Framework for Time-Critical Data Stream Processing.

[BibT_eX]

[DOI]

Ines Gharbi

Kamel Barkaoui

Proceedings of the Mobile, Secure, and Programmable Networking, 2020

Analysis of Architectural solutions Impact on Energy Consumption: Graph-Based Analysis.

[BibT_eX]

[DOI]

Basma Khil

Adel Khalfallah

Proceedings of the 16th International Wireless Communications and Mobile Computing Conference, 2020

2019

Transport layer dependability benchmarking: TCP congestion control with fault injection.

[BibT_eX]

[DOI]

Maroua Belkneni

Mohamed Taha Bennani

Int. J. Wirel. Mob. Comput., 2019

The Rise of Robotics Data for Real-Time Management Based on New NoSQL Solution.

[BibT_eX]

[DOI]

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

Fuzzy Decision Efficiency for Multiprocessor Architecture Configuration.

[BibT_eX]

[DOI]

Najar Yousra

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Intelligent Online Configuration for DVFS Multiprocessor Architecture: Fuzzy Approach.

[BibT_eX]

[DOI]

Najar Yousra

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Safe Design Real-time Embedded Systems with Security Patterns.

[BibT_eX]

[DOI]

Ahmed Ben Mansour

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

A MARTE-Based Design Pattern for Adaptive Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Ahmed Ben Mansour

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

Formal Approach to Dynamic SoS Design.

[BibT_eX]

[DOI]

Hela Kadri

Simon Collart Dutilleul

Philippe Bon

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

2018

New optimal solutions for real-time scheduling of reconfigurable embedded systems based on neural networks with minimisation of power consumption.

[BibT_eX]

[DOI]

Int. J. Intell. Eng. Informatics, 2018

Multi Criteria Automatic Generation of Optimal Routing for WSN.

[BibT_eX]

[DOI]

Proceedings of the 14th International Wireless Communications & Mobile Computing Conference, 2018

Congestion control dependability assessment.

[BibT_eX]

[DOI]

Proceedings of the 14th International Wireless Communications & Mobile Computing Conference, 2018

Dependability Assessment of the Transport Layer's Reliability Service.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

Web Service Selection based on Parallel Cluster Partitioning and Representative Skyline.

[BibT_eX]

[DOI]

Sahar Regaieg

Proceedings of the 13th International Conference on Software Technologies, 2018

An Agent-Based Planning Method for Distributed Task Allocation.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 13th International Conference, 2018

A Social Multi-agent Cooperation System based on Planning and Distributed Task Allocation: Real Case Study.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Software Technologies, 2018

A Formal Approach for Multi-occurrence Crisis Management.

[BibT_eX]

[DOI]

Hela Kadri

Simon Collart Dutilleul

Philippe Bon

Proceedings of the 13th International Conference on Software Technologies, 2018

On the Use of Models for Real-time Reconfigurations of Embedded Systems.

[BibT_eX]

[DOI]

Naima Armaoui

Proceedings of the 13th International Conference on Software Technologies, 2018

2017

New Optimal Solutions for Real-Time Scheduling of Operating System Tasks Based on Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Fuzzy multiprocessor architecture reconfiguration based on dynamic frequency scaling.

[BibT_eX]

[DOI]

Najar Yousra

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Reflective multi-agent model using semantic similarity measure and negotiation protocol for solving heterogeneity.

[BibT_eX]

[DOI]

Proceedings of the Joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems, 2017

Automatic Generation of Wireless Sensor Networks Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Conference on High Performance Computing & Simulation, 2017

Multi-agent Deep Reinforcement Learning for Task Allocation in Dynamic Environment.

[BibT_eX]

[DOI]

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

Formal Approach to Control Design of Complex and Dynamical Systems.

[BibT_eX]

[DOI]

Hela Kadri

Simon Collart Dutilleul

Proceedings of the International Conference on Computational Science, 2017

Agent-based Semantic Negotiation Protocol for Semantic Heterogeneity Solving in Multi-agent System.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2017, 2017

Robotics data real-time management based on NoSQL solution.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016

A Design Method for WSN's Automatic Scheduling Generation.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Symposium on Mobility Management and Wireless Access, 2016

Network Layer Benchmarking: Investigation of AODV Dependability.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences - 31st International Symposium, 2016

Balancing between Local and Global Optimization of Web Services Composition by a Fuzzy Transactional-aware Approach.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal, July 24, 2016

A Novel Approach for Real-time Extracting Data From NoSQL Embedded Data Bases.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

Towards a MARTE Extension to Address Adaptation Mechanisms.

[BibT_eX]

[DOI]

Jean-Michel Bruel

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Refining the Skyline with fuzzy similariy measures and Topsis method for the optimization of web services composition.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 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

A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View.

[BibT_eX]

[DOI]

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

Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2016, 2016

A neural networks based approach for the real-time scheduling of reconfigurable embedded systems with minimization of power consumption.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

2015

Hybrid Metaheuristic Approach for Scheduling of Aperiodic OS Tasks.

[BibT_eX]

[DOI]

Proceedings of the Complex System Modelling and Control Through Intelligent Soft Computations, 2015

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

[BibT_eX]

[DOI]

Proceedings of the PECCS 2015, 2015

Enhancing Skyline Computation with Collaborative Filtering Techniques for QoS-Based Web Services Selection.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Network Computing and Applications, 2015

Efficient Skyline computation for optimal service composition with fuzzy preference relationships.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Networks, Computers and Communications, 2015

Adaptive web service composition insuring global QoS optimization.

[BibT_eX]

[DOI]

Olfa Hammas

Proceedings of the International Symposium on Networks, Computers and Communications, 2015

Novel Approach for Computing Skyline Services with Fuzzy Consistent Model for QoS- based Service Composition.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-PT 2015, 2015

New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages.

[BibT_eX]

[DOI]

Jean-Michel Bruel

Proceedings of the ICSOFT-EA 2015, 2015

Modeling Astrocyte-Neuron Interactions.

[BibT_eX]

[DOI]

Soukeina Ben Chikha

Kirmene Marzouki

Proceedings of the Neural Information Processing - 22nd International Conference, 2015

A Real-time Scheduling of Reconfigurable OS Tasks with a Bottom-up SPL Design Approach.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2015, 2015

Aspect-Oriented Test Case Generation from Matlab/Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29, 2015

2014

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

[BibT_eX]

[DOI]

Proceedings of the PECCS 2014, 2014

Real-Time Reconfigurable Scheduling of Aperiodic OS Tasks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 13th International Symposium on Parallel and Distributed Computing, 2014

Real-time Reconfigurable Scheduling of Aperiodic OS Tasks on Multiprocessor Systems.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-PT 2014, 2014

Multi-Agent Control System.

[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

A genetic based scheduling approach of real-time reconfigurable embedded systems.

[BibT_eX]

[DOI]

Hamadi Hasni

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

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

Real-Time Reconfigurable Scheduling of Sporadic Tasks.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 8th International Joint Conference, 2013

Model Checking of Distributed Component-based Control Systems.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2013, 2013

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]

Int. J. Syst. Dyn. Appl., 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 multiobjective-optimization approach for a piloted quality-management system: A comparison of two approaches for a case study.

[BibT_eX]

[DOI]

Hajer Ben Mahmoud Dammak

Raouf Ketata

Taieb Ben Romdhane

Comput. Ind., 2011

Agent-based Fault Management of Embedded Control Systems.

[BibT_eX]

Proceedings of the ICSOFT 2011, 2011

ArchMDE Approach for the Formal Verification of Real Time Systems.

[BibT_eX]

[DOI]

Nourchène Elleuch

Adel Khalfallah

Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011

2010

Piloting a Quality Management System for study case using Multi-Choice Goal Programming.

[BibT_eX]

[DOI]

Hajer Ben Mahmoud Dammak

Raouf Ketata

Taieb Ben Romdhane

Proceedings of the IEEE International Conference on Systems, 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

Aspect oriented Modeling of Real-Time system with UML and MARTE.

[BibT_eX]

[DOI]

Naoufel Machta

Mohamed Taha Bennani

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

Aspect Oriented design of real-time applications.

[BibT_eX]

[DOI]

Naoufel Machta

Mohamed Taha Bennani

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

Modeling Quality Management System: A multi-agent approach.

[BibT_eX]

[DOI]

Hajer Ben Mahmoud Dammak

Raouf Ketata

Taieb Ben Romdhane

Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, 2009

2007

Transformation des contraintes d'intégrité - Des modèles conceptuels vers le relationnel.

[BibT_eX]

Abdelaziz Abdellatif

Proceedings of the Actes du XXVème Congrès INFORSID, 2007

ArchMDE Approach for the Development of Embedded Real Time Systems.

[BibT_eX]

[DOI]

Nourchène Elleuch

Adel Khalfallah