×
Author ID: mili.ali Recent zbMATH articles by "Mili, Ali"
Published as: Mili, Ali; Mili, A.; Milli, Ali
Homepage: https://people.njit.edu/faculty/mili
External Links: MGP · Google Scholar · ResearchGate · dblp · IdRef · theses.fr

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 77 times in 34 Documents Cited by Year
Relational heuristics for the design of deterministic programs. Zbl 0595.68018
Mili, Ali; Desharnais, Jules; Mili, Fatma
12
1987
On the lattice of specifications: Applications to a specification methodology. Zbl 0782.68077
Boudriga, Noureddine; Elloumi, Fathi; Mili, Ali
11
1992
A relational approach to the design of deterministic programs. Zbl 0508.68003
Mili, Ali
8
1983
Strongest invariant functions: Their use in the systematic analysis of while statements. Zbl 0546.68011
Milli, Ali; Desharnais, Jules; Gagné, Jean-Raymond
6
1985
Regularity of relations: A measure of uniformity. Zbl 0717.68066
Jaoua, A.; Mili, A.; Boudriga, N.; Durieux, J. L.
5
1991
A relational calculus for program construction by parts. Zbl 0852.68014
Frappier, M.; Mili, A.; Desharnais, J.
4
1996
Refinement and demonic semantics. Zbl 0884.68082
Desharnais, Jules; Mili, Ali; Nguyen, Thanh Tung
4
1997
Specification methodology: An integrated relational approach. Zbl 0602.68015
Mili, Ali; Wang, Xiao-Yang; Yu, Qing
3
1986
A relational division operator: The conjugate kernel. Zbl 0779.68058
Desharnais, Jules; Jaoua, Ali; Mili, Fatma; Boudriga, Noureddine; Mili, Ali
3
1993
Mathematics for reasoning about loop functions. Zbl 1192.68160
Mili, Ali; Aharon, Shir; Nadkarni, Chaitanya
3
2009
Heuristics for constructing while loops. Zbl 0745.68076
Mili, Fatma; Mili, Ali
2
1992
Computing preconditions and postconditions of while loops. Zbl 1350.68062
Mraihi, Olfa; Ghardallou, Wided; Louhichi, Asma; Labed Jilani, Lamia; Bsaies, Khaled; Mili, Ali
2
2011
On faults and faulty programs. Zbl 1405.68082
Mili, Ali; Frias, Marcelo F.; Jaoua, Ali
1
2014
Relational mathematics for relative correctness. Zbl 1471.68057
Desharnais, Jules; Diallo, Nafi; Ghardallou, Wided; Frias, Marcelo F.; Jaoua, Ali; Mili, Ali
1
2015
Semantic-based software retrieval to support rapid prototyping. Zbl 0761.68028
Boudriga, Noureddine; Mili, Ali; Mittermeir, Roland
1
1992
Unifying program construction and modification. Zbl 0892.68063
Frappier, M.; Mili, A.; Desharnais, J.
1
1998
Interpretation of tabular expressions using arrays of relations. Zbl 1061.68536
Desharnais, Jules; Khédri, Ridha; Mili, Ali
1
2001
Semantic distance between specifications. Zbl 0949.68098
Mili, R.; Desharnais, J.; Frappier, M.; Mili, A.
1
2000
On the mathematics of sequential decompositions. Zbl 0784.68018
Desharnais, Jules; Mili, Ali; Mili, Fatma
1
1993
Convergence: integrating termination and abort-freedom. Zbl 1395.68091
Diallo, Nafi; Ghardallou, Wided; Desharnais, Jules; Mili, Ali
1
2018
Invariant functions and invariant relations: an alternative to invariant assertions. Zbl 1253.68085
Jilani, Lamia Labed; Mraihi, Olfa; Louhichi, Asma; Ghardallou, Wided; Bsaies, Khaled; Mili, Ali
1
2013
Verifying programs by induction on their data structure: general format and applications. Zbl 0513.68014
Mili, Ali
1
1983
Toward a theory of program repair. Zbl 07727458
Khaireddine, Besma; Zakharchenko, Aleksandr; Martinez, Matias; Mili, Ali
1
2023
A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering. Zbl 1012.68571
Ammar, Hany H.; Cukic, Bojan; Mili, Ali; Fuhrman, Cris
1
2000
On the analysis of iterative and recursive programs. Zbl 0646.68013
Mili, F.; Alaya, B.; Mili, A.
1
1988
Reflexive transitive invariant relations: A basis for computing loop functions. Zbl 1208.68150
Mili, Ali; Aharon, Shir; Nadkarni, Chaitanya; Jilani, Lamia Labed; Louhichi, Asma; Mraihi, Olfa
1
2010
Toward a theory of program repair. Zbl 07727458
Khaireddine, Besma; Zakharchenko, Aleksandr; Martinez, Matias; Mili, Ali
1
2023
Convergence: integrating termination and abort-freedom. Zbl 1395.68091
Diallo, Nafi; Ghardallou, Wided; Desharnais, Jules; Mili, Ali
1
2018
Relational mathematics for relative correctness. Zbl 1471.68057
Desharnais, Jules; Diallo, Nafi; Ghardallou, Wided; Frias, Marcelo F.; Jaoua, Ali; Mili, Ali
1
2015
On faults and faulty programs. Zbl 1405.68082
Mili, Ali; Frias, Marcelo F.; Jaoua, Ali
1
2014
Invariant functions and invariant relations: an alternative to invariant assertions. Zbl 1253.68085
Jilani, Lamia Labed; Mraihi, Olfa; Louhichi, Asma; Ghardallou, Wided; Bsaies, Khaled; Mili, Ali
1
2013
Computing preconditions and postconditions of while loops. Zbl 1350.68062
Mraihi, Olfa; Ghardallou, Wided; Louhichi, Asma; Labed Jilani, Lamia; Bsaies, Khaled; Mili, Ali
2
2011
Reflexive transitive invariant relations: A basis for computing loop functions. Zbl 1208.68150
Mili, Ali; Aharon, Shir; Nadkarni, Chaitanya; Jilani, Lamia Labed; Louhichi, Asma; Mraihi, Olfa
1
2010
Mathematics for reasoning about loop functions. Zbl 1192.68160
Mili, Ali; Aharon, Shir; Nadkarni, Chaitanya
3
2009
Interpretation of tabular expressions using arrays of relations. Zbl 1061.68536
Desharnais, Jules; Khédri, Ridha; Mili, Ali
1
2001
Semantic distance between specifications. Zbl 0949.68098
Mili, R.; Desharnais, J.; Frappier, M.; Mili, A.
1
2000
A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering. Zbl 1012.68571
Ammar, Hany H.; Cukic, Bojan; Mili, Ali; Fuhrman, Cris
1
2000
Unifying program construction and modification. Zbl 0892.68063
Frappier, M.; Mili, A.; Desharnais, J.
1
1998
Refinement and demonic semantics. Zbl 0884.68082
Desharnais, Jules; Mili, Ali; Nguyen, Thanh Tung
4
1997
A relational calculus for program construction by parts. Zbl 0852.68014
Frappier, M.; Mili, A.; Desharnais, J.
4
1996
A relational division operator: The conjugate kernel. Zbl 0779.68058
Desharnais, Jules; Jaoua, Ali; Mili, Fatma; Boudriga, Noureddine; Mili, Ali
3
1993
On the mathematics of sequential decompositions. Zbl 0784.68018
Desharnais, Jules; Mili, Ali; Mili, Fatma
1
1993
On the lattice of specifications: Applications to a specification methodology. Zbl 0782.68077
Boudriga, Noureddine; Elloumi, Fathi; Mili, Ali
11
1992
Heuristics for constructing while loops. Zbl 0745.68076
Mili, Fatma; Mili, Ali
2
1992
Semantic-based software retrieval to support rapid prototyping. Zbl 0761.68028
Boudriga, Noureddine; Mili, Ali; Mittermeir, Roland
1
1992
Regularity of relations: A measure of uniformity. Zbl 0717.68066
Jaoua, A.; Mili, A.; Boudriga, N.; Durieux, J. L.
5
1991
On the analysis of iterative and recursive programs. Zbl 0646.68013
Mili, F.; Alaya, B.; Mili, A.
1
1988
Relational heuristics for the design of deterministic programs. Zbl 0595.68018
Mili, Ali; Desharnais, Jules; Mili, Fatma
12
1987
Specification methodology: An integrated relational approach. Zbl 0602.68015
Mili, Ali; Wang, Xiao-Yang; Yu, Qing
3
1986
Strongest invariant functions: Their use in the systematic analysis of while statements. Zbl 0546.68011
Milli, Ali; Desharnais, Jules; Gagné, Jean-Raymond
6
1985
A relational approach to the design of deterministic programs. Zbl 0508.68003
Mili, Ali
8
1983
Verifying programs by induction on their data structure: general format and applications. Zbl 0513.68014
Mili, Ali
1
1983

Citations by Year