Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Working Toward a Better Regulatory Framework for Medical Cannabis
Curtmola, R. (CoPI), Oria, V. (PI), Mili, A. (CoPI), Borcea, C. (CoPI) & Arkell, T. T. (PI)
8/1/21 → 7/31/26
Project: Research project
-
General operating support for Grantmakers In Health, 2025-2027
Mili, A. (PI), Ammar, H. H. (CoPI) & James, C. V. C. V. (PI)
9/1/00 → 12/31/27
Project: Research project
-
'International prospective registry on local treatment approaches in myxoid liposarcomas
Mili, A. (PI), Cowan, R. D. (CoPI) & Pryor, D. D. (PI)
9/1/00 → 5/31/32
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
-
Detecting faults vs. Exposing failures: Orthogonal measures of test suite effectiveness
Ayad, A., AlBlwi, S. & Mili, A., Dec 2025, In: Journal of Systems and Software. 230, 112450.Research output: Contribution to journal › Article › peer-review
-
"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
2 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
2 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
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. & Lim, T.
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