| IoT-TaaS: Towards a prospective IoT testing framework H Kim, A Ahmad, J Hwang, H Baqa, F Le Gall, MAR Ortega, JS Song IEEE Access 6, 15480-15493, 2018 | 77 | 2018 |
| Model-based testing as a service for iot platforms A Ahmad, F Bouquet, E Fourneret, F Le Gall, B Legeard Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 58 | 2016 |
| AUTOCON-IoT: Automated and scalable online conformance testing for IoT applications J Hwang, A Aziz, N Sung, A Ahmad, F Le Gall, J Song IEEE Access 8, 43111-43121, 2020 | 32 | 2020 |
| Model-based testing for internet of things systems A Ahmad, F Bouquet, E Fourneret, B Legeard Advances in Computers 108, 1-58, 2018 | 11 | 2018 |
| Improving internet of things device certification with policy-based management R Neisse, G Baldini, G Steri, A Ahmad, E Fourneret, B Legeard 2017 Global Internet of Things Summit (GIoTS), 1-6, 2017 | 10 | 2017 |
| Large scale IoT security testing, benchmarking and certification A Ahmad, G Baldini, P Cousin, SN Matheu, A Skarmeta, E Fourneret, ... Cognitive Hyperconnected Digital Transformation, 189-220, 2022 | 5 | 2022 |
| Model-based testing for IoT systems: methods and tools A Ahmad Université Bourgogne Franche-Comté, 2018 | 4 | 2018 |
| Automatic Malware Detection with Machine Learning Algorithms in a Smart Office Environment M Yeo, I Bang, D Kim, A Ahmad, H Baqa, J Song, C Park Ieie Transactions on Smart Processing & Computing 7 (4), 313-320, 2018 | 1 | 2018 |
| Présentation des résultats du Projet ANR AAPG 2018–PHILAE From Model-Based Testing to Cognitive Test Automation B LEGEARD, RG LIG, A AHMAD Proceedings” Approches formelles dans l’assistance au développement du …, 2022 | | 2022 |
| IoT Interoperabity Model-Based Testing A AHMAD, F Le Gall, B Legeard | | 2015 |
