Ehsan Ahmad

According to our database, Ehsan Ahmad authored at least 11 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Ehsan Ahmad, Yijuan He, Zhengwei Luo, Jidong Lv

IEEE Trans. Intell. Transp. Syst., July, 2024

Trusted Composition of Internet of Medical Things over Imperfect Networks.

Ehsan Ahmad, Brian R. Larson, Abdulbasid Banga

Future Internet, July, 2024

2023

An Environment for Developing Simulatable AADL-DEVS Models.

Ehsan Ahmad, Hessam S. Sarjoughian

Simul. Model. Pract. Theory, 2023

Model-Based System Engineering of the Internet of Things: A Bibliometric Literature Analysis.

Ehsan Ahmad

IEEE Access, 2023

2021

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

Jidong Lv, Ehsan Ahmad, Tao Tang

IEEE Intell. Transp. Syst. Mag., 2021

2015

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

Ehsan Ahmad, Yunwei Dong, Brian R. Larson, Jidong Lü, Tao Tang, Naijun Zhan

Sci. China Inf. Sci., 2015

2014

Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling.

Ehsan Ahmad, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Adding Formal Meanings to AADL with Hybrid Annex.

Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2012

Formal Semantics of AADL Models with Machine-Readable CSP.

Chunxin Yang, Yunwei Dong, Fan Zhang, Ehsan Ahmad, Bin Gu

Proceedings of the 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30, 2012

2011

Assessment and Support for Software Capstone Projects at the Undergraduate Level: A Survey and Rubrics.

Ehsan Ahmad, Bilal Raza, Robert Feldt

Proceedings of the 2011 Frontiers of Information Technology, 2011

2010

Challenges with Software Verification and Validation Activities in the Space Industry.

Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza

Proceedings of the Third International Conference on Software Testing, 2010