Lianyi Zhang

According to our database, Lianyi Zhang authored at least 16 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on <i>μ</i>-calculus.

Ning Ge, Silvano Dal-Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang

Sci. Comput. Program., 2021

2020

NASIL: Neural Network Architecture Searching for Incremental Learning in Image Classification.

Xianya Fu, Wenrui Li, Qiurui Chen, Lianyi Zhang, Kai Yang, Duzheng Qing, Rui Wang

Proceedings of the Parallel Architectures, Algorithms and Programming, 2020

2019

Multiple Algorithms Against Multiple Hardware Architectures: Data-Driven Exploration on Deep Convolution Neural Network.

Chongyang Xu, Zhongzhi Luan, Lan Gao, Rui Wang, Han Zhang, Lianyi Zhang, Yi Liu, Depei Qian

Proceedings of the Network and Parallel Computing, 2019

Structure Characteristic-Aware Pruning Strategy for Convolutional Neural Networks.

Peixuan Zuo, Rui Wang, Xianya Fu, Hailong Yang, Yi Liu, Lianyi Zhang, Han Zhang, Depei Qian

Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

2018

EffectFace: A Fast and Efficient Deep Neural Network Model for Face Recognition.

Weicheng Li, Dan Jia, Jia Zhai, Jihong Cai, Han Zhang, Lianyi Zhang, Hailong Yang, Depei Qian, Rui Wang

Proceedings of the Advanced Computer Architecture - 12th Conference, 2018

2017

Real-time human activity classification by accelerometer embedded wearable devices.

Fan Yang, Lianyi Zhang

Proceedings of the 4th International Conference on Systems and Informatics, 2017

2016

Verification of lean-kanban processes with probabilistic model checking.

Lianyi Zhang, Qingdi Meng, Guiming Luo

Int. J. Comput. Appl. Technol., 2016

2014

Compositional Abstraction Refinement for Component-Based Systems.

Lianyi Zhang, Qingdi Meng, Kueiming Lo

J. Appl. Math., 2014

Model Checking (k, d)-Markov Chain with ipLTL.

Lianyi Zhang, Qingdi Meng, Guiming Luo

Proceedings of the Knowledge Science, Engineering and Management, 2014

Counterexample-Guided Abstraction Refinement for Component-Based Systems.

Lianyi Zhang, Qingdi Meng, Guiming Luo

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Optimized symbolic model checking for component-based systems.

Lianyi Zhang, Qingdi Meng, Guiming Luo

Proceedings of the IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, 2014

Formal verification for embedded software with cognitive environment modelling.

Qingdi Meng, Lianyi Zhang, Guiming Luo

Proceedings of the IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, 2014

2013

Component-Based Modeling and Code Synthesis for Cyclic Programs.

Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

VCS: A Verifier for Component-Based Systems.

Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Modeling and Validation of PLC-Controlled Systems: A Case Study.

Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2005

Cortical Lateralization Analysis by Kolmogorov Entropy of EEG.

Lianyi Zhang, Chongxun Zheng

Proceedings of the Advances in Informatics, 2005