We stand with Ukraine

We stand with Ukraine

Lichen Zhang

Affiliations:

Guangdong University of Technology, Guangzhou, China
East China Normal University, Shanghai, China

According to our database¹, Lichen Zhang authored at least 10 papers between 2013 and 2018.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2018

Task Scheduling for Cloud Based Cyber-Physical Systems.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 2018 IEEE SmartWorld, 2018

Scheduling Algorithms for Cloud Based Cyber-Physical Systems Specification.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 24th International Conference on Automation and Computing, 2018

2013

Specification of Communication Based Train Control System Using AADL.

[BibT_eX]

[DOI]

,

Proceedings of the Mobile, Ubiquitous, and Intelligent Computing, 2013

Formal Descriptions of Cyber Physical Systems Using Clock Theory.

[BibT_eX]

[DOI]

,

Proceedings of the Mobile, Ubiquitous, and Intelligent Computing, 2013

Specification of Train Control Systems Using Formal Methods.

[BibT_eX]

[DOI]

,

Proceedings of the Mobile, Ubiquitous, and Intelligent Computing, 2013

Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory.

[BibT_eX]

[DOI]

,

Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

A Clock Based Approach to the Formal Specification of Cyber Physical Systems.

[BibT_eX]

[DOI]

,

Proceedings of the Advanced Technologies, Embedded and Multimedia for Human-centric Computing, 2013

Formal Specification of Railway Control Systems.

[BibT_eX]

[DOI]

,

Proceedings of the Advanced Technologies, Embedded and Multimedia for Human-centric Computing, 2013

A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems.

[BibT_eX]

[DOI]

,

Proceedings of the IEEE 11th International Conference on Dependable, 2013

Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory.

[BibT_eX]

[DOI]

,

Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

Loading...