Structure of a LOTOS interpreter. - J. P. Briand; M. C. Fehri; Luigi Logrippo; Abdellatif Obaid (SIGCOMM, 1986)

An Atomic Calculus of Communicating Systems. - Abdellatif Obaid; Luigi Logrippo (PSTV, 1987)

An Interpreter for LOTOS, a Specification Language for Distributed Systems. - Luigi Logrippo; Abdellatif Obaid; J. P. Briand; M. C. Fehri (Softw. Pract. Exp., 1988)

A Hoare-style Proof System for LOTOS. - S. Gallouzi; Luigi Logrippo; Abdellatif Obaid (FORTE, 1990)

An expressive trace theory for LOTOS. - S. Gallouzi; Luigi Logrippo; Abdellatif Obaid (PSTV, 1991)

Functional approach to protocols specification. - Jakub Bojanowski; Michal Iglewski; Jan Madey; Abdellatif Obaid (PSTV, 1994)

The modularity of SNMPv3. - Omar Cherkaoui; Ylian Saint Hillaire; Hafedh Mili; Abdellatif Obaid; Ahmed Serhrouchni (ISCC, 1998)

QOS metrics tool using management by delegation. - Omar Cherkaoui; Abdellatif Obaid; Ahmed Serhrouchni; Noëmie Simoni (NOMS, 1998)

Context Aware Customer Experience Management: A Development Framework Based on Ontologies and Computational Intelligence. - Hafedh Mili; Imen Benzarti; Marie-Jean Meurs; Abdellatif Obaid; Javier Gonzalez-Huerta; Narjes Haj-Salem; Anis Boubaker (Sentiment Analysis and Ontology Engineering, 2016)