Browse by Staff

Liu, S. and Zhou, Y. and Ji, L. and Han, Tingting and Chen, Taolue (2024) Enhancing test reuse with GUI events deduplication and adaptive semantic matching. Science of Computer Programming 232 (103052), ISSN 0167-6423.

Zhou, Y. and Zhan, W. and Li, Z. and Han, Tingting and Chen, Taolue and Gall, H. (2023) DRIVE: Dockerfile Rule Mining and Violation Detection. ACM Transactions on Software Engineering and Methodology 33 (2), pp. 1-23. ISSN 1049-331X.

Yu, Z. and Chen, C. and Yongchao, W. and Han, Tingting and Chen, Taolue (2023) Context-aware API recommendation using tensor factorization. Science China Information Sciences , ISSN 1869-1919.

Yang, G. and Zhou, Y. and Chen, X. and Zhang, X. and Han, Tingting and Chen, Taolue (2022) ExploitGen: template-augmented exploit code generation based on CodeBERT. Journal of Systems and Software , ISSN 0164-1212.

Zhou, Y. and Zhang, Q. and Shen, J. and Han, Tingting and Chen, Taolue and Gall, H. (2022) Adversarial robustness of deep code comment generation. ACM Transactions on Software Engineering and Methodology 31 (4), pp. 1-30. ISSN 1049-331X.

Yu, Z. and Shen, J. and Zhang, X. and Yang, W. and Han, Tingting and Chen, Taolue (2022) Automatic source code summarization with graph attention networks. Journal of Systems and Software 188 , ISSN 0164-1212.

Al-Obaidi, A. and Al-Nima, R. and Han, Tingting (2022) Interpreting Arabic Sign Alphabet by using the Deep Learning. In: International Conference on Sustainable Development Techniques, 29-30 Jun 2022, Mosul City, Iraq. (In Press)

Zhang, X. and Zhou, Y. and Han, Tingting and Chen, Taolue (2021) Training deep code comment generation models via data augmentation. In: Internetware '20: 12th Asia-Pacific Symposium on Internetware, 12-14 May 2020, Singapore.

Al-Nima, R. and Han, Tingting and Al-Sumaidaee, S. and Chen, Taolue and Woo, W. (2021) Robustness and performance of Deep Reinforcement Learning. Applied Soft Computing 105 (107295), ISSN 1568-4946.

Chen, Taolue and Han, Tingting and Cao, Y. (2018) Polynomial-time algorithms for computing distances of Fuzzy Transition Systems. Theoretical Computer Science 727 , pp. 24-36. ISSN 0304-3975.

Chen, Taolue and Han, Tingting and Kammueller, F. and Nemli, I. and Probst, C.W. (2016) Model based analysis of insider threats. In: UNSPECIFIED (ed.) Cyber Security And Protection Of Digital Services (Cyber Security), 2016 International Conference On. IEEE Computer Society. ISBN 9781509007097.

Chen, Taolue and Yu, N. and Han, Tingting (2015) Continuous-time orbit problems are decidable in polynomial-time. Information Processing Letters 115 (1), pp. 11-14. ISSN 0020-0190.

Chen, Taolue and Han, Tingting (2014) On the complexity of computing maximum entropy for Markovian Models. In: Raman, V. and Suresh, S.P. (eds.) Proceedings, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). Leibniz International Proceedings In Informatics 29. Wadern, Germany: Dagstuhl, pp. 571-583. ISBN 9783939897774.

Chen, Taolue and Han, Tingting and Katoen, J.-P. and Mereacre, A. and Jagadeesan, R. (2011) Model checking of continuous-time Markov Chains against timed automata specifications. Logical Methods in Computer Science 7 (1), ISSN 1860-5974.

Han, Tingting and Katoen, J.-P. (2007) Counterexamples in probabilistic model checking. In: Grumberg, O. and Huth, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference. Lecture Notes in Computer Science 4424. Springer, pp. 72-86. ISBN 9783540712084.

Chen, Taolue and Han, Tingting and Lu, J. (2007) On behavioral metric for probabilistic systems: definition and approximation algorithm. In: Lei, J. (ed.) FSKD 2007: Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society, pp. 21-25. ISBN 9780769528748.

