2021
Quantitative cyber-physical security analysis methodology for industrial control systems based on incomplete information Bayesian game.
Comput. Secur., 2021
2020
Towards functional verifying a family of systemC TLMs.
Frontiers Comput. Sci., 2020
2019
EBSCN: An Error Backtracking Method for Soft Errors Based on Clustering and a Neural Network.
IEEE Access, 2019
2018
Character Feature Learning for Named Entity Recognition.
IEICE Trans. Inf. Syst., 2018
Modeling Complex Relationship Paths for Knowledge Graph Completion.
IEICE Trans. Inf. Syst., 2018
2017
Deep Learning-Based Fault Localization with Contextual Information.
IEICE Trans. Inf. Syst., 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.
J. Syst. Archit., 2013
Implementing Low-Cost Fault Tolerance via Hybrid Synchronous/Asynchronous Checks.
J. Circuits Syst. Comput., 2013
A dynamic approach to tolerate soft errors.
Clust. Comput., 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.
Math. Comput. Model., 2012
Exploration of the effects of soft errors from dynamic software behaviours.
IET Softw., 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.
Sci. China Inf. Sci., 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. Comput. Aided Des. Integr. Circuits Syst., 2010
Formal proof of prefix adders.
Math. Comput. Model., 2010
Field programmable gate array prototyping of end-around carry parallel prefix tree architectures.
IET Comput. Digit. Tech., 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