No photo of Ali Mili

View Scopus Profile

Ali Mili

Former affiliation
Calculated based on number of publications stored in Pure and citations from Scopus
1981 …2025

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    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 Access
    1 Scopus citations
  • 2023

    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

    1 Scopus citations

  • Three Forms of Mutant Subsumption: Basic, Strict and Broad

    AlBlwi, S., Marsit, I., Khaireddine, B., Ayad, A., Loh, J. M. & Mili, A., 2023, Software Technologies - 17th International Conference, ICSOFT 2022, Revised Selected Papers. Fill, H.-G., van Sinderen, M., Maciaszek, L. A. & Maciaszek, L. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 122-144 23 p. (Communications in Computer and Information Science; vol. 1859 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2022

    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 proceeding › Conference contribution

    3 Scopus citations

  • Quantifying the Effectiveness of Mutant Sets

    Alblwi, S., Ayad, A., Khaireddine, B., Marsit, I. & Mili, A., 2022, Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security Companion, QRS-C 2022. Institute of Electrical and Electronics Engineers Inc., p. 288-297 10 p. (Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security Companion, QRS-C 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2021

    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 proceeding › Conference 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 proceeding › Conference contribution

    3 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 proceeding › Conference contribution

  • Quantifying Faultiness: What Does It Mean to Have N Faults?

    Khaireddine, B. & Mili, A., May 2021, Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021. Institute of Electrical and Electronics Engineers Inc., p. 68-74 7 p. (Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • The bane of generate-And-validate program repair: Too much generation, too little validation

    Khaireddine, B., Zakharchenko, A. & 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. 113-126 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 337).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2020

    A Semantic Definition of Faults and Its Implications

    Khaireddine, B., Zakharchenko, A. & Mili, A., Dec 2020, Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020. Institute of Electrical and Electronics Engineers Inc., p. 14-21 8 p. 9282775. (Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Automated Estimation of the Rate of Equivalent Mutants

    Ayad, A. & Mili, A., Dec 2020, Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020. Institute of Electrical and Electronics Engineers Inc., p. 1794-1799 6 p. 9458144. (Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Quantitative analysis of mutant equivalence

    Ayad, A., Marsit, I., Tawfig, S., Loh, J. M., Omri, M. N. & Mili, A., 2020, Software Technologies - 14th International Conference, ICSOFT 2019, Revised Selected Papers. van Sinderen, M., Maciaszek, L. A. & Maciaszek, L. A. (eds.). Springer, p. 58-80 23 p. (Communications in Computer and Information Science; vol. 1250 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations
  • 2019

    Estimating the number of equivalent mutants

    Ayad, A., Marsit, I., Loh, J., Omri, M. N. & Mili, A., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. Institute of Electrical and Electronics Engineers Inc., p. 112-121 10 p. 8728901. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment

    Khaireddine, B., Zakharchenko, A. & Mili, A., Jul 2019, Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019. Institute of Electrical and Electronics Engineers Inc., p. 532-533 2 p. 8859479. (Proceedings - Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security, QRS-C 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Impact of mutation operators on mutant equivalence

    Marsit, I., Omri, M. N., Loh, J. M. & Mili, A., Jan 1 2019, ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L., Maciaszek, L. & van Sinderen, M. (eds.). SciTePress, p. 21-32 12 p. (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Program repair at arbitrary fault depth

    Khaireddine, B., Martinez, M. & Mili, A., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 465-472 8 p. 8730184. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Scopus citations

  • Quantitative metrics for mutation testing

    Ayad, A., Marsit, I., Loh, J., Omri, M. N. & Mili, A., Jan 1 2019, ICSOFT 2019 - Proceedings of the 14th International Conference on Software Technologies. van Sinderen, M., Maciaszek, L. & Maciaszek, L. (eds.). SciTePress, p. 49-59 11 p. (ICSOFT 2019 - Proceedings of the 14th International Conference on Software Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Using Semantic Metrics to Predict Mutation Equivalence

    Ayad, A., Marsit, I., Mohamed Omri, N., Loh, J. M. & Mili, A., 2019, Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers. Maciaszek, L. A., Maciaszek, L. A. & van Sinderen, M. (eds.). Springer Verlag, p. 3-27 25 p. (Communications in Computer and Information Science; vol. 1077).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations
  • 2018

    Impact of mutation operators on the ratio of equivalent mutants

    Marsit, I., Omri, M. N., Loh, J. M. & Mili, A., 2018, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 17th International Conference, SoMeT 2018. Fujita, H. & Herrera-Viedma, E. (eds.). IOS Press BV, p. 664-677 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 303).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2017

    A generic algorithm for program repair

    Khaireddine, B., Zakharchenko, A. & Mili, A., Jul 3 2017, Proceedings - 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017. Institute of Electrical and Electronics Engineers Inc., p. 65-71 7 p. 7967995. (Proceedings - 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations

  • Estimating the survival rate of mutants

    Marsit, I., Omri, M. N. & Mili, A., 2017, ICSOFT 2017 - Proceedings of the 12th International Conference on Software Technologies. Cardoso, J., Cardoso, J., Maciaszek, L., Maciaszek, L., van Sinderen, M. & Cabello, E. (eds.). SciTePress, p. 208-213 6 p. (ICSOFT 2017 - Proceedings of the 12th International Conference on Software Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    3 Scopus citations

  • Verification and evaluation of computer and communication systems: 11th international conference, VECoS 2017 Montreal, QC, Canada, august 24-25, 2017 proceedings

    Barkaoui, K., Boucheneb, H., Mili, A. & Tahar, S., 2017, Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Proceedings. Barkaoui, K., Boucheneb, H., Mili, A. & Tahar, S. (eds.). Springer Verlag, p. III-IV (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10466 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2016

    Debugging without Testing

    Ghardallou, W., Diallo, N., Mili, A. & Frias, M. F., Jul 18 2016, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016. Institute of Electrical and Electronics Engineers Inc., p. 113-123 11 p. 7515464. (Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations

  • Software evolution by correctness enhancement

    Ghardallou, W., Diallo, N. & Mili, A., 2016, Proceedings - SEKE 2016: 28th International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, p. 605-610 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2016-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Scopus citations
  • 2015

    Computing attributes of software architectures: A static method and its validation

    Derbel, I., Jilani, L. L. & Mili, A., 2015, ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering. Filipe, J., Filipe, J., Maciaszek, L. & Maciaszek, L. (eds.). SciTePress, p. 55-66 12 p. (ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Correctness and Relative Correctness

    Diallo, N., Ghardallou, W. & Mili, A., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 591-594 4 p. 7203020. (Proceedings - International Conference on Software Engineering; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Scopus citations

  • Relational mathematics for relative correctness

    Desharnais, J., Diallo, N., Ghardallou, W., Frias, M. F., Jaoua, A. & Mili, A., 2015, Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Proceedings. Kahl, W., Winter, M. & Oliveira, J. N. (eds.). Springer Verlag, p. 191-208 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9348).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Scopus citations
  • 2014

    Automated quantitative attributes prediction from architectural description language

    Derbel, I., Jilani, L. L. & Mili, A., 2014, ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends. Holzinger, A., Cardoso, J., Cardoso, J., Cordeiro, J., Cordeiro, J., van Sinderen, M. & Mellor, S. (eds.). SciTePress, p. 87-94 8 p. (ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Scopus citations

  • On faults and faulty programs

    Mili, A., Frias, M. F. & Jaoua, A., 2014, Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Proceedings. Springer Verlag, p. 191-207 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8428 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    20 Scopus citations

  • Parallel bounded verification of alloy models by tranScoping

    Rosner, N., Pombo, C. G. L., Aguirre, N., Jaoua, A., Mili, A. & Frias, M. F., 2014, Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Revised Selected Papers. Cohen, E., Rybalchenko, A. & Rybalchenko, A. (eds.). Springer Verlag, p. 88-107 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8164).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Quantifying availability in SCADA environments using the cyber security metric MFC

    Aissa, A. B., Rabai, L. B. A., Abercrombie, R. K., Sheldon, F. T. & Mili, A., 2014, Proceedings of 2014 9th Annual Cyber and Information Security Research Conference, CISRC 2014. Association for Computing Machinery, p. 81-84 4 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    2 Scopus citations

  • Quantifying the impact of unavailability in cyber-physical environments

    Ben Aissa, A., Abercrombie, R. K., Sheldon, F. T. & Mili, A., Jan 16 2014, IEEE SSCI 2014: 2014 IEEE Symposium Series on Computational Intelligence - CICS 2014: 2014 IEEE Symposium on Computational Intelligence in Cyber Security, Proceedings. Institute of Electrical and Electronics Engineers Inc., 7013364. (IEEE SSCI 2014: 2014 IEEE Symposium Series on Computational Intelligence - CICS 2014: 2014 IEEE Symposium on Computational Intelligence in Cyber Security, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    5 Scopus citations
  • 2013

    ACME+: An ADL for Quantitative Analysis of Quality Attributes

    Derbel, I., Jilani, L. L. & Mili, A., 2013, Evaluation of Novel Approaches to Software Engineering - 8th International Conference, ENASE 2013, Revised Selected Papers. Springer Verlag, p. 16-32 17 p. (Communications in Computer and Information Science; vol. 417 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • ACME+ for software architecture analysis

    Derbel, I., Jilani, L. L. & Mili, A., 2013, ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies. p. 429-437 9 p. (ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Architecture level prediction of software quality attributes

    Derbel, I., Jilani, L. L. & Mili, A., 2013, ENASE 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering. p. 15-24 10 p. (ENASE 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Failure impact analysis of key management in AMI using cybernomic situational assessment (CSA)

    Abercrombie, R. K., Sheldon, F. T., Hauser, K. R., Lantz, M. W. & Mili, A., 2013, 8th Annual Cyber Security and Information Intelligence Research Workshop: Federal Cyber Security R and D Program Thrusts, CSIIRW 2013. 19. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    6 Scopus citations

  • Risk assessment methodology based on the NISTIR 7628 guidelines

    Abercrombie, R. K., Sheldon, F. T., Hauser, K. R., Lantz, M. W. & Mili, A., 2013, Proceedings of the 46th Annual Hawaii International Conference on System Sciences, HICSS 2013. p. 1802-1811 10 p. 6480058. (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    21 Scopus citations
  • 2012

    An economic model of security threats for cloud computing systems

    Rabai, L. B. A., Jouini, M., Nafati, M., Aissa, A. B. & Mili, A., 2012, Proceedings 2012 International Conference on Cyber Security, Cyber Warfare and Digital Forensic, CyberSec 2012. p. 100-105 6 p. 6246112. (Proceedings 2012 International Conference on Cyber Security, Cyber Warfare and Digital Forensic, CyberSec 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    19 Scopus citations
  • 2011

    Computing preconditions and postconditions of while loops

    Mraihi, O., Ghardallou, W., Louhichi, A., Labed Jilani, L., Bsaies, K. & Mili, A., 2011, Theoretical Aspects of Computing, ICTAC 2011 - 8th International Colloquium, Proceedings. p. 173-193 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6916 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations

  • Defining and computing a value based cyber-security measure

    Aissa, A. B., Abercrombie, R. K., Sheldon, F. T. & Mili, A., 2011, Proceedings of the 2nd Kuwait Conference on e-Services and e-Systems, KCESS'11. 5. (Proceedings of the 2nd Kuwait Conference on e-Services and e-Systems, KCESS'11).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Validating cyber security requirements: A case study

    Abercrombie, R. K., Sheldon, F. T. & Mili, A., 2011, Proceedings of the 44th Annual Hawaii International Conference on System Sciences, HICSS-44 2010. 5718517. (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2010

    A model for analyzing architectural attributes

    Derbel, I., Jilani, L. L. & Mili, A., 2010, 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010. IEEE Computer Society, 5586933. (2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Modeling stakeholder/value dependency through mean failure cost

    Aissa, A. B., Abercrombie, R. K., Sheldon, F. T. & Mili, A., 2010, 6th Annual Cyber Security and Information Intelligence Research Workshop: Cyber Security and Information Intelligence Challenges and Strategies, CSIIRW10. 1852727. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Software requirements for a system to compute mean failure cost

    Aissa, A. B., Abercrombie, R. K., Sheldon, F. T. & Mili, A., 2010, 6th Annual Cyber Security and Information Intelligence Research Workshop: Cyber Security and Information Intelligence Challenges and Strategies, CSIIRW10. 1852750. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards an automated tool for computing loop functions

    Jilani, L. L., Mraihi, O., Louhichi, A. & Mili, A., 2010, 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010. IEEE Computer Society, 5586943. (2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Using invariant functions and invariant relations to compute loop functions

    Labed Jilani, L., Mraihi, O., Louhichi, A., Ghardallou, W. & Mili, A., 2010, ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. p. 317-318 2 p. (Proceedings - International Conference on Software Engineering; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2009

    Challenging the mean time to failure: Measuring dependability as a mean failure cost

    Mili, A. & Sheldon, F., 2009, Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS. 4755411. (Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    18 Scopus citations

  • Managing complex IT security processes with value based measures

    Abercrombie, R. K., Sheldon, F. T. & Mili, A., 2009, 2009 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2009 - Proceedings. IEEE Computer Society, p. 69-75 7 p. 4925092. (2009 IEEE Symposium on Computational Intelligence in Cyber Security, CICS 2009 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    16 Scopus citations

  • Methodology for evaluating security controls based on key performance indicators and stakeholder mission

    Sheldon, F. T., Abercrombie, R. K. & Mili, A., 2009, Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS. 4755410. (Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    27 Scopus citations