Engineering Cooperative JADE Agents with the AMCIS Methodology: The Transportation Management Case Study. - Djamel Benmerzoug; Salim Djaaboub; Hani Mahmoudi (CoRR, 2013)

A New Approach for Generating LOTOS Specifications from UML Dynamic Models. - Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui (C3S2E, 2015)

From UML Statecharts to LOTOS Expressions Using Graph Transformation. - Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui (ICIST, 2015)

Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. - Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui (Int. J. Embed. Syst., 2018)

Routing-Plan duplicator: A reliable assistant for safe and seamless migration toward SDN. - Madjed Bencheikh Lehocine; Salim Djaaboub; Mohamed Batouche (CommNet, 2019)

GIS, AI, and Environmental Data in Fire Susceptibility Mapping: A Survey. - Yehya Bouzreraa; Nardjas Bouchemal; Salim Djaaboub (ICSC, 2023)