Concepedia

Ali Mili

AM

32

Publications

873

Citations

19

H-Index

1983

Active since

Affiliations

New Jersey Institute of Technology(Current)

Oak Ridge National Laboratory

Tunis University

Tunis El Manar University

Université Laval

Ali Mili is an author at New Jersey Institute of Technology specializing in engineering, security, and computer science.

Top concepts

EngineeringComputer ScienceSecuritySoftware AnalysisInformation SecurityProgram AnalysisSystems EngineeringSoftware EngineeringFormal MethodsRisk Management

Publications per year

1983–2016

32

Publications

32

A cybersecurity model in cloud computing environments

Latifa Ben Arfa Rabai, Mouna Jouini, Anis Ben Aissa et al. · Journal of King Saud University - Computer and Information Sciences · 2012 · 101 citations · Full text

Secure Service, Threat (Computer), Cybersecurity +14

On the lattice of specifications: Applications to a specification methodology

Noureddine Boudriga, Fathi Elloumi, Ali Mili · Formal Aspects of Computing · 1992 · 82 citations

Quantifying security threats and their potential impacts: a case study

Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon et al. · Innovations in Systems and Software Engineering · 2010 · 60 citations

Public Policy, Threat (Computer), Engineering +11

Embedding a demonic semilattice in a relation algebra

Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier et al. · Theoretical Computer Science · 1995 · 49 citations

Algebraic Logic, Representation Theory, Modern Algebra +2

Relational heuristics for the design of deterministic programs

Ali Mili, Jules Desharnais, Fatma Mili · Acta Informatica · 1987 · 47 citations

Programming Language Theory, Engineering, Program Analysis +8

Rows per page

1–5 of 32