Cloth, L. and Crouzen, P. and Fruth, M. and Han, Tingting and Jansen, D.N. and Kattenbelt, M. and Smit, G.J.M. and Zhang, L. (2007) Performance measures other than time. In: Haverkort, B.R. and Katoen, J.-P. and Thiele, L. (eds.) Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings 07101. Internationales Begegnungs- und Forschungszentrum fuer Informatik.

Han, Tingting and Katoen, J.-P. (2007) Providing evidence of likely being on time: counterexample generation for CTMC model checking. In: Namjoshi, K.S. and Yoneda, T. and Higashino, T. and Okamura, Y. (eds.) Automated Technology for Verification and Analysis: 5th International Symposium. Lecture Notes in Computer Science 4762. Springer, pp. 331-346. ISBN 9783540755951.

Chen, Taolue and Han, Tingting and Lu, J. (2006) On the Markovian randomized strategy of controller for Markov decision processes. In: Wang, L. and Jiao, L. and Shi, G. and Li, X. and Liu, J. (eds.) FSKD 2006: Fuzzy Systems and Knowledge Discovery, Third International Conference. Lecture Notes in Computer Science 4223. Springer, pp. 149-158. ISBN 9783540459163.

Chen, Taolue and Han, Tingting and Lu, J. (2006) On the complete axiomatization for prefix iteration modulo observation congruence. Acta Cybernetica 17 (3), pp. 471-483. ISSN 0324-721X.

Chen, Taolue and Han, Tingting and Luo, J. (2005) Analysis of a leader election algorithm in /spl mu/CRL. In: Gu, N. and Wei, D. and Xie, Z. and Wang, H. and Wang, S.X. and Shi, B. (eds.) The Fifth International Conference on Computer and Information Technology. IEEE Computer Society, pp. 841-847. ISBN 076952432X.

Chen, Taolue and Han, Tingting and Lu, J. (2005) On the bisimulation congruence in χ-calculus. In: Ramanujam, R. and Sen, S. (eds.) FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science. Lecture Notes in Computer Science 3821. Springer, pp. 128-139. ISBN 9783540324195.

Han, Tingting and Chen, Taolue and Lu, J. (2005) Structure analysis for dynamic software architecture. In: Chung, L. and Song, Y.-T. (eds.) Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. IEEE Computer Society. ISBN 0769522947.

Han, Tingting and Chen, Taolue and Lu, J. (2005) Structure analysis for dynamic software architecture based on spatial logic. In: UNSPECIFIED (ed.) COMPSAC 2005: 29th Annual International Computer Software and Applications Conference. IEEE Computer Society, pp. 71-76. ISBN 0769524133.

Chen, Taolue and Han, Tingting and Lu, J. (2005) A modal logic for pi-calculus and model checking algorithm. Electronic Notes in Theoretical Computer Science 123 (1), pp. 19-33. ISSN 1571-0661.

Chen, Taolue and Zhou, J. and Han, Tingting and Lu, J. (2004) Checking strong open congruence in χ-calculus. Electronic Notes in Theoretical Computer Science 91 , pp. 4-20. ISSN 1571-0661.

Chen, Taolue and Han, Tingting and Lu, J. (2004) Framework of performance evaluation for mobile process based on mobile ambient. In: Wei, D. and Wang, H. and Peng, Z. and Kara, A. and He, Y. (eds.) International Conference on Computer and Information Technology. IEEE Computer Society, pp. 540-545. ISBN 0769522165.

Chen, Taolue and Han, Tingting and Lu, J. (2004) Towards a model logic for p-calculus. In: UNSPECIFIED (ed.) COMPSAC 2004: 28th International Computer Software and Applications Conference: Design and Assessment of Trustworthy Software-Based Systems. IEEE Computer Society, pp. 330-335. ISBN 0769522092.

Chen, Taolue and Han, Tingting and Lu, J. (2004) Tree logic with recursion and model checking algorithm. In: Hamza, M.H. (ed.) Proceedings of the IASTED Conference on Software Engineering and Applications. IASTED/ACTA Press, pp. 588-593. ISBN 088986425X.

Chen, Taolue and Han, Tingting and Lu, J. (2003) Intensionality of modal logic for robust ambient calculus. Electronic Notes in Theoretical Computer Science 85 (1), pp. 25-38. ISSN 1571-0661.