QingPing Tan

According to our database, QingPing Tan authored at least 61 papers between 1997 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Quantitative cyber-physical security analysis methodology for industrial control systems based on incomplete information Bayesian game.

Xiaoxue Liu, Jiexin Zhang, Peidong Zhu, Qingping Tan, Wei Yin

Comput. Secur., 2021

2020

Towards functional verifying a family of systemC TLMs.

Tun Li, Jun Ye, Qingping Tan

Frontiers Comput. Sci., 2020

2019

EBSCN: An Error Backtracking Method for Soft Errors Based on Clustering and a Neural Network.

Nan Zhang, Jianjun Xu, Xiankai Meng, Qingping Tan

IEEE Access, 2019

2018

Character Feature Learning for Named Entity Recognition.

Ping Zeng, Qingping Tan, Haoyu Zhang, Xiankai Meng, Zhuo Zhang, Jianjun Xu, Yan Lei

IEICE Trans. Inf. Syst., 2018

Modeling Complex Relationship Paths for Knowledge Graph Completion.

Ping Zeng, Qingping Tan, Xiankai Meng, Haoyu Zhang, Jianjun Xu

IEICE Trans. Inf. Syst., 2018

2017

Deep Learning-Based Fault Localization with Contextual Information.

Zhuo Zhang, Yan Lei, Qingping Tan, Xiaoguang Mao, Ping Zeng, Xi Chang

IEICE Trans. Inf. Syst., 2017

2016

Masking Soft Errors with Static Bitwise Analysis.

Jianjun Xu, Xiankai Meng, QingPing Tan, Jingling Xue

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

Equivalence checking of scheduling in high-level synthesis.

Tun Li, Jian Hu, Yang Guo, Sikun Li, QingPing Tan

Proceedings of the Sixteenth International Symposium on Quality Electronic Design, 2015

An efficient approach to detect and correct control-flow errors for linear assembly.

Yuanqiang Qiu, QingPing Tan, Jianjun Xu, Yuxiang Zhao

Proceedings of the 8th International Conference on Biomedical Engineering and Informatics, 2015

2014

Exploiting Narrow Data-Width to Mask Soft Errors in Register Files.

Jianjun Xu, QingPing Tan, Zeming Shao, Hong Ning

Proceedings of the Computer Safety, Reliability, and Security, 2014

Service Adaptability Analysis across Semantics and Behavior Levels Based on Model Transformation.

GuoRong Cao, QingPing Tan, Xiaoyan Xue, Wei Zhou, Yongyong Dai

Proceedings of the Advances in Conceptual Modeling, 2014

2013

Epipe: A low-cost fault-tolerance technique considering WCET constraints.

Jianli Li, Jingling Xue, Xinwei Xie, Qing Wan, Qingping Tan, Lanfang Tan

J. Syst. Archit., 2013

Implementing Low-Cost Fault Tolerance via Hybrid Synchronous/Asynchronous Checks.

Jianli Li, Qingping Tan, Lanfang Tan

J. Circuits Syst. Comput., 2013

A dynamic approach to tolerate soft errors.

Lei Xiong, Qingping Tan

Clust. Comput., 2013

An instruction-level fine-grained recovery approach for soft errors.

Jianjun Xu, Qingping Tan, Lanfang Tan, Huiping Zhou

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

REE: Exploiting idempotent property of applications for fault detection and recovery.

Jianli Li, Qingping Tan, Lanfang Tan, Tongchuan Xin

Proceedings of the Ninth International Conference on Natural Computation, 2013

SmartInjector: Exploiting intelligent fault injection for SDC rate analysis.

Jianli Li, Qingping Tan

Proceedings of the 2013 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2013

2012

An approach to analyze effects of soft errors on program level.

Lei Xiong, Qingping Tan

Math. Comput. Model., 2012

Exploration of the effects of soft errors from dynamic software behaviours.

Lei Xiong, Qingping Tan, Z. Shao

IET Softw., 2012

Formal verification of signature-monitoring mechanisms by model checking.

Lanfang Tan, Qingping Tan, Jianjun Xu, Huiping Zhou

Comput. Sci. Inf. Syst., 2012

Formal proof of integer adders using all-prefix-sums operation.

Feng Liu, QingPing Tan, Otmane Aït Mohamed

Sci. China Inf. Sci., 2012

Transient-Error Detection and Recovery via Reverse Computation and Checkpointing.

Lanfang Tan, Qingping Tan, Jianjun Xu, Jianli Li

Proceedings of the 2012 IEEE International Conference on Cluster Computing Workshops, 2012

Automatic instruction-level recovery by duplicated instructions and checkpointing.

Lanfang Tan, Qingping Tan, Jianjun Xu

Proceedings of the 5th International Conference on BioMedical Engineering and Informatics, 2012

2011

Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems.

Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen

Comput. J., 2011

Data Flow Error Recovery with Checkpointing and Instruction-Level Fault Tolerance.

Lei Xiong, Qingping Tan

Proceedings of the 12th International Conference on Parallel and Distributed Computing, 2011

Separation of communication and computation in SystemC/TLM modeling: A Feature-Oriented approach.

Jun Ye, QingPing Tan, Tun Li

