The SCEAS System
Navigation Menu

Search the dblp DataBase


Ahmed Khoumsi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  24. Modeling and Adapting JPEG to the Energy Requirements of VSN. [Citation Graph (, )][DBLP]

  25. Energy-efficient transmission scheme of JPEG images over Visual Sensor Networks. [Citation Graph (, )][DBLP]

Search in 0.327secs, Finished in 0.329secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002