Taolue Chen

Senior Lecturer in Computer Science

Department of Computer Science

Middlesex University

Profile Picture

Latest Additions

  1. Chen, Taolue and Song, Fu and Wu, Zhilin (2017) Formal reasoning on infinite data values: an ongoing quest. In: SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures, 28 Mar - 02 Apr 2016, Chongqing, China.
  2. Su, Guoxin and Chen, Taolue and Feng, Yuan and Rosenblum, David S. (2017) ProEva: runtime proactive performance evaluation based on continuous-time markov chains. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 20-28 May 2017, Buenos Aires, Argentina.
  3. Zhou, Yu and Gu, Ruihang and Chen, Taolue and Huang, Zhiqiu and Panichella, Sebastiano and Gall, Harald C. (2017) Analyzing APIs documentation and code to detect directive defects. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 20-28 May 2017, Buenos Aires, Argentina.
  4. Martin, Barnaby and Raimondi, Franco and 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
  5. Tong, Yanxiang and Zhou, Yu and Fang, Lisheng and Chen, Taolue (2015) Towards a novel approach for defect localization based on part-of-speech and invocation. In: Internetware 2015. (Accepted/In press)
  6. Chen, Taolue and Primiero, Giuseppe and Raimondi, Franco and Rungta, Neha (2016) A computationally grounded, weighted doxastic logic. Studia Logica, 104 (4). pp. 679-703. ISSN 0039-3215
  7. Gu, Jiayi and Zhou, Yu and Wu, Weigang and Chen, Taolue (2015) Analyzing eventual leader election protocols for dynamic systems by probabilistic model checking. In: First International Conference on Cloud Computing and Security (ICCCS 2015), 13-15 Aug 2015, Nanjing, China.
  8. Su, Guoxin and Chen, Taolue and Feng, Yuan and Rosenblum, David S. and Thiagarajan, P. S. (2016) An iterative decision-making scheme for Markov decision processes and its application to self-adaptive systems. In: 19th International Conference Fundamental Approaches to Software Engineering (FASE 2016), 2-8 Apr 2016, Eindhoven, The Netherlands.
  9. Su, Guoxin and Feng, Yuan and 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 (Published online first)
  10. Gu, Xincai and Chen, Taolue and Wu, Zhilin (2016) A complete decision procedure for linearly compositional separation logic with data constraints. In: IJCAR 2016: 8th International Joint Conference on Automated Reasoning, 27 Jun - 02 Jul 2016, University of Coimbra, Portugal.