Ehsan Ahmad

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 5

Top Topics

Behavioral Models

Top Venues

Sci. China Inf. Sci.

Simul. Model. Pract. Theory

Publications

Ehsan Ahmad, Yijuan He, Zhengwei Luo, Jidong Lv
A Hybrid Long Short-Term Memory and Kalman Filter Model for Train Trajectory Prediction. IEEE Trans. Intell. Transp. Syst. 25 (7) (2024)
Ehsan Ahmad, Brian R. Larson, Abdulbasid Banga
Trusted Composition of Internet of Medical Things over Imperfect Networks. Future Internet 16 (7) (2024)
Ehsan Ahmad, Hessam S. Sarjoughian
An Environment for Developing Simulatable AADL-DEVS Models. Simul. Model. Pract. Theory 123 (2023)
Ehsan Ahmad
Model-Based System Engineering of the Internet of Things: A Bibliometric Literature Analysis. IEEE Access 11 (2023)
Jidong Lv, Ehsan Ahmad, Tao Tang
Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON. IEEE Intell. Transp. Syst. Mag. 13 (3) (2021)
Ehsan Ahmad, Yunwei Dong, Brian R. Larson, Jidong Lü, Tao Tang, Naijun Zhan
Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL. Sci. China Inf. Sci. 58 (11) (2015)
Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou
Adding Formal Meanings to AADL with Hybrid Annex. FACS (2014)
Ehsan Ahmad, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. HILT (2014)
Chunxin Yang, Yunwei Dong, Fan Zhang, Ehsan Ahmad, Bin Gu
Formal Semantics of AADL Models with Machine-Readable CSP. ACIS-ICIS (2012)
Ehsan Ahmad, Bilal Raza, Robert Feldt
Assessment and Support for Software Capstone Projects at the Undergraduate Level: A Survey and Rubrics. FIT (2011)
Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza
Challenges with Software Verification and Validation Activities in the Space Industry. ICST (2010)