| 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 | 31 | 2014 |
| 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 | 30 | 2015 |
| 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 | 29 | 2010 |
| 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 | 10 | 2011 |
| A behavior annex for AADL using the DEVS formalism EM Ahmad, H Sarjoughian 2019 Spring Simulation Conference (SpringSim), 1-12, 2019 | 9 | 2019 |
| Model-based system engineering of the Internet of Things: A bibliometric literature analysis E Ahmad IEEE Access 11, 50642-50658, 2023 | 8 | 2023 |
| An environment for developing simulatable AADL-DEVS models E Ahmad, HS Sarjoughian Simulation Modelling Practice and Theory 123, 102690, 2023 | 6 | 2023 |
| 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 Data Systems in Aerospace, 2009 | 6 | 2009 |
| 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 | 5 | 2022 |
| 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 Optimization of Software V&V Activities in the Space Industry E Ahmad, B Raza Blekinge Institute of Technology, 2009 | 1 | 2009 |
| Trusted Composition of Internet of Medical Things over Imperfect Networks E Ahmad, B Larson, A Banga Future Internet 16 (7), 230, 2024 | | 2024 |
| The convergence of Education 4.0 and Industry 4.0: a Twin Peaks model E Ahmad Journal of Innovative Digital Transformation 1 (1), 68-83, 2024 | | 2024 |
| BLESS Behavior Correctness Proof as Convincing Verification Artifact B Larson, E Ahmad Ada User Journal 45 (1), 35-46, 2024 | | 2024 |
Robert FeldtProfessor of Software Engineering, Chalmers University of TechnologyBestätigte E-Mail-Adresse bei chalmers.se
