The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ferhat Khendek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho
    A Novel Business Model for Web Service Composition. [Citation Graph (0, 0)][DBLP]
    IEEE SCC, 2006, pp:431-437 [Conf]
  2. Cédric Besse, Ana R. Cavalli, Ferhat Khendek
    Partial Validation of a Design Specification with Respect to Requirements. [Citation Graph (0, 0)][DBLP]
    APAQS, 2001, pp:131-140 [Conf]
  3. Greg Butler, Peter Grogono, Ferhat Khendek
    A Z Specification of Use Cases: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:505-506 [Conf]
  4. Greg Butler, Peter Grogono, Ferhat Khendek
    A Reuse Case Perspective on Documenting Frameworks. [Citation Graph (0, 0)][DBLP]
    APSEC, 1998, pp:94-101 [Conf]
  5. Issam A. Hamid, Ferhat Khendek
    A Dynamic Evolution for the Specifications of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:287-298 [Conf]
  6. Ferhat Khendek
    Extending distributed system specifications. [Citation Graph (0, 0)][DBLP]
    CASCON, 1992, pp:293-299 [Conf]
  7. Ferhat Khendek, Gregor von Bochmann
    A formalization of the CORDS Process Model using Mondel. [Citation Graph (0, 0)][DBLP]
    CASCON, 1992, pp:351-360 [Conf]
  8. Ferhat Khendek, Gregor von Bochmann
    Formal specifications design, evolution and reuse. [Citation Graph (0, 0)][DBLP]
    CASCON, 1993, pp:184-193 [Conf]
  9. Stephan Bourduas, Ferhat Khendek, Daniel Vincent
    From MSC and UML to SDL. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:153-158 [Conf]
  10. Ferhat Khendek, Xiao Jun Zhang
    From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:228-254 [Conf]
  11. A. De Marco, Ferhat Khendek
    eSERL: Feature Interaction Management in Parlay/OSA using Composition Constraints and Configuration Rules. [Citation Graph (0, 0)][DBLP]
    FIW, 2003, pp:247-256 [Conf]
  12. Yuan Peng, Ferhat Khendek, Peter Grogono, Greg Butler
    Feature Interaction Detection Technique Based on Feature Assumptions. [Citation Graph (0, 0)][DBLP]
    FIW, 1998, pp:291-298 [Conf]
  13. Ferhat Khendek, Gregor von Bochmann
    Incremental Construction Approach for Distributed System Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:87-102 [Conf]
  14. Ferhat Khendek, Stephan Bourduas, Daniel Vincent
    Stepwise Design with Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:19-34 [Conf]
  15. Hong Peng, Sofiène Tahar, Ferhat Khendek
    SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:79-88 [Conf]
  16. Umer Waqar, Ferhat Khendek, Daniel Vincent
    A Formal Approach for Software Maintenance. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:608-617 [Conf]
  17. Rajesh Karunamurthy, Roch H. Glitho, Ferhat Khendek
    A Novel Web Service for Presence and its Implementation in an IETF SIMPLE Protocol Environment. [Citation Graph (0, 0)][DBLP]
    ICWS, 2005, pp:401-408 [Conf]
  18. Chunyan Fu, Roch H. Glitho, Ferhat Khendek
    Signaling for Conferencing in Integrated 3G/Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    ISCC, 2006, pp:838-843 [Conf]
  19. Truong Ta, Nuru Yakub Othman, Roch H. Glitho, Ferhat Khendek
    Using Web Services for Bridging End-User Applications and Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    ISCC, 2006, pp:347-352 [Conf]
  20. Abdelouahed Gherbi, Ferhat Khendek
    From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation. [Citation Graph (0, 0)][DBLP]
    ISORC, 2006, pp:343-350 [Conf]
  21. Reinhard Gotzhein, Ferhat Khendek
    Compositional Testing of Communication Systems. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:227-244 [Conf]
  22. Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc
    Formal Description of Real-time Systems using SDL. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1999, pp:190-0 [Conf]
  23. Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli
    Testing embedded real-time systems. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:417-424 [Conf]
  24. Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli
    Fault Coverage in Testing Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1999, pp:150-157 [Conf]
  25. D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, A. Sefidcon
    An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:491-497 [Conf]
  26. Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, A. Elqortobi
    Timed Test Cases Generation Based on State Characterization Technique. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1998, pp:220-0 [Conf]
  27. Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible
    Micro Protocol Design: The SNMP Case Study. [Citation Graph (0, 0)][DBLP]
    SAM, 2002, pp:61-73 [Conf]
  28. Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao Jun Zhang, Tong Zheng
    Early Validation of Deployment and Scheduling Constraints for MSC Specifications. [Citation Graph (0, 0)][DBLP]
    SAM, 2004, pp:106-121 [Conf]
  29. Ferhat Khendek, Daniel Vincent
    Enriching SDL Specifications with MSCs. [Citation Graph (0, 0)][DBLP]
    SAM, 2000, pp:305-319 [Conf]
  30. Tong Zheng, Ferhat Khendek
    An Extension for MSC-2000 and Its Application. [Citation Graph (0, 0)][DBLP]
    SAM, 2002, pp:221-232 [Conf]
  31. Abdelouahed Gherbi, Ferhat Khendek
    Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT. [Citation Graph (0, 0)][DBLP]
    SAM, 2006, pp:34-48 [Conf]
  32. Miguel Abdalla, Ferhat Khendek, Greg Butler
    New results on deriving SDL specifications from MSCs. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:51-66 [Conf]
  33. Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek
    From timed scenarios to SDL: specification, implementation and testing of real-time systems. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:67-0 [Conf]
  34. Gabriel Robert, Ferhat Khendek, Peter Grogono
    Deriving an SDL specification with a given architecture from a set of MSCs. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1997, pp:197-212 [Conf]
  35. Tong Zheng, Ferhat Khendek, Benoit Parreaux
    Refining Timed MSCs. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2003, pp:234-250 [Conf]
  36. Ferhat Khendek, Gregor von Bochmann, Christian Kant
    New Results on Deriving Protocol Specifications from Service Specifications. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1989, pp:136-145 [Conf]
  37. C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli
    Test cases selection from SDL specifications. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:35, n:6, pp:693-708 [Journal]
  38. Tong Zheng, Ferhat Khendek
    Time consistency of MSC-2000 specifications. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2003, v:42, n:3, pp:303-322 [Journal]
  39. Tong Zheng, Ferhat Khendek, Loïc Hélouët
    A Semantics for Timed MSC. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
  40. Ferhat Khendek, Gregor von Bochmann
    Merging Behavior Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:6, n:3, pp:259-293 [Journal]
  41. Rachida Dssouli, Ferhat Khendek
    Preface. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:11, pp:699- [Journal]
  42. Rachida Dssouli, Ferhat Khendek
    Preface. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:12, pp:791-792 [Journal]
  43. Abdelouahed Gherbi, Ferhat Khendek
    UML Profiles for Real-Time Systems and their Applications. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2006, v:5, n:4, pp:149-169 [Journal]
  44. Hong Peng, Sofiène Tahar, Ferhat Khendek
    Comparison of SPIN and VIS for protocol verification. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:234-245 [Journal]
  45. Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek
    Timed Wp-Method: Testing Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:11, pp:1023-1038 [Journal]
  46. Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi
    Test Selection Based on Finite State Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:6, pp:591-603 [Journal]
  47. Roch H. Glitho, Ferhat Khendek, A. De Marco
    Creating value added services in Internet telephony: an overview and a case study on a high-level service creation environment. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part C, 2003, v:33, n:4, pp:446-457 [Journal]
  48. Chunyan Fu, Roch H. Glitho, Ferhat Khendek
    A Novel Session Recovery Mechanism for Cluster-based Signaling Architecture for Conferencing in MANETs. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2007, pp:19- [Conf]
  49. Daniel Sinnig, Patrice Chalin, Ferhat Khendek
    Common Semantics for Use Cases and Task Models. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:579-598 [Conf]
  50. Abdelouahed Gherbi, Ferhat Khendek
    Consistency of UML/SPT Models. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:203-224 [Conf]
  51. Daniel Sinnig, Patrice Chalin, Ferhat Khendek
    Towards a Common Semantic Foundation for Use Cases and Task Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:73-88 [Journal]

  52. Generating AMF Configurations from Software Vendor Constraints and User Requirements. [Citation Graph (, )][DBLP]


  53. Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study. [Citation Graph (, )][DBLP]


  54. Automatic Generation of AMF Compliant Configurations. [Citation Graph (, )][DBLP]


  55. The Design and Implementation of a Web Service Framework for Individual Nodes in Sinkless Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  56. Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. [Citation Graph (, )][DBLP]


  57. A Tool Suite for the Generation and Validation of Configurations for Software Availability. [Citation Graph (, )][DBLP]


  58. LTS semantics for use case models. [Citation Graph (, )][DBLP]


  59. Practical Extensions for Task Models. [Citation Graph (, )][DBLP]


  60. An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem. [Citation Graph (, )][DBLP]


  61. The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking. [Citation Graph (, )][DBLP]


  62. A Formal Model for Generating Integrated Functional and User Interface Test Cases. [Citation Graph (, )][DBLP]


  63. A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem. [Citation Graph (, )][DBLP]


  64. Bridging the gap: empowering use cases with task models. [Citation Graph (, )][DBLP]


  65. Checking Service Instance Protection for AMF Configurations. [Citation Graph (, )][DBLP]


  66. Ranking Service Units for Providing and Protecting Highly Available Services with Load Balancing. [Citation Graph (, )][DBLP]


  67. From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.456secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002