default search action

combined dblp search
author search
venue search
publication search

ask others

Ali Mili 0001

> Home > Persons

Person information

affiliation: New Jersey Institute of Technology, Newark, USA

[+]

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AlblwiMKALM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlblwiMKALM25
Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili:
Subsumption, correctness and relative correctness: Implications for software testing. Sci. Comput. Program. 239: 103177 (2025)
2024
[j75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/acta/GhardallouMLPLM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/GhardallouMLPLM24
Wided Ghardallou, Hessamaldin Mohammadi, Richard C. Linger, Mark G. Pleszkoch, Ji Meng Loh, Ali Mili:
Invariant relations for affine loops. Acta Informatica 61(3): 261-314 (2024)
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/ast/AlBlwiA024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ast/AlBlwiA024
Samia Al Blwi, Amani Ayad, Ali Mili:
Mutation Coverage is not Strongly Correlated with Mutation Coverage. AST@ICSE 2024: 1-11
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/LingerPMMG024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/LingerPMMG024
Richard C. Linger, Mark G. Pleszkoch, Jack McGaughey, John McHugh, Wided Ghardallou, Ali Mili:
"Function Extraction: A New Paradigm for Producing Secure Code". NSPW 2024: 96-105
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/AyadB024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/AyadB024
Amani Ayad, Samia Al Blwi, Ali Mili:
Detecting Faults vs. Revealing Failures: Exploring the Missing Link. QRS 2024: 115-126
2023
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/KhaireddineZMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/KhaireddineZMM23
Besma Khaireddine, Aleksandr Zakharchenko, Matias Martinez, Ali Mili:
Toward a theory of program repair. Acta Informatica 60(3): 209-255 (2023)
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MohammadiGBM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MohammadiGBM23
Hessam Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili:
On the persistent rumors of the programmer's imminent demise. Softw. Syst. Model. 22(6): 1969-1976 (2023)
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/BlwiAKMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/BlwiAKMM23
Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili:
Semantic Coverage: Measuring Test Suite Effectiveness. ICSOFT 2023: 287-294
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/MohammadiGB023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/MohammadiGB023
Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili:
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis. QRS Companion 2023: 845-846
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-04684
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-04684
Wided Ghardallou, Hessamaldin Mohammadi, Elijah Brick, Ali Mili:
Invariant Relations: A Bridge from Programs to Equations. CoRR abs/2310.04684 (2023)
2022
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/MohammadiGLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/MohammadiGLM22
Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili:
Computing Program Functions. FormaliSE@ICSE 2022: 102-112
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/BlwiMKALM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/BlwiMKALM22
Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili:
Generalized Mutant Subsumption. ICSOFT 2022: 46-56
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/BlwiMKALM22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/BlwiMKALM22a
Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili:
Three Forms of Mutant Subsumption: Basic, Strict and Broad. ICSOFT (Selected Papers) 2022: 122-144
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/AlBlwiAKMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/AlBlwiAKMM22
Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili:
Quantifying the Effectiveness of Mutant Sets. QRS Companion 2022: 288-297
2021
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Mili21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Mili21
Ali Mili:
Differentiators and detectors. Inf. Process. Lett. 169: 106111 (2021)
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/MarsitAKLLOM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/MarsitAKLLOM21
Imen Marsit, Amani Ayad, David Kim, Monsour Latif, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili:
The ratio of equivalent mutants: A key to analyzing mutation equivalence. J. Syst. Softw. 181: 111039 (2021)
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KhaireddineM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KhaireddineM21
Besma Khaireddine, Ali Mili:
Quantifying Faultiness: What Does It Mean to Have N Faults? FormaliSE@ICSE 2021: 68-74
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/MohammadiGM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/MohammadiGM21
Hessamaldin Mohammadi, Wided Ghardallou, Ali Mili:
Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis. QRS Companion 2021: 415-424
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/KhaireddineAMM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/KhaireddineAMM21
Besma Khaireddine, Amani Ayad, Imen Marsit, Ali Mili:
Mutation Subsumption as Relative Incorrectness. QUATIC 2021: 18-28
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/somet/KhaireddineZM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/somet/KhaireddineZM21
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili:
The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation. SoMeT 2021: 113-126
2020
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/KhaireddineAJZM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/KhaireddineAJZM20
Besma Khaireddine, Marwa Ben AbdelAli, Lamia Labed Jilani, Aleksandr Zakharchenko, Ali Mili:
Correctness enhancement: a pervasive software engineering paradigm. Int. J. Crit. Comput. Based Syst. 10(1): 37-73 (2020)
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/KhaireddineZM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/KhaireddineZM20
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili:
A Semantic Definition of Faults and Its Implications. QRS 2020: 14-21

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/AyadMLOM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/AyadMLOM19
Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili:
Quantitative Metrics for Mutation Testing. ICSOFT 2019: 49-59
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/AyadMTLOM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/AyadMTLOM19
Amani Ayad, Imen Marsit, Sara Tawfig, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili:
Quantitative Analysis of Mutant Equivalence. ICSOFT (Selected Papers) 2019: 58-80
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AyadMLOM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AyadMLOM19
Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili:
Estimating the Number of Equivalent Mutants. ICST Workshops 2019: 112-121
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/KhaireddineMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/KhaireddineMM19
Besma Khaireddine, Matias Martinez, Ali Mili:
Program Repair at Arbitrary Fault Depth. ICST 2019: 465-472
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/KhaireddineZM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/KhaireddineZM19
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili:
Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment. QRS Companion 2019: 532-533
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-14011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-14011
Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, Marcelo F. Frias:
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT. CoRR abs/1910.14011 (2019)
2018
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/DialloGDM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DialloGDM18
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili:
Convergence: Integrating termination and abort-freedom. J. Log. Algebraic Methods Program. 97: 1-29 (2018)
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/AyadMOLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/AyadMOLM18
Amani Ayad, Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili:
Using Semantic Metrics to Predict Mutation Equivalence. ICSOFT (Selected Papers) 2018: 3-27
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/MarsitOLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/MarsitOLM18
Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili:
Impact of Mutation Operators on Mutant Equivalence. ICSOFT 2018: 55-66
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/somet/MarsitOLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/somet/MarsitOLM18
Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili:
Impact of Mutation Operators on the Ratio of Equivalent Mutants. SoMeT 2018: 664-677
[c92]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-09616
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-09616
Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili:
Programming Without Refining. Refine@FM 2018: 39-52
2017
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/DialloGDFJM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/DialloGDFJM17
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili:
What is a fault? and why does it matter? Innov. Syst. Softw. Eng. 13(2-3): 219-239 (2017)
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DesharnaisDGM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DesharnaisDGM17
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili:
Projecting programs on specifications: Definition and implications. Sci. Comput. Program. 138: 26-48 (2017)
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KhaireddineZM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KhaireddineZM17
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili:
A Generic Algorithm for Program Repair. FormaliSE@ICSE 2017: 65-71
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/MarsitOM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/MarsitOM17
Imen Marsit, Mohamed Nazih Omri, Ali Mili:
Estimating the Survival Rate of Mutants. ICSOFT 2017: 208-213
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/2017
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar:
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. Lecture Notes in Computer Science 10466, Springer 2017, ISBN 978-3-319-66175-9 [contents]
2016
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/GhardallouDMF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/GhardallouDMF16
Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias:
Debugging without Testing. ICST 2016: 113-123
[c88]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/seke/GhardallouDM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/GhardallouDM16
Wided Ghardallou, Nafi Diallo, Ali Mili:
Software Evolution by Correctness Enhancement. SEKE 2016: 605-610
[c87]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/vecos/GhardallouMD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/GhardallouMD16
Wided Ghardallou, Ali Mili, Nafi Diallo:
Relative Correctness: A Bridge Between Proving and Testing. VECoS 2016: 141-156
[c86]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DialloGM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DialloGM16
Nafi Diallo, Wided Ghardallou, Ali Mili:
Program Repair by Stepwise Correctness Enhancement. PrePost@IFM 2016: 1-15
2015
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/chb/TchierRM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chb/TchierRM15
Fairouz Tchier, Latifa Ben Arfa Rabai, Ali Mili:
Putting engineering into software engineering: Upholding software engineering principles in the classroom. Comput. Hum. Behav. 48: 245-254 (2015)
[j65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iie/RabaiCM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iie/RabaiCM15
Latifa Ben Arfa Rabai, Barry Cohen, Ali Mili:
Programming Language Use in US Academia and Industry. Informatics Educ. 14(2): 143-160 (2015)
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/DesharnaisDGFJM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/DesharnaisDGFJM15
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili:
Relational Mathematics for Relative Correctness. RAMiCS 2015: 191-208
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/DerbelJM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/DerbelJM15
Imen Derbel, Lamia Labed Jilani, Ali Mili:
Computing Attributes of Software Architectures - A Static Method and Its Validation. ENASE 2015: 55-66
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DialloGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DialloGM15
Nafi Diallo, Wided Ghardallou, Ali Mili:
Correctness and Relative Correctness. ICSE (2) 2015: 591-594
[c82]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DialloGDM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DialloGDM16
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili:
Program Derivation by Correctness Enhacements. Refine@FM 2015: 57-70
2014
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/LouhichiGBJMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/LouhichiGBJMM14
Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili:
Verifying while loops with invariant relations. Int. J. Crit. Comput. Based Syst. 5(1/2): 78-102 (2014)
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/MiliJFH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/MiliJFH14
Ali Mili, Ali Jaoua, Marcelo F. Frias, Rasha Gaffer Mohamed Helali:
Semantic metrics for software products. Innov. Syst. Softw. Eng. 10(3): 203-217 (2014)
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/MiliFJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/MiliFJ14
Ali Mili, Marcelo F. Frias, Ali Jaoua:
On Faults and Faulty Programs. RAMiCS 2014: 191-207
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/cics/AissaASM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cics/AissaASM14
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili:
Quantifying the impact of unavailability in cyber-physical environments. CICS 2014: 26-33
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/csiirw/AissaRAMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csiirw/AissaRAMS14
Anis Ben Aissa, Latifa Ben Arfa Rabai, Robert K. Abercrombie, Ali Mili, Frederick T. Sheldon:
Quantifying availability in SCADA environments using the cyber security metric MFC. CISR 2014: 81-84
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/DerbelJM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/DerbelJM14
Imen Derbel, Lamia Labed Jilani, Ali Mili:
Automated Quantitative Attributes Prediction from Architectural Description Language. ICSOFT PT 2014: 87-94
2013
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsse/RjaibiRAM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsse/RjaibiRAM13
Neila Rjaibi, Latifa Ben Arfa Rabai, Anis Ben Aissa, Ali Mili:
Mean Failure Cost as a Measurable Value and Evidence of Cybersecurity: E-Learning Case Study. Int. J. Secur. Softw. Eng. 4(3): 64-81 (2013)
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/jksucis/RabaiJAM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jksucis/RabaiJAM13
Latifa Ben Arfa Rabai, Mouna Jouini, Anis Ben Aissa, Ali Mili:
A cybersecurity model in cloud computing environments. J. King Saud Univ. Comput. Inf. Sci. 25(1): 63-75 (2013)
[j60]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/JilaniMLGBM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/JilaniMLGBM13
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili:
Invariant functions and invariant relations: An alternative to invariant assertions. J. Symb. Comput. 48: 1-36 (2013)
[j59]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MraihiLJDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MraihiLJDM13
Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili:
Invariant assertions, invariant relations, and invariant functions. Sci. Comput. Program. 78(9): 1212-1239 (2013)
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/csiirw/AbercrombieSHLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csiirw/AbercrombieSHLM13
Robert K. Abercrombie, Frederick T. Sheldon, Katie R. Hauser, Margaret W. Lantz, Ali Mili:
Failure impact analysis of key management in AMI using cybernomic situational assessment (CSA). CSIIRW 2013: 19
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/DerbelJM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/DerbelJM13
Imen Derbel, Lamia Labed Jilani, Ali Mili:
Architecture Level Prediction of Software Quality Attributes. ENASE 2013: 15-24
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/DerbelJM13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/DerbelJM13a
Imen Derbel, Lamia Labed Jilani, Ali Mili:
ACME+: An ADL for Quantitative Analysis of Quality Attributes. ENASE (Selected Papers) 2013: 16-32
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/AbercrombieSHLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/AbercrombieSHLM13
Robert K. Abercrombie, Frederick T. Sheldon, Katie R. Hauser, Margaret W. Lantz, Ali Mili:
Risk Assessment Methodology Based on the NISTIR 7628 Guidelines. HICSS 2013: 1802-1811
[c73]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icsoft/DerbelJM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/DerbelJM13
Imen Derbel, Lamia Labed Jilani, Ali Mili:
ACME+ for Software Architecture Analysis. ICSOFT 2013: 429-437
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/RosnerPAJMF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/RosnerPAJMF13
Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias:
Parallel Bounded Verification of Alloy Models by TranScoping. VSTTE 2013: 88-107
2012
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/isem/AissaASM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isem/AissaASM12
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili:
Defining and computing a value based cyber-security measure. Inf. Syst. E Bus. Manag. 10(4): 433-453 (2012)
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/JilaniLMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/JilaniLMM12
Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili:
Invariant relations, invariant functions, and loop functions. Innov. Syst. Softw. Eng. 8(3): 195-212 (2012)
[j56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/GhardallouMLJBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GhardallouMLJBM12
Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili:
A versatile concept for the analysis of loops. J. Log. Algebraic Methods Program. 81(5): 606-622 (2012)
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/cybersec/RabaiJNAM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cybersec/RabaiJNAM12
Latifa Ben Arfa Rabai, Mouna Jouini, Marwa Nafati, Anis Ben Aissa, Ali Mili:
An economic model of security threats for cloud computing systems. CyberSec 2012: 100-105
2011
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/RabaiBM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/RabaiBM11
Latifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili:
A quantitative model for software engineering trends. Inf. Sci. 181(22): 4993-5009 (2011)
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/jsw/JilaniDBNM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsw/JilaniDBNM11
Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili:
Reasoning About Quantitative Architectural Attributes (Invited Paper). J. Softw. 6(4): 574-583 (2011)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/AbercrombieSM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/AbercrombieSM11
Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili:
Validating Cyber Security Requirements: A Case Study. HICSS 2011: 1-10
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/MraihiGLJBM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/MraihiGLJBM11
Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili:
Computing Preconditions and Postconditions of While Loops. ICTAC 2011: 173-193
2010
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/AissaASM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/AissaASM10
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili:
Quantifying security threats and their potential impacts: a case study. Innov. Syst. Softw. Eng. 6(4): 269-281 (2010)
[j52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/MiliANJLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/MiliANJLM10
Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi:
Reflexive transitive invariant relations: A basis for computing loop functions. J. Symb. Comput. 45(11): 1114-1143 (2010)
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/DerbelJM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/DerbelJM10
Imen Derbel, Lamia Labed Jilani, Ali Mili:
A model for analyzing architectural attributes. AICCSA 2010: 1-7
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/JilaniMLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/JilaniMLM10
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili:
Towards an automated tool for computing loop functions. AICCSA 2010: 1-8
[c66]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/LouhichiMJM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LouhichiMJM10
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili:
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. WING@ETAPS/IJCAR 2010: 152-166
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/csiirw/AissaASM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csiirw/AissaASM10
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili:
Modeling stakeholder/value dependency through mean failure cost. CSIIRW 2010: 55
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/csiirw/AissaASM10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csiirw/AissaASM10a
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili:
Software requirements for a system to compute mean failure cost. CSIIRW 2010: 73
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JilaniMLGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JilaniMLGM10
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili:
Using invariant functions and invariant relations to compute loop functions. ICSE (2) 2010: 317-318

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MiliAN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MiliAN09
Ali Mili, Shir Aharon, Chaitanya Nadkarni:
Mathematics for reasoning about loop functions. Sci. Comput. Program. 74(11-12): 989-1020 (2009)
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/LouhichiMJBM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/LouhichiMJBM09
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili:
Relational Methods in the Analysis of While Loops: Observations of Versatility. RelMiCS 2009: 242-259
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/cics/AbercrombieSM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cics/AbercrombieSM09
Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili:
Managing complex IT security processes with value based measures. CICS 2009: 69-75
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/csiirw/AissaASM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csiirw/AissaASM09
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili:
Quantifying security threats and their impact. CSIIRW 2009: 26
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/MiliS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/MiliS09
Ali Mili, Frederick T. Sheldon:
Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost. HICSS 2009: 1-10
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/SheldonAM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/SheldonAM09
Frederick T. Sheldon, Robert K. Abercrombie, Ali Mili:
Methodology for Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission. HICSS 2009: 1-10
[c57]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icsoft/RabaiBM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/RabaiBM09
Latifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili:
Modeling the Evolution of Software Engineering Trends - A Bottom Up Approach. ICSOFT (1) 2009: 47-54
[e2]
- view
- export record
  dblp key:
  - conf/csiirw/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csiirw/2009
Frederick T. Sheldon, Greg Peterson, Axel W. Krings, Robert K. Abercrombie, Ali Mili:
Fifth Cyber Security and Information Intelligence Research Workshop, CSIIRW '09, Knoxville, TN, USA, April 13-15, 2009. ACM 2009, ISBN 978-1-60558-518-5 [contents]
2008
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/csiirw/SheldonAM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csiirw/SheldonAM08
Frederick T. Sheldon, Robert K. Abercrombie, Ali Mili:
Evaluating security controls based on key performance indicators and stakeholder mission. CSIIRW 2008: 41:1-41:11
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/AbercrombieSM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/AbercrombieSM08
Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili:
Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value. HASE 2008: 479-482
[c54]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/seke/MiliAN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/MiliAN08
Ali Mili, Shir Aharon, Chaitanya Nadkarni:
An Algorithm for Computing Loop Functions. SEKE 2008: 448-453
[c53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MiliAAN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MiliAAN09
Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni:
Harnessing a Refinement Theory to Compute Loop Functions. TTSS 2008: 139-155
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/csiirw/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csiirw/2008
Frederick T. Sheldon, Axel W. Krings, Robert K. Abercrombie, Ali Mili:
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. ACM 2008, ISBN 978-1-60558-098-2 [contents]
2007
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/PengLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/PengLM07
Yi Peng, Fu Li, Ali Mili:
Modeling the evolution of operating systems: An empirical study. J. Syst. Softw. 80(1): 1-15 (2007)
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/MiliS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/MiliS07
Ali Mili, Frederick T. Sheldon:
Measuring Reliability as a Mean Failure Cost. HASE 2007: 403-404
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/MiliDPP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/MiliDPP07
Ali Mili, Tim Daly, Mark G. Pleszkoch, Stacy J. Prowell:
A Semantic Recognizer Infrastructure for Computing Loop Behavior. HICSS 2007: 277
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/MiliVJSA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/MiliVJSA07
Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed:
Towards an Engineering Discipline of Computational Society. HICSS 2007: 281
[c49]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icsoft/KorkmazM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/KorkmazM07
Mustafa Korkmaz, Ali Mili:
A Product Line of Software Reuse Cost Models. ICSOFT (SE) 2007: 264-269
[c48]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sede/BaiM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sede/BaiM07
Yanzhi Bai, Ali Mili:
Monitoring software technology evolution, one trend at a time. SEDE 2007: 349-355
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/Mili07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/Mili07
Ali Mili:
A Refinement Based Framework for Computing Loop Behavior. SEW 2007: 144-153
2006
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/MiliSJVTA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/MiliSJVTA06
Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed:
Modeling security as a dependability attribute: a refinement-based approach. Innov. Syst. Softw. Eng. 2(1): 39-48 (2006)
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/MiliWSSD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/MiliWSSD06
Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais:
Modeling Redundancy: Quantitative and Qualitative Models. AICCSA 2006: 1-8
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/ShaikAGMFSZA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/ShaikAGMFSZA06
Israr Pasha Shaik, Walid Abdelmoez, Rajesh Gunnalan, Ali Mili, Christopher P. Fuhrman, Mark Shereshevsky, A. Zeid, Hany H. Ammar:
Using Change Propagation Probabilities to Assess Quality Attributes of Software Architectures 1. AICCSA 2006: 704-711
2005
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/MiliSMD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/MiliSMD05
Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais:
Recoverability preservation: a measure of last resort. Innov. Syst. Softw. Eng. 1(1): 54-62 (2005)
[j47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CortellessaGSDM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CortellessaGSDM05
Vittorio Cortellessa, Diego Del Gobbo, Mark Shereshevsky, Jules Desharnais, Ali Mili:
Relational characterizations of system fault tolerance. Sci. Comput. Program. 56(3): 343-361 (2005)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/software/ChenDMWW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/ChenDMWW05
Yaofei Chen, Rose Dios, Ali Mili, Lan Wu, Kefei Wang:
An Empirical Study of Programming Language Trends. IEEE Softw. 22(3): 72-78 (2005)
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/AbdelmoezSGAYBKM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/AbdelmoezSGAYBKM05
Walid Abdelmoez, Mark Shereshevsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, S. Bogazzi, Mustafa Korkmaz, Ali Mili:
Quantifying software architectures: an analysis of change propagation probabilities. AICCSA 2005: 124
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/MiliSMSD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/MiliSMSD05
Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais:
Perspectives on Redundancy: Applications to Software Certification. HICSS 2005
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/ShaikAGSZAMF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/ShaikAGSZAMF05
Israr Pasha Shaik, Walid Abdelmoez, Rajesh Gunnalan, Mark Shereshevsky, A. Zeid, Hany H. Ammar, Ali Mili, Christopher P. Fuhrman:
Change Propagation for Assessing Design Quality of Software Architectures. WICSA 2005: 205-208
2004
[c41]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ccct/YuMAGSA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccct/YuMAGSA04
Bo Yu, Ali Mili, Walid Abdelmoez, Rajesh Gunnalan, Mark Shereshevsky, Hany H. Ammar:
Assessing and Quantifying Attributes of Product Line Architectures. CCCT (2) 2004: 175-181
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/MiliJCLA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/MiliJCLA04
Ali Mili, GuangJie Jiang, Bojan Cukic, Yan Liu, Rahma Ben Ayed:
Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. HICSS 2004
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/AbdelmoezSGAYBKM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/AbdelmoezSGAYBKM04
Walid Abdelmoez, Mark Shereshevsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, S. Bogazzi, Mustafa Korkmaz, Ali Mili:
Software Architectures Change Propagation Tool (SACPT). ICSM 2004: 517
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/metrics/AbdelmoezNSGGAYM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/metrics/AbdelmoezNSGGAYM04
Walid Abdelmoez, Diaa Eldin M. Nassar, Mark Shereshevsky, Nicholay Gradetsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, Ali Mili:
Error Propagation In Software Architectures. IEEE METRICS 2004: 384-393
2003
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Goseva-PopstojanovaHGANAM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Goseva-PopstojanovaHGANAM03
Katerina Goseva-Popstojanova, Ahmed E. Hassan, Ajith Guedem, Walid Abdelmoez, Diaa Eldin M. Nassar, Hany H. Ammar, Ali Mili:
Architectural-Level Risk Analysis Using UML. IEEE Trans. Software Eng. 29(10): 946-960 (2003)
2002
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/CowanMMYWCJS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/CowanMMYWCJS02
Robert David Cowan, Alan R. McKendall Jr., Ali Mili, Lin Yang, L. Wang, Dapeng Chen, V. Janardhana, Terry Spencer:
Software engineering technology watch. Inf. Sci. 140(3-4): 195-215 (2002)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/BarkaouiJM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/BarkaouiJM02
Kamel Barkaoui, Mohamed Jmaiel, Ali Mili:
Guest editorial. J. Syst. Softw. 60(2): 87-89 (2002)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/software/CowanMAMYCS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/CowanMAMYCS02
Robert David Cowan, Ali Mili, Hany H. Ammar, Alan R. McKendall Jr., Lin Yang, Dapeng Chen, Terry Spencer:
Software Engineering Technology Watch. IEEE Softw. 19(4): 123-129 (2002)
2001
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/ansoft/MiliCGZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ansoft/MiliCGZ01
Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang:
Managing Software Reuse Economics: An Integrated ROI-based Model. Ann. Softw. Eng. 11(1): 175-218 (2001)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/JilaniDM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/JilaniDM01
Lamia Labed Jilani, Jules Desharnais, Ali Mili:
Defining and Applying Measures of Distance Between Specifications. IEEE Trans. Software Eng. 27(8): 673-703 (2001)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ShereshevskyAGMA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ShereshevskyAGMA01
Mark Shereshevsky, Habib Ammari, Nicholay Gradetsky, Ali Mili, Hany H. Ammar:
Information Theoretic Metrics for Software Architectures. COMPSAC 2001: 151-
[c36]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icse/RombachBEMOP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RombachBEMOP01
H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas:
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? ICSE 2001: 698
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/re/GobboM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/GobboM01
Diego Del Gobbo, Ali Mili:
Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems. RE 2001: 236-247
[c34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GobboM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GobboM01
Diego Del Gobbo, Ali Mili:
An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System. RelMiS 2001: 94-111
2000
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/ansoft/AmmarCMF00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ansoft/AmmarCMF00
Hany H. Ammar, Bojan Cukic, Ali Mili, Christopher P. Fuhrman:
A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering. Ann. Softw. Eng. 10: 103-150 (2000)
[j38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AyedDFM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AyedDFM00
Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili:
A calculus of program adaptation and its applications. Sci. Comput. Program. 38(1-3): 73-124 (2000)
[j37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MiliDFM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MiliDFM00
Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili:
Semantic distance between specifications. Theor. Comput. Sci. 247(1-2): 257-276 (2000)
[c33]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/RelMiCS/AmmariM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/AmmariM00
Habib Ammari, Ali Mili:
Lattice Based Distances. RelMiCS 2000: 1-10
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/MiliDM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/MiliDM00
Hafedh Mili, Joumana Dargham, Ali Mili:
Views: A Framework for Feature-based Development and Distribution of OO Applications. HICSS 2000
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MiliCGZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MiliCGZ00
Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang:
An integrated cost model for software reuse. ICSE 2000: 157-166
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MiliCGZ00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MiliCGZ00a
Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang:
Tracking, predicting and assessing software reuse costs: an automated tool. ICSE 2000: 785
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/YacoubAM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/YacoubAM00
Sherif M. Yacoub, Hany H. Ammar, Ali Mili:
Constructional Design Patterns as Reusable Components. ICSR 2000: 369-387
[c28]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/splc/YacoubMKD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/YacoubMKD00
Sherif M. Yacoub, Ali Mili, Chakri Kaveri, Mark Dehlin:
A hierarchy of COTS certification criteria. SPLC 2000: 397-412

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/Mili99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Mili99
Ali Mili:
Desert Island Column: The Long Story of a Short Theorem. Autom. Softw. Eng. 6(2): 199-204 (1999)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/software/MiliYAM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/MiliYAM99
Ali Mili, Sherif M. Yacoub, Edward A. Addy, Hafedh Mili:
Toward an Engineering Discipline of Software Reuse. IEEE Softw. 16(5): 22-31 (1999)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/AddyMY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/AddyMY99
Edward A. Addy, Ali Mili, Sherif M. Yacoub:
A Case Study in Software Reuse. Softw. Qual. J. 8(3): 169-195 (1999)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BasiliDM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BasiliDM99
Victor R. Basili, Tom DeMarco, Ali Mili:
Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy. ICSE 1999: 710-711
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MiliCXA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MiliCXA99
Ali Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed:
Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. ASE 1999: 137-
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/MiliDCGM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/MiliDCGM99
Hafedh Mili, Joumana Dargham, Omar Cherkaoui, Robert Godin, Ali Mili:
View Programming for Decentralized Development of OO Programs. TOOLS (30) 1999: 210-221
1998
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/ansoft/MiliMM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ansoft/MiliMM98
Ali Mili, Rym Mili, Roland T. Mittermeir:
A Survey of software Reuse Libraries. Ann. Softw. Eng. 5: 349-414 (1998)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/FrappierMD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/FrappierMD98
Marc Frappier, Ali Mili, Jules Desharnais:
Unifying Program Construction and Modification. Log. J. IGPL 6(2): 317-340 (1998)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DesharnaisFKM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DesharnaisFKM98
Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili:
Integration of Sequential Scenarios. IEEE Trans. Software Eng. 24(9): 695-708 (1998)
[c24]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/RelMiCS/AyedMM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/AyedMM98
Rahma Ben Ayed, Hafedh Mili, Ali Mili:
Capturing pointer semantics and scoping rules. RelMiCS 1998: 3-7
[c23]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/RelMiCS/DesharnaisKM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/DesharnaisKM98
Jules Desharnais, Ridha Khédri, Ali Mili:
Towards a uniform relational semantics for tabular expressions. RelMiCS 1998: 53-57
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AyedDFM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AyedDFM98
Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili:
Mathematical Foundations for Program Transformations. LOPSTR 1998: 319-321
1997
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MiliMM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MiliMM97
Rym Mili, Ali Mili, Roland T. Mittermeir:
Storing and Retrieving Software Conponents: A Refinement Based System. IEEE Trans. Software Eng. 23(7): 445-460 (1997)
[c21]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/RelMiCS/MiliM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/MiliM97
Fatma Mili, Ali Mili:
Algorithms = RelationaI Algebra + Ordering Relations. RelMiCS 1997: 273-289
[c20]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/RelMiCS/MiliJM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/MiliJM97
Rym Mili, Lamia Labed Jilani, Ali Mili:
Measures of Distances to Perform Approximate Retrieval. RelMiCS 1997: 301-307
[c19]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/alc/FrappierMD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alc/FrappierMD97
Marc Frappier, Ali Mili, Jules Desharnais:
Defining and detecting feature interactions. Algorithmic Languages and Calculi 1997: 212-239
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/LethbridgeIMG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/LethbridgeIMG97
Timothy C. Lethbridge, Dan Ionescu, Ali Mili, David Gibbons:
An Undergraduate Option in Software Engineering: Analysis and Rationale. CSEE&T 1997: 120-131
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/DesharnaisFKM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/DesharnaisFKM98
Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili:
Integration of Sequential Scenarios. ESEC / SIGSOFT FSE 1997: 310-326
[c16]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fiw/FrappierMD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fiw/FrappierMD97
Marc Frappier, Ali Mili, Jules Desharnais:
Detecting Feature Interactions on Relational Specifications. FIW 1997: 123-137
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/JilaniDFMM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/JilaniDFMM97
Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili:
Retrieving Software Components that Minimize Adaptation Effort. ASE 1997: 255-
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ssr/MiliFDM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssr/MiliFDM97
Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili:
A Calculus of Program Modifications. SSR 1997: 157-168
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/97/DesharnaisMN97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/97/DesharnaisMN97
Jules Desharnais, Ali Mili, Thanh Tung Nguyen:
Refinement and Demonic Semantics. Relational Methods in Computer Science 1997: 166-183
1996
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ZupancicWM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ZupancicWM96
Joze Zupancic, Stanislaw Wrycza, Ali Mili:
Guest editor's corner. J. Syst. Softw. 33(2): 111-112 (1996)
[j28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FrappierMD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FrappierMD96
Marc Frappier, Ali Mili, Jules Desharnais:
A Relational Calculus for Program Construction by Parts. Sci. Comput. Program. 26(1-3): 237-254 (1996)
1995
[j27]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/joop/SkuceM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joop/SkuceM95
Douglas R. Skuce, Ali Mili:
Behavorial Specifications in Object-Oriented Programming. J. Object Oriented Program. 7(8): 41-49 (1995)
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DesharnaisBSTJMZ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DesharnaisBSTJMZ95
Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia:
Embedding a Demonic Semilattice in a Relational Algebra. Theor. Comput. Sci. 149(2): 333-360 (1995)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MiliMM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MiliMM95
Hafedh Mili, Fatma Mili, Ali Mili:
Reusing Software: Issues and Research Directions. IEEE Trans. Software Eng. 21(6): 528-562 (1995)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/FrappierMD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/FrappierMD95
Marc Frappier, Ali Mili, Jules Desharnais:
Program Construction by Parts. MPC 1995: 257-281
1994
[c12]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/icse/MiliMM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MiliMM94
Ali Mili, Rym Mili, Roland T. Mittermeir:
Storing and Retrieving Software Components: A Refinement Based System. ICSE 1994: 91-100
[c11]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/seke/ArfaFMMS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/ArfaFMMS94
Latifa Ben Arfa Rabai, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce:
A process for verification based inspections. SEKE 1994: 100-107
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/MiliM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/MiliM94
Rym Mili, Ali Mili:
Teaching a first course on data structures: a software engineering approach. SIGCSE 1994: 21-25
1993
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/BoudrigaSM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/BoudrigaSM93
Noureddine Boudriga, Yahya Slimani, Ali Mili:
Relation-based semantics for concurrency. Inf. Sci. 75(3): 223-252 (1993)
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/DesharnaisMM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DesharnaisMM93
Jules Desharnais, Ali Mili, Fatma Mili:
On the Mathematics of Sequential Decompositions. Sci. Comput. Program. 20(3): 253-289 (1993)
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DesharnaisJMBM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DesharnaisJMBM93
Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili:
A Relation Division Operator: The Conjugate Kernel. Theor. Comput. Sci. 114(2): 247-272 (1993)
1992
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/BoudrigaMZM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/BoudrigaMZM92
Noureddine Boudriga, Ali Mili, R. Zalila, Fatma Mili:
A Relational Model for the Specification of Data Types. Comput. Lang. 17(2): 101-131 (1992)
[j20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BoudrigaEM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BoudrigaEM92
Noureddine Boudriga, Fathi Elloumi, Ali Mili:
On the Lattice of Specifications: Applications to a Specification Methodology. Formal Aspects Comput. 4(6): 544-571 (1992)
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MiliM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MiliM92
Fatma Mili, Ali Mili:
Heuristics for Constructing While Loops. Sci. Comput. Program. 18(1): 67-106 (1992)
[j18]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/stp/BoudrigaMM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stp/BoudrigaMM92
Noureddine Boudriga, Ali Mili, Roland T. Mittermeir:
Semantic-Based Software Retrieval to Support Rapid Prototyping. Struct. Program. 13(3): 109-127 (1992)
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/MiliB92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/MiliB92
Ali Mili, Noureddine Boudriga:
Computers in the Classroom: A National Proposal. IFIP Congress (2) 1992: 116-122
1991
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/KemayelMO91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/KemayelMO91
L. Kemayel, Ali Mili, I. Ouederni:
Controllable factors for programmer productivity: A statistical study. J. Syst. Softw. 16(2): 151-163 (1991)
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JaouaMBD91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JaouaMBD91
Ali Jaoua, Ali Mili, Noureddine Boudriga, J. L. Durieux:
Regularity of Relations: A Measure of Uniformity. Theor. Comput. Sci. 79(2): 323-339 (1991)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/RabaiMS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/RabaiMS91
Latifa Ben Arfa Rabai, Ali Mili, Larbi Sekhri:
An empirical study of software maintenance. ICSM 1991: 52-58
1990
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/JaouaM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/JaouaM90
Ali Jaoua, Ali Mili:
The use of executable assertions for error detection and damage assessment. J. Syst. Softw. 12(1): 15-37 (1990)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/FinanceM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/FinanceM90
Jean-Pierre Finance, Ali Mili:
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. 12(2): 83-85 (1990)
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dexa/BoudrigaM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexa/BoudrigaM90
Noureddine Boudriga, Ali Mili:
A Database of Software Components: An Algebraic Structure and Its Implementation. DEXA 1990: 162-166
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/RabaiMAAK90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/RabaiMAAK90
Latifa Ben Arfa Rabai, Ali Mili, M. Ben Alaya, H. Ben Amor, Kh. Ketata:
Software maintenance management in Tunisia: A statistical study. ICSM 1990: 124-129

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1988
[j13]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/acj/MiliAM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acj/MiliAM88
Fatma Mili, Mustapha Beb Alaya, Ali Mili:
On the Analysis of Iterative and Recursive Programs. Aust. Comput. J. 20(1): 27-32 (1988)
1987
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/MiliDM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/MiliDM87
Ali Mili, Jules Desharnais, Fatma Mili:
Relational Heuristics for the Design of Deterministic Programs. Acta Informatica 24(3): 239-276 (1987)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/MiliGJT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/MiliGJT87
Ali Mili, Sihem Guemara, Ali Jaoua, Paul Torrés:
On the use of executable assertions in structured programs. J. Syst. Softw. 7(1): 15-28 (1987)
1986
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/MiliD86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/MiliD86
Ali Mili, Jules Desharnais, Jean-Raynomd Gagné:
Formal Models of Stepwise Refinement of Programs. ACM Comput. Surv. 18(3): 231-276 (1986)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/MiliXQ86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/MiliXQ86
Ali Mili, Xiaoyang Sean Wang, Yu Qing:
Specification Methodology: An Integrated Relational Approach. Softw. Pract. Exp. 16(11): 1003-1030 (1986)
1985
[b2]
- view
  - electronic edition @ archives-ouvertes.fr
  - details & citations
- export record
  dblp key:
  - books/hal/Mili85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/Mili85
Ali Mili:
Une perspective relationnelle de la programmation. (Relational perspective of programming science). Grenoble Institute of Technology, France, 1985
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/MiliDG85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/MiliDG85
Ali Mili, Jules Desharnais, Jean-Raymond Gagné:
Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements. Acta Informatica 22(1): 47-66 (1985)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/BabbKOMGM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/BabbKOMGM85
Robert G. Babb II, Richard B. Kieburtz, Ken Orr, Ali Mili, Susan Gearhart, Nancy N. Martin:
Workshop on Models and Languages for Software Specification and Design. Computer 18(3): 103-108 (1985)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Mili85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Mili85
Ali Mili:
Towards a Theory of Forward Error Recovery. IEEE Trans. Software Eng. 11(8): 735-748 (1985)
1984
[c5]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/icse/MiliD84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MiliD84
Ali Mili, Jules Desharnais:
A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. ICSE 1984: 499-509
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/DuprasLM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/DuprasLM84
Marcel Dupras, Fernand LeMay, Ali Mili:
Some thoughts on teaching first year programming. SIGCSE 1984: 148-153
1983
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Mili83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Mili83
Ali Mili:
A Relational Approach to the Design of Deterministic Programs. Acta Informatica 20: 315-328 (1983)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Mili83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Mili83
Ali Mili:
Verifying Programs by Induction on Their Data Structure: General Format and Applications. Inf. Process. Lett. 17(3): 155-160 (1983)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/MiliR83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/MiliR83
Ali Mili, Donna S. Reese:
Representation and manipulation of information systems: A simplified approach. J. Syst. Softw. 3(1): 85-93 (1983)
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/Mili83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/Mili83
Ali Mili:
The Bottom up Analysis of While Statements: Strongest Invariant Functions. IFIP Congress 1983: 339-343
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/Mili83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/Mili83
Ali Mili:
A case for teaching program verification: Its importance in the CS curriculum. SIGCSE 1983: 2-6
1982
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Mili82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Mili82
Ali Mili:
Designing software without backtracking: the part of dream and the part of reality. ACM SIGSOFT Softw. Eng. Notes 7(1): 77 (1982)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/Mili82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/Mili82
Ali Mili:
Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs. IEEE Trans. Computers 31(7): 685-689 (1982)
[c1]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/icse/Mili82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Mili82
Ali Mili:
A Closer Look at Iteration: The Self Stabilizing Capability of Loops. ICSE 1982: 48-57
1981
[b1]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - phd/us/Mili81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Mili81
Ali Mili:
Self-Checking Programs: An Axiomatic Approach to the Validation of Programs by the Use of Assertions. University of Illinois Urbana-Champaign, USA, 1981

[+]

Coauthor network

[+]

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.