Shuling Wang - Publications, H-index & Citations

王树林 (Shuling Wang)

chinese academy of sciences

16H指数

86论文数

977被引数

收录论文 11

发表时间

.Modeling and Verification of Hybrid Systems by Extending AADL

ACM Transactions on Software Engineering and Methodology

IF6.2

2026-03-01

PREAI

Xu, Xiong; Ahmad, Ehsan; Wang, Shuling; Jin, Xiangyu; Zhan, Bohua; Zhan, Naijun

Modeling and Analysis of Cyber-Physical Systems in the Hybrid π-Calculus Using Extended Sequence Diagrams 基于扩展序列图的混合π演算中网络物理系统的建模与分析

FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025

IF0

2026-01-01

PREAI

Xu, Xiong; Miao, Jixiang; Wang, Shuling; Talpin, Jean-Pierre

Semantics Foundation for Cyber-physical Systems Using Higher-order UTP

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2023-02-13

OAAI

Xu, Xiong; Talpin, Jean-Pierre; Wang, Shuling; Zhan, Bohua; Zhan, Naijun

Translating a large subset of stateflow to hybrid CSP with code optimization

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2022-09-01

PREAI

Guo, Panhua; Zhan, Bohua; Xu, Xiong; Wang, Shuling; Sun, Wenhui

Formal Analysis of 5G Authentication and Key Management for Applications (AKMA)

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2022-05-01

PREAI

Yang, Tengshun; Wang, Shuling; Zhan, Bohua; Zhan, Naijun; Li, Jinghui; Xiang, Shuangqing; Xiang, Zhan; Mao, Bifei

Automatically Generating SystemC Code from HCSP Formal Models

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2020-01-30

PREAI

Yan, Gaogao; Jiao, Li; Wang, Shuling; Wang, Lingtai; Zhan, Naijun

Downregulation of MUTYH contributes to cisplatin-resistance of esophageal squamous cell carcinoma cells by promoting Twist-mediated EMT

ONCOLOGY REPORTS

IF3.9

2019-10-01

OAAI

Guo, Yanxia; Jia, Yuxiu; Wang, Shikang; Liu, Ning; Gao, Dongfang; Zhang, Lu; Lin, Zhaomin; Wang, Shuling; Kong, Feng; Peng, Chuanliang; Liu, Yongqing

Formation of the Wulong gold deposit, Liaodong gold Province, NE China: Constraints from zircon U-Pb age, sericite Ar-Ar age, and H-O-S-He isotopes

Ore Geology Reviews

IF3.6

2019-06-01

PREAI

Liu, Jun; Zhang, Le-Jun; Wang, Shu-Ling; Li, Tie-Gang; Yang, Yan; Liu, Fu-Xing; Li, Sheng-Hui; Duan, Chao

Confinement framework for encapsulating objects

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-02-06

PREAI

Shu, Qin; Qiu, Zongyan; Wang, Shuling

A graph-based generic type system for object-oriented programs

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-01-09

PREAI

Ke, Wei; Liu, Zhiming; Wang, Shuling; Zhao, Liang

Locality preserving discriminant projections for face and palmprint recognition

NEUROCOMPUTING

IF6.5

2010-08-01

PREAI

Gui, Jie; Jia, Wei; Zhu, Ling; Wang, Shu-Ling; Huang, De-Shuang

研究方向