Filter
Conference contribution

Search results

  • 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 proceedingConference contribution

    12 Scopus citations
  • 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 proceedingConference contribution

    1 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 proceedingConference 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 proceedingConference contribution

    15 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 proceedingConference 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 proceedingConference contribution

    5 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 proceedingConference 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 proceedingConference contribution

  • 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 proceedingConference contribution

    10 Scopus citations
  • 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 proceedingConference contribution

    5 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 proceedingConference contribution

  • 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 proceedingConference contribution

    7 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 proceedingConference contribution

    5 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 proceedingConference contribution

    3 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 proceedingConference contribution

    3 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 proceedingConference 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 proceedingConference contribution

    2 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 proceedingConference contribution

    10 Scopus citations
  • 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 proceedingConference contribution

    5 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 proceedingConference contribution

  • 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 proceedingConference contribution

    1 Scopus citations
  • Toward Policy Transparency and Real-Time Policy Assessment

    Chun, S. A., Yusuf, F., Vasudevan, S., Renda, M., Li, C. Y. & Geller, J., Jul 11 2023, Proceedings of the 24th Annual International Conference on Digital Government Research - Together in the Unstable World: Digital Government and Solidarity, DGO 2023. Cid, D. D. (ed.). Association for Computing Machinery, p. 660-662 3 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference 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 proceedingConference contribution

    3 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 proceedingConference contribution

  • 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 proceedingConference contribution

    1 Scopus citations
  • Towards a privacy preserving personal photo album manager with semantic classification, indexing and querying capabilities

    Fesnin, A., Gouet-Brune, V., Kominen, S., Oria, V. & Sun, J., 2011, MM'11 - Proceedings of the 2011 ACM Multimedia Conference and Co-Located Workshops. p. 835-836 2 p. (MM'11 - Proceedings of the 2011 ACM Multimedia Conference and Co-Located Workshops).

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

    1 Scopus citations
  • Towards Efficient FHE Based cPIR Schemes and Their Parameter Selection

    Yakupoglu, C. & Rohloff, K., Aug 23 2022, Proceedings of the 17th International Conference on Availability, Reliability and Security, ARES 2022. Association for Computing Machinery, 136. (ACM International Conference Proceeding Series).

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

  • Towards intelligent Web services for automating medical service composition

    Lee, Y., Patel, C., Chun, S. A. & Geller, J., 2004, Proceedings - IEEE International Conference on Web Services. p. 384-391 8 p. (Proceedings - IEEE International Conference on Web Services).

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

    13 Scopus citations
  • Towards reliable scheduling schemes for long-lived replaceable sensor networks

    Tong, B., Li, Z., Wang, G. & Zhang, W., 2010, 2010 Proceedings IEEE INFOCOM. 5462010. (Proceedings - IEEE INFOCOM).

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

    3 Scopus citations
  • Towards self-repairing replication-based storage systems using untrusted clouds

    Chen, B. & Curtmola, R., 2013, CODASPY 2013 - Proceedings of the 3rd ACM Conference on Data and Application Security and Privacy. p. 377-388 12 p. (CODASPY 2013 - Proceedings of the 3rd ACM Conference on Data and Application Security and Privacy).

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

    21 Scopus citations
  • Towards server-side repair for erasure coding-based distributed storage systems

    Chen, B., Ammula, A. K. & Curtmola, R., Mar 2 2015, CODASPY 2015 - Proceedings of the 5th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, p. 281-288 8 p. (CODASPY 2015 - Proceedings of the 5th ACM Conference on Data and Application Security and Privacy).

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

    12 Scopus citations
  • Tracking citizen's concerns during COVID-19 pandemic

    Chun, S. A., Li, A. C. Y., Toliyat, A. & Geller, J., Jun 15 2020, Proceedings of the 21st Annual International Conference on Digital Government Research: Intelligent Government in the Intelligent Information Society, DGO 2020. Eom, S-J. & Lee, J. (eds.). Association for Computing Machinery, p. 322-323 2 p. (ACM International Conference Proceeding Series).

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

    19 Scopus citations
  • Tradeoffs between security and communication performance in wireless mesh networks

    Curtmola, R., Dong, J. & Nita-Rotaru, C., Aug 27 2010, 2010 IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks", WoWMoM 2010 - Digital Proceedings. 5535005. (2010 IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks", WoWMoM 2010 - Digital Proceedings).

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

    1 Scopus citations
  • Trading off popularity for diversity in the results sets of keyword queries on linked data

    Dass, A. & Theodoratos, D., 2017, Web Engineering - 17th International Conference, ICWE 2017, Proceedings. Cabot, J., De Virgilio, R. & Torlone, R. (eds.). Springer Verlag, p. 151-170 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10360 LNCS).

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

  • Transmission of time critical information over FDDI and FDDI-II networks

    Karvelas, D. & Leon-Garcia, A., Jan 1 1992, GLOBECOM 1992 - Communication for Global Users: IEEE Global Telecommunications Conference. Institute of Electrical and Electronics Engineers Inc., p. 1045-1049 5 p. 276366. (GLOBECOM 1992 - Communication for Global Users: IEEE Global Telecommunications Conference).

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

    3 Scopus citations
  • TreeRank: A similarity measure for nearest neighbor searching in phylogenetic databases

    Wang, J. T. L., Shan, H., Shasha, D. & Piel, W. H., 2003, 15th International Conference on Scientific and Statistical Database Management, SSDBM 2003. Nittel, S. & Gunopulos, D. (eds.). IEEE Computer Society, p. 171-180 10 p. 1214978. (Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM; vol. 2003-January).

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

    25 Scopus citations
  • Trusted application-centric ad-hoc networks

    Xu, G., Borcea, C. & Iftode, L., Dec 1 2007, 2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS. 4428672. (2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS).

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

    5 Scopus citations
  • TVSHOWGUESS: Character Comprehension in Stories as Speaker Guessing

    Sang, Y., Mou, X., Yu, M., Yao, S., Li, J. & Stanton, J., 2022, NAACL 2022 - 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 4267-4287 21 p. (NAACL 2022 - 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference).

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

    1 Scopus citations
  • Two-Level Clustering-Based Target Detection Through Sensor Deployment and Data Fusion

    Wu, C. Q., Liu, W., Sen, S., Rao, N. S. V., Brooks, R. R. & Cordone, G., Sep 5 2018, 2018 21st International Conference on Information Fusion, FUSION 2018. Institute of Electrical and Electronics Engineers Inc., p. 2376-2383 8 p. 8455623. (2018 21st International Conference on Information Fusion, FUSION 2018).

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

    2 Scopus citations
  • Two-stage and dual-decoder convolutional U-Net ensembles for reliable vessel and plaque segmentation in carotid ultrasound images

    Xie, M., Li, Y., Xue, Y., Huntress, L., Beckerman, W., Rahimi, S. A., Ady, J. W. & Roshan, U. W., 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. 1376-1381 6 p. 9356278. (Proceedings - 19th IEEE International Conference on Machine Learning and Applications, ICMLA 2020).

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

    11 Scopus citations
  • UCS: Ultimate course search

    Rajgure, S., Oria, V., Raghavan, K., Dasadia, H., Devannagari, S. S., Curtmola, R., Geller, J., Gouton, P., Renfro-Michel, E. & Chun, S. A., Jun 27 2016, 2016 14th International Workshop on Content-Based Multimedia Indexing, CBMI 2016. IEEE Computer Society, 7500242. (Proceedings - International Workshop on Content-Based Multimedia Indexing; vol. 2016-June).

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

  • Unsupervised Anomaly Detection in Traffic Surveillance Based on Global Foreground Modeling

    Shi, H., Ghahremannezhad, H. & Liu, C., 2022, IST 2022 - IEEE International Conference on Imaging Systems and Techniques, Proceedings. Institute of Electrical and Electronics Engineers Inc., (IST 2022 - IEEE International Conference on Imaging Systems and Techniques, Proceedings).

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

    3 Scopus citations
  • User behavior based automatical navigation system on Android platform

    Tian, J., Wang, G., Gao, X. & Shi, K., Jan 1 2014, 2014 23rd Wireless and Optical Communication Conference, WOCC 2014. IEEE Computer Society, 6839916. (2014 23rd Wireless and Optical Communication Conference, WOCC 2014).

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

    3 Scopus citations
  • User Profiling and Behavior Evaluation Based on Improved Logistics Algorithm

    Xiong, X., Wu, W., Li, N., Tu, D., Xu, S., Zhang, J. & Wei, Z., Oct 30 2020, 2020 IEEE International Conference on Networking, Sensing and Control, ICNSC 2020. Institute of Electrical and Electronics Engineers Inc., 9238063. (2020 IEEE International Conference on Networking, Sensing and Control, ICNSC 2020).

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

  • User response driven content understanding with causal inference

    Tan, F., Wei, Z., Pani, A. & Yan, Z., Nov 2019, Proceedings - 19th IEEE International Conference on Data Mining, ICDM 2019. Wang, J., Shim, K. & Wu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1324-1329 6 p. 8970927. (Proceedings - IEEE International Conference on Data Mining, ICDM; vol. 2019-November).

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

    2 Scopus citations
  • Using aggregate taxonomies to summarize SNOMED CT evolution

    Ochs, C., Perl, Y., Geller, J. & Musen, M., Dec 16 2015, Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015. Schapranow, L. M., Zhou, J., Hu, X. T., Ma, B., Rajasekaran, S., Miyano, S., Yoo, I., Pierce, B., Shehu, A., Gombar, V. K., Chen, B., Pai, V. & Huan, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1008-1015 8 p. 7359822. (Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015).

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

    7 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., Nov 14 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
  • Using Contour-Direction Features to Speed Up Character Recognition

    Shih, F. Y. & Hsu, P. H., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 2. Wang, P. P. & Wang, P. P. (eds.). 2 ed. p. 200-203 4 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 2).

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

  • Using internet glossaries to determine interests from home pages

    Portscher, E., Geller, J. & Scherl, R., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bauknecht, K., Min Tjoa, A. & Quirchmayr, G. (eds.). Springer Verlag, p. 248-258 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2738).

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

    2 Scopus citations
  • Using invariant functions and invariant relations to compute loop functions

    Labed Jilani, L., Mraihi, O., Louhichi, A., Ghardallou, W. & Mili, A., 2010, ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. p. 317-318 2 p. (Proceedings - International Conference on Software Engineering; vol. 2).

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