PAT's bib database
@article{10.1109/SSIRI-C.2010.20,
author = {Tian Huat Tan},
title = {Towards Verification of a Service Orchestration Language},
journal ={Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on},
volume = {0},
isbn = {978-0-7695-4087-0},
year = {2010},
pages = {36-37},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.20},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@inproceedings{SunLDPT10,
author = {Jun Sun and Yang Liu and
Jin Song Dong and Geguang Pu and Tian Huat Tan},
title = {Model-based Methods for Linking Web Service Choreography and Orchestration},
year = {2010},
pages = {166 - 175},
booktitle = {APSEC 2010},
year = {2010},
}
@inproceedings{Tan0SD11,
author = {Tian Huat Tan and
Yang Liu and
Jun Sun and
Jin Song Dong},
title = {Verification of Orchestration Systems Using Compositional Partial Order Reduction},
booktitle = {Formal Methods and Software Engineering},
series = {Lecture Notes in Computer Science},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-24558-9},
pages = {98-114},
volume = {6991},
year = {2011}
}
@inproceedings{TanA00DC13,
author = {Tian Huat Tan and
{\'E}tienne Andr{\'e} and
Jun Sun and
Yang Liu and
Jin Song Dong and
Manman Chen},
title = {Dynamic synthesis of local time requirement for service
composition},
booktitle = {ICSE},
year = {2013},
pages = {542-551}
}
@inproceedings{DBLP:conf/icfem/ChenT0LPL13,
author = {Manman Chen and
Tian Huat Tan and
Jun Sun and
Yang Liu and
Jun Pang and
Xiaohong Li},
title = {Verification of Functional and Non-functional Requirements of Web
Service Composition},
booktitle = {Formal Methods and Software Engineering - 15th International Conference
on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
October 29 - November 1, 2013, Proceedings},
pages = {313--328},
year = {2013}
}
@inproceedings{DBLP:conf/www/TanCA0LD14,
author = {Tian Huat Tan and
Manman Chen and
{\'{E}}tienne Andr{\'{e}} and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {Automated runtime recovery for QoS-based service composition},
booktitle = {23rd International World Wide Web Conference, {WWW} '14, Seoul, Republic
of Korea, April 7-11, 2014},
pages = {563--574},
year = {2014}
}
@inproceedings{DBLP:conf/icse/ChenT0LD14,
author = {Manman Chen and
Tian Huat Tan and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {VeriWS: a tool for verification of combined functional and non-functional
requirements of web service composition},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
pages = {564--567},
year = {2014}
}
@inproceedings{DBLP:conf/fm/LiTC14,
author = {Yi Li and
Tian Huat Tan and
Marsha Chechik},
title = {Management of Time Requirements in Component-Based Systems},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
pages = {399--415},
year = {2014}
}
@inproceedings{DBLP:conf/issta/TanXCSLD15,
author = {Tian Huat Tan and
Yinxing Xue and
Manman Chen and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {Optimizing selection of competing features via feedback-directed evolutionary
algorithms},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {246--256},
year = {2015}
}
inproceedings{DBLP:conf/ccs/WangX0T15,
author = {Junjie Wang and
Yinxing Xue and
Yang Liu and
Tian Huat Tan},
title = {{JSDC:} {A} Hybrid Approach for JavaScript Malware Detection and Classification},
booktitle = {Proceedings of the 10th {ACM} Symposium on Information, Computer and
Communications Security, {ASIA} {CCS} '15, Singapore, April 14-17,
2015},
pages = {109--120},
year = {2015}
}
}
@inproceedings{DBLP:conf/icse/TanCSLAXD16,
author = {Tian Huat Tan and
Manman Chen and
Jun Sun and
Yang Liu and
{\'{E}}tienne Andr{\'{e}} and
Yinxing Xue and
Jin Song Dong},
title = {Optimizing selection of competing services with probabilistic hierarchical
refinement},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {85--95},
year = {2016}
}
@inproceedings{DBLP:conf/icse/TanXCLYS17,
author = {Tian Huat Tan and
Yinxing Xue and
Manman Chen and
Shuang Liu and
Yi Yu and
Jun Sun},
title = {JSFox: integrating static and dynamic type analysis of JavaScript
programs},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {256--258},
year = {2017},
crossref = {DBLP:conf/icse/2017c},
url = {https://doi.org/10.1109/ICSE-C.2017.91},
doi = {10.1109/ICSE-C.2017.91},
timestamp = {Fri, 07 Jul 2017 14:06:36 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/icse/TanXCLYS17},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tifs/XueM0TC0Z17,
author = {Yinxing Xue and
Guozhu Meng and
Yang Liu and
Tian Huat Tan and
Hongxu Chen and
Jun Sun and
Jie Zhang},
title = {Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic
Loading Technique},
journal = {{IEEE} Trans. Information Forensics and Security},
volume = {12},
number = {7},
pages = {1529--1544},
year = {2017},
url = {https://doi.org/10.1109/TIFS.2017.2661723},
doi = {10.1109/TIFS.2017.2661723},
timestamp = {Fri, 12 May 2017 13:40:47 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/tifs/XueM0TC0Z17},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PengGT0YNZ16,
author = {Xin Peng and
Jingxiao Gu and
Tian Huat Tan and
Jun Sun and
Yijun Yu and
Bashar Nuseibeh and
Wenyun Zhao},
title = {CrowdService: serving the individuals through mobile crowdsourcing
and service composition},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {214--219},
year = {2016},
crossref = {DBLP:conf/kbse/2016},
url = {http://doi.acm.org/10.1145/2970276.2970334},
doi = {10.1145/2970276.2970334},
timestamp = {Sun, 30 Apr 2017 09:41:36 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/kbse/PengGT0YNZ16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenTSWL0D16,
author = {Manman Chen and
Tian Huat Tan and
Jun Sun and
Jingyi Wang and
Yang Liu and
Jing Sun and
Jin Song Dong},
title = {Service Adaptation with Probabilistic Partial Models},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
pages = {122--140},
year = {2016},
crossref = {DBLP:conf/icfem/2016},
url = {https://doi.org/10.1007/978-3-319-47846-3_9},
doi = {10.1007/978-3-319-47846-3_9},
timestamp = {Sun, 21 May 2017 00:19:12 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/icfem/ChenTSWL0D16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/NguyenTSLLCD16,
author = {Truong Khanh Nguyen and
Tian Huat Tan and
Jun Sun and
Jiaying Li and
Yang Liu and
Manman Chen and
Jin Song Dong},
title = {Scaling BDD-based Timed Verification with Simulation Reduction},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
pages = {363--382},
year = {2016},
crossref = {DBLP:conf/icfem/2016},
url = {https://doi.org/10.1007/978-3-319-47846-3_23},
doi = {10.1007/978-3-319-47846-3_23},
timestamp = {Sun, 21 May 2017 00:19:12 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/icfem/NguyenTSLLCD16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/asc/XueZT0CC016,
author = {Yinxing Xue and
Jinghui Zhong and
Tian Huat Tan and
Yang Liu and
Wentong Cai and
Manman Chen and
Jun Sun},
title = {{IBED:} Combining {IBEA} and {DE} for optimal feature selection in
software product line engineering},
journal = {Appl. Soft Comput.},
volume = {49},
pages = {1215--1231},
year = {2016},
url = {https://doi.org/10.1016/j.asoc.2016.07.040},
doi = {10.1016/j.asoc.2016.07.040},
timestamp = {Fri, 26 May 2017 22:54:24 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/asc/XueZT0CC016},
bibsource = {dblp computer science bibliography, http://dblp.org}
}