 | 2012 |
|---|
| 32 |       | Ahmed Khoumsi,
Hicham Chakib:
Conjunctive and Disjunctive Architectures for Decentralized Prognosis of Failures in Discrete-Event Systems.
IEEE T. Automation Science and Engineering 9(2): 412-417 (2012) |
| 2011 |
|---|
| 31 | | Hicham Chakib,
Ahmed Khoumsi:
Multi-Decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems.
IEEE Trans. Automat. Contr. 56(11): 2608-2622 (2011) |
| 30 | | Amer Mohammed Al-Canaan,
Ahmed Khoumsi:
Multimedia Web Services Performance: Analysis and Quantification of Binary Data Compression.
Journal of Multimedia 6(5): 447-457 (2011) |
| 2010 |
|---|
| 29 | | Amer Mohammed Al-Canaan,
Ahmed Khoumsi:
Cross-platform Approach to Advanced IP-Telephony Services using JAIN-SIP.
JNW 5(7): 808-814 (2010) |
| 28 | | Lucien Ouedraogo,
Ahmed Khoumsi,
Mustapha Nourelfath:
SetExp: a method of transformation of timed automata into finite state automata.
Real-Time Systems 46(2): 189-250 (2010) |
| 2008 |
|---|
| 27 | | Abdelhamid Mammeri,
Ahmed Khoumsi,
Djemel Ziou,
Brahim Hadjou:
Modeling and Adapting JPEG to the Energy Requirements of VSN.
ICCCN 2008: 806-811 |
| 26 | | Abdelhamid Mammeri,
Ahmed Khoumsi,
Djemel Ziou,
Brahim Hadjou:
Energy-efficient transmission scheme of JPEG images over Visual Sensor Networks.
LCN 2008: 639-647 |
| 2006 |
|---|
| 25 | | Qiang Fan,
Roch H. Glitho,
Ahmed Khoumsi:
Creation of internet-telephony services using Siplet technology.
AICT/ICIW 2006: 68 |
| 24 | | Zohair Chentouf,
Ahmed Khoumsi:
Presence Interaction Management in SIP SOHO Architecture.
FORTE 2006: 93-98 |
| 23 | | Ahmed Khoumsi:
On Synthesizing Test Cases in Symbolic Real-time Testing.
J. Braz. Comp. Soc. 12(2): 31-48 (2006) |
| 22 | | 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 | | Ahmed Khoumsi:
Coordination of Components in a Distributed Discrete-Event System.
ISPDC 2005: 299-306 |
| 20 | | 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 | | Ahmed Khoumsi,
Lucien Ouedraogo:
A New Method for Transforming Timed Automata.
Electr. Notes Theor. Comput. Sci. 130: 101-128 (2005) |
| 18 | | Ahmed Khoumsi:
Complete Test Graph Synthesis For Symbolic Real-time Systems.
Electr. Notes Theor. Comput. Sci. 130: 79-100 (2005) |
| 2003 |
|---|
| 17 | | Ahmed Khoumsi,
Thierry Jéron,
Hervé Marchand:
Test Cases Generation for Nondeterministic Real-Time Systems.
FATES 2003: 131-146 |
| 16 | | 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 | | Ahmed Khoumsi:
Testing distributed real-time systems in the presence of inaccurate clock synchronizations.
Information & Software Technology 45(12): 853-864 (2003) |
| 13 | | Zohair Chentouf,
Soumaya Cherkaoui,
Ahmed Khoumsi:
Experimenting with Feature Interaction Management in SIP Environment.
Telecommunication Systems 24(2-4): 251-274 (2003) |
| 2002 |
|---|
| 12 | | Ahmed Khoumsi:
A Method for Testing the Conformance of Real Time Systems.
FTRTFT 2002: 331-354 |
| 11 | | Ahmed Khoumsi:
A Temporal Approach for Testing Distributed Systems.
IEEE Trans. Software Eng. 28(11): 1085-1103 (2002) |
| 2001 |
|---|
| 10 | | 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 | | 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 | | 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 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page