Calculated based on number of publications stored in Pure and citations from Scopus
1981 …2022

Research activity per year

If you made any changes in Pure these will be visible here soon.

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

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Computing Program Functions

    Mohammadi, H., Ghardallou, W., Linger, R. C. & Mili, A., 2022, Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022. Institute of Electrical and Electronics Engineers Inc., p. 102-112 11 p. (Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A massively parallel approach to automated software correctness enhancement in java

    Zakharchenko, A., Khaireddine, B. & Mili, A., Sep 8 2021, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 2021. Fujita, H. & Perez-Meana, H. (eds.). IOS Press BV, p. 141-154 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 337).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis

    Mohammadi, H., Ghardallou, W. & Mili, A., 2021, Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security Companion, QRS-C 2021. Institute of Electrical and Electronics Engineers Inc., p. 415-424 10 p. (Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security Companion, QRS-C 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Differentiators and detectors

    Mili, A., Aug 2021, In: Information Processing Letters. 169, 106111.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 Scopus citations
  • Mutation Subsumption as Relative Incorrectness

    Khaireddine, B., Ayad, A., Marsit, I. & Mili, A., 2021, Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Proceedings. Paiva, A. C. R., Cavalli, A. R., Ventura Martins, P. & Pérez-Castillo, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 18-28 11 p. (Communications in Computer and Information Science; vol. 1439 CCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution