The Design and Implementation of the Control and Integration Software of a Flexible Manufacturing System. - Nejib Ben Hadj-Alouane; Jarir K. Chaar; Arch W. Naylor (ICSI, 1990)

Developing control and integration software for flexible manufacturing systems. - Nejib Ben Hadj-Alouane; Jarir K. Chaar; Arch W. Naylor (J. Syst. Integr., 1991)

Variable lookahead supervisory control with state information. - Nejib Ben Hadj-Alouane; Stéphane Lafortune; Feng Lin 001 (IEEE Trans. Autom. Control., 1994)

Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. - Nejib Ben Hadj-Alouane; Stéphane Lafortune; Feng Lin 001 (Discret. Event Dyn. Syst., 1996)

An algorithmic approach to verification of intransitive non-interference in security policies. - Nejib Ben Hadj-Alouane; Stéphane Lafrance; Feng Lin 001; John Mullins; Moez Yeddes (CDC, 2004)

Characterizing intransitive noninterference for 3-domain security policies with observability. - Nejib Ben Hadj-Alouane; Stéphane Lafrance; Feng Lin 001; John Mullins; Moez Yeddes (IEEE Trans. Autom. Control., 2005)

On the verification of intransitive noninterference in multilevel security. - Nejib Ben Hadj-Alouane; Stéphane Lafrance; Feng Lin 001; John Mullins; Mohamed Moez Yeddes (IEEE Trans. Syst. Man Cybern. Part B, 2005)

A Mixed Integer Dynamic Programming Approach to a Class of Optimal Control Problems in Hybrid Systems. - Nejib Ben Hadj-Alouane; Mohamed Moez Yeddes; Atidel B. Hadj-Alouane; Feng Lin 001 (Cybern. Syst., 2006)

Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata. - Haithem Derbel; Nejib Ben Hadj-Alouane; Moez Yeddes; Hassane Alla (ADHS, 2009)

Modifying Security Policies for the Satisfaction of Intransitive Non-Interference. - Moez Yeddes; Feng Lin 001; Nejib Ben Hadj-Alouane (IEEE Trans. Autom. Control., 2009)

Engineering Process for Capacity-driven Web Services. - Imen Benzarti; Samir Tata; Zakaria Maamar; Nejib Ben Hadj-Alouane; Mohamed Moez Yeddes (ICEIS (1), 2010)

Modeling Time Constraints in Inter-organizational Workflows. - Mouna Makni; Nejib Ben Hadj-Alouane; Mohamed Moez Yeddes; Samir Tata (ICEIS (3), 2010)

Satisfaction and Coherence of Deadline Constraints in Inter-Organizational Workflows. - Mouna Makni; Samir Tata; Mohamed Moez Yeddes; Nejib Ben Hadj-Alouane (OTM Conferences (1), 2010)

Negotiating Deadline Constraints in Inter-organizational Logistic Systems: A Healthcare Case Study. - Mouna Makni; Nejib Ben Hadj-Alouane; Samir Tata; Moez Yeddes (Business Process Management Workshops (2), 2011)

A branch-and-price approach for an integrated capacity dimensioning and demand routing in SDH/WDM networks. - Ali Balma; Nejib Ben Hadj-Alouane; Atidel B. Hadj-Alouane (Int. J. Bus. Perform. Supply Chain Model., 2011)

An approach for the synthesis of decentralised supervisors for distributed adaptive systems. - Amine Belhaj Seboui; Nejib Ben Hadj-Alouane; Gwenaël Delaval; Éric Rutten; Mohamed Moez Yeddes (Int. J. Crit. Comput. Based Syst., 2011)

A Near-Optimal Solution Approach for the Multi-hop Traffic Grooming Problem. - Ali Balma; Nejib Ben Hadj-Alouane; Atidel B. Hadj-Alouane (JOCN, 2011)

A Semantics-Based Privacy-Aware Approach for Fragmenting Business Processes. - Mohamed Anis Zemni; Nejib Ben Hadj-Alouane; Moez Yeddes (COMPSAC Workshops, 2012)

An Approach for Producing Privacy-Aware Reusable Business Process Fragments. - Mohamed Anis Zemni; Nejib Ben Hadj-Alouane; Moez Yeddes (ICWS, 2012)

Process Decomposition Based on Semantics and Privacy-Aware Requirements-Driven Approach. - Mohamed Anis Zemni; Nejib Ben Hadj-Alouane; Amel Mammar (iiWAS, 2013)

Optimal Virtual Machine Placement in Large-Scale Cloud Systems. - Hana Teyeb; Ali Balma; Nejib Ben Hadj-Alouane; Samir Tata (IEEE CLOUD, 2014)

A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. - Imed Abbassi; Mohamed Graiet; Walid Gaaloul; Nejib Ben Hadj-Alouane (IEEE SCC, 2014)

