Filter
Conference contribution

Search results

  • 2008

    An algorithm for computing loop functions

    Mili, A., Aharon, S. & Nadkarni, C., 2008, 20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008. p. 448-453 6 p. (20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2007

    A refinement-based framework for computing loop behavior

    Mili, A., 2007, 31st Annual IEEE Software Engineering Workshop, SEW-31 2007 - Proceedings. p. 144-153 10 p. 4402773. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • A semantic recognizer infrastructure for computing loop behavior

    Mili, A., Daly, T., Pleszkoch, M. & Prowell, S., 2007, Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07. 4076943. (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • Measuring reliability as a mean failure cost

    Mili, A. & Sheldon, F., 2007, Proceedings - 10th IEEE International Symposium on High Assurance Systems Engineering, HASE 2007. p. 403-404 2 p. 4404775. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    11 Scopus citations
  • Monitoring software technology evolution, one trend at a time

    Bai, Y. & Mili, A., 2007, 16th International Conference on Software Engineering and Data Engineering, SEDE 2007. p. 349-355 7 p. (16th International Conference on Software Engineering and Data Engineering, SEDE 2007).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • Towards an engineering discipline of computational security

    Mili, A., Vinokurov, A., Jilani, L. L., Sheldon, F. T. & Ayed, R. B., 2007, Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07. IEEE Computer Society, p. 281-290 10 p. 4076952. (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 2006

    Modeling redundancy: Quantitative and qualitative models

    Mili, A., Wu, L., Sheldon, F. T., Shereshevsky, M. & Desharnais, J., 2006, IEEE International Conference on Computer Systems and Applications, 2006. IEEE Computer Society, p. 1-8 8 p. 1618325. (IEEE International Conference on Computer Systems and Applications, 2006; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    1 Scopus citations
  • Using change propagation probabilities to assess quality attributes of software architectures

    Shaik, I., Abdelmoez, W., Gunnalan, R., Shereshevsky, M., Zeid, A., Ammar, H. H., Mili, A. & Fuhrman, C., 2006, IEEE International Conference on Computer Systems and Applications, 2006. p. 704-711 8 p. 1618432. (IEEE International Conference on Computer Systems and Applications, 2006; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • 2005

    Change propagation for assessing design quality of software architectures

    Shaik, I., Abdelmoez, W., Gunnalan, R., Shereshevsky, M., Zeid, A., Ammar, H. H., Mili, A. & Fuhrman, C., 2005, Proceedings - 5th Working IEEE/IFIP Conference on Software Architecture, WICSA 2005. p. 205-208 4 p. 1620112. (Proceedings - 5th Working IEEE/IFIP Conference on Software Architecture, WICSA 2005; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • 2004

    Error propagation in software architectures

    Abdelmoez, W., Nassar, D. M., Shereshevsky, M., Gradetsky, N., Gunnalan, R., Ammar, H. H., Yu, B. & Mili, A., 2004, Proceedings - 10th International Symposium on Software Metrics, METRICS 2004. p. 384-393 10 p. (Proceedings - International Software Metrics Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    82 Scopus citations