Filter
Conference contribution

Search results

  • 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 proceedingConference contribution

  • 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 proceedingConference contribution

  • 2022

    Compressing Geodesic Information for Fast Point-to-Point Geodesic Distance Queries

    Gotsman, C. & Hormann, K., Nov 29 2022, Proceedings - SIGGRAPH Asia 2022 Conference Papers. Spencer, S. N. (ed.). Association for Computing Machinery, Inc, 4. (Proceedings - SIGGRAPH Asia 2022 Conference Papers).

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

    2 Scopus citations
  • 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

    1 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 proceedingConference 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 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

    2 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

  • 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 proceedingConference contribution

    2 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

  • Fast a on road networks using a scalable separator-based heuristic

    Chen, R. & Gotsman, C., Nov 3 2020, Proceedings of the 13th ACM SIGSPATIAL International Workshop on Computational Transportation Science, IWCTS 2020. Berres, A. & Kurte, K. (eds.). Association for Computing Machinery, Inc, (Proceedings of the 13th ACM SIGSPATIAL International Workshop on Computational Transportation Science, IWCTS 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference 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 proceedingConference contribution

    1 Scopus citations
  • 2019

    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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    8 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    10 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 proceedingConference contribution

    Open Access
    12 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 proceedingConference 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 proceedingConference contribution

    19 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 proceedingConference 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 proceedingConference contribution

    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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    26 Scopus citations
  • Modeling the evolution of software engineering trends - A bottom up approach

    Rabai, L. B. A., Bai, Y. Z. & Mili, A., 2009, ICSOFT 2009 - 4th International Conference on Software and Data Technologies, Proceedings. p. 47-54 8 p. (ICSOFT 2009 - 4th International Conference on Software and Data Technologies, Proceedings; vol. 1).

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

    2 Scopus citations
  • Quantifying security threats and their impact

    Aissa, A. B., Abercrombie, R. K., Sheldon, F. T. & Mili, A., 2009, CSIIRW09: Fifth Annual Cyber Security and Information Intelligence Research Workshop: Cyber Security and Information Intelligence Challenges and Strategies. 26. (ACM International Conference Proceeding Series).

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

    10 Scopus citations
  • Relational methods in the analysis of while loops: Observations of versatility

    Louhichi, A., Mraihi, O., Jilani, L. L., Bsaies, K. & Mili, A., 2009, Relations and Kleene Algebra in Computer Science - 11th Int. Conference on Relational Methods in Computer Science, RelMiCS 2009 and 6th Int. Conference on Applications of Kleene Algebra, AKA 2009, Proc.. p. 242-259 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5827 LNCS).

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

  • 2008

    An algorithm for computing loop functions

    Mili, A., Aharon, S. & Nadkarni, C., 2008, 20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008. p. 448-453 6 p. (20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008).

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