A Specification and Validation Technique Based on STATEMATE and FNLOG. - Olfa Mosbahi; Leila Jemni Ben Ayed; Samir Ben Ahmed; Jacques Jaray (ICFEM, 2002)

ArchMDE Approach for the Development of Embedded Real Time Systems. - Nourchène Elleuch; Adel Khalfallah; Samir Ben Ahmed (Ada-Europe, 2007)

Transformation des contraintes d'intégrité - Des modèles conceptuels vers le relationnel. - Amen Ben Hadj Ali; Abdelaziz Abdellatif; Samir Ben Ahmed (INFORSID, 2007)

Modeling Quality Management System: A multi-agent approach. - Hajer Ben Mahmoud Dammak; Raouf Ketata; Taieb Ben Romdhane; Samir Ben Ahmed (ICITST, 2009)

Aspect Oriented design of real-time applications. - Naoufel Machta; Mohamed Taha Bennani; Samir Ben Ahmed (INDIN, 2009)

Aspect oriented Modeling of Real-Time system with UML and MARTE. - Naoufel Machta; Mohamed Taha Bennani; Samir Ben Ahmed (AICCSA, 2010)

Optimal model checking of safe control embedded software components. - Atef Gharbi; Mohamed Khalgui; Samir Ben Ahmed (ETFA, 2010)

Piloting a Quality Management System for study case using Multi-Choice Goal Programming. - Hajer Ben Mahmoud Dammak; Raouf Ketata; Taieb Ben Romdhane; Samir Ben Ahmed (SMC, 2010)

ArchMDE Approach for the Formal Verification of Real Time Systems. - Nourchène Elleuch; Adel Khalfallah; Samir Ben Ahmed (CIT, 2011)

Agent-based Fault Management of Embedded Control Systems. - Atef Gharbi; Mohamed Khalgui; Jiafeng Zhang; Samir Ben Ahmed (ICSOFT (2), 2011)

A multiobjective-optimization approach for a piloted quality-management system: A comparison of two approaches for a case study. - Hajer Ben Mahmoud Dammak; Raouf Ketata; Taieb Ben Romdhane; Samir Ben Ahmed (Comput. Ind., 2011)

New Optimal Preemptively Scheduling for Real-Time Reconfigurable Sporadic Tasks Based on Earliest Deadline First Algorithm. - Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (Int. J. Adv. Pervasive Ubiquitous Comput., 2012)

UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable Embedded Control Systems. - Amen Ben Hadj Ali; Mohamed Khalgui; Samir Ben Ahmed (Int. J. Syst. Dyn. Appl., 2012)

New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous Operating System Tasks with Minimizations of Response Time. - Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (Int. J. Syst. Dyn. Appl., 2012)

Model Checking of Distributed Component-based Control Systems. - Atef Gharbi; Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (ICSOFT, 2013)

Real-Time Reconfigurable Scheduling of Sporadic Tasks. - Hamza Gharsellaoui; Samir Ben Ahmed (ICSOFT (Selected Papers), 2013)

An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks. - Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (ICSOFT, 2013)

Reconfiguration of Synchronous Real-Time Operating System. - Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (Int. J. Syst. Dyn. Appl., 2013)

A genetic based scheduling approach of real-time reconfigurable embedded systems. - Hamza Gharsellaoui; Hamadi Hasni; Samir Ben Ahmed (GECCO (Companion), 2014)

New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems. - Raja Oueslati; Olfa Mosbahi; Mohamed Khalgui; Samir Ben Ahmed (ICINCO (1), 2014)

Multi-Agent Control System. - Atef Gharbi; Hamza Gharsellaoui; Samir Ben Ahmed (ICSOFT EA, 2014)

Real-time Reconfigurable Scheduling of Aperiodic OS Tasks on Multiprocessor Systems. - Hamza Gharsellaoui; Atef Gharbi; Samir Ben Ahmed (ICSOFT PT, 2014)

Real-Time Reconfigurable Scheduling of Aperiodic OS Tasks. - Hamza Gharsellaoui; Samir Ben Ahmed (ISPDC, 2014)

Preemptive Hard Real-time Scheduling of Reconfigurable OS Tasks on Multiprocessors Embedded Control Systems. - Hamza Gharsellaoui; Mohamed Khalgui; Samir Ben Ahmed (PECCS, 2014)