Proceedings of the 12th International Symposium on Quality Electronic Design, 2011

FeatureVerilog: Extending Verilog to Support Feature-Oriented Programming.

Jun Ye, Qingping Tan, Tun Li, GuoRong Cao

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

An Approach to Analyze Effects of Soft Errors from Dynamic Software Behaviors.

Lei Xiong, Qingping Tan

Proceedings of the 13th IEEE International Conference on High Performance Computing & Communication, 2011

Scheduling Instructions for Soft Errors in Register Files.

Jianjun Xu, Qingping Tan, Huiping Zhou

Proceedings of the IEEE Ninth International Conference on Dependable, 2011

Effects of Soft Error to System Reliability.

Lei Xiong, Qingping Tan, Jianjun Xu

Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011

2010

Formal Analysis of End-Around-Carry Adder in Floating-Point Unit.

Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Formal proof of prefix adders.

Feng Liu, Qingping Tan, Gang Chen

Math. Comput. Model., 2010

Field programmable gate array prototyping of end-around carry parallel prefix tree architectures.

Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu

IET Comput. Digit. Tech., 2010

Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis.

Jianjun Xu, Qingping Tan, Wanwei Liu

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A Software-Implemented Configurable Control Flow Checking Method.

Jianli Li, Qingping Tan, Jianjun Xu

Proceedings of the Third International Symposium on Parallel Architectures, 2010

Constructing the Hybrid Dithering Matrix with Equal Clustered Dot Density.

Guoliang Xu, Qingping Tan

Proceedings of the IMAGAPP 2010 - Proceedings of the International Conference on Imaging Theory and Applications and IVAPP 2010 - Proceedings of the International Conference on Information Visualization Theory and Applications, Angers, France, May 17, 2010

Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders.

Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen

Proceedings of the Algorithms and Architectures for Parallel Processing, 2010

AOP-based high-level power estimation in SystemC.

Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi

Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib.

Jun Ye, QingPing Tan, Tun Li, Bin Wu, Yuanru Meng

Proceedings of the 2010 Forum on specification & Design Languages, 2010

2009

Modeling and Analyzing Web Service Behavior with Regular Flow Nets.

JinGang Xie, QingPing Tan, GuoRong Cao

Proceedings of the Web Information Systems and Mining, International Conference, 2009

The Instruction Scheduling for Soft Errors Based on Data Flow Analysis.

Jianjun Xu, Qingping Tan, Rui Shen

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

A case study on system-level modeling by aspect-oriented programming.

Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan

Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

The application of Aspectual Feature Module in the development and verification of SystemC models.

Jun Ye, Tun Li, QingPing Tan

Proceedings of the Forum on specification and Design Languages, 2009

A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC.

Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan

Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

2008

PRASE: An Approach for Program Reliability Analysis with Soft Errors.

Jianjun Xu, Rui Shen, Qingping Tan

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Security Broadcast Based on Linear Network Coding in WSN.

Zhengjian Zhu, Qingping Tan, Peidong Zhu, Qianbing Zheng

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Utility-Function-Based Self-Adaptation in Elevator Group Control System.

Hao Wu, Qingping Tan

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

A Novel Optimum Data Duplication Approach for Soft Error Detection.

Jianjun Xu, Qingping Tan, Rui Shen

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems".

Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He

ACM Trans. Design Autom. Electr. Syst., 2007

A Stream-Data Oriented Secure Routing Protocol in Wireless Sensor Networks.

Zhengjian Zhu, Qingping Tan, Peidong Zhu

Proceedings of the Mobile Ad-Hoc and Sensor Networks, Third International Conference, 2007

An Effective Secure Routing for False Data Injection Attack in Wireless Sensor Network.

Zhengjian Zhu, Qingping Tan, Peidong Zhu

Proceedings of the Managing Next Generation Networks and Services, 2007

2006

Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow.

Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu

Proceedings of the 2006 International Symposium on Applications and the Internet (SAINT 2006), 2006

Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation.

Jinshan Yu, Tun Li, Yang Guo, QingPing Tan

Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2006

Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification.

Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu, Jinshan Yu

Proceedings of the Frontiers of WWW Research and Development, 2006

2005

Verifying Web Services Composition: A Transformation-Based Approach.

Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

Transformation-Driven Development of Composite Web Services.

Yanping Yang, QingPing Tan, Yong Xiao

Proceedings of the Parallel and Distributed Processing and Applications, 2005

Verifying web services composition based on hierarchical colored petri nets.

Yanping Yang, QingPing Tan, Yong Xiao

Proceedings of the first international ACM workshop on Interoperability of Heterogeneous Information Systems (IHIS'05), 2005

Setup Algorithm of Web Service Composition.

Yanping Yang, QingPing Tan, Yong Xiao

Proceedings of the Distributed and Parallel Computing, 2005

Model Transformation Based Verification of Web Services Composition.

Yanping Yang, QingPing Tan, Yong Xiao

Proceedings of the Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30, 2005

Verifying Web Services Composition.

Yanping Yang, QingPing Tan, Yong Xiao

Proceedings of the Perspectives in Conceptual Modeling, 2005

1997

A higher-order unification algorithm for inductive types and dependent types.

Qingping Tan

J. Comput. Sci. Technol., 1997