Self-Checking Programs: An Axiomatic Approach to the Validation of Programs by the Use of Assertions - Ali Mili 001 (1981)

A Closer Look at Iteration: The Self Stabilizing Capability of Loops. - Ali Mili 001 (ICSE, 1982)

Designing software without backtracking: the part of dream and the part of reality. - Ali Mili 001 (ACM SIGSOFT Softw. Eng. Notes, 1982)

Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs. - Ali Mili 001 (IEEE Trans. Computers, 1982)

The Bottom up Analysis of While Statements: Strongest Invariant Functions. - Ali Mili 001 (IFIP Congress, 1983)

A case for teaching program verification: Its importance in the CS curriculum. - Ali Mili 001 (SIGCSE, 1983)

A Relational Approach to the Design of Deterministic Programs. - Ali Mili 001 (Acta Informatica, 1983)

Verifying Programs by Induction on Their Data Structure: General Format and Applications. - Ali Mili 001 (Inf. Process. Lett., 1983)

Representation and manipulation of information systems: A simplified approach. - Ali Mili 001; Donna S. Reese (J. Syst. Softw., 1983)

A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. - Ali Mili 001; Jules Desharnais (ICSE, 1984)

Some thoughts on teaching first year programming. - Marcel Dupras; Fernand LeMay; Ali Mili 001 (SIGCSE, 1984)

Une perspective relationnelle de la programmation. (Relational perspective of programming science). - Ali Mili 001 (1985)

Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. - Ali Mili 001; Jules Desharnais; Jean-Raymond Gagné (Acta Informatica, 1985)

Workshop on Models and Languages for Software Specification and Design. - Robert G. Babb II; Richard B. Kieburtz; Ken Orr; Ali Mili 001; Susan Gearhart; Nancy N. Martin (Computer, 1985)

Towards a Theory of Forward Error Recovery. - Ali Mili 001 (IEEE Trans. Software Eng., 1985)

Formal Models of Stepwise Refinement of Programs. - Ali Mili 001; Jules Desharnais; Jean-Raynomd Gagné (ACM Comput. Surv., 1986)

Specification Methodology: An Integrated Relational Approach. - Ali Mili 001; Xiaoyang Sean Wang; Yu Qing (Softw. Pract. Exp., 1986)

Relational Heuristics for the Design of Deterministic Programs. - Ali Mili 001; Jules Desharnais; Fatma Mili (Acta Informatica, 1987)

On the use of executable assertions in structured programs. - Ali Mili 001; Sihem Guemara; Ali Jaoua; Paul Torrés (J. Syst. Softw., 1987)

On the Analysis of Iterative and Recursive Programs. - Fatma Mili; Mustapha Beb Alaya; Ali Mili 001 (Aust. Comput. J., 1988)

A Database of Software Components: An Algebraic Structure and Its Implementation. - Noureddine Boudriga; Ali Mili 001 (DEXA, 1990)

Software maintenance management in Tunisia: A statistical study. - Latifa Ben Arfa Rabai; Ali Mili 001; M. Ben Alaya; H. Ben Amor; Kh. Ketata (ICSM, 1990)

A foreword to the special issue of the journal of systems and software on the Role of languages in programming (the Tenth Tunisian-French Seminar of Computer Science). - Jean-Pierre Finance; Ali Mili 001 (J. Syst. Softw., 1990)

The use of executable assertions for error detection and damage assessment. - Ali Jaoua; Ali Mili 001 (J. Syst. Softw., 1990)

An empirical study of software maintenance. - Latifa Ben Arfa Rabai; Ali Mili 001; Larbi Sekhri (ICSM, 1991)

Controllable factors for programmer productivity: A statistical study. - L. Kemayel; Ali Mili 001; I. Ouederni (J. Syst. Softw., 1991)

Regularity of Relations: A Measure of Uniformity. - Ali Jaoua; Ali Mili 001; Noureddine Boudriga; J. L. Durieux (Theor. Comput. Sci., 1991)

Computers in the Classroom: A National Proposal. - Ali Mili 001; Noureddine Boudriga (IFIP Congress (2), 1992)

A Relational Model for the Specification of Data Types. - Noureddine Boudriga; Ali Mili 001; R. Zalila; Fatma Mili (Comput. Lang., 1992)

On the Lattice of Specifications: Applications to a Specification Methodology. - Noureddine Boudriga; Fathi Elloumi; Ali Mili 001 (Formal Aspects Comput., 1992)

