A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman (DS-RT, 2014)

Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman (SIMULTECH, 2014)

Using DEv-PROMELA for Modelling and Verification of Software. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman (SIGSIM-PADS, 2016)

Restricting DEv-PROMELA with a hierarchy of simulation formalisms. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman (SpringSim (TMS), 2017)

DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman; Chungman Seo; Bernard P. Zeigler (Int. J. Simul. Process. Model., 2017)

Towards using DEVS for modelling adaptive storytelling in virtual games. - Aznam Yacoub; Gabriela Nicolescu; Maâmar El-Amine Hamri; Claudia S. Frydman (SummerSim, 2018)

Integrated Simulator Of Mobile Ad-Hoc Network-Based Infrastructure : A Case Study. - Aznam Yacoub (SpringSim, 2020)

Virtual Communication Stack: Towards Building Integrated Simulator of Mobile Ad Hoc Network-based Infrastructure for Disaster Response Scenarios. - Aznam Yacoub (CoRR, 2020)

DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman (Simul., 2020)

Using DEVS for Full Life Cycle Model-Based System Engineering in Complex Network Design. - Abdurrahman Alshareef; María Julia Blas; Matías Bonaventura; Thomas Paris; Aznam Yacoub; Bernard P. Zeigler (Honoring Professor Mohammad S. Obaidat, 2022)

XLNet4Rec: Recommendations Based on Users' Long-Term and Short-Term Interests Using Transformer. - Namarta Vij; Aznam Yacoub; Ziad Kobti (ICMLA, 2023)