Ferhat Khendek

Md. Asadul Islam, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek: The design and implementation of OMA restful location services in wireless sensor environments. IEEE Communications Magazine 51(4): 122-131 (2013)

Ali Kanso, Ferhat Khendek, Maria Toeroe, Abdelwahab Hamou-Lhadj: Automatic configuration generation for service high availability with load balancing. Concurrency and Computation: Practice and Experience 25(2): 265-287 (2013)

Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho: A novel architecture for Web service composition. J. Network and Computer Applications 35(2): 787-802 (2012)

Pietro Colombo, Ferhat Khendek, Luigi Lavazza: Bridging the gap between requirements and design: An approach based on Problem Frames and SysML. Journal of Systems and Software 85(3): 717-745 (2012)

Pietro Colombo, Pejman Salehi, Ferhat Khendek, Maria Toeroe: Bridging the Gap between User Requirements and Configuration Requirements. ICECCS 2012: 13-22

Md. Asadul Islam, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek: Implementing OMA RESTful location services in wireless sensor environments. ISCC 2012: 617-620

Mohamed Mussa, Ferhat Khendek: Identification and Selection of Interaction Test Scenarios for Integration Testing. SAM 2012: 16-33

Ali Kanso, Maria Toeroe, Ferhat Khendek: Configuration-Based Service Availability Analysis for Middleware Managed Applications. SAM 2012: 229-248

Hou Rucheng, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek: The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless actuator networks. IEEE Communications Magazine 49(12): 138-146 (2011)

Daniel Sinnig, Ferhat Khendek, Patrice Chalin: Partial order semantics for use case and task models. Formal Asp. Comput. 23(3): 307-332 (2011)

Pejman Salehi, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe: AMF configurations: Checking for service protection using heuristics. CNSM 2011: 1-8

Ali Kanso, Ferhat Khendek, Maria Toeroe: Workload Balancing for Highly Available Services: The Case of the N+M Redundancy Model. DASC 2011: 97-104

Ali Kanso, Ferhat Khendek, Maria Toeroe: Automatic Annotation of Software Configuration Models with Service Recovery Information. DASC 2011: 121-128

Pietro Colombo, Ferhat Khendek, Luigi Lavazza: Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML. ECMFA 2011: 97-114

Ali Kanso, Ferhat Khendek, Anik Mishra, Maria Toeroe: Integrating Legacy Applications for High Availability: A Case Study. HASE 2011: 83-90

Mohamed Mussa, Ferhat Khendek: Towards a Model Based Approach for Integration Testing. SDL Forum 2011: 106-121

May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli: The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless sensor networks. IEEE Communications Magazine 48(4): 42-50 (2010)

Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho: A formal description framework and a matchmaking technique for web service composition. IJWIS 6(1): 24-54 (2010)

Pietro Colombo, Ferhat Khendek, Luigi Lavazza: Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study. ECMFA 2010: 74-89

Daniel Sinnig, Rabeb Mizouni, Ferhat Khendek: Bridging the gap: empowering use cases with task models. EICS 2010: 291-296

Pejman Salehi, Abdelwahab Hamou-Lhadj, Pietro Colombo, Ferhat Khendek, Maria Toeroe: A UML-Based Domain Specific Modeling Language for the Availability Management Framework. HASE 2010: 35-44

Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek: Towards an Integrated Model for Functional and User Interface Requirements. HCSE 2010: 214-221

Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek: Enriching Use Cases with CTTs. ICECCS 2010: 262-263

Daniel Sinnig, Ferhat Khendek, Patrice Chalin: A Formal Model for Generating Integrated Functional and User Interface Test Cases. ICST 2010: 255-264

Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe: Ranking Service Units for Providing and Protecting Highly Available Services with Load Balancing. NOTERE 2010: 33-40

Hou Rucheng, Roch H. Glitho, Ferhat Khendek, Mustafa K. Mehmet Ali: Integrating wireless actuation capabilities with the 3GPP IP Multimedia Subsystem for enhanced multimedia services. PIMRC 2010: 2551-2556

Pejman Salehi, Pietro Colombo, Abdelwahab Hamou-Lhadj, Ferhat Khendek: A Model Driven Approach for AMF Configuration Generation. SAM 2010: 124-143

Abdelouahed Gherbi, Ferhat Khendek: From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. Autom. Softw. Eng. 16(3-4): 387-414 (2009)

Chunyan Fu, Roch H. Glitho, Ferhat Khendek: Signaling for Multimedia Conferencing in Stand-Alone Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. 8(7): 991-1005 (2009)

