Ehsan Ahmad - Publications, H-index & Citations

Ehsan Ahmad

institute of software, cas

9H指数

29论文数

185被引数

收录论文 7

发表时间

.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

Safety-Oriented Distance Control for Train Platoon Under Actuator Delays: A Reachability and Hybrid H2/H∞ Framework

IET INTELLIGENT TRANSPORT SYSTEMS

IF2.5

2025-10-28

OAAI

Lv, Jiahui; Lu, Wanli; Luo, Zhengwei; Ahmad, Ehsan; Lv, Jidong

A Hybrid Long Short-Term Memory and Kalman Filter Model for Train Trajectory Prediction 列车轨迹预测的长短期记忆和卡尔曼滤波混合模型

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS

IF8.4

2024-07-01

PREAI

Ahmad, Ehsan; He, Yijuan; Luo, Zhengwei; Lv, Jidong

An Environment for Developing Simulatable AADL-DEVS Models

SIMULATION MODELLING PRACTICE AND THEORY

IF4.6

2023-02-01

PREAI

Ahmad, Ehsan; Sarjoughian, Hessam S.

Model-Based System Engineering of the Internet of Things: A Bibliometric Literature Analysis 基于模型的物联网系统工程: 文献计量分析

IEEE ACCESS

IF3.6

2023-01-01

OAAI

Ahmad, Ehsan

Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON

IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE

IF5

2021-01-01

PREAI

Lv, Jidong; Ahmad, Ehsan; Tang, Tao

Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL

SCIENCE CHINA-INFORMATION SCIENCES

IF7.6

2015-09-23

PREAI

Ahmad Ehsan; Dong YunWei; Larson Brian; Lu JiDong; Tang Tao; Zhan NaiJun

研究方向