Heuristics for Constructing While Loops. - Fatma Mili; Ali Mili 001 (Sci. Comput. Program., 1992)

Semantic-Based Software Retrieval to Support Rapid Prototyping. - Noureddine Boudriga; Ali Mili 001; Roland T. Mittermeir (Struct. Program., 1992)

Relation-based semantics for concurrency. - Noureddine Boudriga; Yahya Slimani; Ali Mili 001 (Inf. Sci., 1993)

On the Mathematics of Sequential Decompositions. - Jules Desharnais; Ali Mili 001; Fatma Mili (Sci. Comput. Program., 1993)

A Relation Division Operator: The Conjugate Kernel. - Jules Desharnais; Ali Jaoua; Fatma Mili; Noureddine Boudriga; Ali Mili 001 (Theor. Comput. Sci., 1993)

Storing and Retrieving Software Components: A Refinement Based System. - Ali Mili 001; Rym Mili; Roland T. Mittermeir (ICSE, 1994)

A process for verification based inspections. - Latifa Ben Arfa Rabai; Marc Frappier; Rym Mili; Ali Mili 001; Douglas R. Skuce (SEKE, 1994)

Teaching a first course on data structures: a software engineering approach. - Rym Mili; Ali Mili 001 (SIGCSE, 1994)

Program Construction by Parts. - Marc Frappier; Ali Mili 001; Jules Desharnais (MPC, 1995)

Behavorial Specifications in Object-Oriented Programming. - Douglas R. Skuce; Ali Mili 001 (J. Object Oriented Program., 1995)

Embedding a Demonic Semilattice in a Relational Algebra. - Jules Desharnais; Nadir Belkhiter; Salah Ben Mohamed Sghaier; Fairouz Tchier; Ali Jaoua; Ali Mili 001; Nejib Zaguia (Theor. Comput. Sci., 1995)

Reusing Software: Issues and Research Directions. - Hafedh Mili; Fatma Mili; Ali Mili 001 (IEEE Trans. Software Eng., 1995)

Guest editor's corner. - Joze Zupancic; Stanislaw Wrycza; Ali Mili 001 (J. Syst. Softw., 1996)

A Relational Calculus for Program Construction by Parts. - Marc Frappier; Ali Mili 001; Jules Desharnais (Sci. Comput. Program., 1996)

Refinement and Demonic Semantics. - Jules Desharnais; Ali Mili 001; Thanh Tung Nguyen (Relational Methods in Computer Science, 1997)

Measures of Distances to Perform Approximate Retrieval. - Rym Mili; Lamia Labed Jilani; Ali Mili 001 (RelMiCS, 1997)

Algorithms = RelationaI Algebra + Ordering Relations. - Fatma Mili; Ali Mili 001 (RelMiCS, 1997)

Defining and detecting feature interactions. - Marc Frappier; Ali Mili 001; Jules Desharnais (Algorithmic Languages and Calculi, 1997)

An Undergraduate Option in Software Engineering: Analysis and Rationale. - Timothy C. Lethbridge; Dan Ionescu; Ali Mili 001; David Gibbons (CSEE&T, 1997)

Detecting Feature Interactions on Relational Specifications. - Marc Frappier; Ali Mili 001; Jules Desharnais (FIW, 1997)

Retrieving Software Components that Minimize Adaptation Effort. - Lamia Labed Jilani; Jules Desharnais; Marc Frappier; Rym Mili; Ali Mili 001 (ASE, 1997)

A Calculus of Program Modifications. - Rym Mili; Marc Frappier; Jules Desharnais; Ali Mili 001 (SSR, 1997)

Storing and Retrieving Software Conponents: A Refinement Based System. - Rym Mili; Ali Mili 001; Roland T. Mittermeir (IEEE Trans. Software Eng., 1997)

Capturing pointer semantics and scoping rules. - Rahma Ben Ayed; Hafedh Mili; Ali Mili 001 (RelMiCS, 1998)

Towards a uniform relational semantics for tabular expressions. - Jules Desharnais; Ridha Khédri; Ali Mili 001 (RelMiCS, 1998)

Mathematical Foundations for Program Transformations. - Rahma Ben Ayed; Jules Desharnais; Marc Frappier; Ali Mili 001 (LOPSTR, 1998)