Ali Kanso, Maria Toeroe, Abdelwahab Hamou-Lhadj, Ferhat Khendek: Generating AMF Configurations from Software Vendor Constraints and User Requirements. ARES 2009: 454-461

Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe: A Tool Suite for the Generation and Validation of Configurations for Software Availability. ASE 2009: 671-673

Daniel Sinnig, Patrice Chalin, Ferhat Khendek: LTS semantics for use case models. SAC 2009: 365-370

Pejman Salehi, Ferhat Khendek, Maria Toeroe, Abdelwahab Hamou-Lhadj, Abdelouahed Gherbi: Checking Service Instance Protection for AMF Configurations. SSIRI 2009: 269-274

May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli: The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking. VTC Spring 2009

Ferhat Khendek, Tong Zheng: Modeling and analysis of value added services using message sequence charts. J. Network and Computer Applications 31(3): 338-356 (2008)

Ali Kanso, Maria Toeroe, Ferhat Khendek, Abdelwahab Hamou-Lhadj: Automatic Generation of AMF Compliant Configurations. ISAS 2008: 155-170

May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli: An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem. VTC Spring 2008: 2784-2788

May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli: A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem. WCNC 2008: 3116-3121

Daniel Sinnig, Patrice Chalin, Ferhat Khendek: Towards a Common Semantic Foundation for Use Cases and Task Models. Electr. Notes Theor. Comput. Sci. 183: 73-88 (2007)

Daniel Sinnig, Patrice Chalin, Ferhat Khendek: Consistency between Task Models and Use Cases. EHCI/DS-VIS 2007: 71-88

Chunyan Fu, Roch H. Glitho, Ferhat Khendek: A Novel Session Recovery Mechanism for Cluster-based Signaling Architecture for Conferencing in MANETs. ICDCS Workshops 2007: 19

Daniel Sinnig, Patrice Chalin, Ferhat Khendek: Common Semantics for Use Cases and Task Models. IFM 2007: 579-598

Nuru Yakub Othman, Roch H. Glitho, Ferhat Khendek: The Design and Implementation of a Web Service Framework for Individual Nodes in Sinkless Wireless Sensor Networks. ISCC 2007: 941-947

Abdelouahed Gherbi, Ferhat Khendek: Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. ISORC 2007: 412-419

Abdelouahed Gherbi, Ferhat Khendek: Consistency of UML/SPT Models. SDL Forum 2007: 203-224

Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek: Practical Extensions for Task Models. TAMODIA 2007: 42-55

Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho: Using web services for presence-based application development. IJWGS 2(2): 167-197 (2006)

Abdelouahed Gherbi, Ferhat Khendek: UML Profiles for Real-Time Systems and their Applications. Journal of Object Technology 5(4): 149-169 (2006)

Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek: TURTLE-P: a UML profile for the formal validation of critical and distributed systems. Software and System Modeling 5(4): 449-466 (2006)

Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho: A Novel Business Model for Web Service Composition. IEEE SCC 2006: 431-437

Truong Ta, Nuru Yakub Othman, Roch H. Glitho, Ferhat Khendek: Using Web Services for Bridging End-User Applications and Wireless Sensor Networks. ISCC 2006: 347-352

Chunyan Fu, Roch H. Glitho, Ferhat Khendek: Signaling for Conferencing in Integrated 3G/Mobile Ad Hoc Networks. ISCC 2006: 838-843

Abdelouahed Gherbi, Ferhat Khendek: From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation. ISORC 2006: 343-350

Reinhard Gotzhein, Ferhat Khendek: Compositional Testing of Communication Systems. TestCom 2006: 227-244

Abdelouahed Gherbi, Ferhat Khendek: Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT. SAM 2006: 34-48

Rajesh Karunamurthy, Roch H. Glitho, Ferhat Khendek: A Novel Web Service for Presence and its Implementation in an IETF SIMPLE Protocol Environment. ICWS 2005: 401-408

Ferhat Khendek, Rachida Dssouli (Eds.): Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings. Lecture Notes in Computer Science 3502, Springer 2005, isbn 3-540-26054-4

Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao Jun Zhang, Tong Zheng: Early Validation of Deployment and Scheduling Constraints for MSC Specifications. SAM 2004: 106-121

Tong Zheng, Ferhat Khendek: Time consistency of MSC-2000 specifications. Computer Networks 42(3): 303-322 (2003)

Rachida Dssouli, Ferhat Khendek: Preface. Information & Software Technology 45(11): 699 (2003)

Rachida Dssouli, Ferhat Khendek: Preface. Information & Software Technology 45(12): 791-792 (2003)

