Demo Data from VLDB 2026 / reviewers in the wild / expert
Abdellatif Obaid
dblp:56/4811
· DBLP profile ↗
5ranked-venue papers
0as first author
0since 2021 · last 1998
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Computer networks · 3Software engineering, systems software and programming languages · 2
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer networks
1 paper |
Internet architecture and protocols · 100% | |
| Theoretical computer science
1 paper |
Logic in computer science · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Internet architecture and protocols › protocol specification
formal description techniques |
0.0 | 1 | 1986 | Structure of a LOTOS interpreter · SIGCOMM 1986 |
Logic in computer science › process algebra
CCS |
0.0 | 1 | 1986 | Structure of a LOTOS interpreter · SIGCOMM 1986 |
Logic in computer science
process algebra |
0.0 | 1 | 1986 | Structure of a LOTOS interpreter · SIGCOMM 1986 |
Methods — techniques the papers use, named apart from their topics
prolog · 0.0interpreter implementation · 0.0YACC/LEX · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1998 | The modularity of SNMPv3abstractThe Simple Network Management Protocol (SNMP) was introduced in 1988 and is still widely implemented, deployed, and used. SNMPv3 is now in its final stages of standardization. From a practical perspective, we need to consider how telecommunication systems can be extended to consider different versions of SNMP, different applications and different security models. We present an object-oriented implementation of SNMPv3 to create a flexible product architecture. This architecture allows one to easily interface with other modules as required. We also describe network object models and relationships required for the architecture. The implementation uses Java to create modular reusable components. We explain how the architecture using a modular approach can allow interoperability with other SNMP applications. Also, the systems can possibly connect via an API bus to CORBA, JMAPI or WBEM. Omar Cherkaoui, Ylian Saint Hillaire, Hafedh Mili, Abdellatif Obaid, Ahmed Serhrouchni |
ISCC | 4 |
| 1998 | QOS metrics tool using management by delegationabstractThe Internet has become a widespread technology for providing public data, voice, video and multimedia services internationally. This paper presents a measurement methodology for evaluating quality of Internet service given by an ISP (Internet Service Provider), including a framework for defining the context and parameters for such measurement. The originality of this methodology lies principally in its reliance on sampling techniques and on its use of distributed applications to carry out measurement. The nature of the Internet places particular constraints on the amount and nature of data that can be collected, making statistical sampling necessary to answer certain types of questions. This paper addresses a number of methodological issues that arise when applying sampling techniques to the problem of measuring Internet service quality. This methodology is currently being implemented and tested by a major Canadian ISP. Omar Cherkaoui, Abdellatif Obaid, Ahmed Serhrouchni, Noëmie Simoni |
NOMS | 2 |
| 1990 | A Hoare-style Proof System for LOTOS
S. Gallouzi, Luigi Logrippo, Abdellatif Obaid |
FORTE | 3 |
| 1988 | An Interpreter for LOTOS, a Specification Language for Distributed SystemsabstractAbstract LOTOS is an executable specification language for distributed systems currently being standardized within ISO as a tool for the formal specification of open systems interconnection protocols and services. It is based on an extended version of Milner's calculus of communicating systems (CCS) and on ACT ONE abstract data type (ADT) formalism. A brief introduction to LOTOS is given, along with a discussion of LOTOS operational semantics, and of the executability of LOTOS specifications. Further, an account of a prototype LOTOS interpreter is given, which includes an interactive system that allows the user to direct the execution of a specification (for example, for testing purposes). The interpreter was implemented in YACC/LEX, C and Prolog. The following topics are discussed: syntax and static semantics analysis; translation from LOTOS external format to internal representation; evaluation of ADT value expressions and extended CCS behaviour expressions. It is shown that the interpreter can be used in a variety of ways: to recognize whether a given sequence of interactions is allowed by the specification; to generate randomly chosen sequences of interactions; in a user‐guided generation mode, etc. Luigi Logrippo, Abdellatif Obaid, J. P. Briand, M. C. Fehri |
Softw. Pract. Exp. | 2 |
| 1986 | Structure of a LOTOS interpreterabstractLOTOS is an executable specification language for protocols and services currently being standardized within ISO. It is based on an extended version of Milner's Calculus of Communicating Systems (CCS) and ACT ONE Abstract Data Type formalism. After a brief introduction to LOTOS, we give here an account of a prototype LOTOS interpreter, which includes an interactive system that allows the user to direct the execution of a specification. The interpreter was implemented in YACC/LEX, C, and Prolog. The discussion includes the following topics: syntax and static semantics analysis; translation from LOTOS external format to internal representation; evaluation of Abstract Data Type value expressions and CCS* clauses. J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid |
SIGCOMM | 4 |