☰

Ali Mili

Affiliations: 
West Virginia University, Morgantown, WV, United States 
Area:
Computer Science
Website:
https://people.njit.edu/faculty/mili
Google:
"Ali Mili"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Gernot Albert Metze grad student 1981 UIUC (E-Tree)
 (Self Checking Programs)

Children

Sign in to add trainee
Marc Frappier grad student 1995 University of Ottawa
Senta F. Chmiel grad student 2000 West Virginia University

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Khaireddine B, AbdelAli MB, Jilani LL, et al. (2020) Correctness enhancement: a pervasive software engineering paradigm International Journal of Critical Computer-Based Systems. 10: 37-73
Diallo N, Ghardallou W, Desharnais J, et al. (2018) Convergence: Integrating termination and abort-freedom The Journal of Logic and Algebraic Programming. 97: 1-29
Desharnais J, Diallo N, Ghardallou W, et al. (2017) Projecting programs on specifications: Definition and implications Science of Computer Programming. 138: 26-48
Ben Arfa Rabai L, Cohen B, Mili A. (2015) Programming language use in US academia and industry Informatics in Education. 14: 143-160
Tchier F, Rabai LBA, Mili A. (2015) Putting engineering into software engineering: Upholding software engineering principles in the classroom Computers in Human Behavior. 48: 245-254
Derbel I, Jilani LL, Mili A. (2015) Computing attributes of software architectures: A static method and its validation Enase 2015 - Proceedings of the 10th International Conference On Evaluation of Novel Approaches to Software Engineering. 55-66
Mili A, Jaoua A, Frias M, et al. (2014) Semantic metrics for software products Innovations in Systems and Software Engineering. 10: 203-217
Derbel I, Jilani LL, Mili A. (2014) Automated quantitative attributes prediction from architectural description language Icsoft-Pt 2014 - Proceedings of the 9th International Conference On Software Paradigm Trends. 87-94
Mraihi O, Louhichi A, Jilani LL, et al. (2013) Invariant assertions, invariant relations, and invariant functions Science of Computer Programming. 78: 1212-1239
Jilani LL, Mraihi O, Louhichi A, et al. (2013) Invariant functions and invariant relations: An alternative to invariant assertions Journal of Symbolic Computation. 48: 1-36
See more...