Ehsan Ahmad

According to our database, Ehsan Ahmad authored at least 9 papers between 2010 and 2023.

Collaborative distances:

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

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