A Survey of software Reuse Libraries. - Ali Mili 001; Rym Mili; Roland T. Mittermeir (Ann. Softw. Eng., 1998)

Unifying Program Construction and Modification. - Marc Frappier; Ali Mili 001; Jules Desharnais (Log. J. IGPL, 1998)

Integration of Sequential Scenarios. - Jules Desharnais; Marc Frappier; Ridha Khédri; Ali Mili 001 (IEEE Trans. Software Eng., 1998)

Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy. - Victor R. Basili; Tom DeMarco; Ali Mili 001 (ICSE, 1999)

Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. - Ali Mili 001; Bojan Cukic; T. Xia; Rahma Ben Ayed (ASE, 1999)

View Programming for Decentralized Development of OO Programs. - Hafedh Mili; Joumana Dargham; Omar Cherkaoui; Robert Godin; Ali Mili 001 (TOOLS (30), 1999)

Desert Island Column: The Long Story of a Short Theorem. - Ali Mili 001 (Autom. Softw. Eng., 1999)

Toward an Engineering Discipline of Software Reuse. - Ali Mili 001; Sherif M. Yacoub; Edward A. Addy; Hafedh Mili (IEEE Softw., 1999)

A Case Study in Software Reuse. - Edward A. Addy; Ali Mili 001; Sherif M. Yacoub (Softw. Qual. J., 1999)

Lattice Based Distances. - Habib Ammari; Ali Mili 001 (RelMiCS, 2000)

Views: A Framework for Feature-based Development and Distribution of OO Applications. - Hafedh Mili; Joumana Dargham; Ali Mili 001 (HICSS, 2000)

An integrated cost model for software reuse. - Ali Mili 001; Senta Fowler Chmiel; Ravi Gottumukkala; Lisa Zhang (ICSE, 2000)

Tracking, predicting and assessing software reuse costs: an automated tool. - Ali Mili 001; Senta Fowler Chmiel; Ravi Gottumukkala; Lisa Zhang (ICSE, 2000)

Constructional Design Patterns as Reusable Components. - Sherif M. Yacoub; Hany H. Ammar; Ali Mili 001 (ICSR, 2000)

A hierarchy of COTS certification criteria. - Sherif M. Yacoub; Ali Mili 001; Chakri Kaveri; Mark Dehlin (SPLC, 2000)

A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering. - Hany H. Ammar; Bojan Cukic; Ali Mili 001; Christopher P. Fuhrman (Ann. Softw. Eng., 2000)

A calculus of program adaptation and its applications. - Rahma Ben Ayed; Jules Desharnais; Marc Frappier; Ali Mili 001 (Sci. Comput. Program., 2000)

Semantic distance between specifications. - Rym Mili; Jules Desharnais; Marc Frappier; Ali Mili 001 (Theor. Comput. Sci., 2000)

Information Theoretic Metrics for Software Architectures. - Mark Shereshevsky; Habib Ammari; Nicholay Gradetsky; Ali Mili 001; Hany H. Ammar (COMPSAC, 2001)

Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? - H. Dieter Rombach; Manfred Broy; Michael Evangelist; Ali Mili 001; Leon J. Osterweil; David Lorge Parnas (ICSE, 2001)

Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems. - Diego Del Gobbo; Ali Mili 001 (RE, 2001)

Managing Software Reuse Economics: An Integrated ROI-based Model. - Ali Mili 001; Senta Fowler Chmiel; Ravi Gottumukkala; Lisa Zhang (Ann. Softw. Eng., 2001)

An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System. - Diego Del Gobbo; Ali Mili 001 (RelMiS, 2001)

Defining and Applying Measures of Distance Between Specifications. - Lamia Labed Jilani; Jules Desharnais; Ali Mili 001 (IEEE Trans. Software Eng., 2001)

Software engineering technology watch. - Robert David Cowan; Alan R. McKendall Jr.; Ali Mili 001; Lin Yang; L. Wang; Dapeng Chen; V. Janardhana; Terry Spencer (Inf. Sci., 2002)

Guest editorial. - Kamel Barkaoui; Mohamed Jmaiel; Ali Mili 001 (J. Syst. Softw., 2002)

Software Engineering Technology Watch. - Robert David Cowan; Ali Mili 001; Hany H. Ammar; Alan R. McKendall Jr.; Lin Yang; Dapeng Chen; Terry Spencer (IEEE Softw., 2002)

