BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

ICSE 20152015
ICSE 20102010
SEKE 20082008
WICSA 20052005
ICSM 20042004
RE 20012001
ICSE 20002000
SPLC 20002000
ASE 19991999
TOOLS USA 19991999
LOPSTR 19981998
ASE 19971997
CSEE&T 19971997
ESEC/FSE 19971997
ICSE 19941994
SEKE 19941994
ICSE 19841984
ICSE 19821982

Wrote 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.
A Closer Look at Iteration: The Self Stabilizing Capability of Loops (AM), pp. 48–57.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.