Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ahmed Khoumsi
2010 – today
- 2012
[j14]Hicham Chakib, Ahmed Khoumsi: Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems. Discrete Event Dynamic Systems 22(3): 333-380 (2012)- [j13]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
- [j12]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)
- [j11]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)
- 2010
- [j10]Amer Mohammed Al-Canaan, Ahmed Khoumsi: Cross-platform Approach to Advanced IP-Telephony Services using JAIN-SIP. JNW 5(7): 808-814 (2010)
- [j9]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)
2000 – 2009
- 2008
- [c20]Hicham Chakib, Ahmed Khoumsi: Multi-decision C&P∨D&A architecture for the decentralized control of discrete event systems. CASE 2008: 187-193
- [c19]Abdelhamid Mammeri, Ahmed Khoumsi, Djemel Ziou, Brahim Hadjou: Modeling and Adapting JPEG to the Energy Requirements of VSN. ICCCN 2008: 806-811
- [c18]Abdelhamid Mammeri, Ahmed Khoumsi, Djemel Ziou, Brahim Hadjou: Energy-efficient transmission scheme of JPEG images over Visual Sensor Networks. LCN 2008: 639-647
- 2006
- [j8]Ahmed Khoumsi: On Synthesizing Test Cases in Symbolic Real-time Testing. J. Braz. Comp. Soc. 12(2): 31-48 (2006)
- [j7]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)
- [c17]Qiang Fan, Roch H. Glitho, Ahmed Khoumsi: Creation of internet-telephony services using Siplet technology. AICT/ICIW 2006: 68
- [c16]Zohair Chentouf, Ahmed Khoumsi: Presence Interaction Management in SIP SOHO Architecture. FORTE 2006: 93-98
- 2005
- [j6]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)
- [j5]Ahmed Khoumsi: Complete Test Graph Synthesis For Symbolic Real-time Systems. Electr. Notes Theor. Comput. Sci. 130: 79-100 (2005)
- [j4]Ahmed Khoumsi, Lucien Ouedraogo: A New Method for Transforming Timed Automata. Electr. Notes Theor. Comput. Sci. 130: 101-128 (2005)
- [c15]Ahmed Khoumsi: Coordination of Components in a Distributed Discrete-Event System. ISPDC 2005: 299-306
- 2003
- [j3]Ahmed Khoumsi: Testing distributed real-time systems in the presence of inaccurate clock synchronizations. Information & Software Technology 45(12): 853-864 (2003)
- [j2]Zohair Chentouf, Soumaya Cherkaoui, Ahmed Khoumsi: Experimenting with Feature Interaction Management in SIP Environment. Telecommunication Systems 24(2-4): 251-274 (2003)
- [c14]Ahmed Khoumsi, Thierry Jéron, Hervé Marchand: Test Cases Generation for Nondeterministic Real-Time Systems. FATES 2003: 131-146
- [c13]Zohair Chentouf, Ahmed Khoumsi, Soumaya Cherkaoui: Conceptual Foundations of User Preference Modeling. Net-Con 2003: 238-250
- [c12]Zohair Chentouf, Soumaya Cherkaoui, Ahmed Khoumsi: New Management Methods for Feature and Preference Interactions. MMNS 2003: 233-245
- 2002
- [j1]Ahmed Khoumsi: A Temporal Approach for Testing Distributed Systems. IEEE Trans. Software Eng. 28(11): 1085-1103 (2002)
- [c11]
- 2001
- [c10]Ahmed Khoumsi: Testing Distributed Real Time Systems Using a Distributed Test Architecture. ISCC 2001: 648-654
- [c9]Ahmed Khoumsi: Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS. ISSS 2001: 268-273
- [c8]Ahmed Khoumsi, Soumaya Cherkaoui: Use of Agents for Resolving Feature Interactions. MATA 2001: 11-20
- 2000
- [c7]Ahmed Khoumsi, Rodolpho J. Bevelo: A Detection Method Developed after a Thorough Study of the Contest Held in 1998. FIW 2000: 226-240
- [c6]Ahmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger: An Approach for Testing Real Time Protocol Entities. TestCom 2000: 281-300
- [c5]
1990 – 1999
- 1999
- [c4]Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli: Protocol Synthesis for Real-Time Applications. FORTE 1999: 417-433
- 1997
- [c3]Ahmed Khoumsi: Detection and Resolution of Interactions between Services of Telephone Networks. FIW 1997: 78-92
- 1995
- [c2]Ahmed Khoumsi, Gregor von Bochmann: Protocol synthesis using basic Lotos and global variables. ICNP 1995: 126-
- 1994
- [c1]Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli: On specifying services and synthesizing protocols for real-time applications. PSTV 1994: 185-200
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:50 CET by the dblp team