Xiaolong Guo

J. Oper. Res. Soc., 2020

Retailer-driven bundling when valuation discount exists.

[BibT_eX]

[DOI]

Ting Chen

Feng Yang

J. Oper. Res. Soc., 2020

Green supply chain contracts with eco-labels issued by the sales platform: profitability and environmental implications.

[BibT_eX]

[DOI]

Lihong Cheng

Jie Liu

Int. J. Prod. Res., 2020

Manufacturer's Leasing Channel Management in a Car Supply Chain.

[BibT_eX]

[DOI]

Lihong Cheng

Bo Wang

Asia Pac. J. Oper. Res., 2020

Runtime Trust Evaluation and Hardware Trojan Detection Using On-Chip EM Sensors.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Design for EM Side-Channel Security through Quantitative Assessment of RTL Implementations.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

PowerScout: A Security-Oriented Power Delivery Network Modeling Framework for Cross-Domain Side-Channel Analysis.

[BibT_eX]

[DOI]

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2020

A Formal Framework for Gate- Level Information Leakage Using Z3.

[BibT_eX]

[DOI]

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2020

2019

SoC interconnection protection through formal verification.

[BibT_eX]

[DOI]

Integr., 2019

Analysis of SNR Metrics for a Typical Underwater Acoustic OFDM System.

[BibT_eX]

[DOI]

IEEE Access, 2019

Hardware and Software Co-Verification from Security Perspective.

[BibT_eX]

[DOI]

Proceedings of the 20th International Workshop on Microprocessor/SoC Test, 2019

QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2019

When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Sizing the pool of online users: a dynamic pricing model for online travel agencies.

[BibT_eX]

[DOI]

Ye Shi

Ting Peng

J. Oper. Res. Soc., 2018

Dynamic warehouse size planning with demand forecast and contract flexibility.

[BibT_eX]

[DOI]

Ye Shi

Yugang Yu

Int. J. Prod. Res., 2018

Pricing for sales and per-use rental services with vertical differentiation.

[BibT_eX]

[DOI]

Yugang Yu

Yuxuan Dong

Eur. J. Oper. Res., 2018

2017

Hardware Trojan Detection Through Chip-Free Electromagnetic Side-Channel Statistical Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2017

Automatic Code Converter Enhanced PCH Framework for SoC Trust Verification.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2017

Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part I: Framework Fundamentals.

[BibT_eX]

[DOI]

Mohammad-Mahdi Bidmeshki

Yiorgos Makris

IEEE Trans. Inf. Forensics Secur., 2017

Eliminating the Hardware-Software Boundary: A Proof-Carrying Approach for Trust Evaluation on Computer Systems.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2017

Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part II: Framework Automation.

[BibT_eX]

[DOI]

Mohammad-Mahdi Bidmeshki

IEEE Trans. Inf. Forensics Secur., 2017

Estimation of Safe Sensor Measurements of Autonomous System Under Attack.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Design Automation Conference, 2017

PCH framework for IP runtime security verification.

[BibT_eX]

[DOI]

Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, 2017

2016

End-to-End Delay Bound Analysis for Location-Based Routing in Hybrid Vehicular Networks.

[BibT_eX]

[DOI]

Konstantinos Katsaros

Mehrdad Dianati

Rahim Tafazolli

IEEE Trans. Veh. Technol., 2016

E-retailing of restaurant services: pricing strategies in a competing online environment.

[BibT_eX]

[DOI]

Xiabing Zheng

J. Oper. Res. Soc., 2016

Quantifying trust in autonomous system under uncertainties.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International System-on-Chip Conference, 2016

Automatic RTL-to-Formal Code Converter for IP Security Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the 17th International Workshop on Microprocessor and SOC Test and Verification, 2016

Scalable SoC trust verification using integrated theorem proving and model checking.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, 2016

2015

Temperature dependence of self-healing characteristics of metallized polypropylene film.

[BibT_eX]

[DOI]

Microelectron. Reliab., 2015

Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Microprocessor and SOC Test and Verification, 2015

Pre-silicon security verification and validation: a formal perspective.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

2013

System Design for Multiple Users Cooperative Communication in LTE.

[BibT_eX]

[DOI]

Yue Li

Song Zhu

Proceedings of the 78th IEEE Vehicular Technology Conference, 2013

A Stable Expected Complexity Sphere Detection with IRA Enhancement.

[BibT_eX]

[DOI]

Proceedings of the 77th IEEE Vehicular Technology Conference, 2013

A self-organization method for discovering communities in a distributed network.

[BibT_eX]

[DOI]

Jiajin Huang

Proceedings of the Ninth International Conference on Natural Computation, 2013

A channel gain-based hierarchical K-Best OSIC-SE detection algorithm for stable complexity in MIMO system.

[BibT_eX]

[DOI]

Yuanwei Liu

Shaosheng Li

Proceedings of the 15th IEEE International Conference on Communication Technology, 2013

2012

Performance evaluation of research universities in Mainland China, Hong Kong and Taiwan: based on a two-dimensional approach.

[BibT_eX]

[DOI]

Scientometrics, 2012

Optimal pricing strategy of hotel for long-term stay.

[BibT_eX]

[DOI]

Liuyi Ling

Lina He

Int. J. Serv. Technol. Manag., 2012

A Tree Pruning Algorithm for MIMO Sphere Decoding Based on Path Metric.

[BibT_eX]

[DOI]

Proceedings of the 75th IEEE Vehicular Technology Conference, 2012

A Self-organization Method for Reorganizing Resources in a Distributed Network.

[BibT_eX]

[DOI]