Ferhat Khendek

189 papers A* 2A 4B 28C 19Misc 10Journal 49Unranked 73

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Memory failures in microservices based Cellular IoT systems - An experimental evaluation of service availability. VTC2025-Fall Hassaan Siddiqui, Ferhat Khendek
2025	J	`jnl`	Test Plan Generation for Live Testing of Cloud Services. CoRR Oussama Jebbar, Ferhat Khendek, Maria Toeroe
2024	J	`jnl`	Dependability of Network Services in the Context of NFV: A Taxonomy and State of the Art Classification. J. Netw. Syst. Manag. Siamak Azadiabad, Ferhat Khendek
2024	Misc	`conf`	Managing Failures and Service Quality in the Context of NFV. ICNC Siamak Azadiabad, Ferhat Khendek
2024	B	`conf`	Microservices for Reliable Safety-Critical Cellular IoT Systems - A Case Study. GLOBECOM Hassaan Siddiqui, Ferhat Khendek
2024	J	`jnl`	Using data mining techniques to generate test cases from graph transformation systems specifications. Autom. Softw. Eng. Maryam Asgari Araghi, Vahid Rafe, Ferhat Khendek
2023	B	`ed.`	27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023 ICECCS Yamine Aït-Ameur, Ferhat Khendek, Dominique Méry
2023	J	`jnl`	Microservices based architectures for IoT systems - State-of-the-art review. Internet Things Hassaan Siddiqui, Ferhat Khendek, Maria Toeroe
2023	J	`jnl`	Runtime Adaptation Framework for Fulfilling Availability and Continuity Requirements of Network Services. IEEE Trans. Netw. Serv. Manag. Siamak Azadiabad, Ferhat Khendek, Maria Toeroe
2023	—	`conf`	Runtime Availability and Service Continuity of Containerized VNF Instances. LATINCOM Siamak Azadiabad, Ferhat Khendek, Maria Toeroe
2022	—	`conf`	A Method for Component Evaluation for Live Testing of Cloud Systems. ISSRE Workshops Oussama Jebbar, Ferhat Khendek, Maria Toeroe
2022	—	`conf`	Availability and Failure Rate of VNF Instances: Impacting Parameters and Calculation Methods. NoF Siamak Azadiabad, Ferhat Khendek, Maria Toeroe
2022	J	`jnl`	Availability and service disruption of network services: From high-level requirements to low-level configuration constraints. Comput. Stand. Interfaces Siamak Azadiabad, Ferhat Khendek, Maria Toeroe
2022	—	`conf`	Extending the Network Service Descriptor to Capture User Isolation Intents for Network Slices. FNWF Nour Gritli, Ferhat Khendek, Maria Toeroe
2022	J	`jnl`	Resolving inconsistencies of runtime configuration changes through change propagation and adjustments. CoRR Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe
2021	J	`jnl`	A Kubernetes controller for managing the availability of elastic microservice based stateful applications. J. Syst. Softw. Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek
2021	J	`jnl`	An Approach for the Automation of IaaS Cloud Upgrade. CoRR Mina Nabi, Ferhat Khendek, Maria Toeroe
2021	—	`conf`	Decomposition and Propagation of Intents for Network Slice Design. 5GWF Nour Gritli, Ferhat Khendek, Maria Toeroe
2021	—	`conf`	Network Slice Provisioning Taking Into Account Tenant Intents and Operator Policies. NFV-SDN Nour Gritli, Ferhat Khendek, Maria Toeroe
2021	—	`conf`	Taking into Account the Management Constraints in Network Slice Design. 5GWF Nour Gritli, Ferhat Khendek, Maria Toeroe
2020	J	`jnl`	A Kubernetes Controller for Managing the Availability of Elastic Microservice Based Stateful Applications. CoRR Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek
2020	—	`conf`	A Model Traceability Framework for Network Service Management. SAM Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe
2020	C	`conf`	Architecture for the Automation of Live Testing of Cloud Systems. QRS Oussama Jebbar, Ferhat Khendek, Maria Toeroe
2020	Misc	`conf`	Automated Design of Network Services from Network Service Requirements. ICIN Navid Nazarzadeoghaz, Ferhat Khendek, Maria Toeroe
2020	C	`conf`	Methods for Live Testing of Cloud Services. ICTSS Oussama Jebbar, Ferhat Khendek, Maria Toeroe
2020	J	`jnl`	Model-driven process enactment for NFV systems with MAPLE. Softw. Syst. Model. Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
2020	—	`conf`	Regression Test Suite Reduction for Cloud Systems. ICST Workshops Oussama Jebbar, Mohamed Aymen Saied, Ferhat Khendek, Maria Toeroe
2019	J	`jnl`	Chapter Two - Model-Based Test Cases Reuse and Optimization. Adv. Comput. Mohamed Mussa, Ferhat Khendek
2019	J	`jnl`	Kubernetes as an Availability Manager for Microservice Applications. CoRR Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek
2019	—	`conf`	MAPLE-T: A Tool for Process Enactment with Traceability Support. MoDELS (Companion) Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe
2019	C	`conf`	Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes. QRS Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek
2019	J	`jnl`	Model-Driven Process Enactment for NFV Systems with MAPLE. CoRR Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
2019	A	`conf`	Poster: Re-Testing Configured Instances in the Production Environment - A Method for Reducing the Test Suite. ICST Oussama Jebbar, Mohamed Aymen Saied, Ferhat Khendek, Maria Toeroe
2019	—	`conf`	Process Enactment with Traceability Support for NFV Systems. SAM Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe
2019	J	`jnl`	SLA Compliance Checking and System Runtime Reconfiguration - A Model Based Approach. J. Softw. Mahin Abbasipour, Ferhat Khendek, Maria Toeroe
2018	B	`conf`	A Model-Based Approach for Design Time Elasticity Rules Generation. ICECCS Mahin Abbasipour, Ferhat Khendek, Maria Toeroe
2018	J	`jnl`	A model-driven approach for the generation of configurations for highly available software systems. Innov. Syst. Softw. Eng. Pejman Salehi, Abdelwahab Hamou-Lhadj, Maria Toeroe, Ferhat Khendek
2018	—	`conf`	Building domain-specific modelling environments with papyrus: an experience report. MiSE@ICSE Guillaume Dupont, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe
2018	—	`conf`	Deploying Microservice Based Applications with Kubernetes: Experiments and Lessons Learned. IEEE CLOUD Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek
2018	B	`conf`	MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems. ECMFA Sadaf Mustafiz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
2018	—	`ed.`	System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering - 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings SAM Ferhat Khendek, Reinhard Gotzhein
2018	Misc	`conf`	Trigger correlation for dynamic system reconfiguration. SAC Mahin Abbasipour, Ferhat Khendek, Maria Toeroe
2017	—	`conf`	A Model-Driven Process Enactment Approach for Network Service Design. SDL Forum Sadaf Mustafiz, Navid Nazarzadeoghaz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
2017	—	`conf`	Comparing Pacemaker with OpenSAF for Availability Management in the Cloud. EDGE Mehran Khan, Maria Toeroe, Ferhat Khendek
2017	B	`conf`	Managing the availability of VNFs with the availability management framework. CNSM Pradheba C. Rangarajan, Ferhat Khendek, Maria Toeroe
2017	—	`conf`	Upgrade campaign simulation and evaluation for highly available systems. SpringSim (TMS) Oussama Jebbar, Ferhat Khendek, Maria Toeroe
2017	Misc	`conf`	Upgrade of Highly Available Systems: Formal Methods at the Rescue. IRI Oussama Jebbar, Ferhat Khendek, Maria Toeroe
2016	J	`jnl`	A UML-based domain specific modeling language for service availability management: Design and experience. Comput. Stand. Interfaces Pejman Salehi, Abdelwahab Hamou-Lhadj, Maria Toeroe, Ferhat Khendek
2016	B	`conf`	A network service design and deployment process for NFV systems. NCA Sadaf Mustafiz, Francis Palma, Maria Toeroe, Ferhat Khendek
2016	J	`jnl`	Availability in the cloud: State of the art. J. Netw. Comput. Appl. Mina Nabi, Maria Toeroe, Ferhat Khendek
2016	—	`conf`	Model Driven Upgrade Campaign Generation for Highly Available Systems. SAM Oussama Jebbar, Margarete Sackmann, Ferhat Khendek, Maria Toeroe
2016	Misc	`conf`	Monitoring service level workload and adapting highly available applications. SAC Mehran Khan, Ferhat Khendek, Maria Toeroe
2016	J	`jnl`	Pattern based configuration generation for highly available COTS components based systems. Inf. Softw. Technol. Parsa Pourali, Maria Toeroe, Ferhat Khendek
2016	B	`conf`	Rolling Upgrade with Dynamic Batch Size for IaaS Cloud. CLOUD Mina Nabi, Maria Toeroe, Ferhat Khendek
2016	—	`conf`	Runtime Adjustment of Configuration Models for Consistency Preservation. HASE Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe
2016	J	`jnl`	Semantic weaving of configuration fragments into a consistent system configuration. Inf. Syst. Frontiers Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe
2015	—	`ch.`	A Model-Based Approach for User Requirements Decomposition and Component Selection. Formalisms for Reuse and Systems Integration Mahin Abbasipour, Margarete Sackmann, Ferhat Khendek, Maria Toeroe
2015	B	`conf`	A Model-Based Approach for the Integration of Configuration Fragments. ECMFA Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe
2015	—	`conf`	A Model-Based Framework for SLA Management and Dynamic Reconfiguration. SDL Forum Mahin Abbasipour, Ferhat Khendek, Maria Toeroe
2015	—	`conf`	An architecture for M2M enabled social networks. Med-Hoc-Net Ashis Kumar Bhowmik, Ferhat Khendek, Majid Hormati, Roch H. Glitho
2015	B	`conf`	Integrating Open SAF High Availability Solution with Open Stack. SERVICES Parisa Heidari, Mohammadmajid Hormati, Maria Toeroe, Yanal Alahmad, Ferhat Khendek
2015	—	`conf`	On the Semantic Transparency of Visual Notations: Experiments with UML. SDL Forum Amine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Ferhat Khendek
2015	—	`conf`	Overlay interconnection for end-user applications and wireless sensor networks in MANETs. CFIP/NOTERE Mohammadmajid Hormati, Fatna Belqasmi, Ferhat Khendek, Roch H. Glitho
2015	C	`conf`	Partial Validation of Configurations at Runtime. ISORC Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe
2015	—	`conf`	Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availability. ISSRE Workshops Mina Nabi, Ferhat Khendek, Maria Toeroe
2014	Misc	`conf`	A RESTfull architecture for enabling rapid development and deployment of companion robot applications. ICNC Razieh Safaripour, Ferhat Khendek, Roch H. Glitho, Fatna Belqasmi
2014	—	`conf`	Acceptance Test Optimization. SAM Mohamed Mussa, Ferhat Khendek
2014	J	`jnl`	Comparing redundancy models for high availability middleware. Computing Ali Kanso, Maria Toeroe, Ferhat Khendek
2014	—	`conf`	Differentiated QoS for overlay-based disaster response systems. ICC Workshops Mohammadmajid Hormati, Ferhat Khendek, Roch H. Glitho, Fatna Belqasmi
2014	B	`conf`	Enhanced Configuration Generation Approach for Highly Available COTS Based Systems. ARES Parsa Pourali, Ferhat Khendek, Maria Toeroe
2014	B	`conf`	Managing application level elasticity and availability. CNSM Maria Toeroe, Neha Pawar, Ferhat Khendek
2014	Misc	`conf`	Ontology-based user requirements decomposition for component selection for highly available systems. IRI Mahin Abbasipour, Margarete Sackmann, Ferhat Khendek, Maria Toeroe
2014	—	`conf`	Ordering Upgrade Changes for Highly Available Component Based Systems. HASE Ali Davoudian, Ferhat Khendek, Maria Toeroe
2014	—	`conf`	Providing Hardware Redundancy for Highly Available Services in Virtualized Environments. SERE Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe
2014	—	`conf`	Quality of experience-enabled social networks. Q2SWinet Ahmed Abouzeid, Mohammadmajid Hormati, Roch H. Glitho, Ferhat Khendek
2014	—	`conf`	Towards an Evaluation Framework for Availability Solutions in the Cloud. ISSRE Workshops Mohammadmajid Hormati, Ferhat Khendek, Maria Toeroe
2013	C	`conf`	A DNS protocol - based Service Discovery architecture for disaster response systems. ISCC Mohammadmajid Hormati, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek
2013	J	`jnl`	Automatic configuration generation for service high availability with load balancing. Concurr. Comput. Pract. Exp. Ali Kanso, Ferhat Khendek, Maria Toeroe, Abdelwahab Hamou-Lhadj
2013	—	`conf`	Automating Service Availability Analysis: An Application to a Highly Available Media-Streaming Service. SERE (Companion) Ali Kanso, Maria Toeroe, Ferhat Khendek
2013	B	`conf`	Merging Test Models. ICECCS Mohamed Mussa, Ferhat Khendek
2013	B	`conf`	OpenSAF and VMware from the perspective of high availability. CNSM Ali Nikzad, Ferhat Khendek, Maria Toeroe
2013	Misc	`conf`	Operating system upgrade in high availability environment. SoftCOM Ekansh Katihar, Ferhat Khendek, Maria Toeroe
2013	—	`ed.`	SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings SDL Forum Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed
2013	J	`jnl`	The design and implementation of OMA restful location services in wireless sensor environments. IEEE Commun. Mag. Md. Asadul Islam, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek
2013	J	`jnl`	Use case and task models: An integrated development methodology and its formal foundation. ACM Trans. Softw. Eng. Methodol. Daniel Sinnig, Patrice Chalin, Ferhat Khendek
2012	J	`jnl`	A novel architecture for Web service composition. J. Netw. Comput. Appl. Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho
2012	B	`conf`	Bridging the Gap between User Requirements and Configuration Requirements. ICECCS Pietro Colombo, Pejman Salehi, Ferhat Khendek, Maria Toeroe
2012	J	`jnl`	Bridging the gap between requirements and design: An approach based on Problem Frames and SysML. J. Syst. Softw. Pietro Colombo, Ferhat Khendek, Luigi Lavazza
2012	—	`conf`	Configuration-Based Service Availability Analysis for Middleware Managed Applications. SAM Ali Kanso, Maria Toeroe, Ferhat Khendek
2012	—	`conf`	Identification and Selection of Interaction Test Scenarios for Integration Testing. SAM Mohamed Mussa, Ferhat Khendek
2012	C	`conf`	Implementing OMA RESTful location services in wireless sensor environments. ISCC Md. Asadul Islam, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek
2011	B	`conf`	AMF configurations: Checking for service protection using heuristics. CNSM Pejman Salehi, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe
2011	C	`conf`	Automatic Annotation of Software Configuration Models with Service Recovery Information. DASC Ali Kanso, Ferhat Khendek, Maria Toeroe
2011	B	`conf`	Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML. ECMFA Pietro Colombo, Ferhat Khendek, Luigi Lavazza
2011	—	`conf`	Integrating Legacy Applications for High Availability: A Case Study. HASE Ali Kanso, Ferhat Khendek, Anik Mishra, Maria Toeroe
2011	J	`jnl`	Partial order semantics for use case and task models. Formal Aspects Comput. Daniel Sinnig, Ferhat Khendek, Patrice Chalin
2011	J	`jnl`	The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless actuator networks. IEEE Commun. Mag. Hou Rucheng, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek
2011	—	`conf`	Towards a Model Based Approach for Integration Testing. SDL Forum Mohamed Mussa, Ferhat Khendek
2011	C	`conf`	Workload Balancing for Highly Available Services: The Case of the N+M Redundancy Model. DASC Ali Kanso, Ferhat Khendek, Maria Toeroe
2010	A	`conf`	A Formal Model for Generating Integrated Functional and User Interface Test Cases. ICST Daniel Sinnig, Ferhat Khendek, Patrice Chalin
2010	—	`conf`	A Model Driven Approach for AMF Configuration Generation. SAM Pejman Salehi, Pietro Colombo, Abdelwahab Hamou-Lhadj, Ferhat Khendek
2010	—	`conf`	A UML-Based Domain Specific Modeling Language for the Availability Management Framework. HASE Pejman Salehi, Abdelwahab Hamou-Lhadj, Pietro Colombo, Ferhat Khendek, Maria Toeroe
2010	J	`jnl`	A formal description framework and a matchmaking technique for web service composition. Int. J. Web Inf. Syst. Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho
2010	Misc	`conf`	Bridging the gap: empowering use cases with task models. EICS Daniel Sinnig, Rabeb Mizouni, Ferhat Khendek
2010	B	`conf`	Enriching Use Cases with CTTs. ICECCS Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek
2010	B	`conf`	Integrating wireless actuation capabilities with the 3GPP IP Multimedia Subsystem for enhanced multimedia services. PIMRC Hou Rucheng, Roch H. Glitho, Ferhat Khendek, Mustafa K. Mehmet Ali
2010	—	`conf`	Integrating wireless sensor networks and mobile ad hoc networks for an enhanced end-user experience. Kaleidoscope Saba Hamedi, Majid Hormati, Roch H. Glitho, Ferhat Khendek
2010	—	`conf`	Ranking Service Units for Providing and Protecting Highly Available Services with Load Balancing. NOTERE Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe
2010	B	`conf`	Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study. ECMFA Pietro Colombo, Ferhat Khendek, Luigi Lavazza
2010	J	`jnl`	The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless sensor networks. IEEE Commun. Mag. May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli
2010	—	`conf`	Towards an Integrated Model for Functional and User Interface Requirements. HCSE Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek
2009	A*	`conf`	A Tool Suite for the Generation and Validation of Configurations for Software Availability. ASE Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe
2009	—	`conf`	Checking Service Instance Protection for AMF Configurations. SSIRI Pejman Salehi, Ferhat Khendek, Maria Toeroe, Abdelwahab Hamou-Lhadj, Abdelouahed Gherbi
2009	J	`jnl`	From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. Autom. Softw. Eng. Abdelouahed Gherbi, Ferhat Khendek
2009	B	`conf`	Generating AMF Configurations from Software Vendor Constraints and User Requirements. ARES Ali Kanso, Maria Toeroe, Abdelwahab Hamou-Lhadj, Ferhat Khendek
2009	Misc	`conf`	LTS semantics for use case models. SAC Daniel Sinnig, Patrice Chalin, Ferhat Khendek
2009	J	`jnl`	Signaling for Multimedia Conferencing in Stand-Alone Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. Chunyan Fu, Roch H. Glitho, Ferhat Khendek
2009	—	`conf`	The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking. VTC Spring May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli
2008	B	`conf`	A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem. WCNC May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli
2008	J	`jnl`	A cross-layer architecture for signaling in multihop cellular networks. IEEE Commun. Mag. Chunyan Fu, Roch H. Glitho, Ferhat Khendek
2008	—	`conf`	An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem. VTC Spring May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli
2008	—	`conf`	Automatic Generation of AMF Compliant Configurations. ISAS Ali Kanso, Maria Toeroe, Ferhat Khendek, Abdelwahab Hamou-Lhadj
2008	C	`conf`	Categorizing and Assembling Web Services in a Composition Framework. SEW Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho
2008	J	`jnl`	Modeling and analysis of value added services using message sequence charts. J. Netw. Comput. Appl. Ferhat Khendek, Tong Zheng
2007	—	`conf`	A Novel Session Recovery Mechanism for Cluster-based Signaling Architecture for Conferencing in MANETs. ICDCS Workshops Chunyan Fu, Roch H. Glitho, Ferhat Khendek
2007	J	`jnl`	A business model for dynamic composition of telecommunication web services. IEEE Commun. Mag. Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho
2007	—	`conf`	An Architecture for Composing Registries when Ambient Networks Compose. CCNC Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli, Ferhat Khendek, John Mattam
2007	B	`conf`	Common Semantics for Use Cases and Task Models. IFM Daniel Sinnig, Patrice Chalin, Ferhat Khendek
2007	—	`conf`	Consistency between Task Models and Use Cases. EHCI/DS-VIS Daniel Sinnig, Patrice Chalin, Ferhat Khendek
2007	—	`conf`	Consistency of UML/SPT Models. SDL Forum Abdelouahed Gherbi, Ferhat Khendek
2007	—	`conf`	Cross-Layer Design for Optimizing the Performance of Clusters-Based Application Layer Schemes in Mobile Ad Hoc Networks. CCNC Roch H. Glitho, Chunyan Fu, Ferhat Khendek
2007	—	`conf`	Practical Extensions for Task Models. TAMODIA Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek
2007	C	`conf`	The Design and Implementation of a Web Service Framework for Individual Nodes in Sinkless Wireless Sensor Networks. ISCC Nuru Yakub Othman, Roch H. Glitho, Ferhat Khendek
2007	C	`conf`	Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. ISORC Abdelouahed Gherbi, Ferhat Khendek
2007	—	`conf`	Web Services-Based Architecture for the Interactions between End-User Applications and Sink-Less Wireless Sensor Networks. CCNC Roch H. Glitho, Ferhat Khendek, Nuru Yakub Othman, Samir Chebbine
2006	—	`conf`	A Novel Business Model for Web Service Composition. IEEE SCC Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho
2006	—	`conf`	Compositional Testing of Communication Systems. TestCom Reinhard Gotzhein, Ferhat Khendek
2006	—	`conf`	Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT. SAM Abdelouahed Gherbi, Ferhat Khendek
2006	C	`conf`	From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation. ISORC Abdelouahed Gherbi, Ferhat Khendek
2006	C	`conf`	Signaling for Conferencing in Integrated 3G/Mobile Ad Hoc Networks. ISCC Chunyan Fu, Roch H. Glitho, Ferhat Khendek
2006	J	`jnl`	Signaling for multimedia conferencing in 4G: the case of integrated 3G/MANETs. IEEE Commun. Mag. Chunyan Fu, Ferhat Khendek, Roch H. Glitho
2006	J	`jnl`	TURTLE-P: a UML profile for the formal validation of critical and distributed systems. Softw. Syst. Model. Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek
2006	—	`conf`	Towards a Common Semantic Foundation for Use Cases and Task Models. FMIS@ICFEM Daniel Sinnig, Patrice Chalin, Ferhat Khendek
2006	J	`jnl`	UML Profiles for Real-Time Systems and their Applications. J. Object Technol. Abdelouahed Gherbi, Ferhat Khendek
2006	C	`conf`	Using Web Services for Bridging End-User Applications and Wireless Sensor Networks. ISCC Truong Ta, Nuru Yakub Othman, Roch H. Glitho, Ferhat Khendek
2006	J	`jnl`	Using web services for presence-based application development. Int. J. Web Grid Serv. Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho
2005	A	`conf`	A Novel Web Service for Presence and its Implementation in an IETF SIMPLE Protocol Environment. ICWS Rajesh Karunamurthy, Roch H. Glitho, Ferhat Khendek
2005	—	`ed.`	Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings TestCom Ferhat Khendek, Rachida Dssouli
2004	—	`conf`	Early Validation of Deployment and Scheduling Constraints for MSC Specifications. SAM Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao-Jun Zhang, Tong Zheng
2003	J	`jnl`	Comparison of SPIN and VIS for protocol verification. Int. J. Softw. Tools Technol. Transf. Hong Peng, Sofiène Tahar, Ferhat Khendek
2003	J	`jnl`	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 Roch H. Glitho, Ferhat Khendek, A. De Marco
2003	—	`conf`	From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. Scenarios: Models, Transformations and Tools Ferhat Khendek, Xiao-Jun Zhang
2003	J	`jnl`	Preface. Inf. Softw. Technol. Rachida Dssouli, Ferhat Khendek
2003	J	`jnl`	Preface. Inf. Softw. Technol. Rachida Dssouli, Ferhat Khendek
2003	—	`conf`	Refining Timed MSCs. SDL Forum Tong Zheng, Ferhat Khendek, Benoit Parreaux
2003	J	`jnl`	Time consistency of MSC-2000 specifications. Comput. Networks Tong Zheng, Ferhat Khendek
2003	—	`conf`	eSERL: Feature Interaction Management in Parlay/OSA using Composition Constraints and Configuration Rules. FIW A. De Marco, Ferhat Khendek
2002	—	`conf`	A Formal Approach for Software Maintenance. ICSM Umer Waqar, Ferhat Khendek, Daniel Vincent
2002	—	`conf`	A Semantics for Timed MSC. VISS@ETAPS Tong Zheng, Ferhat Khendek, Loïc Hélouët
2002	—	`conf`	An Extension for MSC-2000 and Its Application. SAM Tong Zheng, Ferhat Khendek
2002	B	`conf`	From MSC and UML to SDL. COMPSAC Stephan Bourduas, Ferhat Khendek, Daniel Vincent
2002	—	`conf`	Micro Protocol Design: The SNMP Case Study. SAM Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible
2002	J	`jnl`	Timed Wp-Method: Testing Real-Time Systems. IEEE Trans. Software Eng. Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek
2001	—	`conf`	Partial Validation of a Design Specification with Respect to Requirements. APAQS Cédric Besse, Ana R. Cavalli, Ferhat Khendek
2001	C	`conf`	Stepwise Design with Message Sequence Charts. FORTE Ferhat Khendek, Stephan Bourduas, Daniel Vincent
2001	J	`jnl`	Test cases selection from SDL specifications. Comput. Networks C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli
2000	B	`conf`	An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. RTCSA D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon
2000	—	`conf`	Enriching SDL Specifications with MSCs. SAM Ferhat Khendek, Daniel Vincent
2000	J	`jnl`	FID: feature interaction detection tool. Microprocess. Microsystems Azimeh Sefidcon, Ferhat Khendek
2000	C	`conf`	SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol. ICFEM Hong Peng, Sofiène Tahar, Ferhat Khendek
2000	B	`conf`	Testing embedded real-time systems. RTCSA Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli
1999	B	`conf`	A pragmatic approach for feature interaction detection in intelligent networks. ICCCN Azimeh Sefidcon, Ferhat Khendek
1999	B	`conf`	Fault Coverage in Testing Real-Time Systems. RTCSA Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli
1999	B	`conf`	Formal Description of Real-time Systems using SDL. RTCSA Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc
1999	—	`conf`	From timed scenarios to SDL: specification, implementation and testing of real-time systems. SDL Forum Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek
1999	—	`conf`	New results on deriving SDL specifications from MSCs. SDL Forum Miguel Abdalla, Ferhat Khendek, Greg Butler
1998	C	`conf`	A Reuse Case Perspective on Documenting Frameworks. APSEC Greg Butler, Peter Grogono, Ferhat Khendek
1998	—	`conf`	Feature Interaction Detection Technique Based on Feature Assumptions. FIW Yuan Peng, Ferhat Khendek, Peter Grogono, Greg Butler
1998	A	`conf`	Timed Test Cases Generation Based on State Characterization Technique. RTSS Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, Abdelkader Elqortobi
1997	C	`conf`	A Z Specification of Use Cases: A Preliminary Report. APSEC Greg Butler, Peter Grogono, Ferhat Khendek
1997	—	`conf`	Deriving an SDL specification with a given architecture from a set of MSCs. SDL Forum Gabriel Robert, Ferhat Khendek, Peter Grogono
1996	—	`conf`	A Dynamic Evolution for the Specifications of Distributed Systems. ASIAN Issam A. Hamid, Ferhat Khendek
1995	J	`jnl`	Merging Behavior Specifications. Formal Methods Syst. Des. Ferhat Khendek, Gregor von Bochmann
1993	—	`conf`	Formal specifications design, evolution and reuse. CASCON Ferhat Khendek, Gregor von Bochmann
1993	C	`conf`	Incremental Construction Approach for Distributed System Specifications. FORTE Ferhat Khendek, Gregor von Bochmann
1992	—	`conf`	A formalization of the CORDS Process Model using Mondel. CASCON Ferhat Khendek, Gregor von Bochmann
1992	—	`conf`	Extending distributed system specifications. CASCON Ferhat Khendek
1991	J	`jnl`	Test Selection Based on Finite State Models. IEEE Trans. Software Eng. Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi
1989	A*	`conf`	New Results on Deriving Protocol Specifications from Service Specifications. SIGCOMM Ferhat Khendek, Gregor von Bochmann, Christian Kant