Aspect-Oriented Test Case Generation from Matlab/Simulink Models. - Manel Tekaya; Mohamed Taha Bennani; Mohamed Abidi Alagui; Samir Ben Ahmed (DepCoS-RELCOMEX, 2015)

A Real-time Scheduling of Reconfigurable OS Tasks with a Bottom-up SPL Design Approach. - Hamza Gharsellaoui; Jihen Maâzoun; Nadia Bouassida; Samir Ben Ahmed; Hanêne Ben-Abdallah (ENASE, 2015)

Modeling Astrocyte-Neuron Interactions. - Soukeina Ben Chikha; Kirmene Marzouki; Samir Ben Ahmed (ICONIP (3), 2015)

New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages. - Mohamed Naija; Samir Ben Ahmed; Jean-Michel Bruel (ICSOFT-EA, 2015)

Novel Approach for Computing Skyline Services with Fuzzy Consistent Model for QoS- based Service Composition. - Fatma Rhimi; Saloua Ben Yahia; Samir Ben Ahmed (ICSOFT-PT, 2015)

Adaptive web service composition insuring global QoS optimization. - Olfa Hammas; Saloua Ben Yahia; Samir Ben Ahmed (ISNCC, 2015)

Efficient Skyline computation for optimal service composition with fuzzy preference relationships. - Fatma Rhimi; Saloua Ben Yahia; Samir Ben Ahmed (ISNCC, 2015)

Enhancing Skyline Computation with Collaborative Filtering Techniques for QoS-Based Web Services Selection. - Fatma Rhimi; Saloua Ben Yahia; Samir Ben Ahmed (NCA, 2015)

Modeling and Verification of B-based Distributed Reconfigurable Control Systems. - Raja Oueslati; Olfa Mosbahi; Mohamed Khalgui; Samir Ben Ahmed (PECCS, 2015)

Hybrid Metaheuristic Approach for Scheduling of Aperiodic OS Tasks. - Hamza Gharsellaoui; Samir Ben Ahmed (Complex System Modelling and Control Through Intelligent Soft Computations, 2015)

A neural networks based approach for the real-time scheduling of reconfigurable embedded systems with minimization of power consumption. - Ghofrane Rehaiem; Hamza Gharsellaoui; Samir Ben Ahmed (ICIS, 2016)

Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View. - Mohamed Naija; Samir Ben Ahmed (ENASE, 2016)

A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View. - Mohamed Naija; Samir Ben Ahmed (ENASE (Selected Papers), 2016)

A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. - Raja Oueslati; Olfa Mosbahi; Mohamed Khalgui; Samir Ben Ahmed (ENASE, 2016)

SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models. - Manel Tekaya; Mohamed Taha Bennani; Nedra Ebdelli; Samir Ben Ahmed (FORTE, 2016)

Refining the Skyline with fuzzy similariy measures and Topsis method for the optimization of web services composition. - Fatma Rhimi; Saloua Ben Yahia; Samir Ben Ahmed (FUZZ-IEEE, 2016)

Towards a MARTE Extension to Address Adaptation Mechanisms. - Mohamed Naija; Jean-Michel Bruel; Samir Ben Ahmed (HASE, 2016)

A Novel Approach for Real-time Extracting Data From NoSQL Embedded Data Bases. - Afef Gueidi; Hamza Gharsellaoui; Samir Ben Ahmed (ICSOFT-EA, 2016)

Balancing between Local and Global Optimization of Web Services Composition by a Fuzzy Transactional-aware Approach. - Fatma Rhimi; Saloua Ben Yahia; Samir Ben Ahmed (ICSOFT-PT, 2016)

Network Layer Benchmarking: Investigation of AODV Dependability. - Maroua Belkneni; Mohamed Taha Bennani; Samir Ben Ahmed; Ali Kalakech 002 (ISCIS, 2016)

A Design Method for WSN's Automatic Scheduling Generation. - Anis Mezni; Emil Dumitrescu; Éric Niel; Samir Ben Ahmed (MobiWac, 2016)

Robotics data real-time management based on NoSQL solution. - Afef Gueidi; Hamza Gharsellaoui; Samir Ben Ahmed (ICIS, 2017)

Agent-based Semantic Negotiation Protocol for Semantic Heterogeneity Solving in Multi-agent System. - Dhouha Ben Noureddine; Atef Gharbi; Samir Ben Ahmed (ENASE, 2017)

