Nejib Ben Hadj-Alouane

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 31

Top Topics

Service Compositions

Routing Protocol

Mapreduce Framework

Web Services Composition

Top Venues

ICSOC Workshops

Publications

Karim Fathallah, Mohamed Amine Abid, Nejib Ben Hadj-Alouane
A Survey of Routing Protocols for WSNs in Smart Farming Applications. DiCES-N (2022)
Amira Rayane Benamer, Nejib Ben Hadj-Alouane, Khaled Boussetta
On-the-fly Servers Placement for online Multiplayer games in the Fog. HPCC/DSS/SmartCity/DependSys (2021)
Amira Rayane Benamer, Khaled Boussetta, Nejib Ben Hadj-Alouane
A Genetic Algorithm for the Placement of Latency-Sensitive Multiplayer Game Servers in the Fog. GLOBECOM (2021)
Karim Fathallah, Mohamed Amine Abid, Nejib Ben Hadj-Alouane
A Combined IoT-Enabled SensorDB and Spatial Query Framework for Smart Farming. AICCSA (2021)
Amira Rayane Benamer, Nejib Ben Hadj-Alouane, Khaled Boussetta
Online Games Servers Placement in Fog Computing: an Hybrid Bio-inspired Approach. LCN Symposium (2020)
Karim Fathallah, Mohamed Amine Abid, Nejib Ben Hadj-Alouane
Enhancing Energy Saving in Smart Farming through Aggregation and Partition Aware IOT Routing Protocol. Sensors 20 (10) (2020)
Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane
Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach. ICECCS (2019)
Karim Fathallah, Mohamed Amine Abid, Nejib Ben Hadj-Alouane
Routing Of Spatial Queries Over IOT Enabled Wireless Sensor Networks. IWCMC (2019)
Amira Rayane Benamer, Hana Teyeb, Nejib Ben Hadj-Alouane
Penguin Search Aware Proactive Application Placement. ICA3PP (2) (2019)
Rania Mkhinini Gahar, Olfa Arfaoui, Minyar Sassi Hidri, Nejib Ben Hadj-Alouane
Vers une approche heuristique distribuée à base d'ontologie pour la fouille des règles d'association dans les données massives. EGC (2019)
Rania Mkhinini Gahar, Olfa Arfaoui, Minyar Sassi Hidri, Nejib Ben Hadj-Alouane
A Distributed Approach for High-Dimensionality Heterogeneous Data Reduction. IEEE Access 7 (2019)
Rania Mkhinini Gahar, Olfa Arfaoui, Minyar Sassi Hidri, Nejib Ben Hadj-Alouane
An Ontology-driven MapReduce Framework for Association Rules Mining in Massive Data. KES (2018)
Amira Rayane Benamer, Hana Teyeb, Nejib Ben Hadj-Alouane
Latency-Aware Placement Heuristic in Fog Computing Environment. OTM Conferences (2) (2018)
Karim Fathallah, Mohamed Amine Abid, Nejib Ben Hadj-Alouane
PA-RPL: A Partition Aware IoT Routing Protocol For Precision Agriculture. IWCMC (2018)
Fatma Raissi, Clovis Anicet Ouedraogo, Sami Yangui, Frédéric Camps, Nejib Ben Hadj-Alouane
Paving the Way for Autonomous Cars in the City of Tomorrow: A Prototype for Mobile Devices Support at the Edges of 5G Network. ICSOC Workshops (2018)
Rania Mkhinini Gahar, Olfa Arfaoui, Minyar Sassi Hidri, Nejib Ben Hadj-Alouane
ParallelCharMax: An Effective Maximal Frequent Itemset Mining Algorithm Based on MapReduce Framework. AICCSA (2017)
Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane
Measuring opacity in web services. iiWAS (2017)
Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane
Checking and Enforcing Security Through Opacity in Healthcare Applications. ICSOC Workshops (2017)
Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane, Yamen El Touati
On the Verification of Opacity in Web Services and Their Composition. IEEE Trans. Serv. Comput. 10 (1) (2017)
Amina Burouis, Nejib Ben Hadj-Alouane, Kais Klai
Computing Quantified Opacity for SOG-Abstracted Web Services. SCC (2017)
Hana Teyeb, Nejib Ben Hadj-Alouane, Samir Tata, Ali Balma
Optimal Dynamic Placement of Virtual Machines in Geographically Distributed Cloud Data Centers. Int. J. Cooperative Inf. Syst. 26 (3) (2017)
Hana Teyeb, Nejib Ben Hadj-Alouane, Samir Tata
Network-Aware Stochastic Virtual Machine Placement in Geo-Distributed Data Centers - (Short Paper). OTM Conferences (1) (2017)
Rania Mkhinini Gahar, Olfa Arfaoui, Minyar Sassi Hidri, Nejib Ben Hadj-Alouane
Dimensionality reduction with missing values imputation. CoRR (2017)
Hasna Bouraoui, Chadlia Jerad, Anupam Chattopadhyay, Nejib Ben Hadj-Alouane
Hardware Architectures for Embedded Speaker Recognition Applications: A Survey. ACM Trans. Embed. Comput. Syst. 16 (3) (2017)
Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane
Checking and Enforcing Security through Opacity in Healthcare Applications. CoRR (2017)
Ons Bibani, Carla Mouradian, Sami Yangui, Roch H. Glitho, Walid Gaaloul, Nejib Ben Hadj-Alouane, Monique Morrow, Paul A. Polakos
A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment. CloudCom (2016)
Mohamed Anis Zemni, Amel Mammar, Nejib Ben Hadj-Alouane
An automated approach for merging business process fragments. Comput. Ind. 82 (2016)
Sami Yangui, Pradeep Ravindran, Ons Bibani, Roch H. Glitho, Nejib Ben Hadj-Alouane, Monique J. Morrow, Paul A. Polakos
A platform as-a-service for hybrid cloud/fog environments. LANMAN (2016)
Ons Bibani, Sami Yangui, Roch H. Glitho, Walid Gaaloul, Nejib Ben Hadj-Alouane, Monique J. Morrow, Paul A. Polakos
A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment. LANMAN (2016)
Hana Teyeb, Ali Balma, Samir Tata, Nejib Ben Hadj-Alouane
Traffic-Aware Virtual Machine Migration Scheduling Problem in Geographically Distributed Data Centers. CLOUD (2016)
Raja Benali, Hana Teyeb, Ali Balma, Samir Tata, Nejib Ben Hadj-Alouane
Evaluation of Traffic-Aware VM Placement Policies in Distributed Cloud Using CloudSim. WETICE (2016)
Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane
Checking Opacity of Vulnerable Critical Systems On-The-Fly. Int. J. Inf. Technol. Web Eng. 10 (1) (2015)
Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane
Genetic-Based Approach for ATS and SLA-aware Web Services Composition. WISE (1) (2015)
Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane
Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs. ICWS (2015)
Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj-Alouane
Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. SCC (2015)
Imed Abbassi, Mohamed Graiet, Souha Boubaker, Mourad Kmimech, Nejib Ben Hadj-Alouane
A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. ICWS (2015)
Mohamed Anis Zemni, Amel Mammar, Nejib Ben Hadj-Alouane
Formal Approach for Generating Privacy Preserving User Requirements-Based Business Process Fragments. ACSC (2014)
Kais Klai, Nawel Hamdi, Nejib Ben Hadj-Alouane
An On-the-Fly Approach for the Verification of Opacity in Critical Systems. WETICE (2014)
Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. WETICE (2014)
Hana Teyeb, Ali Balma, Nejib Ben Hadj-Alouane, Samir Tata
Optimal Virtual Machine Placement in Large-Scale Cloud Systems. IEEE CLOUD (2014)
Imed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane
Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. WETICE (2014)
Mohamed Anis Zemni, Nejib Ben Hadj-Alouane, Amel Mammar
Business Process Fragments Behavioral Merge. OTM Conferences (2014)
Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. IEEE SCC (2014)
Mohamed Anis Zemni, Amel Mammar, Nejib Ben Hadj-Alouane
A Behavior-Aware Systematic Approach for Merging Business Process Fragments. ICECCS (2014)
Hana Teyeb, Ali Balma, Nejib Ben Hadj-Alouane, Samir Tata, Atidel B. Hadj-Alouane
Traffic-aware virtual machine placement in geographically distributed Clouds. CoDIT (2014)
Hana Teyeb, Ali Balma, Nejib Ben Hadj-Alouane, Samir Tata
Optimal Virtual Machine Placement in a Multi-tenant Cloud. ICSOC Workshops (2014)
Mohamed Anis Zemni, Nejib Ben Hadj-Alouane, Amel Mammar
Process Decomposition Based on Semantics and Privacy-Aware Requirements-Driven Approach. iiWAS (2013)
Mohamed Anis Zemni, Nejib Ben Hadj-Alouane, Moez Yeddes
An Approach for Producing Privacy-Aware Reusable Business Process Fragments. ICWS (2012)
Mohamed Anis Zemni, Nejib Ben Hadj-Alouane, Moez Yeddes
A Semantics-Based Privacy-Aware Approach for Fragmenting Business Processes. COMPSAC Workshops (2012)
Ali Balma, Nejib Ben Hadj-Alouane, Atidel B. Hadj-Alouane
A branch-and-price approach for an integrated capacity dimensioning and demand routing in SDH/WDM networks. Int. J. Bus. Perform. Supply Chain Model. 3 (1) (2011)
Ali Balma, Nejib Ben Hadj-Alouane, Atidel B. Hadj-Alouane
A Near-Optimal Solution Approach for the Multi-hop Traffic Grooming Problem. JOCN 3 (11) (2011)
Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenaël Delaval, Éric Rutten, Mohamed Moez Yeddes
An approach for the synthesis of decentralised supervisors for distributed adaptive systems. Int. J. Crit. Comput. Based Syst. 2 (3/4) (2011)
Mouna Makni, Nejib Ben Hadj-Alouane, Samir Tata, Moez Yeddes
Negotiating Deadline Constraints in Inter-organizational Logistic Systems: A Healthcare Case Study. Business Process Management Workshops (2) (2011)
Mouna Makni, Samir Tata, Mohamed Moez Yeddes, Nejib Ben Hadj-Alouane
Satisfaction and Coherence of Deadline Constraints in Inter-Organizational Workflows. OTM Conferences (1) (2010)
Imen Benzarti, Samir Tata, Zakaria Maamar, Nejib Ben Hadj-Alouane, Mohamed Moez Yeddes
Engineering Process for Capacity-driven Web Services. ICEIS (1) (2010)
Mouna Makni, Nejib Ben Hadj-Alouane, Mohamed Moez Yeddes, Samir Tata
Modeling Time Constraints in Inter-organizational Workflows. ICEIS (3) (2010)
Moez Yeddes, Feng Lin, Nejib Ben Hadj-Alouane
Modifying Security Policies for the Satisfaction of Intransitive Non-Interference. IEEE Trans. Autom. Control. 54 (8) (2009)
Haithem Derbel, Nejib Ben Hadj-Alouane, Moez Yeddes, Hassane Alla
Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata. ADHS (2009)
Nejib Ben Hadj-Alouane, Mohamed Moez Yeddes, Atidel B. Hadj-Alouane, Feng Lin
A Mixed Integer Dynamic Programming Approach to a Class of Optimal Control Problems in Hybrid Systems. Cybern. Syst. 37 (5) (2006)
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes
Characterizing intransitive noninterference for 3-domain security policies with observability. IEEE Trans. Autom. Control. 50 (6) (2005)
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Mohamed Moez Yeddes
On the verification of intransitive noninterference in multilevel security. IEEE Trans. Syst. Man Cybern. Part B 35 (5) (2005)
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes
An algorithmic approach to verification of intransitive non-interference in security policies. CDC (2004)
Nejib Ben Hadj-Alouane, Stéphane Lafortune, Feng Lin
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Discret. Event Dyn. Syst. 6 (4) (1996)
Nejib Ben Hadj-Alouane, Stéphane Lafortune, Feng Lin
Variable lookahead supervisory control with state information. IEEE Trans. Autom. Control. 39 (12) (1994)
Nejib Ben Hadj-Alouane, Jarir K. Chaar, Arch W. Naylor
Developing control and integration software for flexible manufacturing systems. J. Syst. Integr. 1 (1) (1991)
Nejib Ben Hadj-Alouane, Jarir K. Chaar, Arch W. Naylor
The Design and Implementation of the Control and Integration Software of a Flexible Manufacturing System. ICSI (1990)