Ali Mili - RankMe

199 papers A* 9A 6B 6C 28Misc 1Journal 79Unranked 65

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Detecting faults vs. Exposing failures: Orthogonal measures of test suite effectiveness. J. Syst. Softw. Amani Ayad, Samia Alblwi, Ali Mili
2025	J	`jnl`	Subsumption, correctness and relative correctness: Implications for software testing. Sci. Comput. Program. Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili
2024	C	`conf`	"Function Extraction: A New Paradigm for Producing Secure Code". NSPW Richard C. Linger, Mark G. Pleszkoch, Jack McGaughey, John McHugh, Wided Ghardallou, Ali Mili
2024	C	`conf`	Detecting Faults vs. Revealing Failures: Exploring the Missing Link. QRS Amani Ayad, Samia Al Blwi, Ali Mili
2024	J	`jnl`	Invariant relations for affine loops. Acta Informatica Wided Ghardallou, Hessamaldin Mohammadi, Richard C. Linger, Mark G. Pleszkoch, Ji Meng Loh, Ali Mili
2024	C	`conf`	Mutation Coverage is not Strongly Correlated with Mutation Coverage. AST Samia Al Blwi, Amani Ayad, Ali Mili
2023	—	`conf`	Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis. QRS Companion Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili
2023	J	`jnl`	Invariant Relations: A Bridge from Programs to Equations. CoRR Wided Ghardallou, Hessamaldin Mohammadi, Elijah Brick, Ali Mili
2023	J	`jnl`	On the persistent rumors of the programmer's imminent demise. Softw. Syst. Model. Hessam Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili
2023	C	`conf`	Semantic Coverage: Measuring Test Suite Effectiveness. ICSOFT Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili
2023	J	`jnl`	Toward a theory of program repair. Acta Informatica Besma Khaireddine, Aleksandr Zakharchenko, Matias Martinez, Ali Mili
2022	—	`conf`	Computing Program Functions. FormaliSE@ICSE Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili
2022	C	`conf`	Generalized Mutant Subsumption. ICSOFT Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili
2022	—	`conf`	Quantifying the Effectiveness of Mutant Sets. QRS Companion Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili
2022	—	`conf`	Three Forms of Mutant Subsumption: Basic, Strict and Broad. ICSOFT (Selected Papers) Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili
2021	—	`conf`	Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis. QRS Companion Hessamaldin Mohammadi, Wided Ghardallou, Ali Mili
2021	J	`jnl`	Differentiators and detectors. Inf. Process. Lett. Ali Mili
2021	Misc	`conf`	Mutation Subsumption as Relative Incorrectness. QUATIC Besma Khaireddine, Amani Ayad, Imen Marsit, Ali Mili
2021	—	`conf`	Quantifying Faultiness: What Does It Mean to Have N Faults? FormaliSE@ICSE Besma Khaireddine, Ali Mili
2021	C	`conf`	The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation. SoMeT Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
2021	J	`jnl`	The ratio of equivalent mutants: A key to analyzing mutation equivalence. J. Syst. Softw. Imen Marsit, Amani Ayad, David Kim, Monsour Latif, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
2020	C	`conf`	A Semantic Definition of Faults and Its Implications. QRS Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
2020	J	`jnl`	Correctness enhancement: a pervasive software engineering paradigm. Int. J. Crit. Comput. Based Syst. Besma Khaireddine, Marwa Ben AbdelAli, Lamia Labed Jilani, Aleksandr Zakharchenko, Ali Mili
2019	—	`conf`	Estimating the Number of Equivalent Mutants. ICST Workshops Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
2019	—	`conf`	Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment. QRS Companion Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
2019	A	`conf`	Program Repair at Arbitrary Fault Depth. ICST Besma Khaireddine, Matias Martinez, Ali Mili
2019	—	`conf`	Quantitative Analysis of Mutant Equivalence. ICSOFT (Selected Papers) Amani Ayad, Imen Marsit, Sara Tawfig, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
2019	C	`conf`	Quantitative Metrics for Mutation Testing. ICSOFT Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
2019	J	`jnl`	Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT. CoRR Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, Marcelo F. Frias
2018	J	`jnl`	Convergence: Integrating termination and abort-freedom. J. Log. Algebraic Methods Program. Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
2018	C	`conf`	Impact of Mutation Operators on Mutant Equivalence. ICSOFT Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili
2018	C	`conf`	Impact of Mutation Operators on the Ratio of Equivalent Mutants. SoMeT Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili
2018	—	`conf`	Programming Without Refining. Refine@FM Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili
2018	—	`conf`	Using Semantic Metrics to Predict Mutation Equivalence. ICSOFT (Selected Papers) Amani Ayad, Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili
2017	—	`conf`	A Generic Algorithm for Program Repair. FormaliSE@ICSE Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
2017	C	`conf`	Estimating the Survival Rate of Mutants. ICSOFT Imen Marsit, Mohamed Nazih Omri, Ali Mili
2017	J	`jnl`	Projecting programs on specifications: Definition and implications. Sci. Comput. Program. Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili
2017	C	`ed.`	Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings VECoS Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar
2017	J	`jnl`	What is a fault? and why does it matter? Innov. Syst. Softw. Eng. Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili
2016	A	`conf`	Debugging without Testing. ICST Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias
2016	—	`conf`	Program Repair by Stepwise Correctness Enhancement. PrePost@IFM Nafi Diallo, Wided Ghardallou, Ali Mili
2016	C	`conf`	Relative Correctness: A Bridge Between Proving and Testing. VECoS Wided Ghardallou, Ali Mili, Nafi Diallo
2016	C	`conf`	Software Evolution by Correctness Enhancement. SEKE Wided Ghardallou, Nafi Diallo, Ali Mili
2015	B	`conf`	Computing Attributes of Software Architectures - A Static Method and Its Validation. ENASE Imen Derbel, Lamia Labed Jilani, Ali Mili
2015	—	`conf`	Correctness and Relative Correctness. ICSE (2) Nafi Diallo, Wided Ghardallou, Ali Mili
2015	—	`conf`	Program Derivation by Correctness Enhacements. Refine@FM Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
2015	J	`jnl`	Programming Language Use in US Academia and Industry. Informatics Educ. Latifa Ben Arfa Rabai, Barry Cohen, Ali Mili
2015	J	`jnl`	Putting engineering into software engineering: Upholding software engineering principles in the classroom. Comput. Hum. Behav. Fairouz Tchier, Latifa Ben Arfa Rabai, Ali Mili
2015	C	`conf`	Relational Mathematics for Relative Correctness. RAMiCS Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili
2014	—	`conf`	Automated Quantitative Attributes Prediction from Architectural Description Language. ICSOFT PT Imen Derbel, Lamia Labed Jilani, Ali Mili
2014	C	`conf`	On Faults and Faulty Programs. RAMiCS Ali Mili, Marcelo F. Frias, Ali Jaoua
2014	—	`conf`	Quantifying availability in SCADA environments using the cyber security metric MFC. CISR Anis Ben Aissa, Latifa Ben Arfa Rabai, Robert K. Abercrombie, Ali Mili, Frederick T. Sheldon
2014	—	`conf`	Quantifying the impact of unavailability in cyber-physical environments. CICS Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2014	J	`jnl`	Semantic metrics for software products. Innov. Syst. Softw. Eng. Ali Mili, Ali Jaoua, Marcelo F. Frias, Rasha Gaffer Mohamed Helali
2014	J	`jnl`	Verifying while loops with invariant relations. Int. J. Crit. Comput. Based Syst. Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili
2013	J	`jnl`	A cybersecurity model in cloud computing environments. J. King Saud Univ. Comput. Inf. Sci. Latifa Ben Arfa Rabai, Mouna Jouini, Anis Ben Aissa, Ali Mili
2013	C	`conf`	ACME+ for Software Architecture Analysis. ICSOFT Imen Derbel, Lamia Labed Jilani, Ali Mili
2013	—	`conf`	ACME+: An ADL for Quantitative Analysis of Quality Attributes. ENASE (Selected Papers) Imen Derbel, Lamia Labed Jilani, Ali Mili
2013	B	`conf`	Architecture Level Prediction of Software Quality Attributes. ENASE Imen Derbel, Lamia Labed Jilani, Ali Mili
2013	—	`conf`	Failure impact analysis of key management in AMI using cybernomic situational assessment (CSA). CSIIRW Robert K. Abercrombie, Frederick T. Sheldon, Katie R. Hauser, Margaret W. Lantz, Ali Mili
2013	J	`jnl`	Invariant assertions, invariant relations, and invariant functions. Sci. Comput. Program. Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili
2013	J	`jnl`	Invariant functions and invariant relations: An alternative to invariant assertions. J. Symb. Comput. Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili
2013	J	`jnl`	Mean Failure Cost as a Measurable Value and Evidence of Cybersecurity: E-Learning Case Study. Int. J. Secur. Softw. Eng. Neila Rjaibi, Latifa Ben Arfa Rabai, Anis Ben Aissa, Ali Mili
2013	—	`conf`	Parallel Bounded Verification of Alloy Models by TranScoping. VSTTE Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias
2013	—	`conf`	Risk Assessment Methodology Based on the NISTIR 7628 Guidelines. HICSS Robert K. Abercrombie, Frederick T. Sheldon, Katie R. Hauser, Margaret W. Lantz, Ali Mili
2012	J	`jnl`	A versatile concept for the analysis of loops. J. Log. Algebraic Methods Program. Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
2012	—	`conf`	An economic model of security threats for cloud computing systems. CyberSec Latifa Ben Arfa Rabai, Mouna Jouini, Marwa Nafati, Anis Ben Aissa, Ali Mili
2012	J	`jnl`	Defining and computing a value based cyber-security measure. Inf. Syst. E Bus. Manag. Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2012	J	`jnl`	Invariant relations, invariant functions, and loop functions. Innov. Syst. Softw. Eng. Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili
2011	J	`jnl`	A quantitative model for software engineering trends. Inf. Sci. Latifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili
2011	C	`conf`	Computing Preconditions and Postconditions of While Loops. ICTAC Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
2011	J	`jnl`	Reasoning About Quantitative Architectural Attributes (Invited Paper). J. Softw. Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili
2011	—	`conf`	Validating Cyber Security Requirements: A Case Study. HICSS Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2010	—	`conf`	A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. WING@ETAPS/IJCAR Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili
2010	C	`conf`	A model for analyzing architectural attributes. AICCSA Imen Derbel, Lamia Labed Jilani, Ali Mili
2010	—	`conf`	Modeling stakeholder/value dependency through mean failure cost. CSIIRW Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2010	J	`jnl`	Quantifying security threats and their potential impacts: a case study. Innov. Syst. Softw. Eng. Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2010	J	`jnl`	Reflexive transitive invariant relations: A basis for computing loop functions. J. Symb. Comput. Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi
2010	—	`conf`	Software requirements for a system to compute mean failure cost. CSIIRW Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2010	C	`conf`	Towards an automated tool for computing loop functions. AICCSA Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili
2010	—	`conf`	Using invariant functions and invariant relations to compute loop functions. ICSE (2) Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili
2009	—	`conf`	Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost. HICSS Ali Mili, Frederick T. Sheldon
2009	—	`ed.`	Fifth Cyber Security and Information Intelligence Research Workshop, CSIIRW '09, Knoxville, TN, USA, April 13-15, 2009 CSIIRW Frederick T. Sheldon, Greg Peterson, Axel W. Krings, Robert K. Abercrombie, Ali Mili
2009	—	`conf`	Managing complex IT security processes with value based measures. CICS Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2009	J	`jnl`	Mathematics for reasoning about loop functions. Sci. Comput. Program. Ali Mili, Shir Aharon, Chaitanya Nadkarni
2009	—	`conf`	Methodology for Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission. HICSS Frederick T. Sheldon, Robert K. Abercrombie, Ali Mili
2009	—	`conf`	Modeling the Evolution of Software Engineering Trends - A Bottom Up Approach. ICSOFT (1) Latifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili
2009	—	`conf`	Quantifying security threats and their impact. CSIIRW Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2009	—	`conf`	Relational Methods in the Analysis of While Loops: Observations of Versatility. RelMiCS Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
2008	C	`conf`	An Algorithm for Computing Loop Functions. SEKE Ali Mili, Shir Aharon, Chaitanya Nadkarni
2008	—	`conf`	Evaluating security controls based on key performance indicators and stakeholder mission. CSIIRW Frederick T. Sheldon, Robert K. Abercrombie, Ali Mili
2008	—	`conf`	Harnessing a Refinement Theory to Compute Loop Functions. TTSS Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni
2008	—	`ed.`	Proceedings of the 4th annual workshop on Cyber security and information intelligence research - developing strategies to meet the cyber security and information intelligence challenges ahead, CSIIRW '08, Oak Ridge, Tennessee, USA, May 12-14, 2008 CSIIRW Frederick T. Sheldon, Axel W. Krings, Robert K. Abercrombie, Ali Mili
2008	—	`conf`	Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value. HASE Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2007	—	`conf`	A Product Line of Software Reuse Cost Models. ICSOFT (SE) Mustafa Korkmaz, Ali Mili
2007	C	`conf`	A Refinement Based Framework for Computing Loop Behavior. SEW Ali Mili
2007	—	`conf`	A Semantic Recognizer Infrastructure for Computing Loop Behavior. HICSS Ali Mili, Tim Daly, Mark G. Pleszkoch, Stacy J. Prowell
2007	—	`conf`	Measuring Reliability as a Mean Failure Cost. HASE Ali Mili, Frederick T. Sheldon
2007	J	`jnl`	Modeling the evolution of operating systems: An empirical study. J. Syst. Softw. Yi Peng, Fu Li, Ali Mili
2007	—	`conf`	Monitoring software technology evolution, one trend at a time. SEDE Yanzhi Bai, Ali Mili
2007	—	`conf`	Towards an Engineering Discipline of Computational Society. HICSS Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed
2006	C	`conf`	Modeling Redundancy: Quantitative and Qualitative Models. AICCSA Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais
2006	J	`jnl`	Modeling security as a dependability attribute: a refinement-based approach. Innov. Syst. Softw. Eng. Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed
2006	C	`conf`	Using Change Propagation Probabilities to Assess Quality Attributes of Software Architectures 1. AICCSA Israr Pasha Shaik, Walid Abdelmoez, Rajesh Gunnalan, Ali Mili, Christopher P. Fuhrman, Mark Shereshevsky, A. Zeid, Hany H. Ammar
2005	J	`jnl`	An Empirical Study of Programming Language Trends. IEEE Softw. Yaofei Chen, Rose Dios, Ali Mili, Lan Wu, Kefei Wang
2005	—	`conf`	Change Propagation for Assessing Design Quality of Software Architectures. WICSA Israr Pasha Shaik, Walid Abdelmoez, Rajesh Gunnalan, Mark Shereshevsky, A. Zeid, Hany H. Ammar, Ali Mili, Christopher P. Fuhrman
2005	—	`conf`	Perspectives on Redundancy: Applications to Software Certification. HICSS Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais
2005	C	`conf`	Quantifying software architectures: an analysis of change propagation probabilities. AICCSA Walid Abdelmoez, Mark Shereshevsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, S. Bogazzi, Mustafa Korkmaz, Ali Mili
2005	J	`jnl`	Recoverability preservation: a measure of last resort. Innov. Syst. Softw. Eng. Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais
2005	J	`jnl`	Relational characterizations of system fault tolerance. Sci. Comput. Program. Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili
2004	—	`conf`	Assessing and Quantifying Attributes of Product Line Architectures. CCCT (2) Bo Yu, Ali Mili, Walid Abdelmoez, Rajesh Gunnalan, Mark Shereshevsky, Hany H. Ammar
2004	—	`conf`	Error Propagation In Software Architectures. IEEE METRICS Walid Abdelmoez, Diaa Eldin M. Nassar, Mark Shereshevsky, Nicholay Gradetsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, Ali Mili
2004	—	`conf`	Software Architectures Change Propagation Tool (SACPT). ICSM Walid Abdelmoez, Mark Shereshevsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, S. Bogazzi, Mustafa Korkmaz, Ali Mili
2004	—	`conf`	Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. HICSS Ali Mili, GuangJie Jiang, Bojan Cukic, Yan Liu, Rahma Ben Ayed
2003	J	`jnl`	Architectural-Level Risk Analysis Using UML. IEEE Trans. Software Eng. Katerina Goseva-Popstojanova, Ahmed E. Hassan, Ajith Guedem, Walid Abdelmoez, Diaa Eldin M. Nassar, Hany H. Ammar, Ali Mili
2002	J	`jnl`	Guest editorial. J. Syst. Softw. Kamel Barkaoui, Mohamed Jmaiel, Ali Mili
2002	J	`jnl`	Software Engineering Technology Watch. IEEE Softw. Robert David Cowan, Ali Mili, Hany H. Ammar, Alan R. McKendall Jr., Lin Yang, Dapeng Chen, Terry Spencer
2002	J	`jnl`	Software engineering technology watch. Inf. Sci. Robert David Cowan, Alan R. McKendall Jr., Ali Mili, Lin Yang, L. Wang, Dapeng Chen, V. Janardhana, Terry Spencer
2001	—	`conf`	An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System. RelMiS Diego Del Gobbo, Ali Mili
2001	J	`jnl`	Defining and Applying Measures of Distance Between Specifications. IEEE Trans. Software Eng. Lamia Labed Jilani, Jules Desharnais, Ali Mili
2001	B	`conf`	Information Theoretic Metrics for Software Architectures. COMPSAC Mark Shereshevsky, Habib Ammari, Nicholay Gradetsky, Ali Mili, Hany H. Ammar
2001	J	`jnl`	Managing Software Reuse Economics: An Integrated ROI-based Model. Ann. Softw. Eng. Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang
2001	A	`conf`	Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems. RE Diego Del Gobbo, Ali Mili
2001	A*	`conf`	Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? ICSE H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas
2000	J	`jnl`	A calculus of program adaptation and its applications. Sci. Comput. Program. Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
2000	J	`jnl`	A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering. Ann. Softw. Eng. Hany H. Ammar, Bojan Cukic, Ali Mili, Christopher P. Fuhrman
2000	B	`conf`	A hierarchy of COTS certification criteria. SPLC Sherif M. Yacoub, Ali Mili, Chakri Kaveri, Mark Dehlin
2000	A*	`conf`	An integrated cost model for software reuse. ICSE Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang
2000	B	`conf`	Constructional Design Patterns as Reusable Components. ICSR Sherif M. Yacoub, Hany H. Ammar, Ali Mili
2000	—	`conf`	Lattice Based Distances. RelMiCS Habib Ammari, Ali Mili
2000	J	`jnl`	Semantic distance between specifications. Theor. Comput. Sci. Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili
2000	A*	`conf`	Tracking, predicting and assessing software reuse costs: an automated tool. ICSE Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang
2000	—	`conf`	Views: A Framework for Feature-based Development and Distribution of OO Applications. HICSS Hafedh Mili, Joumana Dargham, Ali Mili
1999	J	`jnl`	A Case Study in Software Reuse. Softw. Qual. J. Edward A. Addy, Ali Mili, Sherif M. Yacoub
1999	A*	`conf`	Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. ASE Ali Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed
1999	J	`jnl`	Desert Island Column: The Long Story of a Short Theorem. Autom. Softw. Eng. Ali Mili
1999	A*	`conf`	Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy. ICSE Victor R. Basili, Tom DeMarco, Ali Mili
1999	J	`jnl`	Toward an Engineering Discipline of Software Reuse. IEEE Softw. Ali Mili, Sherif M. Yacoub, Edward A. Addy, Hafedh Mili
1999	—	`conf`	View Programming for Decentralized Development of OO Programs. TOOLS (30) Hafedh Mili, Joumana Dargham, Omar Cherkaoui, Robert Godin, Ali Mili
1998	J	`jnl`	A Survey of software Reuse Libraries. Ann. Softw. Eng. Ali Mili, Rym Mili, Roland T. Mittermeir
1998	—	`conf`	Capturing pointer semantics and scoping rules. RelMiCS Rahma Ben Ayed, Hafedh Mili, Ali Mili
1998	J	`jnl`	Integration of Sequential Scenarios. IEEE Trans. Software Eng. Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
1998	C	`conf`	Mathematical Foundations for Program Transformations. LOPSTR Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
1998	—	`conf`	Towards a uniform relational semantics for tabular expressions. RelMiCS Jules Desharnais, Ridha Khédri, Ali Mili
1998	J	`jnl`	Unifying Program Construction and Modification. Log. J. IGPL Marc Frappier, Ali Mili, Jules Desharnais
1997	—	`conf`	A Calculus of Program Modifications. SSR Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili
1997	—	`conf`	Algorithms = RelationaI Algebra + Ordering Relations. RelMiCS Fatma Mili, Ali Mili
1997	—	`conf`	An Undergraduate Option in Software Engineering: Analysis and Rationale. CSEE&T Timothy C. Lethbridge, Dan Ionescu, Ali Mili, David Gibbons
1997	—	`conf`	Defining and detecting feature interactions. Algorithmic Languages and Calculi Marc Frappier, Ali Mili, Jules Desharnais
1997	—	`conf`	Detecting Feature Interactions on Relational Specifications. FIW Marc Frappier, Ali Mili, Jules Desharnais
1997	—	`conf`	Integration of Sequential Scenarios. ESEC / SIGSOFT FSE Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
1997	—	`conf`	Measures of Distances to Perform Approximate Retrieval. RelMiCS Rym Mili, Lamia Labed Jilani, Ali Mili
1997	—	`ch.`	Refinement and Demonic Semantics. Relational Methods in Computer Science Jules Desharnais, Ali Mili, Thanh Tung Nguyen
1997	A*	`conf`	Retrieving Software Components that Minimize Adaptation Effort. ASE Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili
1997	J	`jnl`	Storing and Retrieving Software Conponents: A Refinement Based System. IEEE Trans. Software Eng. Rym Mili, Ali Mili, Roland T. Mittermeir
1996	J	`jnl`	A Relational Calculus for Program Construction by Parts. Sci. Comput. Program. Marc Frappier, Ali Mili, Jules Desharnais
1996	J	`jnl`	Guest editor's corner. J. Syst. Softw. Joze Zupancic, Stanislaw Wrycza, Ali Mili
1995	J	`jnl`	Behavorial Specifications in Object-Oriented Programming. J. Object Oriented Program. Douglas R. Skuce, Ali Mili
1995	J	`jnl`	Embedding a Demonic Semilattice in a Relational Algebra. Theor. Comput. Sci. Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia
1995	B	`conf`	Program Construction by Parts. MPC Marc Frappier, Ali Mili, Jules Desharnais
1995	J	`jnl`	Reusing Software: Issues and Research Directions. IEEE Trans. Software Eng. Hafedh Mili, Fatma Mili, Ali Mili
1994	C	`conf`	A process for verification based inspections. SEKE Latifa Ben Arfa Rabai, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce
1994	A*	`conf`	Storing and Retrieving Software Components: A Refinement Based System. ICSE Ali Mili, Rym Mili, Roland T. Mittermeir
1994	A	`conf`	Teaching a first course on data structures: a software engineering approach. SIGCSE Rym Mili, Ali Mili
1993	J	`jnl`	A Relation Division Operator: The Conjugate Kernel. Theor. Comput. Sci. Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili
1993	J	`jnl`	On the Mathematics of Sequential Decompositions. Sci. Comput. Program. Jules Desharnais, Ali Mili, Fatma Mili
1993	J	`jnl`	Relation-based semantics for concurrency. Inf. Sci. Noureddine Boudriga, Yahya Slimani, Ali Mili
1992	J	`jnl`	A Relational Model for the Specification of Data Types. Comput. Lang. Noureddine Boudriga, Ali Mili, R. Zalila, Fatma Mili
1992	—	`conf`	Computers in the Classroom: A National Proposal. IFIP Congress (2) Ali Mili, Noureddine Boudriga
1992	J	`jnl`	Heuristics for Constructing While Loops. Sci. Comput. Program. Fatma Mili, Ali Mili
1992	J	`jnl`	On the Lattice of Specifications: Applications to a Specification Methodology. Formal Aspects Comput. Noureddine Boudriga, Fathi Elloumi, Ali Mili
1992	J	`jnl`	Semantic-Based Software Retrieval to Support Rapid Prototyping. Struct. Program. Noureddine Boudriga, Ali Mili, Roland T. Mittermeir
1991	—	`conf`	An empirical study of software maintenance. ICSM Latifa Ben Arfa Rabai, Ali Mili, Larbi Sekhri
1991	J	`jnl`	Controllable factors for programmer productivity: A statistical study. J. Syst. Softw. L. Kemayel, Ali Mili, I. Ouederni
1991	J	`jnl`	Regularity of Relations: A Measure of Uniformity. Theor. Comput. Sci. Ali Jaoua, Ali Mili, Noureddine Boudriga, J. L. Durieux
1990	C	`conf`	A Database of Software Components: An Algebraic Structure and Its Implementation. DEXA Noureddine Boudriga, Ali Mili
1990	J	`jnl`	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). J. Syst. Softw. Jean-Pierre Finance, Ali Mili
1990	—	`conf`	Software maintenance management in Tunisia: A statistical study. ICSM Latifa Ben Arfa Rabai, Ali Mili, M. Ben Alaya, H. Ben Amor, Kh. Ketata
1990	J	`jnl`	The use of executable assertions for error detection and damage assessment. J. Syst. Softw. Ali Jaoua, Ali Mili
1988	J	`jnl`	On the Analysis of Iterative and Recursive Programs. Aust. Comput. J. Fatma Mili, Mustapha Beb Alaya, Ali Mili
1987	J	`jnl`	On the use of executable assertions in structured programs. J. Syst. Softw. Ali Mili, Sihem Guemara, Ali Jaoua, Paul Torrés
1987	J	`jnl`	Relational Heuristics for the Design of Deterministic Programs. Acta Informatica Ali Mili, Jules Desharnais, Fatma Mili
1986	J	`jnl`	Formal Models of Stepwise Refinement of Programs. ACM Comput. Surv. Ali Mili, Jules Desharnais, Jean-Raynomd Gagné
1986	J	`jnl`	Specification Methodology: An Integrated Relational Approach. Softw. Pract. Exp. Ali Mili, Xiaoyang Sean Wang, Yu Qing
1985	J	`jnl`	Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. Acta Informatica Ali Mili, Jules Desharnais, Jean-Raymond Gagné
1985	J	`jnl`	Towards a Theory of Forward Error Recovery. IEEE Trans. Software Eng. Ali Mili
1985	—	`book`	Une perspective relationnelle de la programmation. (Relational perspective of programming science). Ali Mili
1985	J	`jnl`	Workshop on Models and Languages for Software Specification and Design. Computer Robert G. Babb II, Richard B. Kieburtz, Ken Orr, Ali Mili, Susan Gearhart, Nancy N. Martin
1984	A*	`conf`	A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. ICSE Ali Mili, Jules Desharnais
1984	A	`conf`	Some thoughts on teaching first year programming. SIGCSE Marcel Dupras, Fernand LeMay, Ali Mili
1983	J	`jnl`	A Relational Approach to the Design of Deterministic Programs. Acta Informatica Ali Mili
1983	A	`conf`	A case for teaching program verification: Its importance in the CS curriculum. SIGCSE Ali Mili
1983	J	`jnl`	Representation and manipulation of information systems: A simplified approach. J. Syst. Softw. Ali Mili, Donna S. Reese
1983	—	`conf`	The Bottom up Analysis of While Statements: Strongest Invariant Functions. IFIP Congress Ali Mili
1983	J	`jnl`	Verifying Programs by Induction on Their Data Structure: General Format and Applications. Inf. Process. Lett. Ali Mili
1982	A*	`conf`	A Closer Look at Iteration: The Self Stabilizing Capability of Loops. ICSE Ali Mili
1982	J	`jnl`	Designing software without backtracking: the part of dream and the part of reality. ACM SIGSOFT Softw. Eng. Notes Ali Mili
1982	J	`jnl`	Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs. IEEE Trans. Computers Ali Mili
1981	—	`—`	Self-Checking Programs: An Axiomatic Approach to the Validation of Programs by the Use of Assertions Ali Mili