Ling Yin

According to our database, Ling Yin authored at least 27 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

SUES-200: A Multi-Height Multi-Scene Cross-View Image Benchmark Across Drone and Satellite.

Runzhe Zhu, Ling Yin, Mingze Yang, Fei Wu, Yuncheng Yang, Wenbo Hu

IEEE Trans. Circuits Syst. Video Technol., September, 2023

WiTransformer: A Novel Robust Gesture Recognition Sensing Model with WiFi.

Mingze Yang, Hai Zhu, Runzhe Zhu, Fei Wu, Ling Yin, Yuncheng Yang

Sensors, March, 2023

UAV's Status Is Worth Considering: A Fusion Representations Matching Method for Geo-Localization.

Runzhe Zhu, Mingze Yang, Ling Yin, Fei Wu, Yuncheng Yang

Sensors, January, 2023

stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems.

Dongdong An, Zongxu Pan, Xin Gao, Shuang Li, Ling Yin, Tengfei Li

IEEE Access, 2023

Modern Backbone for Efficient Geo-localization.

Runzhe Zhu, Mingze Yang, Kaiyu Zhang, Fei Wu, Ling Yin, Yujin Zhang

Proceedings of the 2023 Workshop on UAVs in Multimedia: Capturing the World from a New Perspective, 2023

2022

Optimize data-driven multi-agent simulation for COVID-19 transmission.

Chao Jin, Hao Zhang, Ling Yin, Yong Zhang, Shengzhong Feng

BMC Bioinform., 2022

2021

Research on Knowledge Graphs with Concept Lattice Constraints.

Ning Lan, Shuqun Yang, Ling Yin, Yongbin Gao

Symmetry, 2021

Runtime Verification of Spatio-Temporal Specification Language.

Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun

Mob. Networks Appl., 2021

Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach.

Jiajia Yang, Xiaohong Chen, Ling Yin

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2019

A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning.

Dongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin

Proceedings of the Formal Methods and Software Engineering, 2019

2018

A Modeling Framework for Individual-Based Urban Mobility Based on Data Fusion.

Jialu Xie, Ling Yin, Liang Mao

Proceedings of the 26th International Conference on Geoinformatics, 2018

2017

Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems.

Xiaohong Chen, Ling Yin, Yijun Yu, Zhi Jin

Proceedings of the Formal Methods and Software Engineering, 2017

2016

WebVRGIS based traffic analysis and visualization system.

Xiaoming Li, Zhihan Lv, Weixi Wang, Baoyun Zhang, Jinxing Hu, Ling Yin, Shengzhong Feng

Adv. Eng. Softw., 2016

2015

Preprint WebVRGIS Based Traffic Analysis and Visualization System.

Xiaoming Li, Zhihan Lv, Weixi Wang, Baoyun Zhang, Jinxing Hu, Ling Yin, Shengzhong Feng

CoRR, 2015

Virtual geographic environment based coach passenger flow forecasting.

Zhihan Lv, Xiaoming Li, Jinxing Hu, Ling Yin, Baoyun Zhang, Shengzhong Feng

Proceedings of the IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications, 2015

Traffic Management and Forecasting System Based on 3D GIS.

Xiaoming Li, Zhihan Lv, Jinxing Hu, Baoyun Zhang, Ling Yin, Chen Zhong, Weixi Wang, Shengzhong Feng

Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

TimePF: A Tool for Modeling and Verifying Timing Requirements Based on Problem Frames.

Yuanyang Wang, Xiaohong Chen, Ling Yin

Proceedings of the Requirements Engineering in the Big Data Era, 2015

2014

Modeling and analysis of gene regulatory networks with a Bayesian-driven approach.

Shuqiang Wang, Jinxing Hu, Yanyan Shen, Ling Yin, Yanjie Wei

Proceedings of the 14th International Symposium on Communications and Information Technologies, 2014

A Spatial-Temporal Analysis of Users' Geographical Patterns in Social Media: A Case Study on Microblogs.

Chao Li, Zhongying Zhao, Jun Luo, Ling Yin, Qiming Zhou

Proceedings of the Database Systems for Advanced Applications, 2014

2013

Schedulability Analysis with CCSL Specifications.

Ling Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Relationships between geographical cluster and cyberspace community: A case study on microblog.

Chao Li, Zhongying Zhao, Shuguang Liu, Ling Yin, Jun Luo

Proceedings of the 20th International Conference on Geoinformatics, 2012

2011

Modeling and Prototyping Business Processes in AutoPA.

Ling Yin, Jing Liu, Zuohua Ding

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Verification of MARTE/CCSL Time Requirements in Promela/SPIN.

Ling Yin, Frédéric Mallet, Jing Liu

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

AutoPA: Automatic Prototyping from Requirements.

Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Measuring the Survivability of Object-Oriented Software.

Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin

Proceedings of the TASE 2009, 2009

Probabilistic Coordination Language for Component Dynamic Composition.

Dehui Du, Ling Yin

Proceedings of the TASE 2009, 2009

Validating Requirements Model of a B2B System.

Ling Yin, Liu Jing, Xiaoshan Li

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009