| The “Behavior, interaction and priority” framework applied to SystemC-based embedded systems I Assayad, L Eljadiri, A Zakari, T Nahhal 2016 IEEE/ACS 13th International Conference of Computer Systems and …, 2016 | 5 | 2016 |
| Systematic verification of embedded components with re-usable properties I Assayad, L Eljadiri, A Zakari 2017 International Conference on Wireless Networks and Mobile Communications …, 2017 | 4 | 2017 |
| A Novel Architecture Prototyping Framework With Generic Properties Verification for Sub-architectures I Assayad, L Eljadiri, M Krichen, A Zakari, W Adoni, T Nahhal Engineering Letters 29 (2), 634-644, 2021 | 1 | 2021 |
| Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions L Eljadiri, I Assayad, A Zakari Proceedings of the 2nd International Conference on Smart Digital Environment …, 2018 | 1 | 2018 |
| Generic Framework Architecture for Verifying Embedded Components L ELJADIRI, I ASSAYAD International Journal of Advanced Computer Science and Applications 11 (6), 2020 | | 2020 |
| A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela L Eljadiri, I Assayad Proceedings of the 2nd International Conference on Smart Digital Environment …, 2018 | | 2018 |
| Editorial Board-IJSTR JN Swaminathan, MAA Klimczuk, SRB Prabhu, R Vats, SP Singh, ... | | |
