Validating Requirements Model of a B2B System. - Ling Yin 002; Liu Jing; Xiaoshan Li (ACIS-ICIS, 2009)

Probabilistic Coordination Language for Component Dynamic Composition. - Dehui Du; Ling Yin 002 (TASE, 2009)

Measuring the Survivability of Object-Oriented Software. - Jueliang Hu; Zuohua Ding; Jing Liu 012; Ling Yin 002 (TASE, 2009)

AutoPA: Automatic Prototyping from Requirements. - Xiaoshan Li; Zhiming Liu 001; Martin Schäf; Ling Yin 002 (ISoLA (1), 2010)

Verification of MARTE/CCSL Time Requirements in Promela/SPIN. - Ling Yin 002; Frédéric Mallet; Jing Liu 012 (ICECCS, 2011)

Modeling and Prototyping Business Processes in AutoPA. - Ling Yin 002; Jing Liu 012; Zuohua Ding (TASE, 2011)

Relationships between geographical cluster and cyberspace community: A case study on microblog. - Chao Li 022; Zhongying Zhao 001; Shuguang Liu; Ling Yin 002; Jun Luo 008 (Geoinformatics, 2012)

Schedulability Analysis with CCSL Specifications. - Ling Yin 002; Jing Liu 012; Zuohua Ding; Frédéric Mallet; Robert de Simone (APSEC (1), 2013)

A Spatial-Temporal Analysis of Users' Geographical Patterns in Social Media: A Case Study on Microblogs. - Chao Li 022; Zhongying Zhao 001; Jun Luo 008; Ling Yin 002; Qiming Zhou (DASFAA Workshops, 2014)

Modeling and analysis of gene regulatory networks with a Bayesian-driven approach. - Shuqiang Wang; Jinxing Hu; Yanyan Shen; Ling Yin 002; Yanjie Wei (ISCIT, 2014)

TimePF: A Tool for Modeling and Verifying Timing Requirements Based on Problem Frames. - Yuanyang Wang; Xiaohong Chen 001; Ling Yin 002 (APRES, 2015)

Traffic Management and Forecasting System Based on 3D GIS. - Xiaoming Li 009; Zhihan Lv; Jinxing Hu; Baoyun Zhang; Ling Yin 002; Chen Zhong; Weixi Wang; Shengzhong Feng (CCGRID, 2015)

Virtual geographic environment based coach passenger flow forecasting. - Zhihan Lv; Xiaoming Li 009; Jinxing Hu; Ling Yin 002; Baoyun Zhang; Shengzhong Feng (CIVEMSA, 2015)

Preprint WebVRGIS Based Traffic Analysis and Visualization System. - Xiaoming Li 009; Zhihan Lv; Weixi Wang; Baoyun Zhang; Jinxing Hu; Ling Yin 002; Shengzhong Feng (CoRR, 2015)

WebVRGIS based traffic analysis and visualization system. - Xiaoming Li 009; Zhihan Lv; Weixi Wang; Baoyun Zhang; Jinxing Hu; Ling Yin 002; Shengzhong Feng (Adv. Eng. Softw., 2016)

Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems. - Xiaohong Chen 001; Ling Yin 002; Yijun Yu; Zhi Jin (ICFEM, 2017)

A Modeling Framework for Individual-Based Urban Mobility Based on Data Fusion. - Jialu Xie; Ling Yin 002; Liang Mao (Geoinformatics, 2018)

A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning. - Dongdong An; Jing Liu 012; Xiaohong Chen 007; Tengfei Li 002; Ling Yin 002 (ICFEM, 2019)

Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach. - Jiajia Yang; Xiaohong Chen 007; Ling Yin 002 (TASE, 2021)

Runtime Verification of Spatio-Temporal Specification Language. - Tengfei Li 002; Jing Liu 012; Haiying Sun; Xiaohong Chen 007; Ling Yin 002; Xia Mao; Junfeng Sun (Mob. Networks Appl., 2021)

Research on Knowledge Graphs with Concept Lattice Constraints. - Ning Lan; Shuqun Yang; Ling Yin 002; Yongbin Gao (Symmetry, 2021)

Optimize data-driven multi-agent simulation for COVID-19 transmission. - Chao Jin; Hao Zhang; Ling Yin 002; Yong Zhang 001; Shengzhong Feng (BMC Bioinform., 2022)

Modern Backbone for Efficient Geo-localization. - Runzhe Zhu; Mingze Yang; Kaiyu Zhang; Fei Wu 006; Ling Yin 002; Yujin Zhang (UAVM, 2023)

stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems. - Dongdong An; Zongxu Pan; Xin Gao; Shuang Li; Ling Yin 002; Tengfei Li 002 (IEEE Access, 2023)

UAV's Status Is Worth Considering: A Fusion Representations Matching Method for Geo-Localization. - Runzhe Zhu; Mingze Yang; Ling Yin 002; Fei Wu 006; Yuncheng Yang (Sensors, 2023)

WiTransformer: A Novel Robust Gesture Recognition Sensing Model with WiFi. - Mingze Yang; Hai Zhu 004; Runzhe Zhu; Fei Wu 006; Ling Yin 002; Yuncheng Yang (Sensors, 2023)

SUES-200: A Multi-Height Multi-Scene Cross-View Image Benchmark Across Drone and Satellite. - Runzhe Zhu; Ling Yin 002; Mingze Yang; Fei Wu 006; Yuncheng Yang; Wenbo Hu (IEEE Trans. Circuits Syst. Video Technol., 2023)