Computer Science

Filter
Conference contribution

Search results

  • Towards an engineering discipline of computational security

    Mili, A., Vinokurov, A., Jilani, L. L., Sheldon, F. T. & Ayed, R. B., Dec 1 2007, Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07. 4076952. (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Towards an automated tool for computing loop functions

    Jilani, L. L., Mraihi, O., Louhichi, A. & Mili, A., Jan 1 2010, 2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010. IEEE Computer Society, 5586943. (2010 ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards adversarial robustness with 01 loss neural networks

    Xue, Y., Xie, M. & Roshan, U., Dec 2020, Proceedings - 19th IEEE International Conference on Machine Learning and Applications, ICMLA 2020. Wani, M. A., Luo, F., Li, X., Dou, D. & Bonchi, F. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1304-1309 6 p. 9356277. (Proceedings - 19th IEEE International Conference on Machine Learning and Applications, ICMLA 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Toward an integrated RNA motif database

    Wang, J. T. L., Wen, D., Shapiro, B. A., Herbert, K. G., Li, J. & Ghosh, K., 2007, Data Integration in the Life Sciences - 4th International Workshop, DILS 2007, Proceedings. Springer Verlag, p. 27-36 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4544 LNBI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Toward a comprehensive framework for software process modeling evolution

    Eljabiri, O. & Deek, F. P., 2001, Proceedings - ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2001. IEEE Computer Society, p. 488-491 4 p. 934050. (Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA; vol. 2001-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Top-k parametrized boost

    Turki, T., Ihsan, M., Turki, N., Zhang, J., Roshan, U. & Wei, Z., 2014, Mining Intelligence and Knowledge Exploration - 2nd International Conference, MIKE 2014, Proceedings. Prasath, R., O’Reilly, P. & Kathirvalavakumar, T. (eds.). Springer Verlag, p. 91-98 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8891).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Tool for classifying office documents

    Hao, X., Wang, J. T., Bieber, M. P. & Ng, P. A., Dec 1 1993, Proceedings of the International Conference on Tools with Artificial Intelligence. Anon (ed.). Publ by IEEE, p. 427-434 8 p. (Proceedings of the International Conference on Tools with Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations

  • To be Tough or Soft: Measuring the Impact of Counter-Ad-blocking Strategies on User Engagement

    Zhao, S., Kalra, A., Borcea, C. & Chen, Y., Apr 20 2020, The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020. Association for Computing Machinery, Inc, p. 2690-2696 7 p. (The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Time-aware latent hierarchical model for predicting house prices

    Tan, F., Cheng, C. & Wei, Z., Dec 15 2017, Proceedings - 17th IEEE International Conference on Data Mining, ICDM 2017. Karypis, G., Alu, S., Raghavan, V., Wu, X. & Miele, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1111-1116 6 p. (Proceedings - IEEE International Conference on Data Mining, ICDM; vol. 2017-November).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Scopus citations

  • TIE: Temporal Interaction Explorer for co-presence communities

    Boston, D. J. & Borcea, C., 2011, Proceedings - IEEE 9th International Conference on Dependable, Autonomic and Secure Computing, DASC 2011. p. 854-863 10 p. 6118891. (Proceedings - IEEE 9th International Conference on Dependable, Autonomic and Secure Computing, DASC 2011).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Throughput and delay analysis of FDDI and FDDI-II under mixed traffic

    Karvelas, D. & Leon-Garcia, A., Jan 1 1992, Proceedings - 17th Conference on Local Computer Networks, LCN 1992. IEEE Computer Society, p. 142-151 10 p. 228164. (Proceedings - Conference on Local Computer Networks, LCN).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Threshold decomposition of soft morphological filters

    Shih, F. & Pu, C. C., Dec 1 1993, IEEE Computer Vision and Pattern Recognition. Anon (ed.). Publ by IEEE, p. 672-673 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • The use of latin hypercube sampling for the efficient estimation of confidence intervals

    Grabaskas, D., Denning, R., Aldemir, T. & Nakayama, M. K., Nov 19 2012, International Congress on Advances in Nuclear Power Plants 2012, ICAPP 2012. p. 1443-1452 10 p. (International Congress on Advances in Nuclear Power Plants 2012, ICAPP 2012; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations

  • The preemptive resource allocation problem

    Sarpatwar, K., Schieber, B. & Shachnai, H., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The new class of g-chain periodic sorters

    Becker, R. I., Nassimi, D. & Perl, Y., Aug 1 1993, Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 1993. Association for Computing Machinery, Inc, p. 356-364 9 p. (Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 1993).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Themis: A participatory navigation system for balanced traffic routing

    Liu, R., Liu, H., Kwak, D., Xiang, Y., Borcea, C., Nath, B. & Iftode, L., Jan 16 2015, 2014 IEEE Vehicular Networking Conference, VNC 2014. Dressler, F., Altintas, O., Banerjee, S., Scheuermann, B. & Eckhoff, D. (eds.). January ed. IEEE Computer Society, p. 159-166 8 p. 7013335. (IEEE Vehicular Networking Conference, VNC; vol. 2015-January, no. January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations

  • The importance of ownership for e-commerce

    Geller, J., Perl, Y., Liu, L., Rush, C. & Halper, M., Jan 1 2003, Semantic Issues in E-Commerce Systems - IFIP TC2/WG2.6 9th Working Conference on Database Semantics, DS-9. Springer New York LLC, p. 311-326 16 p. (IFIP Advances in Information and Communication Technology; vol. 111).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The importance of ownership for e-commerce

    Geller, J., Perl, Y., Liu, L., Rush, C. & Halper, M., Jan 1 2003, Semantic Issues in E-Commerce Systems - IFIP TC2/WG2.6 9th Working Conference on Database Semantics, DS-9. Springer New York LLC, p. 311-326 16 p. (IFIP Advances in Information and Communication Technology; vol. 111).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The cascading of the LZW compression algorithm with Arithmetic Coding

    Perl, Y., Maram, V. & Kadakuntla, N., Jan 1 1991, Data Compression Conference 1991. Institute of Electrical and Electronics Engineers Inc., p. 277-286 10 p. 213353. (Data Compression Conference Proceedings; vol. 1991-April).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • The bane of generate-And-validate program repair: Too much generation, too little validation

    Khaireddine, B., Zakharchenko, A. & Mili, A., Sep 8 2021, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 2021. Fujita, H. & Perez-Meana, H. (eds.). IOS Press BV, p. 113-126 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 337).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The approximate graph matching problem

    Wang, J. T. L., Zhang, K. & Chirn, G. W., 1994, Proceedings of the 12th IAPR International Conference on Pattern Recognition - Conference B: Pattern Recognition and Neural Networks, ICPR 1994. Institute of Electrical and Electronics Engineers Inc., p. 284-288 5 p. (Proceedings - International Conference on Pattern Recognition; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    24 Scopus citations

  • Text processing: Robust character recognition using calibrated text and diversified feature set

    Hung, D. C. D., Chen, Y., Chen, R. & Cheng, T., Jan 1 1992, Third Int Conf Tools Artif Intell. Publ by IEEE, p. 528-529 2 p. (Third Int Conf Tools Artif Intell).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Testing interval trees for real-time scheduling systems

    Hu, X. & Leung, J. Y. T., Oct 15 2008, Proceedings - 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008. p. 327-336 10 p. 4617302. (Proceedings - 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Task relevance and diversity as worker motivation in crowdsourcing

    Pilourdault, J., Amer-Yahia, S., Basu Roy, S. & Lee, D., Oct 24 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. Institute of Electrical and Electronics Engineers Inc., p. 365-376 12 p. 8509262. (Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Scopus citations

  • Task deployment recommendation with worker availability

    Wei, D., Roy, S. B. & Amer-Yahia, S., Apr 2020, Proceedings - 2020 IEEE 36th International Conference on Data Engineering, ICDE 2020. IEEE Computer Society, p. 1806-1809 4 p. 9101520. (Proceedings - International Conference on Data Engineering; vol. 2020-April).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Task assignment optimization in collaborative crowdsourcing

    Rahman, H., Roy, S. B., Thirumuruganathan, S., Amer-Yahia, S. & Das, G., Jan 5 2016, Proceedings - 15th IEEE International Conference on Data Mining, ICDM 2015. Aggarwal, C., Zhou, Z-H., Tuzhilin, A., Xiong, H. & Wu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 949-954 6 p. 7373417. (Proceedings - IEEE International Conference on Data Mining, ICDM; vol. 2016-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    32 Scopus citations

  • Targeted Deanonymization via the Cache Side Channel: Attacks and Defenses

    Zaheri, M., Oren, Y. & Curtmola, R., 2022, Proceedings of the 31st USENIX Security Symposium, Security 2022. USENIX Association, p. 1505-1523 19 p. (Proceedings of the 31st USENIX Security Symposium, Security 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Synthesis of Radiation Counts for Networks of Detectors

    Sen, S., Rao, N. S. V., Berry, M. L., Grieme, K. M., Wu, C. Q., Cordone, G. & Brooks, R. R., Nov 12 2018, 2017 IEEE Nuclear Science Symposium and Medical Imaging Conference, NSS/MIC 2017 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 8532854. (2017 IEEE Nuclear Science Symposium and Medical Imaging Conference, NSS/MIC 2017 - Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Symbolic representation and retrieval of moving object trajectories

    Chen, L., Özsu, M. T. & Oria, V., 2004, MIR'04 - Proceedings of the 6th ACM SIGMM International Workshop on Multimedia Information Retrieval. Association for Computing Machinery (ACM), p. 227-234 8 p. (MIR'04 - Proceedings of the 6th ACM SIGMM International Workshop on Multimedia Information Retrieval).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    33 Scopus citations

  • SVM classification of neonatal facial images of pain

    Brahnam, S., Chuang, C. F., Shih, F. Y. & Slack, M. R., 2006, Fuzzy Logic and Applications - 6th International Workshop, WILF 2005, Revised Selected Papers. p. 121-128 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3849 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    32 Scopus citations

  • Supporting virtual documents in just-in-time hypermedia systems

    Zhang, L., Bieber, M., Millard, D. & Oria, V., 2004, Proceedings of the 2004 ACM Symposium on Document Engineering. Association for Computing Machinery (ACM), p. 35-44 10 p. (Proceedings of the 2004 ACM Symposium on Document Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Summarizing an Ontology: A "Big Knowledge" Coverage Approach

    Zheng, L., Perl, Y., Elhanan, G., Ochs, C., Geller, J. & Halper, M., 2017, MEDINFO 2017: Precision Healthcare through Informatics - Proceedings of the 16th World Congress on Medical and Health Informatics. Gundlapalli, A. V., Marie-Christine, J. & Dongsheng, Z. (eds.). IOS Press BV, p. 978-982 5 p. (Studies in Health Technology and Informatics; vol. 245).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Sufficient Conditions for a Central Limit Theorem to Assess the Error of Randomized Quasi-Monte Carlo Methods

    Nakayama, M. K. & Tuffin, B., 2021, 2021 Winter Simulation Conference, WSC 2021. Institute of Electrical and Electronics Engineers Inc., (Proceedings - Winter Simulation Conference; vol. 2021-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Success prediction on crowdfunding with multimodal deep learning

    Cheng, C., Tan, F., Hou, X. & Wei, Z., 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 2158-2164 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2019-August).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    20 Scopus citations

  • Subpixel edge estimation using geometrical edge models with noise miniaturization

    Hung, D. C. D. & Mitchell, O. R., 1995, Proceedings of the IEEE Southwest Symposium on Image Analysis and Interpretation, IAI 1994. Institute of Electrical and Electronics Engineers Inc., p. 112-117 6 p. 336673. (Proceedings of the IEEE Southwest Symposium on Image Analysis and Interpretation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Structural schema integration in heterogeneous multi-database systems using the Dual Model

    Geller, J., Perl, Y. & Neuhold, E., Jan 1 1991, Proceedings - 1st International Workshop on Interoperability in Multidatabase Systems, IMS 1991. Institute of Electrical and Electronics Engineers Inc., p. 200-203 4 p. 153706. (Proceedings - 1st International Workshop on Interoperability in Multidatabase Systems, IMS 1991).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Structuralizing educational videos based on presentation content

    Dorai, C., Oria, V. & Neelavalli, V., Dec 17 2003, IEEE International Conference on Image Processing. Vol. 2. p. 1029-1032 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    14 Scopus citations

  • Storage-aware task scheduling for performance optimization of big data workflows

    Ye, Q., Wu, C. Q., Cao, H., Rao, N. S. V. & Hou, A., Mar 20 2019, Proceedings - 16th IEEE International Symposium on Parallel and Distributed Processing with Applications, 17th IEEE International Conference on Ubiquitous Computing and Communications, 8th IEEE International Conference on Big Data and Cloud Computing, 11th IEEE International Conference on Social Computing and Networking and 8th IEEE International Conference on Sustainable Computing and Communications, ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018. Chen, J. & Yang, L. T. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1095-1102 8 p. 8672241. (Proceedings - 16th IEEE International Symposium on Parallel and Distributed Processing with Applications, 17th IEEE International Conference on Ubiquitous Computing and Communications, 8th IEEE International Conference on Big Data and Cloud Computing, 11th IEEE International Conference on Social Computing and Networking and 8th IEEE International Conference on Sustainable Computing and Communications, ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Stochastic coordinate descent for 01 loss and its sensitivity to adversarial attacks

    Xie, M., Xue, Y. & Roshan, U., Dec 2019, Proceedings - 18th IEEE International Conference on Machine Learning and Applications, ICMLA 2019. Wani, M. A., Khoshgoftaar, T. M., Wang, D., Wang, H. & Seliya, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 299-304 6 p. 8999055. (Proceedings - 18th IEEE International Conference on Machine Learning and Applications, ICMLA 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Statistically rigorous testing of clustering implementations

    Yin, X., Musco, V., Neamtiu, I. & Roshan, U., May 17 2019, Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019. Institute of Electrical and Electronics Engineers Inc., p. 91-98 8 p. 8718232. (Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Statistical analysis of simulation output

    Nakayama, M. K., 2008, Proceedings of the 2008 Winter Simulation Conference, WSC 2008. p. 62-72 11 p. 4736056. (Proceedings - Winter Simulation Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    24 Scopus citations

  • Static detection of event-based races in Android apps

    Hu, Y. & Neamtiu, I., Mar 19 2018, Proceedings of the 23rd International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018. 2 ed. Association for Computing Machinery, Vol. 53. p. 257-270 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    15 Scopus citations

  • Spectrally robust graph isomorphism

    Kolla, A., Koutis, I., Madan, V. & Sinop, A. K., Jul 1 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 84. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • SpecPart: A supervised spectral framework for hypergraph partitioning solution improvement

    Bustany, I., Kahng, A. B., Koutis, I., Pramanik, B. & Wang, Z., Oct 30 2022, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022. Institute of Electrical and Electronics Engineers Inc., 13. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Specialized system development

    Eljabiri, O., 2003, Proceedings, ITRE 2003 - International Conference on Information Technology: Research and Education. p. 128-132 5 p. 1270587. (Proceedings, ITRE 2003 - International Conference on Information Technology: Research and Education).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Sparse representation based complete kernel marginal fisher analysis framework for computational art painting categorization

    Puthenputhussery, A., Liu, Q. & Liu, C., 2016, Computer Vision - 14th European Conference, ECCV 2016, Proceedings. Leibe, B., Matas, J., Sebe, N. & Welling, M. (eds.). Springer Verlag, p. 612-627 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9912 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations

  • Solar flare tracking using image processing techniques

    Qu, M., Shih, F., Jing, J. & Wang, H., Dec 1 2004, 2004 IEEE International Conference on Multimedia and Expo (ICME). p. 347-350 4 p. (2004 IEEE International Conference on Multimedia and Expo (ICME); vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Solar flare forecasting using sunspot-groups classification and photospheric magnetic parameters

    Yuan, Y., Shih, F., Jing, J. & Wang, H., Aug 2010, The Physics of Sun and Star Spots. Choudhary, D. P. & Strassmeier, K. (eds.). S273 ed. p. 446-450 5 p. (Proceedings of the International Astronomical Union; vol. 6, no. S273).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Software requirements for a system to compute mean failure cost

    Aissa, A. B., Abercrombie, R. K., Sheldon, F. T. & Mili, A., 2010, 6th Annual Cyber Security and Information Intelligence Research Workshop: Cyber Security and Information Intelligence Challenges and Strategies, CSIIRW10. 1852750. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Software evolution by correctness enhancement

    Ghardallou, W., Diallo, N. & Mili, A., 2016, Proceedings - SEKE 2016: 28th International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, p. 605-610 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2016-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations