| 2008 |
|---|
| 25 | EE | Abdelhamid Mammeri,
Ahmed Khoumsi,
Djemel Ziou,
Brahim Hadjou:
Energy-efficient transmission scheme of JPEG images over Visual Sensor Networks.
LCN 2008: 639-647 |
| 2006 |
|---|
| 24 | EE | Qiang Fan,
Roch H. Glitho,
Ahmed Khoumsi:
Creation of internet-telephony services using Siplet technology.
AICT/ICIW 2006: 68 |
| 23 | EE | Zohair Chentouf,
Ahmed Khoumsi:
Presence Interaction Management in SIP SOHO Architecture.
FORTE 2006: 93-98 |
| 22 | EE | Mustapha Nourelfath,
Ahmed Khoumsi:
Grid automata and supervisory control of dense real-time discrete event systems.
Mathematics and Computers in Simulation 70(5-6): 408-418 (2006) |
| 2005 |
|---|
| 21 | EE | Ahmed Khoumsi:
Coordination of Components in a Distributed Discrete-Event System.
ISPDC 2005: 299-306 |
| 20 | EE | Ahmed Khoumsi:
A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems.
Discrete Event Dynamic Systems 15(4): 397-431 (2005) |
| 19 | EE | Ahmed Khoumsi,
Lucien Ouedraogo:
A New Method for Transforming Timed Automata.
Electr. Notes Theor. Comput. Sci. 130: 101-128 (2005) |
| 18 | EE | Ahmed Khoumsi:
Complete Test Graph Synthesis For Symbolic Real-time Systems.
Electr. Notes Theor. Comput. Sci. 130: 79-100 (2005) |
| 2003 |
|---|
| 17 | EE | Ahmed Khoumsi,
Thierry Jéron,
Hervé Marchand:
Test Cases Generation for Nondeterministic Real-Time Systems.
FATES 2003: 131-146 |
| 16 | EE | Zohair Chentouf,
Soumaya Cherkaoui,
Ahmed Khoumsi:
New Management Methods for Feature and Preference Interactions.
MMNS 2003: 233-245 |
| 15 | | Zohair Chentouf,
Ahmed Khoumsi,
Soumaya Cherkaoui:
Conceptual Foundations of User Preference Modeling.
Net-Con 2003: 238-250 |
| 14 | EE | Ahmed Khoumsi:
Testing distributed real-time systems in the presence of inaccurate clock synchronizations.
Information & Software Technology 45(12): 853-864 (2003) |
| 13 | EE | Zohair Chentouf,
Soumaya Cherkaoui,
Ahmed Khoumsi:
Experimenting with Feature Interaction Management in SIP Environment.
Telecommunication Systems 24(2-4): 251-274 (2003) |
| 2002 |
|---|
| 12 | EE | Ahmed Khoumsi:
A Method for Testing the Conformance of Real Time Systems.
FTRTFT 2002: 331-354 |
| 11 | EE | Ahmed Khoumsi:
A Temporal Approach for Testing Distributed Systems.
IEEE Trans. Software Eng. 28(11): 1085-1103 (2002) |
| 2001 |
|---|
| 10 | EE | Ahmed Khoumsi:
Testing Distributed Real Time Systems Using a Distributed Test Architecture.
ISCC 2001: 648-654 |
| 9 | | Ahmed Khoumsi:
Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS.
ISSS 2001: 268-273 |
| 8 | EE | Ahmed Khoumsi,
Soumaya Cherkaoui:
Use of Agents for Resolving Feature Interactions.
MATA 2001: 11-20 |
| 2000 |
|---|
| 7 | | Ahmed Khoumsi,
Rodolpho J. Bevelo:
A Detection Method Developed after a Thorough Study of the Contest Held in 1998.
FIW 2000: 226-240 |
| 6 | EE | Ahmed Khoumsi:
A new method for testing real time systems.
RTCSA 2000: 441- |
| 5 | | Ahmed Khoumsi,
Mehdi Akalay,
Rachida Dssouli,
Abdeslam En-Nouaary,
Louis Granger:
An Approach for Testing Real Time Protocol Entities.
TestCom 2000: 281-300 |
| 1999 |
|---|
| 4 | | Ahmed Khoumsi,
Gregor von Bochmann,
Rachida Dssouli:
Protocol Synthesis for Real-Time Applications.
FORTE 1999: 417-433 |
| 1997 |
|---|
| 3 | | Ahmed Khoumsi:
Detection and Resolution of Interactions between Services of Telephone Networks.
FIW 1997: 78-92 |
| 1995 |
|---|
| 2 | EE | Ahmed Khoumsi,
Gregor von Bochmann:
Protocol synthesis using basic Lotos and global variables.
ICNP 1995: 126- |
| 1994 |
|---|
| 1 | | Ahmed Khoumsi,
Gregor von Bochmann,
Rachida Dssouli:
On specifying services and synthesizing protocols for real-time applications.
PSTV 1994: 185-200 |
