Travelled to:1 × Canada
1 × Ireland
1 × Japan
1 × Latvia
1 × South Africa
1 × Switzerland
1 × United Kingdom
2 × Italy
6 × USA
Collaborated with:J.Desharnais M.Frappier R.Mili W.Ghardallou D.D.Gobbo S.F.Chmiel R.Gottumukkala L.Zhang R.B.Ayed ∅ L.L.Jilani N.Diallo S.Aharon C.Nadkarni R.Mittermeir W.Abdelmoez R.Gunnalan M.Shereshevsky H.H.Ammar S.M.Yacoub C.Kaveri M.Dehlin B.Cukic T.Xia T.C.Lethbridge D.Ionescu D.Gibbons R.Khédri O.Mraihi A.Louhichi H.Mili J.Dargham O.Cherkaoui R.Godin L.B.A.Rabai D.R.Skuce I.P.Shaik A.Zeid C.P.Fuhrman B.Yu S.Bogazzi M.Korkmaz
Talks about:softwar (7) program (5) fault (5) function (3) system (3) integr (3) verif (3) toler (3) loop (3) architectur (2)
Person: Ali Mili
DBLP: Mili:Ali
Contributed to:
20152010
2008
2005
2004
20012000
2000
1999
1999
19981997
1997
19971994199419841982Wrote 19 papers:
- ICSE-v2-2015-DialloGM #correctness
- Correctness and Relative Correctness (ND, WG, AM), pp. 591–594.
- ICSE-2010-JilaniMLGM #invariant #using
- Using invariant functions and invariant relations to compute loop functions (LLJ, OM, AL, WG, AM), pp. 317–318.
- SEKE-2008-MiliAN #algorithm
- An Algorithm for Computing Loop Functions (AM, SA, CN), pp. 448–453.
- WICSA-2005-ShaikAGSZAMF #architecture #co-evolution #design #quality
- Change Propagation for Assessing Design Quality of Software Architectures (IPS, WA, RG, MS, AZ, HHA, AM, CPF), pp. 205–208.
- ICSM-2004-AbdelmoezSGAYBKM #architecture #co-evolution
- Software Architectures Change Propagation Tool (SACPT) (WA, MS, RG, HHA, BY, SB, MK, AM), p. 517.
- RE-2001-GobboM #case study #fault tolerance #re-engineering #requirements #specification
- Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems (DDG, AM), pp. 236–247.
- ICSE-2000-MiliCGZ #cost analysis #reuse
- An integrated cost model for software reuse (AM, SFC, RG, LZ), pp. 157–166.
- ICSE-2000-MiliCGZ00a #automation #predict #reuse
- Tracking, predicting and assessing software reuse costs: an automated tool (AM, SFC, RG, LZ), p. 785.
- SPLC-2000-YacoubMKD #certification #off the shelf
- A hierarchy of COTS certification criteria (SMY, AM, CK, MD), pp. 397–412.
- ASE-1999-MiliCXA #fault tolerance
- Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model (AM, BC, TX, RBA), p. 137–?.
- TOOLS-USA-1999-MiliDCGM #development #distributed #object-oriented #programming #source code
- View Programming for Decentralized Development of OO Programs (HM, JD, OC, RG, AM), pp. 210–221.
- LOPSTR-1998-AyedDFM #program transformation
- Mathematical Foundations for Program Transformations (RBA, JD, MF, AM), pp. 319–321.
- ASE-1997-JilaniDFMM #adaptation #component
- Retrieving Software Components that Minimize Adaptation Effort (LLJ, JD, MF, RM, AM), p. 255–?.
- CSEET-1997-LethbridgeIMG #analysis #re-engineering
- An Undergraduate Option in Software Engineering: Analysis and Rationale (TCL, DI, AM, DG), pp. 120–131.
- ESEC-FSE-1997-DesharnaisFKM #integration
- Integration of Sequential Scenarios (JD, MF, RK, AM), pp. 310–326.
- ICSE-1994-MiliMM #component #refinement
- Storing and Retrieving Software Components: A Refinement Based System (AM, RM, RM), pp. 91–100.
- SEKE-1994-ArfaFMMS #process #verification
- A process for verification based inspections (LBAR, MF, RM, AM, DRS), pp. 100–107.
- ICSE-1984-MiliD #verification
- A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods (AM, JD), pp. 499–509.
- ICSE-1982-Mili
- A Closer Look at Iteration: The Self Stabilizing Capability of Loops (AM), pp. 48–57.