Ali Mili

Affiliations: 
West Virginia University, Morgantown, WV, United States 
Area:
Computer Science
Website:
https://people.njit.edu/faculty/mili
Google:
"Ali Mili"

Parents

Sign in to add mentor
Gernot Albert Metze grad student 1981 UIUC (E-Tree)
 (Self Checking Programs)
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.

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
Diallo N, Ghardallou W, Desharnais J, et al. (2017) What is a fault? and why does it matter? Innovations in Systems and Software Engineering. 13: 219-239
Rjaibi N, Rabai LBA, Mili A. (2015) The MFC cybersecurity model extension and diagnostic toward a depth measurement: E-learning systems case study Achieving Enterprise Agility Through Innovative Software Development. 179-198
Ben Arfa Rabai L, Cohen B, Mili A. (2015) Programming language use in US academia and industry Informatics in Education. 14: 143-160
Diallo N, Ghardallou W, Mili A. (2015) Correctness and Relative Correctness Proceedings - International Conference On Software Engineering. 2: 591-594
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
Desharnais J, Diallo N, Ghardallou W, et al. (2015) Relational mathematics for relative correctness Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9348: 191-208
Diallo N, Mili A. (2015) Loop analysis and repair Ceur Workshop Proceedings. 1454: 23-32
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
See more...