Ehsan Ahmad

Orcid: 0000-0001-8593-2824

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Hybrid Long Short-Term Memory and Kalman Filter Model for Train Trajectory Prediction.
IEEE Trans. Intell. Transp. Syst., July, 2024

Trusted Composition of Internet of Medical Things over Imperfect Networks.
Future Internet, July, 2024

2023
An Environment for Developing Simulatable AADL-DEVS Models.
Simul. Model. Pract. Theory, 2023

Model-Based System Engineering of the Internet of Things: A Bibliometric Literature Analysis.
IEEE Access, 2023

2021
Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON.
IEEE Intell. Transp. Syst. Mag., 2021

2015
Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.
Sci. China Inf. Sci., 2015

2014
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling.
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Adding Formal Meanings to AADL with Hybrid Annex.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2012
Formal Semantics of AADL Models with Machine-Readable CSP.
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.
Proceedings of the 2011 Frontiers of Information Technology, 2011

2010
Challenges with Software Verification and Validation Activities in the Space Industry.
Proceedings of the Third International Conference on Software Testing, 2010


  Loading...