Architectural-Level Risk Analysis Using UML. - Katerina Goseva-Popstojanova; Ahmed E. Hassan; Ajith Guedem; Walid Abdelmoez; Diaa Eldin M. Nassar; Hany H. Ammar; Ali Mili 001 (IEEE Trans. Software Eng., 2003)

Assessing and Quantifying Attributes of Product Line Architectures. - Bo Yu; Ali Mili 001; Walid Abdelmoez; Rajesh Gunnalan; Mark Shereshevsky; Hany H. Ammar (CCCT (2), 2004)

Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. - Ali Mili 001; GuangJie Jiang; Bojan Cukic; Yan Liu 003; Rahma Ben Ayed (HICSS, 2004)

Software Architectures Change Propagation Tool (SACPT). - Walid Abdelmoez; Mark Shereshevsky; Rajesh Gunnalan; Hany H. Ammar; Bo Yu; S. Bogazzi; Mustafa Korkmaz; Ali Mili 001 (ICSM, 2004)

Error Propagation In Software Architectures. - Walid Abdelmoez; Diaa Eldin M. Nassar; Mark Shereshevsky; Nicholay Gradetsky; Rajesh Gunnalan; Hany H. Ammar; Bo Yu; Ali Mili 001 (IEEE METRICS, 2004)

Quantifying software architectures: an analysis of change propagation probabilities. - Walid Abdelmoez; Mark Shereshevsky; Rajesh Gunnalan; Hany H. Ammar; Bo Yu; S. Bogazzi; Mustafa Korkmaz; Ali Mili 001 (AICCSA, 2005)

Perspectives on Redundancy: Applications to Software Certification. - Ali Mili 001; Frederick T. Sheldon; Fatma Mili; Mark Shereshevsky; Jules Desharnais (HICSS, 2005)

Change Propagation for Assessing Design Quality of Software Architectures. - Israr Pasha Shaik; Walid Abdelmoez; Rajesh Gunnalan; Mark Shereshevsky; A. Zeid; Hany H. Ammar; Ali Mili 001; Christopher P. Fuhrman (WICSA, 2005)

Recoverability preservation: a measure of last resort. - Ali Mili 001; Frederick T. Sheldon; Fatma Mili; Jules Desharnais (Innov. Syst. Softw. Eng., 2005)

Relational characterizations of system fault tolerance. - Vittorio Cortellessa; Diego Del Gobbo; Mark Shereshevsky; Jules Desharnais; Ali Mili 001 (Sci. Comput. Program., 2005)

An Empirical Study of Programming Language Trends. - Yaofei Chen; Rose Dios; Ali Mili 001; Lan Wu; Kefei Wang (IEEE Softw., 2005)

Modeling Redundancy: Quantitative and Qualitative Models. - Ali Mili 001; Lan Wu; Frederick T. Sheldon; Mark Shereshevsky; Jules Desharnais (AICCSA, 2006)

Using Change Propagation Probabilities to Assess Quality Attributes of Software Architectures 1. - Israr Pasha Shaik; Walid Abdelmoez; Rajesh Gunnalan; Ali Mili 001; Christopher P. Fuhrman; Mark Shereshevsky; A. Zeid; Hany H. Ammar (AICCSA, 2006)

Modeling security as a dependability attribute: a refinement-based approach. - Ali Mili 001; Frederick T. Sheldon; Lamia Labed Jilani; Alex Vinokurov; Alexander Thomasian; Rahma Ben Ayed (Innov. Syst. Softw. Eng., 2006)

Measuring Reliability as a Mean Failure Cost. - Ali Mili 001; Frederick T. Sheldon (HASE, 2007)

A Semantic Recognizer Infrastructure for Computing Loop Behavior. - Ali Mili 001; Tim Daly; Mark G. Pleszkoch; Stacy J. Prowell (HICSS, 2007)

Towards an Engineering Discipline of Computational Society. - Ali Mili 001; Alex Vinokurov; Lamia Labed Jilani; Frederick T. Sheldon; Rahma Ben Ayed (HICSS, 2007)

A Product Line of Software Reuse Cost Models. - Mustafa Korkmaz; Ali Mili 001 (ICSOFT (SE), 2007)

Monitoring software technology evolution, one trend at a time. - Yanzhi Bai; Ali Mili 001 (SEDE, 2007)

A Refinement Based Framework for Computing Loop Behavior. - Ali Mili 001 (SEW, 2007)

