Qingping Tan - RankMe

61 papers B 1C 15Misc 3Journal 19Unranked 23

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Quantitative cyber-physical security analysis methodology for industrial control systems based on incomplete information Bayesian game. Comput. Secur. Xiaoxue Liu, Jiexin Zhang, Peidong Zhu, Qingping Tan, Wei Yin
2020	J	`jnl`	Towards functional verifying a family of systemC TLMs. Frontiers Comput. Sci. Tun Li, Jun Ye, Qingping Tan
2019	J	`jnl`	EBSCN: An Error Backtracking Method for Soft Errors Based on Clustering and a Neural Network. IEEE Access Nan Zhang, Jianjun Xu, Xiankai Meng, Qingping Tan
2018	J	`jnl`	Character Feature Learning for Named Entity Recognition. IEICE Trans. Inf. Syst. Ping Zeng, Qingping Tan, Haoyu Zhang, Xiankai Meng, Zhuo Zhang, Jianjun Xu, Yan Lei
2018	J	`jnl`	Modeling Complex Relationship Paths for Knowledge Graph Completion. IEICE Trans. Inf. Syst. Ping Zeng, Qingping Tan, Xiankai Meng, Haoyu Zhang, Jianjun Xu
2017	J	`jnl`	Deep Learning-Based Fault Localization with Contextual Information. IEICE Trans. Inf. Syst. Zhuo Zhang, Yan Lei, Qingping Tan, Xiaoguang Mao, Ping Zeng, Xi Chang
2016	C	`conf`	Masking Soft Errors with Static Bitwise Analysis. APSEC Jianjun Xu, Xiankai Meng, Qingping Tan, Jingling Xue
2015	—	`conf`	An efficient approach to detect and correct control-flow errors for linear assembly. BMEI Yuanqiang Qiu, Qingping Tan, Jianjun Xu, Yuxiang Zhao
2015	—	`conf`	Equivalence checking of scheduling in high-level synthesis. ISQED Tun Li, Jian Hu, Yang Guo, Sikun Li, Qingping Tan
2014	B	`conf`	Exploiting Narrow Data-Width to Mask Soft Errors in Register Files. SAFECOMP Jianjun Xu, Qingping Tan, Zeming Shao, Hong Ning
2014	—	`conf`	Service Adaptability Analysis across Semantics and Behavior Levels Based on Model Transformation. ER Workshops GuoRong Cao, Qingping Tan, Xiaoyan Xue, Wei Zhou, Yongyong Dai
2013	J	`jnl`	A dynamic approach to tolerate soft errors. Clust. Comput. Lei Xiong, Qingping Tan
2013	Misc	`conf`	An instruction-level fine-grained recovery approach for soft errors. SAC Jianjun Xu, Qingping Tan, Lanfang Tan, Huiping Zhou
2013	J	`jnl`	Epipe: A low-cost fault-tolerance technique considering WCET constraints. J. Syst. Archit. Jianli Li, Jingling Xue, Xinwei Xie, Qing Wan, Qingping Tan, Lanfang Tan
2013	J	`jnl`	Implementing Low-Cost Fault Tolerance via Hybrid Synchronous/Asynchronous Checks. J. Circuits Syst. Comput. Jianli Li, Qingping Tan, Lanfang Tan
2013	Misc	`conf`	REE: Exploiting idempotent property of applications for fault detection and recovery. ICNC Jianli Li, Qingping Tan, Lanfang Tan, Tongchuan Xin
2013	—	`conf`	SmartInjector: Exploiting intelligent fault injection for SDC rate analysis. DFTS Jianli Li, Qingping Tan
2012	J	`jnl`	An approach to analyze effects of soft errors on program level. Math. Comput. Model. Lei Xiong, Qingping Tan
2012	—	`conf`	Automatic instruction-level recovery by duplicated instructions and checkpointing. BMEI Lanfang Tan, Qingping Tan, Jianjun Xu
2012	J	`jnl`	Exploration of the effects of soft errors from dynamic software behaviours. IET Softw. Lei Xiong, Qingping Tan, Z. Shao
2012	J	`jnl`	Formal proof of integer adders using all-prefix-sums operation. Sci. China Inf. Sci. Feng Liu, Qingping Tan, Otmane Aït Mohamed
2012	J	`jnl`	Formal verification of signature-monitoring mechanisms by model checking. Comput. Sci. Inf. Syst. Lanfang Tan, Qingping Tan, Jianjun Xu, Huiping Zhou
2012	—	`conf`	Transient-Error Detection and Recovery via Reverse Computation and Checkpointing. CLUSTER Workshops Lanfang Tan, Qingping Tan, Jianjun Xu, Jianli Li
2011	C	`conf`	An Approach to Analyze Effects of Soft Errors from Dynamic Software Behaviors. HPCC Lei Xiong, Qingping Tan
2011	C	`conf`	Data Flow Error Recovery with Checkpointing and Instruction-Level Fault Tolerance. PDCAT Lei Xiong, Qingping Tan
2011	—	`conf`	Effects of Soft Error to System Reliability. AINA Workshops Lei Xiong, Qingping Tan, Jianjun Xu
2011	—	`conf`	FeatureVerilog: Extending Verilog to Support Feature-Oriented Programming. IPDPS Workshops Jun Ye, Qingping Tan, Tun Li, GuoRong Cao
2011	J	`jnl`	Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems. Comput. J. Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen
2011	C	`conf`	Scheduling Instructions for Soft Errors in Register Files. DASC Jianjun Xu, Qingping Tan, Huiping Zhou
2011	—	`conf`	Separation of communication and computation in SystemC/TLM modeling: A Feature-Oriented approach. ISQED Jun Ye, Qingping Tan, Tun Li
2010	—	`conf`	A Software-Implemented Configurable Control Flow Checking Method. PAAP Jianli Li, Qingping Tan, Jianjun Xu
2010	—	`conf`	AOP-based high-level power estimation in SystemC. ACM Great Lakes Symposium on VLSI Feng Liu, Qingping Tan, Xiaoyu Song, Naeem Abbasi
2010	—	`conf`	Constructing the Hybrid Dithering Matrix with Equal Clustered Dot Density. IMAGAPP/IVAPP Guoliang Xu, Qingping Tan
2010	Misc	`conf`	Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. TASE Jianjun Xu, Qingping Tan, Wanwei Liu
2010	C	`conf`	Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib. FDL Jun Ye, Qingping Tan, Tun Li, Bin Wu, Yuanru Meng
2010	J	`jnl`	Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. IET Comput. Digit. Tech. Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu
2010	J	`jnl`	Formal Analysis of End-Around-Carry Adder in Floating-Point Unit. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen
2010	—	`conf`	Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. ICA3PP (1) Feng Liu, Qingping Tan, Xiaoyu Song, Gang Chen
2010	J	`jnl`	Formal proof of prefix adders. Math. Comput. Model. Feng Liu, Qingping Tan, Gang Chen
2009	C	`conf`	A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, Qingping Tan
2009	—	`conf`	A case study on system-level modeling by aspect-oriented programming. ISQED Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, Qingping Tan
2009	—	`conf`	Modeling and Analyzing Web Service Behavior with Regular Flow Nets. WISM JinGang Xie, Qingping Tan, GuoRong Cao
2009	C	`conf`	The Instruction Scheduling for Soft Errors Based on Data Flow Analysis. PRDC Jianjun Xu, Qingping Tan, Rui Shen
2009	C	`conf`	The application of Aspectual Feature Module in the development and verification of SystemC models. FDL Jun Ye, Tun Li, Qingping Tan
2008	C	`conf`	A Novel Optimum Data Duplication Approach for Soft Error Detection. APSEC Jianjun Xu, Qingping Tan, Rui Shen
2008	C	`conf`	PRASE: An Approach for Program Reliability Analysis with Soft Errors. PRDC Jianjun Xu, Rui Shen, Qingping Tan
2008	—	`conf`	Security Broadcast Based on Linear Network Coding in WSN. CSSE (3) Zhengjian Zhu, Qingping Tan, Peidong Zhu, Qianbing Zheng
2008	—	`conf`	Utility-Function-Based Self-Adaptation in Elevator Group Control System. CSSE (1) Hao Wu, Qingping Tan
2007	—	`conf`	A Stream-Data Oriented Secure Routing Protocol in Wireless Sensor Networks. MSN Zhengjian Zhu, Qingping Tan, Peidong Zhu
2007	J	`jnl`	A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Trans. Design Autom. Electr. Syst. Gang Chen, Xiaoyu Song, Feng Liu, Qingping Tan, Fei He
2007	C	`conf`	An Effective Secure Routing for False Data Injection Attack in Wireless Sensor Network. APNOMS Zhengjian Zhu, Qingping Tan, Peidong Zhu
2006	—	`conf`	Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow. SAINT Yanping Yang, Qingping Tan, Yong Xiao, Jinshan Yu, Feng Liu
2006	C	`conf`	Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. EUC Jinshan Yu, Tun Li, Yang Guo, Qingping Tan
2006	C	`conf`	Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. APWeb Yanping Yang, Qingping Tan, Yong Xiao, Feng Liu, Jinshan Yu
2005	—	`conf`	Model Transformation Based Verification of Web Services Composition. GCC Yanping Yang, Qingping Tan, Yong Xiao
2005	C	`conf`	Setup Algorithm of Web Service Composition. ICA3PP Yanping Yang, Qingping Tan, Yong Xiao
2005	—	`conf`	Transformation-Driven Development of Composite Web Services. ISPA Workshops Yanping Yang, Qingping Tan, Yong Xiao
2005	—	`conf`	Verifying Web Services Composition. ER (Workshops) Yanping Yang, Qingping Tan, Yong Xiao
2005	C	`conf`	Verifying Web Services Composition: A Transformation-Based Approach. PDCAT Yanping Yang, Qingping Tan, Yong Xiao, Jinshan Yu, Feng Liu
2005	—	`conf`	Verifying web services composition based on hierarchical colored petri nets. IHIS Yanping Yang, Qingping Tan, Yong Xiao
1997	J	`jnl`	A higher-order unification algorithm for inductive types and dependent types. J. Comput. Sci. Technol. Qingping Tan