College of Computing Sciences

Research Projects, Ali Mili

• Analyzing System Redundancy. 

• Extracting Loop Functions.

• Quantifying Dependability.

• Quantifiable Security Attributes.

• Recoverability Preservation.

• Reasoning about Software Architectures.

• Monitoring Software Trends.

• Estimating Reuse Costs.