Concepedia

Nejib Ben Hadj-Alouane

NB

15

Publications

532

Citations

12

H-Index

1994

Active since

Affiliations

Tunis El Manar University(Current)

Institut Polytechnique de Paris

Centre National de la Recherche Scientifique

National Engineering School of Tunis

Tunis University

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

Top concepts

EngineeringComputer ScienceCloud ComputingFormal VerificationSystems EngineeringVerificationEdge ComputingFormal MethodsCluster ComputingCryptography

Publications per year

1994–2020

15

Publications

15

A platform as-a-service for hybrid cloud/fog environments

Sami Yangui, Pradeep Ravindran, Ons Bibani et al. · 2016 · 99 citations

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 · 1996 · 86 citations · Full text

Mathematical Programming, Control Method, Control Strategy +9

On the Verification of Intransitive Noninterference in Mulitlevel Security

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin et al. · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · 2005 · 62 citations

Engineering, Usable Security, Information Security +21

Variable lookahead supervisory control with state information

Nejib Ben Hadj-Alouane, Stéphane Lafortune, Feng Lin · IEEE Transactions on Automatic Control · 1994 · 54 citations

Engineering, Formal Verification, Control Protocol +16

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 citations · Full text

Rows per page

1–5 of 15