Formal Approach to Control Design of Complex and Dynamical Systems. - Hela Kadri; Samir Ben Ahmed; Simon Collart Dutilleul (ICCS, 2017)

Multi-agent Deep Reinforcement Learning for Task Allocation in Dynamic Environment. - Dhouha Ben Noureddine; Atef Gharbi; Samir Ben Ahmed (ICSOFT, 2017)

Automatic Generation of Wireless Sensor Networks Scheduling. - Anis Mezni; Emil Dumitrescu; Éric Niel; Samir Ben Ahmed (HPCS, 2017)

Reflective multi-agent model using semantic similarity measure and negotiation protocol for solving heterogeneity. - Dhouha Ben Noureddine; Atef Gharbi; Samir Ben Ahmed (IFSA-SCIS, 2017)

Fuzzy multiprocessor architecture reconfiguration based on dynamic frequency scaling. - Najar Yousra; Samir Ben Ahmed (ISKE, 2017)

New Optimal Solutions for Real-Time Scheduling of Operating System Tasks Based on Neural Networks. - Ghofrane Rehaiem; Hamza Gharsellaoui; Samir Ben Ahmed (SEKE, 2017)

On the Use of Models for Real-time Reconfigurations of Embedded Systems. - Naima Armaoui; Mohamed Naija; Samir Ben Ahmed (ICSOFT, 2018)

A Formal Approach for Multi-occurrence Crisis Management. - Hela Kadri; Simon Collart Dutilleul; Philippe Bon; Samir Ben Ahmed (ICSOFT, 2018)

A Social Multi-agent Cooperation System based on Planning and Distributed Task Allocation: Real Case Study. - Dhouha Ben Noureddine; Atef Gharbi; Samir Ben Ahmed (ICSOFT, 2018)

An Agent-Based Planning Method for Distributed Task Allocation. - Dhouha Ben Noureddine; Atef Gharbi; Samir Ben Ahmed (ICSOFT (Selected Papers), 2018)

Web Service Selection based on Parallel Cluster Partitioning and Representative Skyline. - Sahar Regaieg; Saloua Ben Yahia; Samir Ben Ahmed (ICSOFT, 2018)

Dependability Assessment of the Transport Layer's Reliability Service. - Maroua Belkneni; Mohamed Taha Bennani; Samir Ben Ahmed; Ali Kalakech 002 (HPCS, 2018)

Congestion control dependability assessment. - Maroua Belkneni; Mohamed Taha Bennani; Samir Ben Ahmed; Ali Kalakech 002 (IWCMC, 2018)

Multi Criteria Automatic Generation of Optimal Routing for WSN. - Anis Mezni; Emil Dumitrescu; Éric Niel; Samir Ben Ahmed (IWCMC, 2018)

New optimal solutions for real-time scheduling of reconfigurable embedded systems based on neural networks with minimisation of power consumption. - Ghofrane Rehaiem; Hamza Gharsellaoui; Samir Ben Ahmed (Int. J. Intell. Eng. Informatics, 2018)

Formal Approach to Dynamic SoS Design. - Hela Kadri; Simon Collart Dutilleul; Philippe Bon; Samir Ben Ahmed (ENASE, 2019)

A MARTE-Based Design Pattern for Adaptive Real-Time Embedded Systems. - Ahmed Ben Mansour; Mohamed Naija; Samir Ben Ahmed (ENASE, 2019)

Safe Design Real-time Embedded Systems with Security Patterns. - Ahmed Ben Mansour; Mohamed Naija; Samir Ben Ahmed (ENASE, 2019)

Intelligent Online Configuration for DVFS Multiprocessor Architecture: Fuzzy Approach. - Najar Yousra; Samir Ben Ahmed (IEA/AIE, 2019)

Fuzzy Decision Efficiency for Multiprocessor Architecture Configuration. - Najar Yousra; Samir Ben Ahmed (KES, 2019)

The Rise of Robotics Data for Real-Time Management Based on New NoSQL Solution. - Afef Gueidi; Hamza Gharsellaoui; Samir Ben Ahmed (Int. J. Adv. Pervasive Ubiquitous Comput., 2019)

