Tableaux with Dynamic Filtration for Layered Modal Logics. - Olivier Gasquet; Bilal Said (TABLEAUX, 2007)

Graph rewriting for model construction in modal logic. (Réécriture de graphes pour la construction de modèles en logique modale). - Bilal Said (2010)

Kripke's Worlds - An Introduction to Modal Logics via Tableaux. - Olivier Gasquet; Andreas Herzig; Bilal Said; François Schwarzentruber (Birkhäuser, 2014)

Knowledge Engineering for Competence Assessment on Serious Games Based on Semantic Web. - Lilia Cheniti-Belcadhi; Ghada A. El Khayat; Bilal Said (AIKE, 2019)

An Ontology for Personalization in Serious Games for Assessment. - Bilal Said; Lilia Cheniti-Belcadhi; Ghada A. El Khayat (AIKE, 2019)

Question Answering System to Support University Students' Orientation, Recruitment and Retention. - Walaa A. Elnozahy; Ghada A. El Khayat; Lilia Cheniti-Belcadhi; Bilal Said (CENTERIS/ProjMAN/HCist, 2019)

A Framework for the Development of Serious Games for Assessment. - Fatima Hamiye; Bilal Said; Bader Serhan (GALA, 2019)

Assessing modelling readiness in a games environment. - Esraa M. Mosalam; Ghada A. El Khayat; Shaimaa Lazem; Lilia Cheniti-Belcadhi; Bilal Said (ICTA, 2019)

A Blockchain Model for Secure Communications in Internet of Vehicles. - Khaleel Mershad 001; Bilal Said (AICCSA, 2020)

Utilizing Roadside Units and Software Defined Networking to Route Packets Efficiently in Internet of Vehicles. - Khaleel Mershad 001; Bilal Said (AICCSA, 2020)

A Methodology for Modeling Digital Transformation of Organizations to Integrate Automated Decision-Making Tools based on Artificial Intelligence. - Antonin Abherve; Bilal Said; Alessandra Bagnato (RCIS Workshops, 2022)

Towards AIDOaRt Objectives via Joint Model-based Architectural Effort. - Bilal Said; Andrey Sadovykh; Etienne Brosse; Alessandra Bagnato (RCIS Workshops, 2022)

DIAMOND: A tool for monitoring the participation of students in online lectures. - Khaleel Mershad 001; Bilal Said (Educ. Inf. Technol., 2022)

What do you mean by learning lab? - Eric Sanchez; Elsa Paukovics; Lilia Cheniti-Belcadhi; Ghada A. El Khayat; Bilal Said; Ouajdi Korbaa (Educ. Inf. Technol., 2022)

An architecture for model-based and intelligent automation in DevOps. - Romina Eramo; Bilal Said; Marc Oriol; Hugo Bruneliere; Sergio Morales 001 (J. Syst. Softw., 2024)

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report. - Andrey Sadovykh; Bilal Said; Dragos Truscan; Hugo Bruneliere (Sci. Comput. Program., 2024)