Ehsan Ahmad

14 papers A 1Misc 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Adaptive Sliding Mode Control Strategy for High-Speed Train Platoon Under Jointly Connected Switching Topologies.
IEEE Trans. Intell. Transp. Syst.
Jiahui Lv, Jidong Lv, Wanli Lu, Zhengwei Luo, Ehsan Ahmad, Tao Tang
2026 J jnl
Modeling and Verification of Hybrid Systems by Extending AADL.
ACM Trans. Softw. Eng. Methodol.
Xiong Xu, Ehsan Ahmad, Shuling Wang, Xiangyu Jin, Bohua Zhan, Naijun Zhan
2025 J jnl
Formalization of the AADL Run-Time Services with Time.
CoRR
Brian R. Larson, Ehsan Ahmad
2024 J jnl
A Hybrid Long Short-Term Memory and Kalman Filter Model for Train Trajectory Prediction.
IEEE Trans. Intell. Transp. Syst.
Ehsan Ahmad, Yijuan He, Zhengwei Luo, Jidong Lv
2024 J jnl
Trusted Composition of Internet of Medical Things over Imperfect Networks.
Future Internet
Ehsan Ahmad, Brian R. Larson, Abdulbasid Banga
2023 J jnl
An Environment for Developing Simulatable AADL-DEVS Models.
Simul. Model. Pract. Theory
Ehsan Ahmad, Hessam S. Sarjoughian
2023 J jnl
Model-Based System Engineering of the Internet of Things: A Bibliometric Literature Analysis.
IEEE Access
Ehsan Ahmad
2021 J jnl
Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON.
IEEE Intell. Transp. Syst. Mag.
Jidong Lv, Ehsan Ahmad, Tao Tang
2015 J jnl
Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.
Sci. China Inf. Sci.
Ehsan Ahmad, Yunwei Dong, Brian R. Larson, Jidong Lü, Tao Tang, Naijun Zhan
2014 — conf
Adding Formal Meanings to AADL with Hybrid Annex.
FACS
Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou
2014 — conf
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling.
HILT
Ehsan Ahmad, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong
2012 — conf
Formal Semantics of AADL Models with Machine-Readable CSP.
ACIS-ICIS
Chunxin Yang, Yunwei Dong, Fan Zhang, Ehsan Ahmad, Bin Gu
2011 Misc conf
Assessment and Support for Software Capstone Projects at the Undergraduate Level: A Survey and Rubrics.
FIT
Ehsan Ahmad, Bilal Raza, Robert Feldt
2010 A conf
Challenges with Software Verification and Validation Activities in the Space Industry.
ICST
Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza