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
Projects
- 19 Finished
-
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
New Jersey Institute of Technology
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
New Jersey Institute of Technology
Project: Research
-
SGER/ SMA: Qualitative and Quantitative Models of Redundancy
Mili, A. (PI)
7/15/06 → 6/30/07
New Jersey Institute of Technology
Project: Research project
-
SGER/ SMA: Qualitative and Quantitative Models of Redundancy
Mili, A. (PI)
7/15/06 → 6/30/07
New Jersey Institute of Technology
Project: Research
-
SGER/ SMA: Qualitative and Quantitative Models of Redundancy
Mili, A. (PI)
7/15/06 → 6/30/07
New Jersey Institute of Technology
Project: Research
-
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.Kean, New Jersey Institute of Technology
Research output: Contribution to journal › Article › peer-review
Open Access -
"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).New Jersey Institute of Technology
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.New Jersey Institute of Technology, Kean
Research output: Contribution to journal › Article › peer-review
-
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).Kean, New Jersey Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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.New Jersey Institute of Technology
Research output: Contribution to journal › Article › peer-review
Open Access