Salim Djaaboub

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 3

Top Topics

Formal Specification Language

Environmental Data

Top Venues

Int. J. Embed. Syst.

Publications

Yehya Bouzreraa, Nardjas Bouchemal, Salim Djaaboub
GIS, AI, and Environmental Data in Fire Susceptibility Mapping: A Survey. ICSC (2023)
Madjed Bencheikh Lehocine, Salim Djaaboub, Mohamed Batouche
Routing-Plan duplicator: A reliable assistant for safe and seamless migration toward SDN. CommNet (2019)
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. Int. J. Embed. Syst. 10 (6) (2018)
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
A New Approach for Generating LOTOS Specifications from UML Dynamic Models. C3S2E (2015)
Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui
From UML Statecharts to LOTOS Expressions Using Graph Transformation. ICIST (2015)
Djamel Benmerzoug, Salim Djaaboub, Hani Mahmoudi
Engineering Cooperative JADE Agents with the AMCIS Methodology: The Transportation Management Case Study. CoRR (2013)