Authors
Tian Huat Tan
Publication date
2013
Journal
Conference on Formal Engineering Methods (ICFEM)
Volume
313
Pages
328
Description
Manman Chen Page 1 Manman Chen Contact Information National University of Singapore
Computing 1, 13 Computing Drive Email: [email protected] Singapore 117417
Research Interests Software verification and synthesis, software optimization, Satisfiability
Modulo Theories (SMT) Education Ph.D., Computer Science, National University of Singapore,
Expected 2015 • Thesis Topic: Formal Analysis of Web Service Composition • Advisor: Jin
Song Dong BS, Software Engineering, Nanjing University 2011 Refereed Conference Papers
Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, and Jin Song Dong. VeriWS: A Tool for
Verification of Combined Functional and Non-functional Requirements of Web Service
Composition. The 36th International Conference on Software Engineering (ICSE). 564-567,
2014. Tian Huat Tan, Manman Chen, Etienne Andre, Jun Sun, Yang Liu and Jin Song Dong. …
Scholar articles
TH Tan - Conference on Formal Engineering Methods (ICFEM), 2013