Formal Approach for Generating Privacy Preserving User Requirements-Based Business Process Fragments. - Mohamed Anis Zemni; Amel Mammar; Nejib Ben Hadj-Alouane (ACSC, 2014)

Traffic-aware virtual machine placement in geographically distributed Clouds. - Hana Teyeb; Ali Balma; Nejib Ben Hadj-Alouane; Samir Tata; Atidel B. Hadj-Alouane (CoDIT, 2014)

A Behavior-Aware Systematic Approach for Merging Business Process Fragments. - Mohamed Anis Zemni; Amel Mammar; Nejib Ben Hadj-Alouane (ICECCS, 2014)

Optimal Virtual Machine Placement in a Multi-tenant Cloud. - Hana Teyeb; Ali Balma; Nejib Ben Hadj-Alouane; Samir Tata (ICSOC Workshops, 2014)

Business Process Fragments Behavioral Merge. - Mohamed Anis Zemni; Nejib Ben Hadj-Alouane; Amel Mammar (OTM Conferences, 2014)

Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. - Imed Abbassi; Mohamed Graiet; Nejib Ben Hadj-Alouane (WETICE, 2014)

Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. - Imed Abbassi; Mourad Kmimech; Nejib Ben Hadj-Alouane; Walid Gaaloul (WETICE, 2014)

An On-the-Fly Approach for the Verification of Opacity in Critical Systems. - Kais Klai; Nawel Hamdi; Nejib Ben Hadj-Alouane (WETICE, 2014)

Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. - Souha Boubaker; Walid Gaaloul; Mohamed Graiet; Nejib Ben Hadj-Alouane (SCC, 2015)

A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. - Imed Abbassi; Mohamed Graiet; Souha Boubaker; Mourad Kmimech; Nejib Ben Hadj-Alouane (ICWS, 2015)

Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs. - Amina Bourouis; Kais Klai; Yamen El Touati; Nejib Ben Hadj-Alouane (ICWS, 2015)

Genetic-Based Approach for ATS and SLA-aware Web Services Composition. - Imed Abbassi; Mohamed Graiet; Walid Gaaloul; Nejib Ben Hadj-Alouane (WISE (1), 2015)

Checking Opacity of Vulnerable Critical Systems On-The-Fly. - Amina Bourouis; Kais Klai; Yamen El Touati; Nejib Ben Hadj-Alouane (Int. J. Inf. Technol. Web Eng., 2015)

Traffic-Aware Virtual Machine Migration Scheduling Problem in Geographically Distributed Data Centers. - Hana Teyeb; Ali Balma; Samir Tata; Nejib Ben Hadj-Alouane (CLOUD, 2016)

A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment. - Ons Bibani; Carla Mouradian; Sami Yangui; Roch H. Glitho; Walid Gaaloul; Nejib Ben Hadj-Alouane; Monique Morrow; Paul A. Polakos (CloudCom, 2016)

A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment. - Ons Bibani; Sami Yangui; Roch H. Glitho; Walid Gaaloul; Nejib Ben Hadj-Alouane; Monique J. Morrow; Paul A. Polakos (LANMAN, 2016)

A platform as-a-service for hybrid cloud/fog environments. - Sami Yangui; Pradeep Ravindran; Ons Bibani; Roch H. Glitho; Nejib Ben Hadj-Alouane; Monique J. Morrow; Paul A. Polakos (LANMAN, 2016)

Evaluation of Traffic-Aware VM Placement Policies in Distributed Cloud Using CloudSim. - Raja Benali; Hana Teyeb; Ali Balma; Samir Tata; Nejib Ben Hadj-Alouane (WETICE, 2016)

An automated approach for merging business process fragments. - Mohamed Anis Zemni; Amel Mammar; Nejib Ben Hadj-Alouane (Comput. Ind., 2016)

Computing Quantified Opacity for SOG-Abstracted Web Services. - Amina Burouis; Nejib Ben Hadj-Alouane; Kais Klai (SCC, 2017)

ParallelCharMax: An Effective Maximal Frequent Itemset Mining Algorithm Based on MapReduce Framework. - Rania Mkhinini Gahar; Olfa Arfaoui; Minyar Sassi Hidri; Nejib Ben Hadj-Alouane (AICCSA, 2017)

Checking and Enforcing Security Through Opacity in Healthcare Applications. - Rym Zrelli; Moez Yeddes; Nejib Ben Hadj-Alouane (ICSOC Workshops, 2017)

Measuring opacity in web services. - Amina Bourouis; Kais Klai; Nejib Ben Hadj-Alouane (iiWAS, 2017)

Network-Aware Stochastic Virtual Machine Placement in Geo-Distributed Data Centers - (Short Paper). - Hana Teyeb; Nejib Ben Hadj-Alouane; Samir Tata (OTM Conferences (1), 2017)

