| Using dev-promela for modelling and verification of software A Yacoub, MEA Hamri, C Frydman Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced …, 2016 | 19 | 2016 |
| DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems A Yacoub, MEA Hamri, C Frydman, C Seo, BP Zeigler International Journal of Simulation and Process Modelling 12 (3-4), 313-327, 2017 | 13 | 2017 |
| DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation A Yacoub, MEA Hamri, C Frydman Simulation 96 (11), 881-910, 2020 | 8 | 2020 |
| A method for improving the verification and validation of systems by the combined use of simulation and formal methods A Yacoub, M Hamri, C Frydman 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and …, 2014 | 8 | 2014 |
| Towards an extension of Promela for the modeling, simulation and verification of discrete-event systems A Yacoub, MEA Hamri, C Frydman, C Seo 27th European Modeling and Simulation Symposium, EMSS 2015, 2015 | 6 | 2015 |
| Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study A Yacoub, M Hamri, C Frydman 2014 4th International Conference On Simulation And Modeling Methodologies …, 2014 | 6 | 2014 |
| Using DEVS for full life cycle model-based system engineering in complex network design A Alshareef, MJ Blas, M Bonaventura, T Paris, A Yacoub, BP Zeigler Advances in Computing, Informatics, Networking and Cybersecurity: A Book …, 2022 | 5 | 2022 |
| Towards using DEVS for modelling adaptive storytelling in virtual games A Yacoub, G Nicolescu, MEA Hamri, C Frydman ACM, 2018 | 3 | 2018 |
| Virtual Communication Stack: Towards Building Integrated Simulator of Mobile Ad Hoc Network-based Infrastructure for Disaster Response Scenarios A Yacoub arXiv preprint arXiv:2004.14093, 2020 | 2 | 2020 |
| Restricting DEv-PROMELA with a hierarchy of simulation formalisms A Yacoub, MEA Hamri, C Frydman | 2 | 2017 |
| Integrated simulator of mobile ad-hoc network-based infrastructure: a case study A Yacoub 2020 Spring Simulation Conference (SpringSim), 1-12, 2020 | 1 | 2020 |
| Une approche de vérification formelle et de simulation pour les systèmes à événements: application à PROMELA A Yacoub Aix-Marseille, 2016 | 1 | 2016 |
| XLNet4Rec: Recommendations Based on Users' Long-Term and Short-Term Interests Using Transformer N Vij, A Yacoub, Z Kobti 2023 International Conference on Machine Learning and Applications (ICMLA …, 2023 | | 2023 |
| Vérification formelle d'un réseau sur puce: Application de DEv-Promela. A Khemiri, A Yacoub, MEA Hamri ACTES DES 19ÈMES JOURNÉES SUR LES APPROCHES FORMELLES DANS L'ASSISTANCE AU …, 2020 | | 2020 |
| ED 184-ECOLE DOCTORALE EN MATHEMATIQUES ET INFORMATIQUE DE MARSEILLE A YACOUB Université du Littoral Côte d'Opale, 2016 | | 2016 |
| Formal Methods and Discrete-Event Simulations A Yacoub, MEA Hamri, C Frydman JDF 2016-LES JOURNÉES DEVS FRANCOPHONES-THÉORIE ET APPLICATIONS, 2016 | | 2016 |
| 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications X Xu, S Yang, R Ju, G Li, K Huang | | |
| INVITED SPEAKERS KEYNOTE SPEAKERS BP Zeigler, P Fishwick, H Szczerbicka, A Bihain, AS Neto, LDT Câmara, ... | | |
