default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFerhat Khendek
Person information
- affiliation: Concordia University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j43]Maryam Asgari Araghi
, Vahid Rafe, Ferhat Khendek:
Using data mining techniques to generate test cases from graph transformation systems specifications. Autom. Softw. Eng. 31(1): 17 (2024)- [j42]Siamak Azadiabad, Ferhat Khendek:
Dependability of Network Services in the Context of NFV: A Taxonomy and State of the Art Classification. J. Netw. Syst. Manag. 32(2): 37 (2024) - [c134]Hassaan Siddiqui, Ferhat Khendek:
Microservices for Reliable Safety-Critical Cellular IoT Systems - A Case Study. GLOBECOM 2024: 1455-1460 - [c133]Siamak Azadiabad, Ferhat Khendek:
Managing Failures and Service Quality in the Context of NFV. ICNC 2024: 435-440 - 2023
- [j41]Hassaan Siddiqui, Ferhat Khendek, Maria Toeroe:
Microservices based architectures for IoT systems - State-of-the-art review. Internet Things 23: 100854 (2023) - [j40]Siamak Azadiabad, Ferhat Khendek, Maria Toeroe:
Runtime Adaptation Framework for Fulfilling Availability and Continuity Requirements of Network Services. IEEE Trans. Netw. Serv. Manag. 20(3): 2259-2282 (2023) - [c132]Siamak Azadiabad, Ferhat Khendek, Maria Toeroe:
Runtime Availability and Service Continuity of Containerized VNF Instances. LATINCOM 2023: 1-6 - [e4]Yamine Aït-Ameur, Ferhat Khendek, Dominique Méry:
27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023. IEEE 2023, ISBN 979-8-3503-4004-4 [contents] - 2022
- [j39]Siamak Azadiabad, Ferhat Khendek, Maria Toeroe:
Availability and service disruption of network services: From high-level requirements to low-level configuration constraints. Comput. Stand. Interfaces 80: 103565 (2022) - [c131]Nour Gritli, Ferhat Khendek, Maria Toeroe:
Extending the Network Service Descriptor to Capture User Isolation Intents for Network Slices. FNWF 2022: 340-346 - [c130]Oussama Jebbar, Ferhat Khendek, Maria Toeroe:
A Method for Component Evaluation for Live Testing of Cloud Systems. ISSRE Workshops 2022: 87-92 - [c129]Siamak Azadiabad, Ferhat Khendek, Maria Toeroe:
Availability and Failure Rate of VNF Instances: Impacting Parameters and Calculation Methods. NoF 2022: 1-8 - [i5]Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe:
Resolving inconsistencies of runtime configuration changes through change propagation and adjustments. CoRR abs/2208.13891 (2022) - 2021
- [j38]Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek:
A Kubernetes controller for managing the availability of elastic microservice based stateful applications. J. Syst. Softw. 175: 110924 (2021) - [c128]Nour Gritli, Ferhat Khendek, Maria Toeroe:
Taking into Account the Management Constraints in Network Slice Design. 5GWF 2021: 159-164 - [c127]Nour Gritli, Ferhat Khendek, Maria Toeroe:
Decomposition and Propagation of Intents for Network Slice Design. 5GWF 2021: 165-170 - [c126]Nour Gritli, Ferhat Khendek, Maria Toeroe:
Network Slice Provisioning Taking Into Account Tenant Intents and Operator Policies. NFV-SDN 2021: 167-173 - [i4]Mina Nabi, Ferhat Khendek, Maria Toeroe:
An Approach for the Automation of IaaS Cloud Upgrade. CoRR abs/2103.12837 (2021) - 2020
- [j37]Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe:
Model-driven process enactment for NFV systems with MAPLE. Softw. Syst. Model. 19(5): 1263-1282 (2020) - [c125]Navid Nazarzadeoghaz, Ferhat Khendek, Maria Toeroe:
Automated Design of Network Services from Network Service Requirements. ICIN 2020: 63-70 - [c124]Oussama Jebbar, Mohamed Aymen Saied, Ferhat Khendek, Maria Toeroe:
Regression Test Suite Reduction for Cloud Systems. ICST Workshops 2020: 477-486 - [c123]Oussama Jebbar, Ferhat Khendek, Maria Toeroe:
Methods for Live Testing of Cloud Services. ICTSS 2020: 201-216 - [c122]Oussama Jebbar, Ferhat Khendek, Maria Toeroe:
Architecture for the Automation of Live Testing of Cloud Systems. QRS 2020: 142-151 - [c121]Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe:
A Model Traceability Framework for Network Service Management. SAM 2020: 64-73 - [i3]Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek:
A Kubernetes Controller for Managing the Availability of Elastic Microservice Based Stateful Applications. CoRR abs/2012.14086 (2020)
2010 – 2019
- 2019
- [j36]Mohamed Mussa, Ferhat Khendek:
Chapter Two - Model-Based Test Cases Reuse and Optimization. Adv. Comput. 113: 47-87 (2019) - [j35]Mahin Abbasipour, Ferhat Khendek, Maria Toeroe:
SLA Compliance Checking and System Runtime Reconfiguration - A Model Based Approach. J. Softw. 14(11): 488-518 (2019) - [c120]Oussama Jebbar, Mohamed Aymen Saied, Ferhat Khendek, Maria Toeroe:
Poster: Re-Testing Configured Instances in the Production Environment - A Method for Reducing the Test Suite. ICST 2019: 367-370 - [c119]Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe:
MAPLE-T: A Tool for Process Enactment with Traceability Support. MoDELS (Companion) 2019: 759-763 - [c118]Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek:
Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes. QRS 2019: 176-185 - [c117]Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe:
Process Enactment with Traceability Support for NFV Systems. SAM 2019: 116-135 - [i2]Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek:
Kubernetes as an Availability Manager for Microservice Applications. CoRR abs/1901.04946 (2019) - [i1]Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe:
Model-Driven Process Enactment for NFV Systems with MAPLE. CoRR abs/1910.11756 (2019) - 2018
- [j34]Pejman Salehi, Abdelwahab Hamou-Lhadj, Maria Toeroe, Ferhat Khendek:
A model-driven approach for the generation of configurations for highly available software systems. Innov. Syst. Softw. Eng. 14(4): 273-307 (2018) - [c116]Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek:
Deploying Microservice Based Applications with Kubernetes: Experiments and Lessons Learned. IEEE CLOUD 2018: 970-973 - [c115]Sadaf Mustafiz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe:
MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems. ECMFA 2018: 164-178 - [c114]Mahin Abbasipour, Ferhat Khendek, Maria Toeroe:
A Model-Based Approach for Design Time Elasticity Rules Generation. ICECCS 2018: 93-103 - [c113]Guillaume Dupont, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe:
Building domain-specific modelling environments with papyrus: an experience report. MiSE@ICSE 2018: 49-56 - [c112]Mahin Abbasipour, Ferhat Khendek, Maria Toeroe:
Trigger correlation for dynamic system reconfiguration. SAC 2018: 427-430 - [e3]Ferhat Khendek, Reinhard Gotzhein:
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering - 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings. Lecture Notes in Computer Science 11150, Springer 2018, ISBN 978-3-030-01041-6 [contents] - 2017
- [c111]Pradheba C. Rangarajan, Ferhat Khendek, Maria Toeroe:
Managing the availability of VNFs with the availability management framework. CNSM 2017: 1-4 - [c110]Mehran Khan, Maria Toeroe, Ferhat Khendek:
Comparing Pacemaker with OpenSAF for Availability Management in the Cloud. EDGE 2017: 106-111 - [c109]Oussama Jebbar, Ferhat Khendek, Maria Toeroe:
Upgrade of Highly Available Systems: Formal Methods at the Rescue. IRI 2017: 270-274 - [c108]Sadaf Mustafiz, Navid Nazarzadeoghaz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe:
A Model-Driven Process Enactment Approach for Network Service Design. SDL Forum 2017: 99-118 - [c107]Oussama Jebbar, Ferhat Khendek, Maria Toeroe:
Upgrade campaign simulation and evaluation for highly available systems. SpringSim (TMS) 2017: 11:1-11:12 - 2016
- [j33]Pejman Salehi, Abdelwahab Hamou-Lhadj, Maria Toeroe, Ferhat Khendek:
A UML-based domain specific modeling language for service availability management: Design and experience. Comput. Stand. Interfaces 44: 63-83 (2016) - [j32]Parsa Pourali, Maria Toeroe, Ferhat Khendek:
Pattern based configuration generation for highly available COTS components based systems. Inf. Softw. Technol. 74: 143-159 (2016) - [j31]Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe:
Semantic weaving of configuration fragments into a consistent system configuration. Inf. Syst. Frontiers 18(5): 891-908 (2016) - [j30]Mina Nabi, Maria Toeroe, Ferhat Khendek:
Availability in the cloud: State of the art. J. Netw. Comput. Appl. 60: 54-67 (2016) - [c106]Mina Nabi, Maria Toeroe, Ferhat Khendek:
Rolling Upgrade with Dynamic Batch Size for IaaS Cloud. CLOUD 2016: 497-504 - [c105]Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe:
Runtime Adjustment of Configuration Models for Consistency Preservation. HASE 2016: 102-109 - [c104]Sadaf Mustafiz, Francis Palma, Maria Toeroe, Ferhat Khendek:
A network service design and deployment process for NFV systems. NCA 2016: 131-139 - [c103]Mehran Khan, Ferhat Khendek, Maria Toeroe:
Monitoring service level workload and adapting highly available applications. SAC 2016: 522-529 - [c102]Oussama Jebbar, Margarete Sackmann, Ferhat Khendek, Maria Toeroe:
Model Driven Upgrade Campaign Generation for Highly Available Systems. SAM 2016: 148-163 - 2015
- [c101]Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe:
A Model-Based Approach for the Integration of Configuration Fragments. ECMFA 2015: 125-136 - [c100]Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe:
Partial Validation of Configurations at Runtime. ISORC 2015: 288-291 - [c99]Mina Nabi, Ferhat Khendek, Maria Toeroe:
Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availability. ISSRE Workshops 2015: 21-24 - [c98]Ashis Kumar Bhowmik, Ferhat Khendek, Majid Hormati, Roch H. Glitho:
An architecture for M2M enabled social networks. Med-Hoc-Net 2015: 1-8 - [c97]Mohammadmajid Hormati, Fatna Belqasmi, Ferhat Khendek, Roch H. Glitho:
Overlay interconnection for end-user applications and wireless sensor networks in MANETs. CFIP/NOTERE 2015: 1-6 - [c96]Mahin Abbasipour, Ferhat Khendek, Maria Toeroe:
A Model-Based Framework for SLA Management and Dynamic Reconfiguration. SDL Forum 2015: 19-26 - [c95]Amine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Ferhat Khendek:
On the Semantic Transparency of Visual Notations: Experiments with UML. SDL Forum 2015: 122-137 - [c94]Parisa Heidari, Mohammadmajid Hormati, Maria Toeroe, Yanal Alahmad, Ferhat Khendek:
Integrating Open SAF High Availability Solution with Open Stack. SERVICES 2015: 229-236 - [p1]Mahin Abbasipour, Margarete Sackmann, Ferhat Khendek, Maria Toeroe:
A Model-Based Approach for User Requirements Decomposition and Component Selection. Formalisms for Reuse and Systems Integration 2015: 173-202 - 2014
- [j29]Ali Kanso, Maria Toeroe, Ferhat Khendek:
Comparing redundancy models for high availability middleware. Computing 96(10): 975-993 (2014) - [c93]Parsa Pourali, Ferhat Khendek, Maria Toeroe:
Enhanced Configuration Generation Approach for Highly Available COTS Based Systems. ARES 2014: 104-113 - [c92]Maria Toeroe, Neha Pawar, Ferhat Khendek:
Managing application level elasticity and availability. CNSM 2014: 348-351 - [c91]Ali Davoudian, Ferhat Khendek, Maria Toeroe:
Ordering Upgrade Changes for Highly Available Component Based Systems. HASE 2014: 259-260 - [c90]Mohammadmajid Hormati, Ferhat Khendek, Roch H. Glitho, Fatna Belqasmi:
Differentiated QoS for overlay-based disaster response systems. ICC Workshops 2014: 225-230 - [c89]Razieh Safaripour, Ferhat Khendek, Roch H. Glitho, Fatna Belqasmi:
A RESTfull architecture for enabling rapid development and deployment of companion robot applications. ICNC 2014: 971-976 - [c88]Mahin Abbasipour, Margarete Sackmann, Ferhat Khendek, Maria Toeroe:
Ontology-based user requirements decomposition for component selection for highly available systems. IRI 2014: 44-51 - [c87]Mohammadmajid Hormati, Ferhat Khendek, Maria Toeroe:
Towards an Evaluation Framework for Availability Solutions in the Cloud. ISSRE Workshops 2014: 43-46 - [c86]Ahmed Abouzeid, Mohammadmajid Hormati, Roch H. Glitho, Ferhat Khendek:
Quality of experience-enabled social networks. Q2SWinet 2014: 1-8 - [c85]Mohamed Mussa, Ferhat Khendek:
Acceptance Test Optimization. SAM 2014: 158-173 - [c84]Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe:
Providing Hardware Redundancy for Highly Available Services in Virtualized Environments. SERE 2014: 40-47 - 2013
- [j28]Md. Asadul Islam, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek:
The design and implementation of OMA restful location services in wireless sensor environments. IEEE Commun. Mag. 51(4): 122-131 (2013) - [j27]Ali Kanso, Ferhat Khendek, Maria Toeroe, Abdelwahab Hamou-Lhadj:
Automatic configuration generation for service high availability with load balancing. Concurr. Comput. Pract. Exp. 25(2): 265-287 (2013) - [j26]Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
Use case and task models: An integrated development methodology and its formal foundation. ACM Trans. Softw. Eng. Methodol. 22(3): 27:1-27:31 (2013) - [c83]Ali Nikzad, Ferhat Khendek, Maria Toeroe:
OpenSAF and VMware from the perspective of high availability. CNSM 2013: 324-331 - [c82]Mohamed Mussa, Ferhat Khendek:
Merging Test Models. ICECCS 2013: 167-170 - [c81]Mohammadmajid Hormati, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek:
A DNS protocol - based Service Discovery architecture for disaster response systems. ISCC 2013: 366-371 - [c80]Ekansh Katihar, Ferhat Khendek, Maria Toeroe:
Operating system upgrade in high availability environment. SoftCOM 2013: 1-5 - [c79]Ali Kanso, Maria Toeroe, Ferhat Khendek:
Automating Service Availability Analysis: An Application to a Highly Available Media-Streaming Service. SERE (Companion) 2013: 94-101 - [e2]Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed:
SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings. Lecture Notes in Computer Science 7916, Springer 2013, ISBN 978-3-642-38910-8 [contents] - 2012
- [j25]Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho:
A novel architecture for Web service composition. J. Netw. Comput. Appl. 35(2): 787-802 (2012) - [j24]Pietro Colombo, Ferhat Khendek, Luigi Lavazza:
Bridging the gap between requirements and design: An approach based on Problem Frames and SysML. J. Syst. Softw. 85(3): 717-745 (2012) - [c78]Pietro Colombo, Pejman Salehi, Ferhat Khendek, Maria Toeroe:
Bridging the Gap between User Requirements and Configuration Requirements. ICECCS 2012: 13-22 - [c77]Md. Asadul Islam, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek:
Implementing OMA RESTful location services in wireless sensor environments. ISCC 2012: 617-620 - [c76]Mohamed Mussa, Ferhat Khendek:
Identification and Selection of Interaction Test Scenarios for Integration Testing. SAM 2012: 16-33 - [c75]Ali Kanso, Maria Toeroe, Ferhat Khendek:
Configuration-Based Service Availability Analysis for Middleware Managed Applications. SAM 2012: 229-248 - 2011
- [j23]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 Commun. Mag. 49(12): 138-146 (2011) - [j22]Daniel Sinnig, Ferhat Khendek, Patrice Chalin:
Partial order semantics for use case and task models. Formal Aspects Comput. 23(3): 307-332 (2011) - [c74]Pejman Salehi, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe:
AMF configurations: Checking for service protection using heuristics. CNSM 2011: 1-8 - [c73]Ali Kanso, Ferhat Khendek, Maria Toeroe:
Workload Balancing for Highly Available Services: The Case of the N+M Redundancy Model. DASC 2011: 97-104 - [c72]Ali Kanso, Ferhat Khendek, Maria Toeroe:
Automatic Annotation of Software Configuration Models with Service Recovery Information. DASC 2011: 121-128 - [c71]Pietro Colombo, Ferhat Khendek, Luigi Lavazza:
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML. ECMFA 2011: 97-114 - [c70]Ali Kanso, Ferhat Khendek, Anik Mishra, Maria Toeroe:
Integrating Legacy Applications for High Availability: A Case Study. HASE 2011: 83-90 - [c69]Mohamed Mussa, Ferhat Khendek:
Towards a Model Based Approach for Integration Testing. SDL Forum 2011: 106-121 - 2010
- [j21]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 Commun. Mag. 48(4): 42-50 (2010) - [j20]Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho:
A formal description framework and a matchmaking technique for web service composition. Int. J. Web Inf. Syst. 6(1): 24-54 (2010) - [c68]Pietro Colombo, Ferhat Khendek, Luigi Lavazza:
Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study. ECMFA 2010: 74-89 - [c67]Daniel Sinnig, Rabeb Mizouni, Ferhat Khendek:
Bridging the gap: empowering use cases with task models. EICS 2010: 291-296 - [c66]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 - [c65]Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek:
Towards an Integrated Model for Functional and User Interface Requirements. HCSE 2010: 214-221 - [c64]Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek:
Enriching Use Cases with CTTs. ICECCS 2010: 262-263 - [c63]Daniel Sinnig, Ferhat Khendek, Patrice Chalin:
A Formal Model for Generating Integrated Functional and User Interface Test Cases. ICST 2010: 255-264 - [c62]Saba Hamedi, Majid Hormati, Roch H. Glitho, Ferhat Khendek:
Integrating wireless sensor networks and mobile ad hoc networks for an enhanced end-user experience. Kaleidoscope 2010: 1-7 - [c61]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 - [c60]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 - [c59]Pejman Salehi, Pietro Colombo, Abdelwahab Hamou-Lhadj, Ferhat Khendek:
A Model Driven Approach for AMF Configuration Generation. SAM 2010: 124-143
2000 – 2009
- 2009
- [j19]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) - [j18]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) - [c58]Ali Kanso, Maria Toeroe, Abdelwahab Hamou-Lhadj, Ferhat Khendek:
Generating AMF Configurations from Software Vendor Constraints and User Requirements. ARES 2009: 454-461 - [c57]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 - [c56]Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
LTS semantics for use case models. SAC 2009: 365-370 - [c55]Pejman Salehi, Ferhat Khendek, Maria Toeroe, Abdelwahab Hamou-Lhadj, Abdelouahed Gherbi:
Checking Service Instance Protection for AMF Configurations. SSIRI 2009: 269-274 - [c54]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 - 2008
- [j17]Chunyan Fu, Roch H. Glitho, Ferhat Khendek:
A cross-layer architecture for signaling in multihop cellular networks. IEEE Commun. Mag. 46(9): 174-182 (2008) - [j16]Ferhat Khendek, Tong Zheng:
Modeling and analysis of value added services using message sequence charts. J. Netw. Comput. Appl. 31(3): 338-356 (2008) - [c53]Ali Kanso, Maria Toeroe, Ferhat Khendek, Abdelwahab Hamou-Lhadj:
Automatic Generation of AMF Compliant Configurations. ISAS 2008: 155-170 - [c52]Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho:
Categorizing and Assembling Web Services in a Composition Framework. SEW 2008: 10-20 - [c51]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 - [c50]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 - 2007
- [j15]Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho:
A business model for dynamic composition of telecommunication web services. IEEE Commun. Mag. 45(7): 36-43 (2007) - [c49]Roch H. Glitho, Chunyan Fu, Ferhat Khendek:
Cross-Layer Design for Optimizing the Performance of Clusters-Based Application Layer Schemes in Mobile Ad Hoc Networks. CCNC 2007: 239-243 - [c48]Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli, Ferhat Khendek, John Mattam:
An Architecture for Composing Registries when Ambient Networks Compose. CCNC 2007: 503-507 - [c47]Roch H. Glitho, Ferhat Khendek, Nuru Yakub Othman, Samir Chebbine:
Web Services-Based Architecture for the Interactions between End-User Applications and Sink-Less Wireless Sensor Networks. CCNC 2007: 865-869 - [c46]Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
Consistency between Task Models and Use Cases. EHCI/DS-VIS 2007: 71-88 - [c45]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 - [c44]Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
Common Semantics for Use Cases and Task Models. IFM 2007: 579-598 - [c43]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 - [c42]Abdelouahed Gherbi, Ferhat Khendek:
Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. ISORC 2007: 412-419 - [c41]Abdelouahed Gherbi, Ferhat Khendek:
Consistency of UML/SPT Models. SDL Forum 2007: 203-224 - [c40]Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek:
Practical Extensions for Task Models. TAMODIA 2007: 42-55 - 2006
- [j14]Chunyan Fu, Ferhat Khendek, Roch H. Glitho:
Signaling for multimedia conferencing in 4G: the case of integrated 3G/MANETs. IEEE Commun. Mag. 44(8): 90-99 (2006) - [j13]Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho:
Using web services for presence-based application development. Int. J. Web Grid Serv. 2(2): 167-197 (2006) - [j12]Abdelouahed Gherbi, Ferhat Khendek:
UML Profiles for Real-Time Systems and their Applications. J. Object Technol. 5(4): 149-169 (2006) - [j11]Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek:
TURTLE-P: a UML profile for the formal validation of critical and distributed systems. Softw. Syst. Model. 5(4): 449-466 (2006) - [c39]Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho:
A Novel Business Model for Web Service Composition. IEEE SCC 2006: 431-437 - [c38]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 - [c37]Chunyan Fu, Roch H. Glitho, Ferhat Khendek:
Signaling for Conferencing in Integrated 3G/Mobile Ad Hoc Networks. ISCC 2006: 838-843 - [c36]Abdelouahed Gherbi, Ferhat Khendek:
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation. ISORC 2006: 343-350 - [c35]Reinhard Gotzhein, Ferhat Khendek:
Compositional Testing of Communication Systems. TestCom 2006: 227-244 - [c34]Abdelouahed Gherbi, Ferhat Khendek:
Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT. SAM 2006: 34-48 - [c33]Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
Towards a Common Semantic Foundation for Use Cases and Task Models. FMIS@ICFEM 2006: 73-88 - 2005
- [c32]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 - [e1]Ferhat Khendek, Rachida Dssouli:
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 [contents] - 2004
- [c31]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 - 2003
- [j10]Tong Zheng, Ferhat Khendek:
Time consistency of MSC-2000 specifications. Comput. Networks 42(3): 303-322 (2003) - [j9]Rachida Dssouli, Ferhat Khendek:
Preface. Inf. Softw. Technol. 45(11): 699 (2003) - [j8]Rachida Dssouli, Ferhat Khendek:
Preface. Inf. Softw. Technol. 45(12): 791-792 (2003) - [j7]Hong Peng, Sofiène Tahar, Ferhat Khendek:
Comparison of SPIN and VIS for protocol verification. Int. J. Softw. Tools Technol. Transf. 4(2): 234-245 (2003) - [j6]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 Trans. Syst. Man Cybern. Part C 33(4): 446-457 (2003) - [c30]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 - [c29]A. De Marco, Ferhat Khendek:
eSERL: Feature Interaction Management in Parlay/OSA using Composition Constraints and Configuration Rules. FIW 2003: 247-256 - [c28]Tong Zheng, Ferhat Khendek, Benoit Parreaux:
Refining Timed MSCs. SDL Forum 2003: 234-250 - 2002
- [j5]Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek:
Timed Wp-Method: Testing Real-Time Systems. IEEE Trans. Software Eng. 28(11): 1023-1038 (2002) - [c27]Stephan Bourduas, Ferhat Khendek, Daniel Vincent:
From MSC and UML to SDL. COMPSAC 2002: 153-158 - [c26]Umer Waqar, Ferhat Khendek, Daniel Vincent:
A Formal Approach for Software Maintenance. ICSM 2002: 608-617 - [c25]Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible:
Micro Protocol Design: The SNMP Case Study. SAM 2002: 61-73 - [c24]Tong Zheng, Ferhat Khendek:
An Extension for MSC-2000 and Its Application. SAM 2002: 221-232 - [c23]Tong Zheng, Ferhat Khendek, Loïc Hélouët:
A Semantics for Timed MSC. VISS@ETAPS 2002: 85-99 - 2001
- [j4]C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli:
Test cases selection from SDL specifications. Comput. Networks 35(6): 693-708 (2001) - [c22]Cédric Besse, Ana R. Cavalli, Ferhat Khendek:
Partial Validation of a Design Specification with Respect to Requirements. APAQS 2001: 131-140 - [c21]Ferhat Khendek, Stephan Bourduas, Daniel Vincent:
Stepwise Design with Message Sequence Charts. FORTE 2001: 19-34 - 2000
- [j3]Azimeh Sefidcon, Ferhat Khendek:
FID: feature interaction detection tool. Microprocess. Microsystems 24(6): 283-289 (2000) - [c20]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 - [c19]Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli:
Testing embedded real-time systems. RTCSA 2000: 417-424 - [c18]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 - [c17]Ferhat Khendek, Daniel Vincent:
Enriching SDL Specifications with MSCs. SAM 2000: 305-319
1990 – 1999
- 1999
- [c16]Azimeh Sefidcon, Ferhat Khendek:
A pragmatic approach for feature interaction detection in intelligent networks. ICCCN 1999: 622-627 - [c15]Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli:
Fault Coverage in Testing Real-Time Systems. RTCSA 1999: 150-157 - [c14]Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc:
Formal Description of Real-time Systems using SDL. RTCSA 1999: 190- - [c13]Miguel Abdalla, Ferhat Khendek, Greg Butler:
New results on deriving SDL specifications from MSCs. SDL Forum 1999: 51-66 - [c12]Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek:
From timed scenarios to SDL: specification, implementation and testing of real-time systems. SDL Forum 1999: 67- - 1998
- [c11]Greg Butler, Peter Grogono, Ferhat Khendek:
A Reuse Case Perspective on Documenting Frameworks. APSEC 1998: 94-101 - [c10]Yuan Peng, Ferhat Khendek, Peter Grogono, Greg Butler:
Feature Interaction Detection Technique Based on Feature Assumptions. FIW 1998: 291-298 - [c9]Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, Abdelkader Elqortobi:
Timed Test Cases Generation Based on State Characterization Technique. RTSS 1998: 220-229 - 1997
- [c8]Greg Butler, Peter Grogono, Ferhat Khendek:
A Z Specification of Use Cases: A Preliminary Report. APSEC 1997: 505-506 - [c7]Gabriel Robert, Ferhat Khendek, Peter Grogono:
Deriving an SDL specification with a given architecture from a set of MSCs. SDL Forum 1997: 197-212 - 1996
- [c6]Issam A. Hamid, Ferhat Khendek:
A Dynamic Evolution for the Specifications of Distributed Systems. ASIAN 1996: 287-298 - 1995
- [j2]Ferhat Khendek, Gregor von Bochmann:
Merging Behavior Specifications. Formal Methods Syst. Des. 6(3): 259-293 (1995) - 1993
- [c5]Ferhat Khendek, Gregor von Bochmann:
Formal specifications design, evolution and reuse. CASCON 1993: 184-193 - [c4]Ferhat Khendek, Gregor von Bochmann:
Incremental Construction Approach for Distributed System Specifications. FORTE 1993: 87-102 - 1992
- [c3]Ferhat Khendek:
Extending distributed system specifications. CASCON 1992: 293-299 - [c2]Ferhat Khendek, Gregor von Bochmann:
A formalization of the CORDS Process Model using Mondel. CASCON 1992: 351-360 - 1991
- [j1]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)
1980 – 1989
- 1989
- [c1]Ferhat Khendek, Gregor von Bochmann, Christian Kant:
New Results on Deriving Protocol Specifications from Service Specifications. SIGCOMM 1989: 136-145
Coauthor Index
[j41] [j40] [c132] [j39] [c131] [c130] [c129] [i5] [j38] [c128] [c127] [c126] [i4] [j37] [c125] [c124] [c123] [c122] [c121] [i3] [j35] [c120] [c119] [c118] [c117] [i2] [i1] [j34] [c116] [c115] [c114] [c113] [c112] [c111] [c110] [c109] [c108] [c107] [j33] [j32] [j31] [j30] [c106] [c105] [c104] [c103] [c102] [c101] [c100] [c99] [c96] [c94] [p1] [j29] [c93] [c92] [c91] [c88] [c87] [c84] [j27] [c83] [c80] [c79] [e2] [c78] [c75] [c74] [c73] [c72] [c70] [c66] [c61] [c58] [c57] [c55] [c53]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-11 19:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
