QingPing Tan

According to our database1, QingPing Tan authored at least 57 papers between 1997 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Character Feature Learning for Named Entity Recognition.
IEICE Transactions, 2018

Modeling Complex Relationship Paths for Knowledge Graph Completion.
IEICE Transactions, 2018

2017
Deep Learning-Based Fault Localization with Contextual Information.
IEICE Transactions, 2017

2016
Masking Soft Errors with Static Bitwise Analysis.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015
Equivalence checking of scheduling in high-level synthesis.
Proceedings of the Sixteenth International Symposium on Quality Electronic Design, 2015

An efficient approach to detect and correct control-flow errors for linear assembly.
Proceedings of the 8th International Conference on Biomedical Engineering and Informatics, 2015

2014
Exploiting Narrow Data-Width to Mask Soft Errors in Register Files.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Service Adaptability Analysis across Semantics and Behavior Levels Based on Model Transformation.
Proceedings of the Advances in Conceptual Modeling, 2014

2013
Epipe: A low-cost fault-tolerance technique considering WCET constraints.
Journal of Systems Architecture - Embedded Systems Design, 2013

Implementing Low-Cost Fault Tolerance via Hybrid Synchronous/Asynchronous Checks.
Journal of Circuits, Systems, and Computers, 2013

A dynamic approach to tolerate soft errors.
Cluster Computing, 2013

An instruction-level fine-grained recovery approach for soft errors.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

REE: Exploiting idempotent property of applications for fault detection and recovery.
Proceedings of the Ninth International Conference on Natural Computation, 2013

SmartInjector: Exploiting intelligent fault injection for SDC rate analysis.
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.
Mathematical and Computer Modelling, 2012

Formal verification of signature-monitoring mechanisms by model checking.
Comput. Sci. Inf. Syst., 2012

Formal proof of integer adders using all-prefix-sums operation.
SCIENCE CHINA Information Sciences, 2012

Transient-Error Detection and Recovery via Reverse Computation and Checkpointing.
Proceedings of the 2012 IEEE International Conference on Cluster Computing Workshops, 2012

Automatic instruction-level recovery by duplicated instructions and checkpointing.
Proceedings of the 5th International Conference on BioMedical Engineering and Informatics, 2012

2011
Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems.
Comput. J., 2011

Data Flow Error Recovery with Checkpointing and Instruction-Level Fault Tolerance.
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.
Proceedings of the 12th International Symposium on Quality Electronic Design, 2011

FeatureVerilog: Extending Verilog to Support Feature-Oriented Programming.
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.
Proceedings of the 13th IEEE International Conference on High Performance Computing & Communication, 2011

Scheduling Instructions for Soft Errors in Register Files.
Proceedings of the IEEE Ninth International Conference on Dependable, 2011

Effects of Soft Error to System Reliability.
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.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2010

Formal proof of prefix adders.
Mathematical and Computer Modelling, 2010

Field programmable gate array prototyping of end-around carry parallel prefix tree architectures.
IET Computers & Digital Techniques, 2010

Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A Software-Implemented Configurable Control Flow Checking Method.
Proceedings of the Third International Symposium on Parallel Architectures, 2010

Constructing the Hybrid Dithering Matrix with Equal Clustered Dot Density.
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.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2010

AOP-based high-level power estimation in SystemC.
Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

2009
Modeling and Analyzing Web Service Behavior with Regular Flow Nets.
Proceedings of the Web Information Systems and Mining, International Conference, 2009

The Instruction Scheduling for Soft Errors Based on Data Flow Analysis.
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.
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.
Proceedings of the Forum on specification and Design Languages, 2009

A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC.
Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

2008
PRASE: An Approach for Program Reliability Analysis with Soft Errors.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Security Broadcast Based on Linear Network Coding in WSN.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Utility-Function-Based Self-Adaptation in Elevator Group Control System.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

A Novel Optimum Data Duplication Approach for Soft Error Detection.
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".
ACM Trans. Design Autom. Electr. Syst., 2007

A Stream-Data Oriented Secure Routing Protocol in Wireless Sensor Networks.
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.
Proceedings of the Managing Next Generation Networks and Services, 2007

2006
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow.
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.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2006

Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification.
Proceedings of the Frontiers of WWW Research and Development, 2006

2005
Verifying Web Services Composition: A Transformation-Based Approach.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

Transformation-Driven Development of Composite Web Services.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

Verifying web services composition based on hierarchical colored petri nets.
Proceedings of the first international ACM workshop on Interoperability of Heterogeneous Information Systems (IHIS'05), 2005

Setup Algorithm of Web Service Composition.
Proceedings of the Distributed and Parallel Computing, 2005

Model Transformation Based Verification of Web Services Composition.
Proceedings of the Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30, 2005

Verifying Web Services Composition.
Proceedings of the Perspectives in Conceptual Modeling, 2005

1997
A higher-order unification algorithm for inductive types and dependent types.
J. Comput. Sci. Technol., 1997


  Loading...