Lichen Zhang

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 2

Top Topics

Provably Correct

Formal Specification

Top Venues

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

Publications

Dandan Lai, Lichen Zhang, Bingqing Xu, Chunyao Liu
Task Scheduling for Cloud Based Cyber-Physical Systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Lichen Zhang, Dandan Lai, Bingqing Xu, Chunyao Liu
Scheduling Algorithms for Cloud Based Cyber-Physical Systems Specification. ICAC (2018)
Bingqing Xu, Lichen Zhang
Specification of Train Control Systems Using Formal Methods. MUSIC (2013)
Bingqing Xu, Lichen Zhang
Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory. GreenCom/iThings/CPScom (2013)
Bingqing Xu, Lichen Zhang
Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory. CSE (2013)
Bingqing Xu, Lichen Zhang
A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems. DASC (2013)
Bingqing Xu, Lichen Zhang
A Clock Based Approach to the Formal Specification of Cyber Physical Systems. EMC/HumanCom (2013)
Bingqing Xu, Lichen Zhang
Formal Descriptions of Cyber Physical Systems Using Clock Theory. MUSIC (2013)
Lichen Zhang, Bingqing Xu
Specification of Communication Based Train Control System Using AADL. MUSIC (2013)
Bingqing Xu, Lichen Zhang
Formal Specification of Railway Control Systems. EMC/HumanCom (2013)