Transport layer dependability benchmarking: TCP congestion control with fault injection. - Maroua Belkneni; Mohamed Taha Bennani; Samir Ben Ahmed (Int. J. Wirel. Mob. Comput., 2019)

Analysis of Architectural solutions Impact on Energy Consumption: Graph-Based Analysis. - Basma Khil; Adel Khalfallah; Samir Ben Ahmed (IWCMC, 2020)

An Intelligent Agent-Based Industrial IoT Framework for Time-Critical Data Stream Processing. - Ines Gharbi; Kamel Barkaoui; Samir Ben Ahmed (MSPN, 2020)

Towards Unified Modeling for NoSQL Solution Based on Mapping Approach. - Afef Gueidi; Hamza Gharsellaoui; Samir Ben Ahmed (KES, 2021)

An Agent-based Model for Resource Provisioning and Task Scheduling in Cloud Computing Using DRL. - Toutou Oudaa; Hamza Gharsellaoui; Samir Ben Ahmed (KES, 2021)

Optimal Solutions for Real-Time Scheduling of Reconfigurable Embedded Systems Based on Neural Networks with Minimization of Power Consumption. - Ghofrane Rehaiem; Hamza Gharsellaoui; Samir Ben Ahmed (KES, 2021)

A Software Product Line Design Based Approach for Real-time Scheduling of Reconfigurable Embedded Systems. - Hamza Gharsellaoui; Jihen Maâzoun; Nadia Bouassida; Samir Ben Ahmed; Hanêne Ben-Abdallah (Comput. Hum. Behav., 2021)

Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (CoDIT, 2022)

At Design-Time Approach for Supervisory Control of Opacity. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (CoopIS, 2022)

Defining and Extracting Singleton Design Pattern Information from Object-Oriented Software Program. - Abir Nacef; Adel Khalfallah; Sahbi Bahroun; Samir Ben Ahmed (ICCCI (CCIS Volume), 2022)

Optimal Supervisory Control of Opacity for Modular Systems. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (ISPA/BDCloud/SocialCom/SustainCom, 2022)

Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (CoDIT, 2023)

Features and Supervised Machine Learning Based Method for Singleton Design Pattern Variants Detection. - Abir Nacef; Sahbi Bahroun; Adel Khalfallah; Samir Ben Ahmed (ENASE, 2023)

Supervised Machine Learning for Recovering Implicit Implementation of Singleton Design Pattern. - Abir Nacef; Sahbi Bahroun; Adel Khalfallah; Samir Ben Ahmed (ENASE, 2023)

A Dynamic Service Placement in Fog Infrastructure. - Mayssa Trabelsi; Nadjib Mohamed Mehdi Bendaoud; Samir Ben Ahmed (ENASE, 2023)

Automatic Detection of Implicit and Typical Implementation of Singleton Pattern Based on Supervised Machine Learning. - Abir Nacef; Sahbi Bahroun; Adel Khalfallah; Samir Ben Ahmed (ICAART (3), 2023)

Multi-objective Optimization for Dynamic Service Placement Strategy for Real-Time Applications in Fog Infrastructure. - Mayssa Trabelsi; Nadjib Mohamed Mehdi Bendaoud; Samir Ben Ahmed (ISCC, 2023)

RLReC: Towards Reinforcement Learning-based Dynamic Design of Reconfiguration Control. - Amen Ben Hadj Ali; Samir Ben Ahmed (KES, 2023)

Real-Time Task Scheduling and Dynamic Resource Allocation in Fog Infrastructure. - Mayssa Trabelsi; Samir Ben Ahmed (AINA (2), 2024)

A NoSQL-Based Approach for Data Resource Allocation Problems: Embedded Systems Use Case*. - Afef Gueidi; Hamza Gharsellaoui; Samir Ben Ahmed (CoDIT, 2024)

Energy and Cost-Aware Real-Time Task Scheduling with Deadline-Constraints in Fog Computing Environments. - Mayssa Trabelsi; Samir Ben Ahmed (ENASE, 2024)

A Unified Conceptual Framework Integrating UML and RL for Efficient Reconfiguration Design. - Amen Ben Hadj Ali; Samir Ben Ahmed (ICAART (2), 2024)

A Novel RL Framework for Early Configuration Space Exploration. - Amen Ben Hadj Ali; Samir Ben Ahmed (ICAART (Revised Selected Paper, 2), 2024)