Lichen Zhang - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 98 from 98

2022

Construction Method of Overlay Network for Cyber-Physical SystemLiang-Jian Deng, Yubing Chen, Lichen Zhang. apnoms 2022: 1-4 [doi]

Assessing environmental and plant community changes by phytolith characteristics in sediments from Nanjishan Nature Reserve, Lake PoyangJie Zhang, Yue Zhang, Lichen Zhang, Xingchen Liu, Yin Wang, Yong-Ji. ecoi, 69:101586, 2022. [doi]

2021

Fast Sketching of Polynomial Kernels of Polynomial DegreeZhao Song 0002, David P. Woodruff, Zheng Yu, Lichen Zhang. icml 2021: 9812-9823 [doi]

Robust Beamforming Based on Weighted Vector Norm RegularizationXiaoying Ren, Yingmin Wang, Lichen Zhang, Qi Wang. access, 9:88894-88901, 2021. [doi]

Specify and Model Automotive Cyber Physical Systems Using Hybrid Relation CalculusLichen Zhang, Jingyong Liu. iconac 2021: 1-6 [doi]

2020

Cold Start and Learning Resource Recommendation Mechanism Based on Opportunistic Network in the Context of Campus Collaborative LearningHong Liu, Peng Li, Yuanru Cui, Qian Liu, Lichen Zhang, Longjiang Guo, Xiaojun Wu, Xiaoming Wang 0001. wasa 2020: 309-321 [doi]

2019

2018

Hierarchy Value Density - A Priority Algorithm for Task Scheduling on CloudLing Kuang, Lichen Zhang. uic 2018: 697-704 [doi]

Task Scheduling for Cloud Based Cyber-Physical SystemsDandan Lai, Lichen Zhang, Bingqing Xu, Chunyao Liu. uic 2018: 1455-1460 [doi]

A satisfaction and fairness based matching approach for mutual selection problemLixia Li, Lichen Zhang, Sui Yu, A'na Wang, Lizong Zhang. iiki 2019: 422-427 [doi]

Modeling Methods for Cloud Based Cyber Physical SystemsLichen Zhang. uic 2018: 1271-1276 [doi]

Modeling Smart Cyber Physical Systems Based on ModelicaMLLichen Zhang. uic 2018: 1-8 [doi]

Scheduling Algorithms for Cloud Based Cyber-Physical Systems SpecificationLichen Zhang, Dandan Lai, Bingqing Xu, Chunyao Liu. iconac 2018: 1-6 [doi]

Spatio-Temporal Specification for Mobile Cyber Physical SystemsLichen Zhang. iconac 2018: 1-6 [doi]

Modeling Cloud Based Cyber Physical Systems Based on AADLLichen Zhang. iconac 2018: 1-6 [doi]

2017

Level value density task scheduling algorithm for cyber physical systems on cloudLing Kuang, Lichen Zhang. uic 2017: 1-8 [doi]

An Edge Correlation Based Differentially Private Network Data Release MethodJunling Lu, Zhipeng Cai, Xiaoming Wang, Lichen Zhang, Zhuojun Duan. scn, 2017, 2017. [doi]

A novel approach for inhibiting misinformation propagation in human mobile opportunistic networksXiaoming Wang, Yaguang Lin, Yanxin Zhao, Lichen Zhang, Juhua Liang, Zhipeng Cai. ppna, 10(2):377-394, 2017. [doi]

Contribution of surface wave to horizontal magnetic dipole in three-layered mediaLichen Zhang, Jiansheng Tang, Fujian Yu, Hongyu Chen. icspcc 2017: 1-6 [doi]

A novel contact prediction-based routing scheme for DTNsLichen Zhang, Xiaoming Wang, Junling Lu, Meirui Ren, Zhuojun Duan, Zhipeng Cai. ett, 28(1), 2017. [doi]

