Lianyi Zhang

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 7

Top Topics

Formal Verification

Pruning Strategy

Top Venues

Publications

Ning Ge, Silvano Dal-Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang
-calculus. Sci. Comput. Program. 206 (2021)
Xianya Fu, Wenrui Li, Qiurui Chen, Lianyi Zhang, Kai Yang, Duzheng Qing, Rui Wang
NASIL: Neural Network Architecture Searching for Incremental Learning in Image Classification. PAAP (2020)
Chongyang Xu, Zhongzhi Luan, Lan Gao, Rui Wang, Han Zhang, Lianyi Zhang, Yi Liu, Depei Qian
Multiple Algorithms Against Multiple Hardware Architectures: Data-Driven Exploration on Deep Convolution Neural Network. NPC (2019)
Peixuan Zuo, Rui Wang, Xianya Fu, Hailong Yang, Yi Liu, Lianyi Zhang, Han Zhang, Depei Qian
Structure Characteristic-Aware Pruning Strategy for Convolutional Neural Networks. HPCC/SmartCity/DSS (2019)
Weicheng Li, Dan Jia, Jia Zhai, Jihong Cai, Han Zhang, Lianyi Zhang, Hailong Yang, Depei Qian, Rui Wang
EffectFace: A Fast and Efficient Deep Neural Network Model for Face Recognition. ACA (2018)
Fan Yang, Lianyi Zhang
Real-time human activity classification by accelerometer embedded wearable devices. ICSAI (2017)
Lianyi Zhang, Qingdi Meng, Guiming Luo
Verification of lean-kanban processes with probabilistic model checking. Int. J. Comput. Appl. Technol. 53 (4) (2016)
Qingdi Meng, Lianyi Zhang, Guiming Luo
Formal verification for embedded software with cognitive environment modelling. ICCI*CC (2014)
Lianyi Zhang, Qingdi Meng, Kueiming Lo
Compositional Abstraction Refinement for Component-Based Systems. J. Appl. Math. 2014 (2014)
Lianyi Zhang, Qingdi Meng, Guiming Luo
Model Checking (k, d)-Markov Chain with ipLTL. KSEM (2014)
Lianyi Zhang, Qingdi Meng, Guiming Luo
Counterexample-Guided Abstraction Refinement for Component-Based Systems. COMPSAC (2014)
Lianyi Zhang, Qingdi Meng, Guiming Luo
Optimized symbolic model checking for component-based systems. ICCI*CC (2014)
Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu
Component-Based Modeling and Code Synthesis for Cyclic Programs. COMPSAC (2013)
Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng
VCS: A Verifier for Component-Based Systems. ATVA (2013)
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga
Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE (2012)
Lianyi Zhang, Chongxun Zheng
Cortical Lateralization Analysis by Kolmogorov Entropy of EEG. Panhellenic Conference on Informatics (2005)