Ehsan Ahmad

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

Ehsan Ahmad, Yunwei Dong, Brian Larson et al. · Science China Information Sciences · 2015 · 26 citations

Engineering, Systems Engineering, Automation +10

Challenges with Software Verification and Validation Activities in the Space Industry

Robert Feldt, Richard Torkar, Ehsan Ahmad et al. · 2010 · 25 citations · Full text

Computing, Aerospace Engineering, Computer Science +17

Hybrid annex

Ehsan Ahmad, Brian Larson, Stephen C. Barrett et al. · 2014 · 21 citations

Engineering, Systems Engineering, Requirements Engineering +13

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

Jidong Lv, Ehsan Ahmad, Tao Tang · IEEE Intelligent Transportation Systems Magazine · 2020 · 18 citations

Engineering, Computer Engineering, Systems Engineering +17

A Hybrid Long Short-Term Memory and Kalman Filter Model for Train Trajectory Prediction

Ehsan Ahmad, Yijuan He, Zhengwei Luo et al. · IEEE Transactions on Intelligent Transportation Systems · 2024 · 17 citations

Computing, Data Science, Forecasting +16