Ali Mili
New Jersey Institute of Technology(US)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Software Reliability and Analysis Research, Logic, programming, and type systems, Formal Methods in Verification
Most-Cited Works
- Reuse-based software engineering: techniques, organization, and controls(2001)
- → A cybersecurity model in cloud computing environments(2012)101 cited
- → On the lattice of specifications: Applications to a specification methodology(1992)82 cited
- → Quantifying security threats and their potential impacts: a case study(2010)60 cited
- → Embedding a demonic semilattice in a relation algebra(1995)49 cited
- → Relational heuristics for the design of deterministic programs(1987)47 cited
- → A relational approach to the design of deterministic programs(1983)44 cited