Lianyi Zhang

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