Spectrum-Availability Based Routing for Cognitive Sensor NetworksLichen Zhang, Zhipeng Cai, Peng Li, Liang Wang, Xiaoming Wang. access, 5:4448-4457, 2017. [doi]

An Efficient Context-Aware Privacy Preserving Approach for SmartphonesLichen Zhang, Yingshu Li, Liang Wang, Junling Lu, Peng Li, Xiaoming Wang. scn, 2017, 2017. [doi]

A social-aware probabilistic routing approach for mobile opportunistic social networksRuonan Zhao, Xiaoming Wang, Lichen Zhang, Yaguang Lin. ett, 28(12), 2017. [doi]

2016

Higher-Load Data Transmitting in Opportunistic Networks Based on Probability Analysis of Communicating CapabilitiesPeng Li, Xiaoming Wang, Lichen Zhang, Junling Lu, Feng Zhang, Zaobo He. bdcloud 2016: 325-332 [doi]

A Social Motivation-aware Mobility Model for Mobile Opportunistic NetworksSen Liu, Xiaoming Wang, Lichen Zhang, Peng Li, Yaguang Lin, Yunhui Yang. itiis, 10(8):3568-3584, 2016. [doi]

Primary and Secondary Social Activity Aware Routing for Cognitive Radio NetworksJunling Lu, Zhipeng Cai, Xiaoming Wang, Lichen Zhang, Peng Li, Zaobo He. iiki 2016: 311-316 [doi]

Computational models and optimal control strategies for emotion contagion in the human population in emergenciesXiaoming Wang, Lichen Zhang, Yaguang Lin, Yanxin Zhao, Xiaolin Hu. kbs, 109:35-47, 2016. [doi]

FakeMask: A Novel Privacy Preserving Approach for SmartphonesLichen Zhang, Zhipeng Cai, Xiaoming Wang. tnsm, 13(2):335-348, 2016. [doi]

Exploiting Spectrum Availability and Quality in Routing for Multi-hop Cognitive Radio NetworksLichen Zhang, Zhipeng Cai, Peng Li, Xiaoming Wang. wasa 2016: 283-294 [doi]

An efficient privacy preserving data aggregation approach for mobile sensingLichen Zhang, Xiaoming Wang, Junling Lu, Peng Li, Zhipeng Cai. scn, 9(16):3844-3853, 2016. [doi]

2015

2014

Task Scheduling in Cyber-Physical SystemsChunyao Liu, Lichen Zhang, Daqiang Zhang. uic 2014: 319-324 [doi]

Signal power random fading based interference-aware routing for wireless sensor networksJunling Lu, Xiaoming Wang, Lichen Zhang. winet, 20(7):1715-1727, 2014. [doi]

Fuzzy random multi-objective optimization based routing for wireless sensor networksJunling Lu, Xiaoming Wang, Lichen Zhang, Xueqing Zhao. soco, 18(5):981-994, 2014. [doi]

An Approach to Model Complex Big Data Driven Cyber Physical SystemsLichen Zhang. ica3pp 2014: 740-754 [doi]

Modeling large scale complex cyber physical control systems based on system of systems engineering approachLichen Zhang. iconac 2014: 55-60 [doi]

A framework to model big data driven complex cyber physical control systemsLichen Zhang. iconac 2014: 283-288 [doi]

Convergence Approach to Model Physical World and Cyber World of Aviation Cyber Physical SystemLichen Zhang. dasc 2014: 418-423 [doi]

Designing big data driven cyber physical systems based on AADLLichen Zhang. SMC 2014: 3072-3077 [doi]

Applying System of Systems Engineering Approach to Build Complex Cyber Physical SystemsLichen Zhang. icseng 2015: 621-628 [doi]

Specification and Design Method for Big Data Driven Cyber Physical SystemsLichen Zhang. icseng 2015: 849-857 [doi]

Convergence of physical system and cyber system modeling methods for aviation cyber physical control systemLichen Zhang. icinfa 2014: 542-547 [doi]

