2003

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.

2004

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.

2005

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.

2006

Chen, Taolue and Fokkink, W.J. and Nain, S. (2006) On finite alphabets and infinite bases II: completed and ready simulation. In: Aceto, L. and Ingolfsdottir, A. (eds.) Foundations of Software Science and Computation Structures, 9th International Conference, {FOSSACS} 2006. Springer, pp. 1-15. ISBN 9783540330455.

Chen, Taolue and Fokkink, W.J. (2006) On finite alphabets and infinite bases III: simulation. In: Baier, C. and Hermanns, H. (eds.) CONCUR 2006: Concurrency Theory: 17th International Conference. Lecture Notes in Computer Science 4137. Springer, pp. 421-434. ISBN 9783540373766.

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.

Aceto, L. and Chen, Taolue and Fokkink, W.J. and Ingolfsdottir, A. (2006) On the axiomatizability of priority. In: Bugliesi, M. and Preneel, B. and Sassone, V. and Wegener, I. (eds.) ICALP 2006: Automata, Languages and Programming, 33rd International Colloquium. Lecture Notes in Computer Science 4052. Springer, pp. 480-491. ISBN 9783540359074.

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.

2007

Chen, Taolue and Ploeger, B. and van de Pol, J. and Willemse, Tim A.C. (2007) Equivalence checking for infinite systems using parameterized boolean equation systems. In: Caires, L. and Vasconcelos, V.T. (eds.) CONCUR 2007: Concurrency Theory. Lecture Notes in Computer Science 4703. Springer, pp. 120-135. ISBN 9783540744061.

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.

Chen, Taolue and Lu, J. (2007) Probabilistic alternating-time temporal logic and model checking algorithm. In: Lei, J. (ed.) Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society, pp. 35-39. ISBN 9780769528748.

29 March 2011

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.

27 January 2014

Chen, Taolue and Diciolla, M. and Kwiatkowska, M.Z. and Mereacre, A. (2014) Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Information and Computation 236 , pp. 87-101. ISSN 0890-5401.

14 July 2014

Chen, Taolue and Kiefer, S. (2014) On the total variation distance of labelled Markov chains. In: UNSPECIFIED (ed.) CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, U.S.: ACM, 33:1-33:10. ISBN 9781450328869.

11 December 2014

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.

2015

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.

22 September 2015

Chen, Taolue and Fokkink, W. and van Glabbeek, R.J. (2015) On the axiomatizability of impossible futures. Logical Methods in Computer Science 11 (3), ISSN 1860-5974.

17 December 2015

Su, G. and Feng, Y. and Chen, Taolue and Rosenblum, D.S. (2015) Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters. IEEE Transactions on Software Engineering 42 (7), pp. 623-639. ISSN 0098-5589.

2016

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.

August 2016

Chen, Taolue and Primiero, G. and Raimondi, F. and Rungta, N. (2016) A computationally grounded, weighted doxastic logic. Studia Logica 104 (4), pp. 679-703. ISSN 0039-3215.

2017

Chen, Taolue and Song, Fu and Wu, Zhilin (2017) Formal Reasoning on Infinite Data Values: An Ongoing Quest. In: Bowen, J.P. and Liu, Z. and Zhang, Z. (eds.) Engineering Trustworthy Software Systems - Second International School, {SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Lecture Notes in Computer Science 10215. Springer, pp. 195-257. ISBN 9783319568409.

10 July 2017

Martin, B. and Raimondi, F. and Chen, Taolue and Martin, J. (2017) The packing chromatic number of the infinite square lattice is between 13 and 15. Discrete Applied Mathematics 225 , pp. 136-142. ISSN 0166-218X.

August 2017

Zhou, Y. and Tong, Y. and Chen, Taolue and Han, J. (2017) Augmenting bug localization with part-of-speech and invocation. International Journal of Software Engineering and Knowledge Engineering 27 (6), pp. 925-950. ISSN 0218-1940.

January 2018

Chen, Taolue and Chen, Y. and Hague, M. and Lin, A.W. and Wu, Z. (2018) What is decidable about string constraints with the ReplaceAll function. Proceedings of the ACM on Programming Languages 2 (POPL), ISSN 2475-1421.

28 April 2018

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.

30 May 2018

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.

24 July 2018

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.

1 October 2018

Zhou, Y. and Wang, C. and Yan, X. and Chen, Taolue and Panichella, S. and Gall, H.C. (2018) Automatic detection and repair of directive defects of Java APIs documentation. IEEE Transactions on Software Engineering , ISSN 0098-5589.

January 2019

Chen, Taolue and Hague, M. and Lin, A.W. and Rümmer, P. and Wu, Z. (2019) Decision procedures for path feasibility of string-manipulating programs with complex operations. Proceedings of the ACM on Programming Languages 3 (POPL), pp. 1-30. ISSN 2475-1421.

18 May 2019

Al-Nima, R. and Han, Tingting and Chen, Taolue (2019) Road tracking using deep reinforcement learning for self-driving car applications. In: The 11th International Conference on Computer Recognition Systems, 20-22 May 2019, Polanica-Zdroj, Poland.

1 February 2020

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.

13 July 2020

Gao, P. and Xie, H. and Sun, P. and Song, F. and Chen, Taolue (2020) Formal Verification of Masking Countermeasures for Arithmetic Programs. IEEE Transactions on Software Engineering , ISSN 0098-5589.

October 2020

Wang, Y.-H. and Li, Z.-N. and Xu, J.W. and Yu, P. and Chen, Taolue and Ma, X.X. (2020) Predicted robustness as QoS for Deep Neural Network Models. Journal of Computer Science and Technology 35 (5), pp. 999-1015. ISSN 1000-9000.

June 2021

Zhao, H. and Zeng, X. and Chen, Taolue and Liu, Z. and Woodcock, J. (2021) Learning safe neural network controllers with barrier certificates. Formal Aspects of Computing 33 (3), pp. 437-455. ISSN 0934-5043.

July 2021

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.

Gao, P. and Xie, H. and Song, F. and Chen, Taolue (2021) A hybrid approach to formal verification of higher-order masked arithmetic programs. ACM Transactions on Software Engineering and Methodology 30 (3), 26:1-26:42.

21 July 2021

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.

December 2021

Zhou, Y. and Su, Y. and Chen, Taolue and Huang, Z. and Gall, H.C. and Panichella, S. (2021) User review-based change file localization for mobile applications. IEEE Transactions on Software Engineering 47 (12), pp. 2755-2770. ISSN 0098-5589.

12 January 2022

Chen, Taolue and Hague, M. and Flores-Lamas, A. and Han, Z. and Hu, D. and Kan, S. and Lin, A. and Wu, Z. (2022) Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proceedings of the ACM on Programming Languages 6 (POPL), pp. 1-31. ISSN 2475-1421.

June 2022

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.

Zhou, Y. and Yang, X. and Chen, Taolue and Huang, Z. and Ma, X. and Gall, H.C. (2022) Boosting API recommendation with implicit feedback. IEEE Transactions on Software Engineering 48 (6), pp. 2157-2172. ISSN 0098-5589.

12 July 2022

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.

1 December 2022

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.

12 January 2023

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.

27 April 2023

Zhang, Yedi and Zhao, Zhe and Chen, Guangke and Song, Fu and Chen, Taolue (2023) Precise quantitative analysis of binarized neural networks: a BDD-based approach. ACM Transactions on Software Engineering and Methodology 32 (3), 62:1-62:51. ISSN 1049-331X.

14 October 2023

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.

21 December 2023

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.

January 2024

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.