Modeling the evolution of operating systems: An empirical study. - Yi Peng; Fu Li; Ali Mili 001 (J. Syst. Softw., 2007)

Evaluating security controls based on key performance indicators and stakeholder mission. - Frederick T. Sheldon; Robert K. Abercrombie; Ali Mili 001 (CSIIRW, 2008)

Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value. - Robert K. Abercrombie; Frederick T. Sheldon; Ali Mili 001 (HASE, 2008)

An Algorithm for Computing Loop Functions. - Ali Mili 001; Shir Aharon; Chaitanya Nadkarni (SEKE, 2008)

Harnessing a Refinement Theory to Compute Loop Functions. - Ali Mili 001; Rahma Ben Ayed; Shir Aharon; Chaitanya Nadkarni (TTSS, 2008)

Relational Methods in the Analysis of While Loops: Observations of Versatility. - Asma Louhichi; Olfa Mraihi; Lamia Labed Jilani; Khaled Bsaïes; Ali Mili 001 (RelMiCS, 2009)

Managing complex IT security processes with value based measures. - Robert K. Abercrombie; Frederick T. Sheldon; Ali Mili 001 (CICS, 2009)

Quantifying security threats and their impact. - Anis Ben Aissa; Robert K. Abercrombie; Frederick T. Sheldon; Ali Mili 001 (CSIIRW, 2009)

Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost. - Ali Mili 001; Frederick T. Sheldon (HICSS, 2009)

Methodology for Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission. - Frederick T. Sheldon; Robert K. Abercrombie; Ali Mili 001 (HICSS, 2009)

Modeling the Evolution of Software Engineering Trends - A Bottom Up Approach. - Latifa Ben Arfa Rabai; Yanzhi Bai; Ali Mili 001 (ICSOFT (1), 2009)

Mathematics for reasoning about loop functions. - Ali Mili 001; Shir Aharon; Chaitanya Nadkarni (Sci. Comput. Program., 2009)

A model for analyzing architectural attributes. - Imen Derbel; Lamia Labed Jilani; Ali Mili 001 (AICCSA, 2010)

Towards an automated tool for computing loop functions. - Lamia Labed Jilani; Olfa Mraihi; Asma Louhichi; Ali Mili 001 (AICCSA, 2010)

A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. - Asma Louhichi; Olfa Mraihi; Lamia Labed Jilani; Ali Mili 001 (WING@ETAPS/IJCAR, 2010)

Modeling stakeholder/value dependency through mean failure cost. - Anis Ben Aissa; Robert K. Abercrombie; Frederick T. Sheldon; Ali Mili 001 (CSIIRW, 2010)

Software requirements for a system to compute mean failure cost. - Anis Ben Aissa; Robert K. Abercrombie; Frederick T. Sheldon; Ali Mili 001 (CSIIRW, 2010)

Using invariant functions and invariant relations to compute loop functions. - Lamia Labed Jilani; Olfa Mraihi; Asma Louhichi; Wided Ghardallou; Ali Mili 001 (ICSE (2), 2010)

Quantifying security threats and their potential impacts: a case study. - Anis Ben Aissa; Robert K. Abercrombie; Frederick T. Sheldon; Ali Mili 001 (Innov. Syst. Softw. Eng., 2010)

Reflexive transitive invariant relations: A basis for computing loop functions. - Ali Mili 001; Shir Aharon; Chaitanya Nadkarni; Lamia Labed Jilani; Asma Louhichi; Olfa Mraihi (J. Symb. Comput., 2010)

Validating Cyber Security Requirements: A Case Study. - Robert K. Abercrombie; Frederick T. Sheldon; Ali Mili 001 (HICSS, 2011)

Computing Preconditions and Postconditions of While Loops. - Olfa Mraihi; Wided Ghardallou; Asma Louhichi; Lamia Labed Jilani; Khaled Bsaïes; Ali Mili 001 (ICTAC, 2011)

A quantitative model for software engineering trends. - Latifa Ben Arfa Rabai; Yanzhi Bai; Ali Mili 001 (Inf. Sci., 2011)

Reasoning About Quantitative Architectural Attributes (Invited Paper). - Lamia Labed Jilani; Imen Derbel; Khaled Bsaïes; Hamdi Nasreddine; Ali Mili 001 (J. Softw., 2011)

An economic model of security threats for cloud computing systems. - Latifa Ben Arfa Rabai; Mouna Jouini; Marwa Nafati; Anis Ben Aissa; Ali Mili 001 (CyberSec, 2012)

