Aznam Yacoub

13 papers C 3Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
LIS at CheckThat! 2025: Multi-Stage Open-Source Large Language Models for Fact-Checking Numerical Claims.
CLEF (Working Notes)
Quy Thanh Le, Ismail Badache, Aznam Yacoub, Maâmar El-Amine Hamri
2025 J jnl
Psychlysis: Towards the Creation of a Questionnaire-based Machine Learning Tool to Analyze States of Mind.
CoRR
Hemakshi Jani, Mitish Karia, Meet Gohil, Rahul Bhadja, Aznam Yacoub, Shafaq Khan
2023 C conf
XLNet4Rec: Recommendations Based on Users' Long-Term and Short-Term Interests Using Transformer.
ICMLA
Namarta Vij, Aznam Yacoub, Ziad Kobti
2022 — conf
Using DEVS for Full Life Cycle Model-Based System Engineering in Complex Network Design.
Honoring Professor Mohammad S. Obaidat
Abdurrahman Alshareef, María Julia Blas, Matías Bonaventura, Thomas Paris, Aznam Yacoub, Bernard P. Zeigler
2020 J jnl
DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation.
Simul.
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
2020 — conf
Integrated Simulator Of Mobile Ad-Hoc Network-Based Infrastructure : A Case Study.
SpringSim
Aznam Yacoub
2020 J jnl
Virtual Communication Stack: Towards Building Integrated Simulator of Mobile Ad Hoc Network-based Infrastructure for Disaster Response Scenarios.
CoRR
Aznam Yacoub
2018 — conf
Towards using DEVS for modelling adaptive storytelling in virtual games.
SummerSim
Aznam Yacoub, Gabriela Nicolescu, Maâmar El-Amine Hamri, Claudia S. Frydman
2017 J jnl
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems.
Int. J. Simul. Process. Model.
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman, Chungman Seo, Bernard P. Zeigler
2017 — conf
Restricting DEv-PROMELA with a hierarchy of simulation formalisms.
SpringSim (TMS)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
2016 — conf
Using DEv-PROMELA for Modelling and Verification of Software.
SIGSIM-PADS
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
2014 C conf
A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods.
DS-RT
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
2014 C conf
Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study.
SIMULTECH
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman