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), Jaoua, A. A. (CoPI), 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
-
SGER: Software Engineering Technology Watch
Mili, A. (PI) & Cowan, R. D. (CoPI)
9/1/00 → 8/31/01
Project: Research project
-
"Function Extraction: A New Paradigm for Producing Secure Code"
Linger, R., Pleszkoch, M., Mcgaughey, J., Mchugh, J., Ghardallou, W. & Mili, A., Jan 16 2025, 2024 New Security Paradigms Workshop, NSPW 2024. Association for Computing Machinery, Inc, p. 96-105 10 p. (2024 New Security Paradigms Workshop, NSPW 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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
1 Scopus citations -
Detecting Faults vs. Revealing Failures: Exploring the Missing Link
Ayad, A., Alblwi, S. & Mili, A., 2024, Proceedings - 2024 IEEE 24th International Conference on Software Quality, Reliability and Security, QRS 2024. Institute of Electrical and Electronics Engineers Inc., p. 115-126 12 p. (IEEE International Conference on Software Quality, Reliability and Security, QRS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
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 Access3 Scopus citations
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