Defining and computing a value based cyber-security measure. - Anis Ben Aissa; Robert K. Abercrombie; Frederick T. Sheldon; Ali Mili 001 (Inf. Syst. E Bus. Manag., 2012)

Invariant relations, invariant functions, and loop functions. - Lamia Labed Jilani; Asma Louhichi; Olfa Mraihi; Ali Mili 001 (Innov. Syst. Softw. Eng., 2012)

A versatile concept for the analysis of loops. - Wided Ghardallou; Olfa Mraihi; Asma Louhichi; Lamia Labed Jilani; Khaled Bsaïes; Ali Mili 001 (J. Log. Algebraic Methods Program., 2012)

Failure impact analysis of key management in AMI using cybernomic situational assessment (CSA). - Robert K. Abercrombie; Frederick T. Sheldon; Katie R. Hauser; Margaret W. Lantz; Ali Mili 001 (CSIIRW, 2013)

Architecture Level Prediction of Software Quality Attributes. - Imen Derbel; Lamia Labed Jilani; Ali Mili 001 (ENASE, 2013)

ACME+: An ADL for Quantitative Analysis of Quality Attributes. - Imen Derbel; Lamia Labed Jilani; Ali Mili 001 (ENASE (Selected Papers), 2013)

Risk Assessment Methodology Based on the NISTIR 7628 Guidelines. - Robert K. Abercrombie; Frederick T. Sheldon; Katie R. Hauser; Margaret W. Lantz; Ali Mili 001 (HICSS, 2013)

ACME+ for Software Architecture Analysis. - Imen Derbel; Lamia Labed Jilani; Ali Mili 001 (ICSOFT, 2013)

Parallel Bounded Verification of Alloy Models by TranScoping. - Nicolás Rosner; Carlos Gustavo López Pombo; Nazareno Aguirre; Ali Jaoua; Ali Mili 001; Marcelo F. Frias (VSTTE, 2013)

Mean Failure Cost as a Measurable Value and Evidence of Cybersecurity: E-Learning Case Study. - Neila Rjaibi; Latifa Ben Arfa Rabai; Anis Ben Aissa; Ali Mili 001 (Int. J. Secur. Softw. Eng., 2013)

A cybersecurity model in cloud computing environments. - Latifa Ben Arfa Rabai; Mouna Jouini; Anis Ben Aissa; Ali Mili 001 (J. King Saud Univ. Comput. Inf. Sci., 2013)

Invariant functions and invariant relations: An alternative to invariant assertions. - Lamia Labed Jilani; Olfa Mraihi; Asma Louhichi; Wided Ghardallou; Khaled Bsaïes; Ali Mili 001 (J. Symb. Comput., 2013)

Invariant assertions, invariant relations, and invariant functions. - Olfa Mraihi; Asma Louhichi; Lamia Labed Jilani; Jules Desharnais; Ali Mili 001 (Sci. Comput. Program., 2013)

On Faults and Faulty Programs. - Ali Mili 001; Marcelo F. Frias; Ali Jaoua (RAMiCS, 2014)

Quantifying the impact of unavailability in cyber-physical environments. - Anis Ben Aissa; Robert K. Abercrombie; Frederick T. Sheldon; Ali Mili 001 (CICS, 2014)

Quantifying availability in SCADA environments using the cyber security metric MFC. - Anis Ben Aissa; Latifa Ben Arfa Rabai; Robert K. Abercrombie; Ali Mili 001; Frederick T. Sheldon (CISR, 2014)

Automated Quantitative Attributes Prediction from Architectural Description Language. - Imen Derbel; Lamia Labed Jilani; Ali Mili 001 (ICSOFT PT, 2014)

Verifying while loops with invariant relations. - Asma Louhichi; Wided Ghardallou; Khaled Bsaïes; Lamia Labed Jilani; Olfa Mraihi; Ali Mili 001 (Int. J. Crit. Comput. Based Syst., 2014)

Semantic metrics for software products. - Ali Mili 001; Ali Jaoua; Marcelo F. Frias; Rasha Gaffer Mohamed Helali (Innov. Syst. Softw. Eng., 2014)

Relational Mathematics for Relative Correctness. - Jules Desharnais; Nafi Diallo; Wided Ghardallou; Marcelo F. Frias; Ali Jaoua; Ali Mili 001 (RAMiCS, 2015)

