default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTian Huat Tan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j4]Étienne André
, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. Softw. Syst. Model. 19(4): 983-1013 (2020)- [i1]Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. CoRR abs/2003.08116 (2020)
2010 – 2019
- 2018
- [j3]Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao:
CrowdService: Optimizing Mobile Crowdsourcing and Service Composition. ACM Trans. Internet Techn. 18(2): 19:1-19:25 (2018) - 2017
- [j2]Yinxing Xue, Guozhu Meng, Yang Liu, Tian Huat Tan, Hongxu Chen, Jun Sun, Jie Zhang:
Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique. IEEE Trans. Inf. Forensics Secur. 12(7): 1529-1544 (2017) - [c15]Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun:
JSFox: integrating static and dynamic type analysis of JavaScript programs. ICSE (Companion Volume) 2017: 256-258 - 2016
- [j1]Yinxing Xue, Jinghui Zhong, Tian Huat Tan, Yang Liu, Wentong Cai, Manman Chen, Jun Sun:
IBED: Combining IBEA and DE for optimal feature selection in software product line engineering. Appl. Soft Comput. 49: 1215-1231 (2016) - [c14]Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong:
Service Adaptation with Probabilistic Partial Models. ICFEM 2016: 122-140 - [c13]Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong:
Scaling BDD-based Timed Verification with Simulation Reduction. ICFEM 2016: 363-382 - [c12]Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue, Jin Song Dong:
Optimizing selection of competing services with probabilistic hierarchical refinement. ICSE 2016: 85-95 - [c11]Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao:
CrowdService: serving the individuals through mobile crowdsourcing and service composition. ASE 2016: 214-219 - 2015
- [c10]Junjie Wang, Yinxing Xue, Yang Liu, Tian Huat Tan:
JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification. AsiaCCS 2015: 109-120 - [c9]Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong:
Optimizing selection of competing features via feedback-directed evolutionary algorithms. ISSTA 2015: 246-256 - 2014
- [c8]Yi Li, Tian Huat Tan, Marsha Chechik:
Management of Time Requirements in Component-Based Systems. FM 2014: 399-415 - [c7]Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jin Song Dong:
VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. ICSE Companion 2014: 564-567 - [c6]Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu, Jin Song Dong:
Automated runtime recovery for QoS-based service composition. WWW 2014: 563-574 - 2013
- [c5]Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li:
Verification of Functional and Non-functional Requirements of Web Service Composition. ICFEM 2013: 313-328 - [c4]Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen:
Dynamic synthesis of local time requirement for service composition. ICSE 2013: 542-551 - 2011
- [c3]Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong:
Verification of Orchestration Systems Using Compositional Partial Order Reduction. ICFEM 2011: 98-114 - 2010
- [c2]Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan:
Model-Based Methods for Linking Web Service Choreography and Orchestration. APSEC 2010: 166-175 - [c1]Tian Huat Tan:
Towards Verification of a Service Orchestration Language. SSIRI (Companion) 2010: 36-37
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
