Lichen Zhang

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