Computing Attributes of Software Architectures - A Static Method and Its Validation. - Imen Derbel; Lamia Labed Jilani; Ali Mili 001 (ENASE, 2015)

Correctness and Relative Correctness. - Nafi Diallo; Wided Ghardallou; Ali Mili 001 (ICSE (2), 2015)

Putting engineering into software engineering: Upholding software engineering principles in the classroom. - Fairouz Tchier; Latifa Ben Arfa Rabai; Ali Mili 001 (Comput. Hum. Behav., 2015)

Program Derivation by Correctness Enhacements. - Nafi Diallo; Wided Ghardallou; Jules Desharnais; Ali Mili 001 (Refine@FM, 2015)

Programming Language Use in US Academia and Industry. - Latifa Ben Arfa Rabai; Barry Cohen; Ali Mili 001 (Informatics Educ., 2015)

Debugging without Testing. - Wided Ghardallou; Nafi Diallo; Ali Mili 001; Marcelo F. Frias (ICST, 2016)

Software Evolution by Correctness Enhancement. - Wided Ghardallou; Nafi Diallo; Ali Mili 001 (SEKE, 2016)

Relative Correctness: A Bridge Between Proving and Testing. - Wided Ghardallou; Ali Mili 001; Nafi Diallo (VECoS, 2016)

Program Repair by Stepwise Correctness Enhancement. - Nafi Diallo; Wided Ghardallou; Ali Mili 001 (PrePost@IFM, 2016)

A Generic Algorithm for Program Repair. - Besma Khaireddine; Aleksandr Zakharchenko; Ali Mili 001 (FormaliSE@ICSE, 2017)

Estimating the Survival Rate of Mutants. - Imen Marsit; Mohamed Nazih Omri; Ali Mili 001 (ICSOFT, 2017)

What is a fault? and why does it matter? - Nafi Diallo; Wided Ghardallou; Jules Desharnais; Marcelo F. Frias; Ali Jaoua; Ali Mili 001 (Innov. Syst. Softw. Eng., 2017)

Projecting programs on specifications: Definition and implications. - Jules Desharnais; Nafi Diallo; Wided Ghardallou; Ali Mili 001 (Sci. Comput. Program., 2017)

Using Semantic Metrics to Predict Mutation Equivalence. - Amani Ayad; Imen Marsit; Mohamed Nazih Omri; Ji Meng Loh; Ali Mili 001 (ICSOFT (Selected Papers), 2018)

Impact of Mutation Operators on Mutant Equivalence. - Imen Marsit; Mohamed Nazih Omri; Ji Meng Loh; Ali Mili 001 (ICSOFT, 2018)

Impact of Mutation Operators on the Ratio of Equivalent Mutants. - Imen Marsit; Mohamed Nazih Omri; Ji Meng Loh; Ali Mili 001 (SoMeT, 2018)

Programming Without Refining. - Marwa Benabdelali; Lamia Labed Jilani; Wided Ghardallou; Ali Mili 001 (Refine@FM, 2018)

Convergence: Integrating termination and abort-freedom. - Nafi Diallo; Wided Ghardallou; Jules Desharnais; Ali Mili 001 (J. Log. Algebraic Methods Program., 2018)

Quantitative Metrics for Mutation Testing. - Amani Ayad; Imen Marsit; Ji Meng Loh; Mohamed Nazih Omri; Ali Mili 001 (ICSOFT, 2019)

Quantitative Analysis of Mutant Equivalence. - Amani Ayad; Imen Marsit; Sara Tawfig; Ji Meng Loh; Mohamed Nazih Omri; Ali Mili 001 (ICSOFT (Selected Papers), 2019)

Estimating the Number of Equivalent Mutants. - Amani Ayad; Imen Marsit; Ji Meng Loh; Mohamed Nazih Omri; Ali Mili 001 (ICST Workshops, 2019)

Program Repair at Arbitrary Fault Depth. - Besma Khaireddine; Matias Martinez; Ali Mili 001 (ICST, 2019)

Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment. - Besma Khaireddine; Aleksandr Zakharchenko; Ali Mili 001 (QRS Companion, 2019)

Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT. - Luciano Zemín; Simón Gutiérrez Brida; Santiago Bermúdez; Santiago Perez De Rosso; Nazareno Aguirre; Ali Mili 001; Ali Jaoua; Marcelo F. Frias (CoRR, 2019)

