Abdellatif Obaid

Publication Activity (10 Years)

Years Active: 1986-1998
Publications (10 Years): 0

Publications

Omar Cherkaoui, Abdellatif Obaid, Ahmed Serhrouchni, Noëmie Simoni
QOS metrics tool using management by delegation. NOMS (1998)
Omar Cherkaoui, Ylian Saint Hillaire, Hafedh Mili, Abdellatif Obaid, Ahmed Serhrouchni
The modularity of SNMPv3. ISCC (1998)
Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid
Functional approach to protocols specification. PSTV (1994)
S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
An expressive trace theory for LOTOS. PSTV (1991)
S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
A Hoare-style Proof System for LOTOS. FORTE (1990)
Luigi Logrippo, Abdellatif Obaid, J. P. Briand, M. C. Fehri
An Interpreter for LOTOS, a Specification Language for Distributed Systems. Softw. Pract. Exp. 18 (4) (1988)
Abdellatif Obaid, Luigi Logrippo
An Atomic Calculus of Communicating Systems. PSTV (1987)
J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid
Structure of a LOTOS interpreter. SIGCOMM (1986)