QingPing Tan

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 3

Top Topics

Workflow Management Systems

Error Minimization

Top Venues

Sci. China Inf. Sci.

Publications

Jianjun Xu, Xiankai Meng, QingPing Tan, Jingling Xue
Masking Soft Errors with Static Bitwise Analysis. APSEC (2016)
Tun Li, Jian Hu, Yang Guo, Sikun Li, QingPing Tan
Equivalence checking of scheduling in high-level synthesis. ISQED (2015)
Yuanqiang Qiu, QingPing Tan, Jianjun Xu, Yuxiang Zhao
An efficient approach to detect and correct control-flow errors for linear assembly. BMEI (2015)
GuoRong Cao, QingPing Tan, Xiaoyan Xue, Wei Zhou, Yongyong Dai
Service Adaptability Analysis across Semantics and Behavior Levels Based on Model Transformation. ER Workshops (2014)
Jianjun Xu, QingPing Tan, Zeming Shao, Hong Ning
Exploiting Narrow Data-Width to Mask Soft Errors in Register Files. SAFECOMP (2014)
Feng Liu, QingPing Tan, Otmane Aït Mohamed
Formal proof of integer adders using all-prefix-sums operation. Sci. China Inf. Sci. 55 (9) (2012)
Jun Ye, QingPing Tan, Tun Li
Separation of communication and computation in SystemC/TLM modeling: A Feature-Oriented approach. ISQED (2011)
Jun Ye, QingPing Tan, Tun Li, Bin Wu, Yuanru Meng
Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib. FDL (2010)
Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen
Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. ICA3PP (1) (2010)
Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi
AOP-based high-level power estimation in SystemC. ACM Great Lakes Symposium on VLSI (2010)
Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan
A case study on system-level modeling by aspect-oriented programming. ISQED (2009)
Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan
A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD (2009)
JinGang Xie, QingPing Tan, GuoRong Cao
Modeling and Analyzing Web Service Behavior with Regular Flow Nets. WISM (2009)
Jun Ye, Tun Li, QingPing Tan
The application of Aspectual Feature Module in the development and verification of SystemC models. FDL (2009)
Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He
A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Trans. Design Autom. Electr. Syst. 12 (4) (2007)
Jinshan Yu, Tun Li, Yang Guo, QingPing Tan
Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. EUC (2006)
Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu, Jinshan Yu
Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. APWeb (2006)
Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow. SAINT (2006)
Yanping Yang, QingPing Tan, Yong Xiao
Model Transformation Based Verification of Web Services Composition. GCC (2005)
Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu
Verifying Web Services Composition: A Transformation-Based Approach. PDCAT (2005)
Yanping Yang, QingPing Tan, Yong Xiao
Verifying web services composition based on hierarchical colored petri nets. IHIS (2005)
Yanping Yang, QingPing Tan, Yong Xiao
Setup Algorithm of Web Service Composition. ICA3PP (2005)
Yanping Yang, QingPing Tan, Yong Xiao
Transformation-Driven Development of Composite Web Services. ISPA Workshops (2005)
Yanping Yang, QingPing Tan, Yong Xiao
Verifying Web Services Composition. ER (Workshops) (2005)