Ehsan Ahmad - RankMe

14 papers A 1Misc 1Journal 9Unranked 3

Year	Rank	Type	Title / 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