Lichen Zhang

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
Selene: Pioneering Automated Proof in Software Verification.
CoRR, 2024

2022
Assessing environmental and plant community changes by phytolith characteristics in sediments from Nanjishan Nature Reserve, Lake Poyang.
Ecol. Informatics, 2022

Construction Method of Overlay Network for Cyber-Physical System.
Proceedings of the 23rd Asia-Pacific Network Operations and Management Symposium, 2022

2021
Robust Beamforming Based on Weighted Vector Norm Regularization.
IEEE Access, 2021

Specify and Model Automotive Cyber Physical Systems Using Hybrid Relation Calculus.
Proceedings of the 26th International Conference on Automation and Computing, 2021

2019
Fabrication of UTC-PDs Integrated with THz Antenna.
Proceedings of the Computing, Communications and IoT Applications, ComComAp 2019, Shenzhen, 2019

Architecture of Cyber-Physical Systems Based on Cloud.
Proceedings of the 5th IEEE International Conference on Big Data Security on Cloud, 2019

2018
Modeling Methods for Cloud Based Cyber Physical Systems.
Proceedings of the 2018 IEEE SmartWorld, 2018

Modeling Smart Cyber Physical Systems Based on ModelicaML.
Proceedings of the 2018 IEEE SmartWorld, 2018

Hierarchy Value Density - A Priority Algorithm for Task Scheduling on Cloud.
Proceedings of the 2018 IEEE SmartWorld, 2018

Spatio-Temporal Specification for Mobile Cyber Physical Systems.
Proceedings of the 24th International Conference on Automation and Computing, 2018

Modeling Cloud Based Cyber Physical Systems Based on AADL.
Proceedings of the 24th International Conference on Automation and Computing, 2018

2017
Level value density task scheduling algorithm for cyber physical systems on cloud.
Proceedings of the 2017 IEEE SmartWorld, 2017

Contribution of surface wave to horizontal magnetic dipole in three-layered media.
Proceedings of the 2017 IEEE International Conference on Signal Processing, 2017

2015
信息物理融合系统的动态多优先级调度 (Dynamic Multi-priority Scheduling for Cyber-physical Systems).
计算机科学, 2015

Real-Time Traffic Light Scheduling Algorithm Based on Genetic Algorithm and Machine Learning.
Proceedings of the Internet of Vehicles - Safe and Intelligent Mobility, 2015

2014
Task Scheduling in Cyber-Physical Systems.
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014

Designing big data driven cyber physical systems based on AADL.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Specification and Design Method for Big Data Driven Cyber Physical Systems.
Proceedings of the Progress in Systems Engineering, 2014

Applying System of Systems Engineering Approach to Build Complex Cyber Physical Systems.
Proceedings of the Progress in Systems Engineering, 2014

A framework to model big data driven complex cyber physical control systems.
Proceedings of the 20th International Conference on Automation and Computing, 2014

Modeling large scale complex cyber physical control systems based on system of systems engineering approach.
Proceedings of the 20th International Conference on Automation and Computing, 2014

A framework to specify big data driven complex cyber physical control systems.
Proceedings of the IEEE International Conference on Information and Automation, 2014

Convergence of physical system and cyber system modeling methods for aviation cyber physical control system.
Proceedings of the IEEE International Conference on Information and Automation, 2014

An Approach to Model Complex Big Data Driven Cyber Physical Systems.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2014

Convergence Approach to Model Physical World and Cyber World of Aviation Cyber Physical System.
Proceedings of the IEEE 12th International Conference on Dependable, 2014

Effect of seawater on radiation field of electric dipole.
Proceedings of the IEEE China Summit & International Conference on Signal and Information Processing, 2014

2013
Multi-view approach to model aerospace cyber-physical systems.
Proceedings of the 2013 19th International Conference on Automation and Computing, 2013

Modeling railway cyber physical systems based on AADL.
Proceedings of the 2013 19th International Conference on Automation and Computing, 2013

Aspect-oriented modeling for railway control systems.
Proceedings of the IEEE International Conference on Information and Automation, 2013

An integration approach to specify and model automotive cyber physical systems.
Proceedings of the International Conference on Connected Vehicles and Expo, 2013

Aspect-Oriented Modeling of Railway Cyber Physical Systems Based on the Extension of AADL.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

Requirement Analysis Method for Vehicular Cyber Physical Systems.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

Requirement Specification for Transportation Cyber Physical Systems.
Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

Multi-view Approach for Modeling Aerospace Cyber-physical Systems.
Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

QoS Modeling of Cyber Physical Systems by the Integration of AADL and Aspect-Oriented Methods.
Proceedings of the Advanced Technologies, Embedded and Multimedia for Human-centric Computing, 2013

Specification of Railway Cyber Physical Systems Using AADL.
Proceedings of the Advanced Technologies, Embedded and Multimedia for Human-centric Computing, 2013

Integrated Approach for Modeling Cyber Physical Systems.
Proceedings of the Advanced Technologies, Embedded and Multimedia for Human-centric Computing, 2013

View Oriented Approach to Specify and Model Aerospace Cyber-physical Systems.
Proceedings of the IEEE 11th International Conference on Dependable, 2013

Specifying and Modeling Railway Cyber Physical Systems by the Extension of AADL.
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

Specifying and Modeling Automotive Cyber Physical Systems.
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

Multi-view Approach to Specify and Model Aerospace Cyber-physical Systems.
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

2012
Aspect-Oriented QoS Modeling for Cyber-Physical Systems.
J. Softw., 2012

Aspect-Oriented Formal Techniques of Cyber Physical Systems.
J. Softw., 2012

Aspect-Oriented Development Method for Non-Functional Characteristics of Cyber Physical Systems Based on MDA Approach.
J. Softw., 2012

Determining Pattern Similarity in a Medical Recommender System.
Proceedings of the Data and Knowledge Engineering - Third International Conference, 2012

2011
Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems.
Proceedings of the Convergence and Hybrid Information Technology, 2011

Aspect-Oriented QoS Specification for Cyber-Physical Systems.
Proceedings of the Convergence and Hybrid Information Technology, 2011

A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems.
Proceedings of the Convergence and Hybrid Information Technology, 2011

QoS Specification for Cyber-Physical Systems.
Proceedings of the Advances in Computer Science, Environment, Ecoinformatics, and Education, 2011

MDA Approach for Non-functional Characteristics of Cyber Physical Systems Based on Aspect-Oriented Method.
Proceedings of the Advances in Computer Science, Environment, Ecoinformatics, and Education, 2011

Formal Methods for Aspect-Oriented Specification of Cyber Physical Systems.
Proceedings of the Advances in Computer Science, Environment, Ecoinformatics, and Education, 2011

2009
Aspect-Oriented Middleware-Based Real-Time and Embedded Systems Software Process.
Proceedings of the 2009 IITA International Conference on Services Science, 2009

Middleware-based distributed systems software process.
Proceedings of the 2009 International Conference on Hybrid Information Technology, 2009

2008
Aspect-oriented formal specification for multimedia systems.
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2006
Adaptive pyramid filtering for medical ultrasound image enhancement.
Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2006

Multiscale Nonlinear Diffusion and Shock Filter for Ultrasound Image Enhancement.
Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2006), 2006

2005
Aspect-Oriented Real-Time System Modeling Method Based on UML.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

A Component-Based UML Profile to Model Embedded Real-Time Systems Designed by the MDA Approach.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Modeling Real-Time Wormhole Networks by Queuing Theory.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

2002
Integrated analysis and design method for distributed real-time systems based on computational grid.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

1996
A design methodology for real-time systems to be implemented on multiprocessor machines.
J. Syst. Softw., 1996

1993
Methodology of real-time system design using multiprocessors.
Microprocess. Microsystems, 1993

1992
Generating Physical Channel Access Protocol Data Unit of CCSDS Recommendation by Use of the Transputers and OCCAM.
Proceedings of the Parallel Processing: CONPAR 92, 1992


  Loading...