Dimensionality reduction with missing values imputation. - Rania Mkhinini Gahar; Olfa Arfaoui; Minyar Sassi Hidri; Nejib Ben Hadj-Alouane (CoRR, 2017)

Optimal Dynamic Placement of Virtual Machines in Geographically Distributed Cloud Data Centers. - Hana Teyeb; Nejib Ben Hadj-Alouane; Samir Tata; Ali Balma (Int. J. Cooperative Inf. Syst., 2017)

Hardware Architectures for Embedded Speaker Recognition Applications: A Survey. - Hasna Bouraoui; Chadlia Jerad; Anupam Chattopadhyay; Nejib Ben Hadj-Alouane (ACM Trans. Embed. Comput. Syst., 2017)

On the Verification of Opacity in Web Services and Their Composition. - Amina Bourouis; Kais Klai; Nejib Ben Hadj-Alouane; Yamen El Touati (IEEE Trans. Serv. Comput., 2017)

Paving the Way for Autonomous Cars in the City of Tomorrow: A Prototype for Mobile Devices Support at the Edges of 5G Network. - Fatma Raissi; Clovis Anicet Ouedraogo; Sami Yangui; Frédéric Camps; Nejib Ben Hadj-Alouane (ICSOC Workshops, 2018)

PA-RPL: A Partition Aware IoT Routing Protocol For Precision Agriculture. - Karim Fathallah; Mohamed Amine Abid; Nejib Ben Hadj-Alouane (IWCMC, 2018)

An Ontology-driven MapReduce Framework for Association Rules Mining in Massive Data. - Rania Mkhinini Gahar; Olfa Arfaoui; Minyar Sassi Hidri; Nejib Ben Hadj-Alouane (KES, 2018)

Latency-Aware Placement Heuristic in Fog Computing Environment. - Amira Rayane Benamer; Hana Teyeb; Nejib Ben Hadj-Alouane (OTM Conferences (2), 2018)

Vers une approche heuristique distribuée à base d'ontologie pour la fouille des règles d'association dans les données massives. - Rania Mkhinini Gahar; Olfa Arfaoui; Minyar Sassi Hidri; Nejib Ben Hadj-Alouane (EGC, 2019)

Penguin Search Aware Proactive Application Placement. - Amira Rayane Benamer; Hana Teyeb; Nejib Ben Hadj-Alouane (ICA3PP (2), 2019)

Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach. - Amina Bourouis; Kais Klai; Nejib Ben Hadj-Alouane (ICECCS, 2019)

Routing Of Spatial Queries Over IOT Enabled Wireless Sensor Networks. - Karim Fathallah; Mohamed Amine Abid; Nejib Ben Hadj-Alouane (IWCMC, 2019)

A Distributed Approach for High-Dimensionality Heterogeneous Data Reduction. - Rania Mkhinini Gahar; Olfa Arfaoui; Minyar Sassi Hidri; Nejib Ben Hadj-Alouane (IEEE Access, 2019)

Online Games Servers Placement in Fog Computing: an Hybrid Bio-inspired Approach. - Amira Rayane Benamer; Nejib Ben Hadj-Alouane; Khaled Boussetta (LCN Symposium, 2020)

Enhancing Energy Saving in Smart Farming through Aggregation and Partition Aware IOT Routing Protocol. - Karim Fathallah; Mohamed Amine Abid; Nejib Ben Hadj-Alouane (Sensors, 2020)

A Combined IoT-Enabled SensorDB and Spatial Query Framework for Smart Farming. - Karim Fathallah; Mohamed Amine Abid; Nejib Ben Hadj-Alouane (AICCSA, 2021)

A Genetic Algorithm for the Placement of Latency-Sensitive Multiplayer Game Servers in the Fog. - Amira Rayane Benamer; Khaled Boussetta; Nejib Ben Hadj-Alouane (GLOBECOM, 2021)

On-the-fly Servers Placement for online Multiplayer games in the Fog. - Amira Rayane Benamer; Nejib Ben Hadj-Alouane; Khaled Boussetta (HPCC/DSS/SmartCity/DependSys, 2021)

A Survey of Routing Protocols for WSNs in Smart Farming Applications. - Karim Fathallah; Mohamed Amine Abid; Nejib Ben Hadj-Alouane (DiCES-N, 2022)

A Genetic Algorithm-based approach for placement in the fog of latency-sensitive multiplayer game servers. - Amira Rayane Benamer; Nejib Ben Hadj-Alouane; Khaled Boussetta; Atidel B. Hadj-Alouane (Clust. Comput., 2024)

Efficient audio-visual emotion recognition approach. - Areej Alasiry; Majd Al-Hussain; Monia Turki-Hadj Alouane; Nejib Ben Hadj-Alouane (Multim. Tools Appl., 2025)