A Semantic Definition of Faults and Its Implications. - Besma Khaireddine; Aleksandr Zakharchenko; Ali Mili 001 (QRS, 2020)

Correctness enhancement: a pervasive software engineering paradigm. - Besma Khaireddine; Marwa Ben AbdelAli; Lamia Labed Jilani; Aleksandr Zakharchenko; Ali Mili 001 (Int. J. Crit. Comput. Based Syst., 2020)

Quantifying Faultiness: What Does It Mean to Have N Faults? - Besma Khaireddine; Ali Mili 001 (FormaliSE@ICSE, 2021)

Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis. - Hessamaldin Mohammadi; Wided Ghardallou; Ali Mili 001 (QRS Companion, 2021)

Mutation Subsumption as Relative Incorrectness. - Besma Khaireddine; Amani Ayad; Imen Marsit; Ali Mili 001 (QUATIC, 2021)

The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation. - Besma Khaireddine; Aleksandr Zakharchenko; Ali Mili 001 (SoMeT, 2021)

Differentiators and detectors. - Ali Mili 001 (Inf. Process. Lett., 2021)

The ratio of equivalent mutants: A key to analyzing mutation equivalence. - Imen Marsit; Amani Ayad; David Kim; Monsour Latif; Ji Meng Loh; Mohamed Nazih Omri; Ali Mili 001 (J. Syst. Softw., 2021)

Computing Program Functions. - Hessamaldin Mohammadi; Wided Ghardallou; Richard C. Linger; Ali Mili 001 (FormaliSE@ICSE, 2022)

Generalized Mutant Subsumption. - Samia Al Blwi; Imen Marsit; Besma Khaireddine; Amani Ayad; Ji Meng Loh; Ali Mili 001 (ICSOFT, 2022)

Three Forms of Mutant Subsumption: Basic, Strict and Broad. - Samia Al Blwi; Imen Marsit; Besma Khaireddine; Amani Ayad; Ji Meng Loh; Ali Mili 001 (ICSOFT (Selected Papers), 2022)

Quantifying the Effectiveness of Mutant Sets. - Samia Al Blwi; Amani Ayad; Besma Khaireddine; Imen Marsit; Ali Mili 001 (QRS Companion, 2022)

Semantic Coverage: Measuring Test Suite Effectiveness. - Samia Al Blwi; Amani Ayad; Besma Khaireddine; Imen Marsit; Ali Mili 001 (ICSOFT, 2023)

Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis. - Hessamaldin Mohammadi; Wided Ghardallou; Elijah Brick; Ali Mili 001 (QRS Companion, 2023)

Invariant Relations: A Bridge from Programs to Equations. - Wided Ghardallou; Hessamaldin Mohammadi; Elijah Brick; Ali Mili 001 (CoRR, 2023)

Toward a theory of program repair. - Besma Khaireddine; Aleksandr Zakharchenko; Matias Martinez; Ali Mili 001 (Acta Informatica, 2023)

On the persistent rumors of the programmer's imminent demise. - Hessam Mohammadi; Wided Ghardallou; Elijah Brick; Ali Mili 001 (Softw. Syst. Model., 2023)

Mutation Coverage is not Strongly Correlated with Mutation Coverage. - Samia Al Blwi; Amani Ayad; Ali Mili 001 (AST@ICSE, 2024)

"Function Extraction: A New Paradigm for Producing Secure Code". - Richard C. Linger; Mark G. Pleszkoch; Jack McGaughey; John McHugh; Wided Ghardallou; Ali Mili 001 (NSPW, 2024)

Detecting Faults vs. Revealing Failures: Exploring the Missing Link. - Amani Ayad; Samia Al Blwi; Ali Mili 001 (QRS, 2024)

Invariant relations for affine loops. - Wided Ghardallou; Hessamaldin Mohammadi; Richard C. Linger; Mark G. Pleszkoch; Ji Meng Loh; Ali Mili 001 (Acta Informatica, 2024)

Detecting faults vs. Exposing failures: Orthogonal measures of test suite effectiveness. - Amani Ayad; Samia Alblwi; Ali Mili 001 (J. Syst. Softw., 2025)

Subsumption, correctness and relative correctness: Implications for software testing. - Samia Al Blwi; Imen Marsit; Besma Khaireddine; Amani Ayad; Ji Meng Loh; Ali Mili 001 (Sci. Comput. Program., 2025)