Hong Peng, Sofiène Tahar, Ferhat Khendek: Comparison of SPIN and VIS for protocol verification. STTT 4(2): 234-245 (2003)

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. IEEE Transactions on Systems, Man, and Cybernetics, Part C 33(4): 446-457 (2003)

Ferhat Khendek, Xiao Jun Zhang: From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. Scenarios: Models, Transformations and Tools 2003: 228-254

A. De Marco, Ferhat Khendek: eSERL: Feature Interaction Management in Parlay/OSA using Composition Constraints and Configuration Rules. FIW 2003: 247-256

Tong Zheng, Ferhat Khendek, Benoit Parreaux: Refining Timed MSCs. SDL Forum 2003: 234-250

Tong Zheng, Ferhat Khendek, Loïc Hélouët: A Semantics for Timed MSC. Electr. Notes Theor. Comput. Sci. 65(7): 85-99 (2002)

Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek: Timed Wp-Method: Testing Real-Time Systems. IEEE Trans. Software Eng. 28(11): 1023-1038 (2002)

Stephan Bourduas, Ferhat Khendek, Daniel Vincent: From MSC and UML to SDL. COMPSAC 2002: 153-158

Umer Waqar, Ferhat Khendek, Daniel Vincent: A Formal Approach for Software Maintenance. ICSM 2002: 608-617

Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible: Micro Protocol Design: The SNMP Case Study. SAM 2002: 61-73

Tong Zheng, Ferhat Khendek: An Extension for MSC-2000 and Its Application. SAM 2002: 221-232

C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli: Test cases selection from SDL specifications. Computer Networks 35(6): 693-708 (2001)

Cédric Besse, Ana R. Cavalli, Ferhat Khendek: Partial Validation of a Design Specification with Respect to Requirements. APAQS 2001: 131-140

Ferhat Khendek, Stephan Bourduas, Daniel Vincent: Stepwise Design with Message Sequence Charts. FORTE 2001: 19-34

Azimeh Sefidcon, Ferhat Khendek: FID: feature interaction detection tool. Microprocessors and Microsystems - Embedded Hardware Design 24(6): 283-289 (2000)

Hong Peng, Sofiène Tahar, Ferhat Khendek: SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol. ICFEM 2000: 79-88

Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli: Testing embedded real-time systems. RTCSA 2000: 417-424

D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon: An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. RTCSA 2000: 491-497

Ferhat Khendek, Daniel Vincent: Enriching SDL Specifications with MSCs. SAM 2000: 305-319

Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli: Fault Coverage in Testing Real-Time Systems. RTCSA 1999: 150-157

Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc: Formal Description of Real-time Systems using SDL. RTCSA 1999: 190-

Miguel Abdalla, Ferhat Khendek, Greg Butler: New results on deriving SDL specifications from MSCs. SDL Forum 1999: 51-66

Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek: From timed scenarios to SDL: specification, implementation and testing of real-time systems. SDL Forum 1999: 67-

Greg Butler, Peter Grogono, Ferhat Khendek: A Reuse Case Perspective on Documenting Frameworks. APSEC 1998: 94-101

Yuan Peng, Ferhat Khendek, Peter Grogono, Greg Butler: Feature Interaction Detection Technique Based on Feature Assumptions. FIW 1998: 291-298

Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, A. Elqortobi: Timed Test Cases Generation Based on State Characterization Technique. RTSS 1998: 220-229

Greg Butler, Peter Grogono, Ferhat Khendek: A Z Specification of Use Cases: A Preliminary Report. APSEC 1997: 505-506

Gabriel Robert, Ferhat Khendek, Peter Grogono: Deriving an SDL specification with a given architecture from a set of MSCs. SDL Forum 1997: 197-212

Issam A. Hamid, Ferhat Khendek: A Dynamic Evolution for the Specifications of Distributed Systems. ASIAN 1996: 287-298

Ferhat Khendek, Gregor von Bochmann: Merging Behavior Specifications. Formal Methods in System Design 6(3): 259-293 (1995)

Ferhat Khendek, Gregor von Bochmann: Formal specifications design, evolution and reuse. CASCON 1993: 184-193

Ferhat Khendek, Gregor von Bochmann: Incremental Construction Approach for Distributed System Specifications. FORTE 1993: 87-102

Ferhat Khendek: Extending distributed system specifications. CASCON 1992: 293-299

Ferhat Khendek, Gregor von Bochmann: A formalization of the CORDS Process Model using Mondel. CASCON 1992: 351-360

Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi: Test Selection Based on Finite State Models. IEEE Trans. Software Eng. 17(6): 591-603 (1991)

Ferhat Khendek, Gregor von Bochmann, Christian Kant: New Results on Deriving Protocol Specifications from Service Specifications. SIGCOMM 1989: 136-145