Designing and Modeling of Covert Channels in Operating Systems von Yuqi Lin, Malik, Saif U. R., Bilal, Kashif, Qiusong Yang, Yongji Wang, Khan, Samee U.

Volltext

Origami metamaterial with two-stage programmable compressive strength under quasi-static loading von Li, Zhejian, Yang, Qiusong, Fang, Rui, Chen, Wensu, Hao, Hong

Volltext

A secure and rapid response architecture for virtual machine migration from an untrusted hypervisor to a trusted one von WU, Tao, YANG, Qiusong, HE, Yeping

Volltext

Compressive mechanical properties and dynamic behaviour of origami-inspired tri-directional auxetic metastructure von Yang, Qiusong, Li, Zhejian, Hao, Hong, Chen, Wensu

Volltext

Crushing performances of Kirigami modified honeycomb structure in three axial directions von Li, Zhejian, Yang, Qiusong, Fang, Rui, Chen, Wensu, Hao, Hong

Volltext

Energy absorption of kirigami modified corrugated structure von Li, Zhejian, Chen, Wensu, Hao, Hong, Yang, Qiusong, Fang, Rui

Volltext

Impact response of a novel sandwich structure with Kirigami modified corrugated core von Li, Zhejian, Yang, Qiusong, Chen, Wensu, Hao, Hong, Matenga, Callan, Huang, Zhijie, Fang, Rui

Volltext

Dynamic compressive properties of reinforced and kirigami modified honeycomb in three axial directions von Li, Zhejian, Yang, Qiusong, Chen, Wensu, Hao, Hong, Fang, Rui, Cui, Jian

Volltext

A cut-off approach for bounded verification of parameterized systems von Yang, Qiusong, Li, Mingshu

Volltext

Parametric Study of Truncated Square Pyramid Folded Structure for Effective Energy Absorption under Static and Dynamic Crushing von Yang, Qiusong, Li, Zhejian, Chen, Wensu, Hao, Hong

Volltext

Performance of sandwich cladding with modular truncated square pyramid foldcore under projectile impact von Li, Zhejian, Fang, Rui, Yang, Qiusong, Chen, Wensu, Hao, Hong, Kong, Qingzhao, Shi, Yanchao

Volltext

Controllable crystallization of Ge2Sb2Te5 phase-change memory thin films driven by multiple femtosecond laser pulses von Yang, Qiusong, Cai, Zhilong, Wang, Yang, Huang, Huan, Wu, Yiqun

Volltext

On Mobility of Software Processes von Li, Mingshu, Yang, Qiusong, Zhai, Jian, Yang, Guowei

Volltext

M-RSF: a multilevel feedback queue task scheduling mechanism for Unikernel von DONG Bonan, YANG Qiusong, LI Mingshu

Volltext

Creating Process-Agents incrementally by mining process asset library von Huang, Hui, Xiao, Junchao, Yang, Qiusong, Wang, Qing, Wu, Hong

Volltext

A vertex centric parallel algorithm for linear temporal logic model checking in Pregel von Xie, Miao, Yang, Qiusong, Zhai, Jian, Wang, Qing

Volltext

Predicting Lemmas in Generalization of IC3 von Su, Yuheng, Yang, Qiusong, Ci, Yiwei

Volltext bestellen

TIUP: Effective Processor Verification with Tautology-Induced Universal Properties von Li, Yufeng, Ci, Yiwei, Yang, Qiusong

Volltext bestellen

核饰瓷厚度和树脂水门汀对玻璃陶瓷贴面乳光性能的影响 von 李哲敏, 马雯洁, 杨淑然, 杨秋松, 王佳宁, 姚张顺, 林云红, 李星星

Volltext

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution von Li, Yufeng, Yang, Qiusong, Ci, Yiwei, Tian, Enyuan

Volltext