Lichen Zhang

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 16

Top Topics

Scheduling Algorithm

Norm Regularization

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

Publications

Lichen Zhang, Shuai Lu, Nan Duan
Selene: Pioneering Automated Proof in Software Verification. ACL (1) (2024)
Lichen Zhang, Shuai Lu, Nan Duan
Selene: Pioneering Automated Proof in Software Verification. CoRR (2024)
Liang-Jian Deng, Yubing Chen, Lichen Zhang
Construction Method of Overlay Network for Cyber-Physical System. APNOMS (2022)
Jie Zhang, Yue Zhang, Lichen Zhang, Xingchen Liu, Yin Wang, Yong Ji
Assessing environmental and plant community changes by phytolith characteristics in sediments from Nanjishan Nature Reserve, Lake Poyang. Ecol. Informatics 69 (2022)
Lichen Zhang, Jingyong Liu
Specify and Model Automotive Cyber Physical Systems Using Hybrid Relation Calculus. ICAC (2021)
Xiaoying Ren, Yingmin Wang, Lichen Zhang, Qi Wang
Robust Beamforming Based on Weighted Vector Norm Regularization. IEEE Access 9 (2021)
Hong Liu, Peng Li, Yuanru Cui, Qian Liu, Lichen Zhang, Longjiang Guo, Xiaojun Wu, Xiaoming Wang
Cold Start and Learning Resource Recommendation Mechanism Based on Opportunistic Network in the Context of Campus Collaborative Learning. WASA (1) (2020)
Song Liang, Siwei Sun, Lichen Zhang, Yuan Yao
Fabrication of UTC-PDs Integrated with THz Antenna. ComComAP (2019)
Shaojie Luo, Lichen Zhang, Nannan Guo
Architecture of Cyber-Physical Systems Based on Cloud. BigDataSecurity/HPSC/IDS (2019)
Lichen Zhang
Spatio-Temporal Specification for Mobile Cyber Physical Systems. ICAC (2018)
Ling Kuang, Lichen Zhang
Hierarchy Value Density - A Priority Algorithm for Task Scheduling on Cloud. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Lichen Zhang
Modeling Smart Cyber Physical Systems Based on ModelicaML. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Lichen Zhang
Modeling Methods for Cloud Based Cyber Physical Systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Lichen Zhang
Modeling Cloud Based Cyber Physical Systems Based on AADL. ICAC (2018)
Ling Kuang, Lichen Zhang
Level value density task scheduling algorithm for cyber physical systems on cloud. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Lichen Zhang, Jiansheng Tang, Fujian Yu, Hongyu Chen
Contribution of surface wave to horizontal magnetic dipole in three-layered media. ICSPCC (2017)
Chunyao Liu, Lichen Zhang
信息物理融合系统的动态多优先级调度 (Dynamic Multi-priority Scheduling for Cyber-physical Systems). 计算机科学 42 (1) (2015)
Biao Zhao, Chi Zhang, Lichen Zhang
Real-Time Traffic Light Scheduling Algorithm Based on Genetic Algorithm and Machine Learning. IOV (2015)
Lichen Zhang
A framework to model big data driven complex cyber physical control systems. ICAC (2014)
Lichen Zhang
Modeling large scale complex cyber physical control systems based on system of systems engineering approach. ICAC (2014)
Lichen Zhang
Applying System of Systems Engineering Approach to Build Complex Cyber Physical Systems. ICSEng (2014)
Lichen Zhang
A framework to specify big data driven complex cyber physical control systems. ICIA (2014)
Lichen Zhang
Specification and Design Method for Big Data Driven Cyber Physical Systems. ICSEng (2014)
Lichen Zhang
An Approach to Model Complex Big Data Driven Cyber Physical Systems. ICA3PP (1) (2014)
Lichen Zhang
Designing big data driven cyber physical systems based on AADL. SMC (2014)
Lichen Zhang
Convergence of physical system and cyber system modeling methods for aviation cyber physical control system. ICIA (2014)
Chunyao Liu, Lichen Zhang, Daqiang Zhang
Task Scheduling in Cyber-Physical Systems. UIC/ATC/ScalCom (2014)
Lichen Zhang, Yingmin Wang, Aiping Huang
Effect of seawater on radiation field of electric dipole. ChinaSIP (2014)
Lichen Zhang
Convergence Approach to Model Physical World and Cyber World of Aviation Cyber Physical System. DASC (2014)
Lichen Zhang
An integration approach to specify and model automotive cyber physical systems. ICCVE (2013)
Lichen Zhang
Multi-view Approach to Specify and Model Aerospace Cyber-physical Systems. CSE (2013)
Lichen Zhang
QoS Modeling of Cyber Physical Systems by the Integration of AADL and Aspect-Oriented Methods. EMC/HumanCom (2013)
Lichen Zhang
Multi-view Approach for Modeling Aerospace Cyber-physical Systems. GreenCom/iThings/CPScom (2013)
Shuguang Feng, Lichen Zhang
Integrated Approach for Modeling Cyber Physical Systems. EMC/HumanCom (2013)
Lichen Zhang
Requirement Analysis Method for Vehicular Cyber Physical Systems. HPCC/EUC (2013)
Lichen Zhang
Aspect-Oriented Modeling of Railway Cyber Physical Systems Based on the Extension of AADL. HPCC/EUC (2013)
Lichen Zhang
Specifying and Modeling Railway Cyber Physical Systems by the Extension of AADL. CSE (2013)
Lichen Zhang
Modeling railway cyber physical systems based on AADL. ICAC (2013)
Lichen Zhang
Specification of Railway Cyber Physical Systems Using AADL. EMC/HumanCom (2013)
Lichen Zhang
View Oriented Approach to Specify and Model Aerospace Cyber-physical Systems. DASC (2013)
Lichen Zhang
Multi-view approach to model aerospace cyber-physical systems. ICAC (2013)
Lichen Zhang
Requirement Specification for Transportation Cyber Physical Systems. GreenCom/iThings/CPScom (2013)
Lichen Zhang
Aspect-oriented modeling for railway control systems. ICIA (2013)
Lichen Zhang
Specifying and Modeling Automotive Cyber Physical Systems. CSE (2013)
Lichen Zhang
Aspect-Oriented Development Method for Non-Functional Characteristics of Cyber Physical Systems Based on MDA Approach. J. Softw. 7 (3) (2012)
Maytiyanin Komkhao, Jie Lu, Lichen Zhang
Determining Pattern Similarity in a Medical Recommender System. ICDKE (2012)
Lichen Zhang
Aspect-Oriented QoS Modeling for Cyber-Physical Systems. J. Softw. 7 (5) (2012)
Lichen Zhang
Aspect-Oriented Formal Techniques of Cyber Physical Systems. J. Softw. 7 (4) (2012)
Lichen Zhang, Jifeng He
Aspect-Oriented QoS Specification for Cyber-Physical Systems. ICHIT (2) (2011)
Lichen Zhang, Jifeng He
MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems. ICHIT (2) (2011)
Lichen Zhang, Jifeng He
A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems. ICHIT (2) (2011)
Lichen Zhang
Formal Methods for Aspect-Oriented Specification of Cyber Physical Systems. CSEE (2) (2011)
Lichen Zhang
QoS Specification for Cyber-Physical Systems. CSEE (2) (2011)
Lichen Zhang
MDA Approach for Non-functional Characteristics of Cyber Physical Systems Based on Aspect-Oriented Method. CSEE (2) (2011)
Lichen Zhang
Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach. TASE (2011)
Jingyong Liu, Yong Zhong, Lichen Zhang, Yong Chen
Aspect-Oriented Middleware-Based Real-Time and Embedded Systems Software Process. SSME (2009)
Jingyong Liu, Yong Zhong, Yong Chen, Lichen Zhang
Middleware-based distributed systems software process. ICHIT (2009)
Lichen Zhang, Lihua Wang
Aspect-oriented formal specification for multimedia systems. AICCSA (2008)
Lichen Zhang, Eddie Moon Chung Wong, Fan Zhang, Jiayin Zhou
Adaptive pyramid filtering for medical ultrasound image enhancement. ISBI (2006)
Fan Zhang, Yang Mo Yoo, Yongmin Kim, Lichen Zhang, Liang Mong Koh
Multiscale Nonlinear Diffusion and Shock Filter for Ultrasound Image Enhancement. CVPR (2) (2006)
Lichen Zhang, Ruicheng Liu
Aspect-Oriented Real-Time System Modeling Method Based on UML. RTCSA (2005)
Lichen Zhang, Yuliang Zhang
Modeling Real-Time Wormhole Networks by Queuing Theory. ISPA (2005)
Shourong Lu, Wolfgang A. Halang, Lichen Zhang
A Component-Based UML Profile to Model Embedded Real-Time Systems Designed by the MDA Approach. RTCSA (2005)
Lichen Zhang
Integrated analysis and design method for distributed real-time systems based on computational grid. SMC (2002)
Lichen Zhang, Brahim Chaib-draa
A design methodology for real-time systems to be implemented on multiprocessor machines. J. Syst. Softw. 33 (1) (1996)
Lichen Zhang, Michel Galindo, Daniel Marquie, Yves Raynaud
Methodology of real-time system design using multiprocessors. Microprocess. Microsystems 17 (4) (1993)
Lichen Zhang, Michel Galindo, Daniel Marquie, Yves Raynaud
Generating Physical Channel Access Protocol Data Unit of CCSDS Recommendation by Use of the Transputers and OCCAM. CONPAR (1992)