A framework to specify big data driven complex cyber physical control systemsLichen Zhang. icinfa 2014: 548-553 [doi]

Effect of seawater on radiation field of electric dipoleLichen Zhang, Yingmin Wang, Aiping Huang. chinasip 2014: 800-803 [doi]

Spacial Mobility Prediction Based Routing Scheme in Delay/Disruption-Tolerant NetworksLichen Zhang, Zhipeng Cai, Junling Lu, Xiaoming Wang. iiki 2014: 274-279 [doi]

2013

Integrated Approach for Modeling Cyber Physical SystemsShuguang Feng, Lichen Zhang. emc 2014: 371-376 [doi]

Fuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rulesXiaoming Wang, Lichen Zhang, Wenyang Dou, Xiaolin Hu. isci, 232:225-240, 2013. [doi]

Formal Descriptions of Cyber Physical Systems Using Clock TheoryBingqing Xu, Lichen Zhang. music 2014: 137-142 [doi]

Specification of Train Control Systems Using Formal MethodsBingqing Xu, Lichen Zhang. music 2014: 131-136 [doi]

Specifying Time Constraints of Cyber Physical Systems Based on Clock TheoryBingqing Xu, Lichen Zhang. cse 2013: 588-594 [doi]

A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical SystemsBingqing Xu, Lichen Zhang. dasc 2013: 288-295 [doi]

Formal Specification of Railway Control SystemsBingqing Xu, Lichen Zhang. emc 2014: 389-399 [doi]

A Clock Based Approach to the Formal Specification of Cyber Physical SystemsBingqing Xu, Lichen Zhang. emc 2014: 401-409 [doi]

Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock TheoryBingqing Xu, Lichen Zhang. greencom 2013: 804-811 [doi]

Specification of Communication Based Train Control System Using AADLLichen Zhang, Bingqing Xu. music 2014: 63-68 [doi]

Specifying and Modeling Railway Cyber Physical Systems by the Extension of AADLLichen Zhang. cse 2013: 611-618 [doi]

Specifying and Modeling Automotive Cyber Physical SystemsLichen Zhang. cse 2013: 603-610 [doi]

Multi-view Approach to Specify and Model Aerospace Cyber-physical SystemsLichen Zhang. cse 2013: 595-602 [doi]

Aspect-Oriented Modeling of Railway Cyber Physical Systems Based on the Extension of AADLLichen Zhang. hpcc 2013: 2104-2111 [doi]

Requirement Analysis Method for Vehicular Cyber Physical SystemsLichen Zhang. hpcc 2013: 2096-2103 [doi]

View Oriented Approach to Specify and Model Aerospace Cyber-physical SystemsLichen Zhang. dasc 2013: 296-303 [doi]

Multi-view approach to model aerospace cyber-physical systemsLichen Zhang. iconac 2013: 1-6 [doi]

Modeling railway cyber physical systems based on AADLLichen Zhang. iconac 2013: 1-6 [doi]

QoS Modeling of Cyber Physical Systems by the Integration of AADL and Aspect-Oriented MethodsLichen Zhang. emc 2014: 419-428 [doi]

Specification of Railway Cyber Physical Systems Using AADLLichen Zhang. emc 2014: 377-387 [doi]

Requirement Specification for Transportation Cyber Physical SystemsLichen Zhang. greencom 2013: 1486-1491 [doi]

Multi-view Approach for Modeling Aerospace Cyber-physical SystemsLichen Zhang. greencom 2013: 1319-1324 [doi]

Aspect-oriented modeling for railway control systemsLichen Zhang. icinfa 2013: 236-241 [doi]

An integration approach to specify and model automotive cyber physical systemsLichen Zhang. iccve 2013: 568-573 [doi]

2012

Determining Pattern Similarity in a Medical Recommender SystemMaytiyanin Komkhao, Jie Lu, Lichen Zhang. icdke 2012: 103-114 [doi]

