Projects per year
Fingerprint
Dive into the research topics where Ali Mili is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
CyberCorps Scholarship for Service (Renewal): Secure Computing Initiative
Oria, V. (PI), Mili, A. (CoPI), Borcea, C. (CoPI) & Curtmola, R. (CoPI)
8/1/21 → 7/31/26
Project: Research project
-
A Qatari Contribution to the Verified Software Initiative
Jaoua, A. A. (PI), Saleh, M. M. (CoPI), Mili, A. (CoPI) & Frias, M. F. (CoPI)
4/1/12 → 9/1/15
Project: Research project
-
SGER/ SMA: Qualitative and Quantitative Models of Redundancy
Mili, A. (PI)
7/15/06 → 6/30/07
Project: Research project
-
ITR: Architectural Level Software Metrics
Mili, A. (PI) & Ammar, H. H. (CoPI)
9/1/01 → 8/31/04
Project: Research project
-
ITR: Architectural Level Software Metrics
Mili, A. (PI) & Ammar, H. H. (CoPI)
9/1/00 → 12/31/01
Project: Research project
-
Subsumption, correctness and relative correctness: Implications for software testing
AlBlwi, S., Marsit, I., Khaireddine, B., Ayad, A., Loh, J. M. & Mili, A., Jan 2025, In: Science of Computer Programming. 239, 103177.Research output: Contribution to journal › Article › peer-review
-
Invariant relations for affine loops
Ghardallou, W., Mohammadi, H., Linger, R. C., Pleszkoch, M., Loh, J. M. & Mili, A., Sep 2024, In: Acta Informatica. 61, 3, p. 261-314 54 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Mutation Coverage is not Strongly Correlated with Mutation Coverage
Alblwi, S., Ayad, A. & Mili, A., Apr 15 2024, Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024. Association for Computing Machinery, Inc, p. 1-11 11 p. (Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access1 Scopus citations -
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis
Mohammadi, H., Ghardallou, W., Brick, E. & Mili, A., 2023, Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2023. Institute of Electrical and Electronics Engineers Inc., p. 845-846 2 p. (Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
On the persistent rumors of the programmer’s imminent demise
Mohammadi, H., Ghardallou, W., Brick, E. & Mili, A., Dec 2023, In: Software and Systems Modeling. 22, 6, p. 1969-1976 8 p.Research output: Contribution to journal › Article › peer-review
Press/Media
-
US NEWS AND WORLD REPORT RANKS 2 NJIT GRADUATE PROGRAMS IN TOP 100 NATIONALLY
6/18/24
1 item of Media coverage
Press/Media: Press / Media
-
NJIT'S 2024 MASTER'S AND DOCTORAL CLASS MAKE THEIR MARK
Mili, A., Ziavras, S., Esperdy, G., Belfield, K. & Kam, M.
5/15/24
1 item of Media coverage
Press/Media: Press / Media
-
NJIT'S ONLINE M.S. IN COMPUTER SCIENCE RANKED 5TH IN NATION BY FORTUNE
Mili, A., Oria, V. & Kellogg, M.
7/27/23
1 item of Media coverage
Press/Media: Press / Media
-
NSF CONTINUES FUNDING NJIT'S FUTURE DEFENDERS OF GOVERNMENT COMPUTING
Mili, A., Curtmola, R., Oria, V. & Borcea, C.
8/24/21
1 item of Media coverage
Press/Media: Press / Media
-
Covid-19: A dual punishment for Palestinian and Arab prisoners
5/20/20
1 item of Media coverage
Press/Media: Press / Media