Nejib Ben Hadj-Alouane

Author

Also Known As

Alouane, Nejib Ben-Hadj, Ben Hadj Alouane, Nejib, Hadj-Alouane, Nejib, Hadj-Alouane, Nejib Ben, N. Ben Hadj-Alouane, N. BenHadj-Alouane, N.B. Hadj-Alouane, N.B. HadjAlouane, Nejib B. Hadj Alouane, Nejib Ben Hadj Alouane

Publications

826

Citations

H-Index

Concepts

All Affiliations

Tunis El Manar University Institut Polytechnique de Paris Centre National de la Recherche Scientifique National Engineering School of Tunis Tunis University

About

Nejib Ben Hadj-Alouane is an author at Tunis El Manar University specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	13	391
2	Computer Science	10	10	330
3	Communication	3	3	112
4	Computer Engineering	3	3	43
5	Management	1	1	12

Nejib Ben Hadj-Alouane

Publications

532

Citations

H-Index

Page 1

	Year	Citations
A platform as-a-service for hybrid cloud/fog environments Sami Yangui, Pradeep Ravindran, Ons Bibani,	2016	99
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation Nejib Ben Hadj-Alouane, Stéphane Lafortune, Feng Lin Discrete Event Dynamic Systems Mathematical ProgrammingControl MethodControl StrategyEngineeringMaximal Control Policies	1996	86
On the Verification of Intransitive Noninterference in Mulitlevel Security Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) EngineeringUsable SecurityInformation SecurityVerificationMulti-factor Authentication	2005	62
Variable lookahead supervisory control with state information Nejib Ben Hadj-Alouane, Stéphane Lafortune, Feng Lin IEEE Transactions on Automatic Control EngineeringFormal VerificationControl ProtocolControl PolicySystems Engineering	1994	54
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	42
A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment Ons Bibani, Carla Mouradian, Sami Yangui, Cluster ComputingFog NetworksEngineeringEdge DeviceFog Computing	2016	40
Characterizing intransitive noninterference for 3-domain security policies with observability Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, IEEE Transactions on Automatic Control Ini PropertyEngineeringInformation SecurityVerificationCryptographic Protocol	2005	25
On the Verification of Opacity in Web Services and Their Composition Amina Bourouis, Kaïs Klai, Nejib Ben Hadj-Alouane, IEEE Transactions on Services Computing Ws-securityWeb Service SpecificationEngineeringService SecurityInformation Security	2016	25
A Distributed Approach for High-Dimensionality Heterogeneous Data Reduction Rania Mkhinini Gahar, Olfa Arfaoui, Minyar Sassi Hidri, IEEE Access Cluster ComputingEngineeringMachine LearningBig Data AnalyticsRandom Forest Imputation	2019	22
Optimal Virtual Machine Placement in Large-Scale Cloud Systems Hana Teyeb, Ali Balma, Nejib Ben Hadj-Alouane, Cluster ComputingNew FormulationEngineeringComputer ArchitectureNetwork Analysis	2014	17

Page 1