Aznam Yacoub

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 9

Top Topics

Disaster Response

Timed Petri Nets

Top Venues

Int. J. Simul. Process. Model.

Publications

Namarta Vij, Aznam Yacoub, Ziad Kobti
XLNet4Rec: Recommendations Based on Users' Long-Term and Short-Term Interests Using Transformer. ICMLA (2023)
Abdurrahman Alshareef, María Julia Blas, Matías Bonaventura, Thomas Paris, Aznam Yacoub, Bernard P. Zeigler
Using DEVS for Full Life Cycle Model-Based System Engineering in Complex Network Design. Honoring Professor Mohammad S. Obaidat (2022)
Aznam Yacoub
Virtual Communication Stack: Towards Building Integrated Simulator of Mobile Ad Hoc Network-based Infrastructure for Disaster Response Scenarios. CoRR (2020)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation. Simul. 96 (11) (2020)
Aznam Yacoub
Integrated Simulator Of Mobile Ad-Hoc Network-Based Infrastructure : A Case Study. SpringSim (2020)
Aznam Yacoub, Gabriela Nicolescu, Maâmar El-Amine Hamri, Claudia S. Frydman
Towards using DEVS for modelling adaptive storytelling in virtual games. SummerSim (2018)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
Restricting DEv-PROMELA with a hierarchy of simulation formalisms. SpringSim (TMS) (2017)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman, Chungman Seo, Bernard P. Zeigler
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. Int. J. Simul. Process. Model. 12 (3/4) (2017)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
Using DEv-PROMELA for Modelling and Verification of Software. SIGSIM-PADS (2016)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods. DS-RT (2014)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study. SIMULTECH (2014)