Aznam Yacoub

According to our database, Aznam Yacoub authored at least 11 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

XLNet4Rec: Recommendations Based on Users' Long-Term and Short-Term Interests Using Transformer.

Namarta Vij, Aznam Yacoub, Ziad Kobti

Proceedings of the International Conference on Machine Learning and Applications, 2023

2022

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

Proceedings of the Advances in Computing, Informatics, Networking and Cybersecurity, 2022

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

Virtual Communication Stack: Towards Building Integrated Simulator of Mobile Ad Hoc Network-based Infrastructure for Disaster Response Scenarios.

Aznam Yacoub

CoRR, 2020

Integrated Simulator Of Mobile Ad-Hoc Network-Based Infrastructure : A Case Study.

Aznam Yacoub

Proceedings of the Spring Simulation Conference, 2020

2018

Towards using DEVS for modelling adaptive storytelling in virtual games.

Aznam Yacoub, Gabriela Nicolescu, Maâmar El-Amine Hamri, Claudia S. Frydman

Proceedings of the 50th Computer Simulation Conference, 2018

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

Restricting DEv-PROMELA with a hierarchy of simulation formalisms.

Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman

Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

2016

Using DEv-PROMELA for Modelling and Verification of Software.

Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman

Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

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

Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

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

Proceedings of the 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2014