Hybrid annex: An AADL extension for continuous behavior and cyber-physical interaction modeling E Ahmad, BR Larson, SC Barrett, N Zhan, Y Dong Proceedings of the 2014 ACM SIGAda annual conference on High integrity …, 2014 | 30 | 2014 |
Challenges with software verification and validation activities in the space industry R Feldt, R Torkar, E Ahmad, B Raza 2010 third international conference on software testing, verification and …, 2010 | 28 | 2010 |
Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL. E Ahmad, YW Dong, BR Larson, JD Lü, T Tang, NJ Zhan Sci. China Inf. Sci. 58 (11), 1-20, 2015 | 27 | 2015 |
Adding Formal Meanings to AADL with Hybrid Annex E Ahmad, Y Dong, S Wang, N Zhan, L Zou 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12 …, 2014 | 19 | 2014 |
Non-deterministic delay behavior testing of chinese train control system using uppaal-tron J Lv, E Ahmad, T Tang IEEE Intelligent Transportation Systems Magazine 13 (3), 58-82, 2020 | 16 | 2020 |
ECSS standard compliant agile software development: an industrial case study E Ahmad, B Raza, R Feldt, T Nordebäck Proceedings of the 2010 national software engineering conference, 1-6, 2010 | 16 | 2010 |
Formal semantics of AADL models with machine-readable CSP C Yang, Y Dong, F Zhang, E Ahmad, B Gu 2012 IEEE/ACIS 11th International Conference on Computer and Information …, 2012 | 10 | 2012 |
Assessment and support for software capstone projects at the undergraduate level: A survey and rubrics E Ahmad, B Raza, R Feldt 2011 Frontiers of Information Technology, 25-32, 2011 | 9 | 2011 |
A behavior annex for AADL using the DEVS formalism EM Ahmad, H Sarjoughian 2019 Spring Simulation Conference (SpringSim), 1-12, 2019 | 8 | 2019 |
Meezaj: An Interactive System for Real-Time Mood Measurement and Reflection based on Internet of Things E Ahmad International Journal of Advanced Computer Science and Applications(IJACSA …, 2020 | 6 | 2020 |
Evolving the ECSS standards and their Use: Experience based on Industrial Case Studies R Feldt, E Ahmad, B Raza, E Hult, T Nordebäck DASIA 2009-DAta Systems in Aerospace 669, 59, 2009 | 6 | 2009 |
Model-based system engineering of the Internet of Things: A bibliometric literature analysis E Ahmad IEEE Access, 2023 | 5 | 2023 |
An Environment for Developing Simulatable AADL-DEVS Models E Ahmad, HS Sarjoughian Simulation Modelling Practice and Theory 123, 102690, 2023 | 3 | 2023 |
An AADL-DEVS Framework for Cyber-Physical Systems Modeling and Simulation Supported with an Integrated OSATE and DEVS-Suite Tools EM Ahmad, HS Sarjoughian https://acims.asu.edu/wp-content/uploads/sites/18/2020/03 …, 2020 | 3 | 2020 |
A Bibliometric Literature Analysis on STEM E-Learning E Ahmad, H Sarjoughian The 2nd Global Trends in E-Learning Forum (GTEL 2023), 2023 | 1 | 2023 |
Towards unified management of software capstone projects in Saudi universities: a survey-based study E Ahmad, A Alammary Arab Gulf Journal of Scientific Research 40 (2), 118-138, 2022 | 1 | 2022 |
Towards Optimization of Software V&V Activities in the Space Industry E Ahmad, B Raza Blekinge Institute of Technology, 2009 | 1 | 2009 |
The convergence of Education 4.0 and Industry 4.0: a Twin Peaks model E Ahmad Journal of Innovative Digital Transformation, 1-16, 2024 | | 2024 |
A Hybrid Long Short-Term Memory and Kalman Filter Model for Train Trajectory Prediction E Ahmad, Y He, Z Luo, J Lv IEEE Transactions on Intelligent Transportation Systems, 2024 | | 2024 |
Cloud-based Framework for Quality Assurance and Enhancement as a Service (QAEaaS) for Universities with Blended Learning Approach E Ahmad, A Alammary International Journal of Computer and Information Technology (ISSN: 2279 …, 2022 | | 2022 |