Aspect-Oriented QoS Modeling for Cyber-Physical SystemsLichen Zhang. jsw, 7(5):1083-1093, 2012. [doi]

Aspect-Oriented Formal Techniques of Cyber Physical SystemsLichen Zhang. jsw, 7(4):823-834, 2012. [doi]

Aspect-Oriented Development Method for Non-Functional Characteristics of Cyber Physical Systems Based on MDA ApproachLichen Zhang. jsw, 7(3):608-619, 2012. [doi]

2011

Aspect-Oriented QoS Specification for Cyber-Physical SystemsLichen Zhang, Jifeng He. ichit 2011: 399-406 [doi]

A Formal Framework for Aspect-Oriented Specification of Cyber Physical SystemsLichen Zhang, Jifeng He. ichit 2011: 391-398 [doi]

MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time SystemsLichen Zhang, Jifeng He. ichit 2011: 600-608 [doi]

QoS Specification for Cyber-Physical SystemsLichen Zhang. csee2 2011: 329-334 [doi]

MDA Approach for Non-functional Characteristics of Cyber Physical Systems Based on Aspect-Oriented MethodLichen Zhang. csee2 2011: 323-328 [doi]

Formal Methods for Aspect-Oriented Specification of Cyber Physical SystemsLichen Zhang. csee2 2011: 316-322 [doi]

Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented ApproachLichen Zhang. tase 2011: 213-216 [doi]

2009

Aspect-Oriented Middleware-Based Real-Time and Embedded Systems Software ProcessJingyong Liu, Yong Zhong, Lichen Zhang, Yong Chen. ssme 2009: 531-534 [doi]

2008

Aspect-oriented formal specification for multimedia systemsLichen Zhang, Lihua Wang. aiccsa 2008: 260-267 [doi]

2006

Adaptive pyramid filtering for medical ultrasound image enhancementLichen Zhang, Eddie Moon Chung Wong, Fan Zhang, Jiayin Zhou. isbi 2006: 916-919 [doi]

Multiscale Nonlinear Diffusion and Shock Filter for Ultrasound Image EnhancementFan Zhang, Yang Mo Yoo, Yongmin Kim, Lichen Zhang, Liang Mong Koh. cvpr 2006: 1972-1977 [doi]

2005

A Component-Based UML Profile to Model Embedded Real-Time Systems Designed by the MDA ApproachShourong Lu, Wolfgang A. Halang, Lichen Zhang. rtcsa 2005: 563-566 [doi]

Aspect-Oriented Real-Time System Modeling Method Based on UMLLichen Zhang, Ruicheng Liu. rtcsa 2005: 373-376 [doi]

Modeling Real-Time Wormhole Networks by Queuing TheoryLichen Zhang, Yuliang Zhang. ispa 2005: 690-700 [doi]

2002

Integrated analysis and design method for distributed real-time systems based on computational gridLichen Zhang. SMC 2002: 6 [doi]

1996

A design methodology for real-time systems to be implemented on multiprocessor machinesLichen Zhang, Brahim Chaib-draa. jss, 33(1):37-56, 1996. [doi]

1993

Methodology of real-time system design using multiprocessorsLichen Zhang, Michel Galindo, Daniel Marquie, Yves Raynaud. mam, 17(4):207-214, 1993. [doi]

1992

Generating Physical Channel Access Protocol Data Unit of CCSDS Recommendation by Use of the Transputers and OCCAMLichen Zhang, Michel Galindo, Daniel Marquie, Yves Raynaud. conpar 1992: 791-792

All Publications

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Lichen Zhang'

Viewing Publication 1 - 98 from 98

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2009

2008

2006

2005

2002

1996

1993

1992

All Publications

Filter by Year [+]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Lichen Zhang'

Viewing Publication 1 - 98 from 98

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2009

2008

2006

2005

2002

1996

1993

1992

Filter by Year

[+]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1