Taolue Chen

Senior Lecturer in Computer Science

Department of Computer Science

Middlesex University

Profile Picture

Latest Additions

  1. Chen, Taolue, Song, Fu and Wu, Zhilin (2017) Formal reasoning on infinite data values: an ongoing quest. Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. In: SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures, 28 Mar - 02 Apr 2016, Chongqing, China. ISBN 9783319568409. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-56841-6_6)
  2. Su, Guoxin, Chen, Taolue, Feng, Yuan and Rosenblum, David S. (2017) ProEva: runtime proactive performance evaluation based on continuous-time markov chains. ICSE '17 Proceedings of the 39th International Conference on Software Engineering. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 20-28 May 2017, Buenos Aires, Argentina. ISBN 9781538638682. ISSN 1558-1225 [Conference or Workshop Item] (doi:10.1109/ICSE.2017.51)
  3. Zhou, Yu, Gu, Ruihang, Chen, Taolue, Huang, Zhiqiu, Panichella, Sebastiano and Gall, Harald C. (2017) Analyzing APIs documentation and code to detect directive defects. ICSE '17: Proceedings of the 39th International Conference on Software Engineering. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 20-28 May 2017, Buenos Aires, Argentina. ISBN 9781538638682. ISSN 1558-1225 [Conference or Workshop Item] (doi:10.1109/ICSE.2017.11)
  4. Martin, Barnaby, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Chen, Taolue and Martin, Jos (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 [Article] (doi:10.1016/j.dam.2017.03.013)
  5. Tong, Yanxiang, Zhou, Yu, Fang, Lisheng and Chen, Taolue (2015) Towards a novel approach for defect localization based on part-of-speech and invocation. Internetware '15: Proceedings of the 7th Asia-Pacific Symposium on Internetware. In: Internetware 2015: 7th Asia-Pacific Symposium on Internetware, 06 Nov 2016, Wuhan, China. ISBN 978-1-4503-3641-3. [Conference or Workshop Item] (doi:10.1145/2875913.2875919)
  6. Chen, Taolue, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2016) A computationally grounded, weighted doxastic logic. Studia Logica, 104 (4) . pp. 679-703. ISSN 0039-3215 [Article] (doi:10.1007/s11225-015-9621-4)
  7. Gu, Jiayi, Zhou, Yu, Wu, Weigang and Chen, Taolue (2015) Analyzing eventual leader election protocols for dynamic systems by probabilistic model checking. Cloud Computing and Security: First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers. In: First International Conference on Cloud Computing and Security (ICCCS 2015), 13-15 Aug 2015, Nanjing, China. ISBN 9783319270500. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-27051-7_17)
  8. Su, Guoxin, Chen, Taolue, Feng, Yuan, Rosenblum, David S. and Thiagarajan, P. S. (2016) An iterative decision-making scheme for Markov decision processes and its application to self-adaptive systems. Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. In: 19th International Conference Fundamental Approaches to Software Engineering (FASE 2016), 02-08 Apr 2016, Eindhoven, The Netherlands. pbk-ISBN 9783662496640, e-ISBN 9783662496657. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-662-49665-7_16)
  9. Su, Guoxin, Feng, Yuan, Chen, Taolue and Rosenblum, David S. (2016) 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 [Article] (doi:10.1109/TSE.2015.2508444)
  10. Gu, Xincai, Chen, Taolue and Wu, Zhilin (2016) A complete decision procedure for linearly compositional separation logic with data constraints. Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings. In: IJCAR 2016: 8th International Joint Conference on Automated Reasoning, 27 Jun - 02 Jul 2016, University of Coimbra, Portugal. ISBN 9783319402284. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-40229-1_36)