ACM Transactions on Software Engineering and Methodology

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.

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.

Acta Cybernetica

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.

Applied Soft Computing

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.

Case Studies on Transport Policy

Zhe, S. and Mengqiu, C. and Han, Tingting and Robin, H. (2019) Public transport accessibility and housing value uplift: evidence from the Docklands Light Railway in London. Case Studies on Transport Policy 7 (3), pp. 607-616. ISSN 2213‐624X.

Electronic Notes in Theoretical Computer Science

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. (2003) Intensionality of modal logic for robust ambient calculus. Electronic Notes in Theoretical Computer Science 85 (1), pp. 25-38. ISSN 1571-0661.

Empirical Software Engineering

Yang, G. and Zhou, Y. and Chen, X. and Zhang, X. and Xu, Y. and Han, Tingting and Chen, Taolue (2023) A syntax-guided multi-task learning approach for Turducken-style code generation. Empirical Software Engineering 28 , ISSN 1382-3256.

Frontiers of Computer Science

Zhou, Y. and Zhou, N. and Han, Tingting and Gu, J. and Wu, W. (2018) Probabilistic verification of hierarchical leader election protocols in dynamic systems. Frontiers of Computer Science 12 (4), pp. 763-776. ISSN 2095-2228.

IEEE Transactions on Software Engineering

Han, Tingting and Katoen, J.-P. and Berteun, D. (2009) Counterexample generation in probabilistic model checking. IEEE Transactions on Software Engineering 35 (2), pp. 241-257. ISSN 0098-5589.

IET Biometrics

Omar, R.R. and Han, Tingting and Al-Sumaidaee, S.A.M. and Chen, Taolue (2018) Deep finger texture learning for verifying people. IET Biometrics 8 (1), pp. 40-48. ISSN 2047-4938.

IET Signal Processing

Al-Nima, R.R.O. and Al-Kaltakchi, M.T.S. and Al-Sumaidaee, S.A.M. and Dlay, S.S. and Woo, W.L. and Han, Tingting and Chambers, J.A. (2018) Personal verification based on multi-spectral finger texture lighting images. IET Signal Processing 12 (9), pp. 1154-1164. ISSN 1751-9683.

IET Software

Zhou, Y. and Han, Tingting and Chen, Taolue and Zhou, S. (2020) Probabilistic analysis of QoS-aware service composition with Explicit Environment Models. IET Software 14 (1), pp. 59-71. ISSN 1751-8806.

Information Processing Letters

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.

International Journal of Approximate Reasoning

Wu, H. and Chen, Taolue and Han, Tingting and Chen, Y. (2018) Bisimulations for Fuzzy Transition Systems revisited. International Journal of Approximate Reasoning 99 , pp. 1-11. ISSN 0888-613X.

Iraqi Journal of Information & Communications Technology

Al-Kaltakchi, M. and Omar, R. and Abdullah, H. and Han, Tingting and Chambers, J. (2019) Finger texture verification systems based on multiple spectrum lighting sensors with four fusion levels. Iraqi Journal of Information & Communications Technology 1 (3), pp. 1-16. ISSN 2222-758X.

Journal of Systems and Software

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.

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.

Logical Methods in Computer Science

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.

Science China Information Sciences

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.

Science of Computer Programming

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.

Theoretical Computer Science

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.