Ali Salem

Multi-Dimensional Modeling - Formal Specification and Verification of the Hierarchy Concept

Hanêne Ben-Abdallah, Faiza Ghozzi, Ali Salem, 2008, ICEIS.

Formal validation of the security properties of AMT's three-way handshake

J. William Atwood, Ali Salem, J. Atwood, 2011, 2011 IEEE 36th Conference on Local Computer Networks.

Data warehousing design: Automatic verification of conformity and summarizability constraints

Hanêne Ben-Abdallah, Ali Salem, 2016, 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA).

Validation formelle de schéma multidimensionnel vis à vis de sa source

Hanêne Ben-Abdallah, Faïza Ghozzi, Ali Salem, 2010, EDA.

Verification of Security Coherence in Data Warehouse Designs

Hanêne Ben-Abdallah, Omar Boussaïd, Nouria Harbi, 2012, TrustBus.

Short term load forecasting algorithm in transmission system

Ali Salem, brahim Salem, 2008 .

Exact boundary controllability for Korteweg‐de Vries equation

Ali Salem, A. Salem, 2009 .