New Results on Deriving Protocol Specifications from Service Specifications. - Ferhat Khendek; Gregor von Bochmann; Christian Kant (SIGCOMM, 1989)

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

Extending distributed system specifications. - Ferhat Khendek (CASCON, 1992)

A formalization of the CORDS Process Model using Mondel. - Ferhat Khendek; Gregor von Bochmann (CASCON, 1992)

Formal specifications design, evolution and reuse. - Ferhat Khendek; Gregor von Bochmann (CASCON, 1993)

Incremental Construction Approach for Distributed System Specifications. - Ferhat Khendek; Gregor von Bochmann (FORTE, 1993)

Merging Behavior Specifications. - Ferhat Khendek; Gregor von Bochmann (Formal Methods Syst. Des., 1995)

A Dynamic Evolution for the Specifications of Distributed Systems. - Issam A. Hamid; Ferhat Khendek (ASIAN, 1996)

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

Deriving an SDL specification with a given architecture from a set of MSCs. - Gabriel Robert; Ferhat Khendek; Peter Grogono (SDL Forum, 1997)

A Reuse Case Perspective on Documenting Frameworks. - Greg Butler; Peter Grogono; Ferhat Khendek (APSEC, 1998)

Feature Interaction Detection Technique Based on Feature Assumptions. - Yuan Peng; Ferhat Khendek; Peter Grogono; Greg Butler (FIW, 1998)

Timed Test Cases Generation Based on State Characterization Technique. - Abdeslam En-Nouaary; Rachida Dssouli; Ferhat Khendek; Abdelkader Elqortobi (RTSS, 1998)

A pragmatic approach for feature interaction detection in intelligent networks. - Azimeh Sefidcon; Ferhat Khendek (ICCCN, 1999)

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

Fault Coverage in Testing Real-Time Systems. - Abdeslam En-Nouaary; Ferhat Khendek; Rachida Dssouli (RTCSA, 1999)

New results on deriving SDL specifications from MSCs. - Miguel Abdalla; Ferhat Khendek; Greg Butler (SDL Forum, 1999)

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

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

Testing embedded real-time systems. - Abdeslam En-Nouaary; Ferhat Khendek; Rachida Dssouli (RTCSA, 2000)

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

Enriching SDL Specifications with MSCs. - Ferhat Khendek; Daniel Vincent (SAM, 2000)

FID: feature interaction detection tool. - Azimeh Sefidcon; Ferhat Khendek (Microprocess. Microsystems, 2000)

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

Stepwise Design with Message Sequence Charts. - Ferhat Khendek; Stephan Bourduas; Daniel Vincent (FORTE, 2001)

Test cases selection from SDL specifications. - C. Bourhfir; El Mostapha Aboulhamid; Ferhat Khendek; Rachida Dssouli (Comput. Networks, 2001)

From MSC and UML to SDL. - Stephan Bourduas; Ferhat Khendek; Daniel Vincent (COMPSAC, 2002)

A Formal Approach for Software Maintenance. - Umer Waqar; Ferhat Khendek; Daniel Vincent (ICSM, 2002)

Micro Protocol Design: The SNMP Case Study. - Reinhard Gotzhein; Ferhat Khendek; Philipp Schaible (SAM, 2002)

An Extension for MSC-2000 and Its Application. - Tong Zheng 002; Ferhat Khendek (SAM, 2002)

A Semantics for Timed MSC. - Tong Zheng 002; Ferhat Khendek; Loïc Hélouët (VISS@ETAPS, 2002)

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

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

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

Refining Timed MSCs. - Tong Zheng 002; Ferhat Khendek; Benoit Parreaux (SDL Forum, 2003)

Time consistency of MSC-2000 specifications. - Tong Zheng 002; Ferhat Khendek (Comput. Networks, 2003)

Preface. - Rachida Dssouli; Ferhat Khendek (Inf. Softw. Technol., 2003)

Comparison of SPIN and VIS for protocol verification. - Hong Peng; Sofiène Tahar; Ferhat Khendek (Int. J. Softw. Tools Technol. Transf., 2003)

Creating value added services in Internet telephony: an overview and a case study on a high-level service creation environment. - Roch H. Glitho; Ferhat Khendek; A. De Marco (IEEE Trans. Syst. Man Cybern. Part C, 2003)

Early Validation of Deployment and Scheduling Constraints for MSC Specifications. - Ferhat Khendek; Christophe Lohr; Li Xin Wang; Xiao-Jun Zhang; Tong Zheng 002 (SAM, 2004)

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

A Novel Business Model for Web Service Composition. - Rajesh Karunamurthy; Ferhat Khendek; Roch H. Glitho (IEEE SCC, 2006)

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

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

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

Compositional Testing of Communication Systems. - Reinhard Gotzhein; Ferhat Khendek (TestCom, 2006)

Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT. - Abdelouahed Gherbi; Ferhat Khendek (SAM, 2006)

Signaling for multimedia conferencing in 4G: the case of integrated 3G/MANETs. - Chunyan Fu; Ferhat Khendek; Roch H. Glitho (IEEE Commun. Mag., 2006)

Towards a Common Semantic Foundation for Use Cases and Task Models. - Daniel Sinnig; Patrice Chalin; Ferhat Khendek (FMIS@ICFEM, 2006)

Using web services for presence-based application development. - Rajesh Karunamurthy; Ferhat Khendek; Roch H. Glitho (Int. J. Web Grid Serv., 2006)

UML Profiles for Real-Time Systems and their Applications. - Abdelouahed Gherbi; Ferhat Khendek (J. Object Technol., 2006)

TURTLE-P: a UML profile for the formal validation of critical and distributed systems. - Ludovic Apvrille; Pierre de Saqui-Sannes; Ferhat Khendek (Softw. Syst. Model., 2006)

An Architecture for Composing Registries when Ambient Networks Compose. - Fatna Belqasmi; Roch H. Glitho; Rachida Dssouli; Ferhat Khendek; John Mattam (CCNC, 2007)

Cross-Layer Design for Optimizing the Performance of Clusters-Based Application Layer Schemes in Mobile Ad Hoc Networks. - Roch H. Glitho; Chunyan Fu; Ferhat Khendek (CCNC, 2007)

Web Services-Based Architecture for the Interactions between End-User Applications and Sink-Less Wireless Sensor Networks. - Roch H. Glitho; Ferhat Khendek; Nuru Yakub Othman; Samir Chebbine (CCNC, 2007)

Consistency between Task Models and Use Cases. - Daniel Sinnig; Patrice Chalin; Ferhat Khendek (EHCI/DS-VIS, 2007)

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

Common Semantics for Use Cases and Task Models. - Daniel Sinnig; Patrice Chalin; Ferhat Khendek (IFM, 2007)

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

Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. - Abdelouahed Gherbi; Ferhat Khendek (ISORC, 2007)

Consistency of UML/SPT Models. - Abdelouahed Gherbi; Ferhat Khendek (SDL Forum, 2007)

Practical Extensions for Task Models. - Daniel Sinnig; Maik Wurdel; Peter Forbrig; Patrice Chalin; Ferhat Khendek (TAMODIA, 2007)

A business model for dynamic composition of telecommunication web services. - Rajesh Karunamurthy; Ferhat Khendek; Roch H. Glitho (IEEE Commun. Mag., 2007)

Automatic Generation of AMF Compliant Configurations. - Ali Kanso; Maria Toeroe; Ferhat Khendek; Abdelwahab Hamou-Lhadj (ISAS, 2008)

Categorizing and Assembling Web Services in a Composition Framework. - Rajesh Karunamurthy; Ferhat Khendek; Roch H. Glitho (SEW, 2008)

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

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

A cross-layer architecture for signaling in multihop cellular networks. - Chunyan Fu; Roch H. Glitho; Ferhat Khendek (IEEE Commun. Mag., 2008)

Modeling and analysis of value added services using message sequence charts. - Ferhat Khendek; Tong Zheng 002 (J. Netw. Comput. Appl., 2008)

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

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

LTS semantics for use case models. - Daniel Sinnig; Patrice Chalin; Ferhat Khendek (SAC, 2009)

Checking Service Instance Protection for AMF Configurations. - Pejman Salehi; Ferhat Khendek; Maria Toeroe; Abdelwahab Hamou-Lhadj; Abdelouahed Gherbi (SSIRI, 2009)

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

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

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

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

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

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

Towards an Integrated Model for Functional and User Interface Requirements. - Rabeb Mizouni; Daniel Sinnig; Ferhat Khendek (HCSE, 2010)

Enriching Use Cases with CTTs. - Rabeb Mizouni; Daniel Sinnig; Ferhat Khendek (ICECCS, 2010)

A Formal Model for Generating Integrated Functional and User Interface Test Cases. - Daniel Sinnig; Ferhat Khendek; Patrice Chalin (ICST, 2010)

Integrating wireless sensor networks and mobile ad hoc networks for an enhanced end-user experience. - Saba Hamedi; Majid Hormati; Roch H. Glitho; Ferhat Khendek (Kaleidoscope, 2010)

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

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

A Model Driven Approach for AMF Configuration Generation. - Pejman Salehi; Pietro Colombo; Abdelwahab Hamou-Lhadj; Ferhat Khendek (SAM, 2010)

The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless sensor networks. - May El Barachi; Arif Kadiwal; Roch H. Glitho; Ferhat Khendek; Rachida Dssouli (IEEE Commun. Mag., 2010)

A formal description framework and a matchmaking technique for web service composition. - Rajesh Karunamurthy; Ferhat Khendek; Roch H. Glitho (Int. J. Web Inf. Syst., 2010)

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

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

Automatic Annotation of Software Configuration Models with Service Recovery Information. - Ali Kanso; Ferhat Khendek; Maria Toeroe (DASC, 2011)

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

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

Towards a Model Based Approach for Integration Testing. - Mohamed Mussa; Ferhat Khendek (SDL Forum, 2011)

The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless actuator networks. - Hou Rucheng; Fatna Belqasmi; Roch H. Glitho; Ferhat Khendek (IEEE Commun. Mag., 2011)

Partial order semantics for use case and task models. - Daniel Sinnig; Ferhat Khendek; Patrice Chalin (Formal Aspects Comput., 2011)

Bridging the Gap between User Requirements and Configuration Requirements. - Pietro Colombo; Pejman Salehi; Ferhat Khendek; Maria Toeroe (ICECCS, 2012)

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

Configuration-Based Service Availability Analysis for Middleware Managed Applications. - Ali Kanso; Maria Toeroe; Ferhat Khendek (SAM, 2012)

Identification and Selection of Interaction Test Scenarios for Integration Testing. - Mohamed Mussa; Ferhat Khendek (SAM, 2012)

A novel architecture for Web service composition. - Rajesh Karunamurthy; Ferhat Khendek; Roch H. Glitho (J. Netw. Comput. Appl., 2012)

Bridging the gap between requirements and design: An approach based on Problem Frames and SysML. - Pietro Colombo; Ferhat Khendek; Luigi Lavazza (J. Syst. Softw., 2012)

OpenSAF and VMware from the perspective of high availability. - Ali Nikzad; Ferhat Khendek; Maria Toeroe (CNSM, 2013)

Merging Test Models. - Mohamed Mussa; Ferhat Khendek (ICECCS, 2013)

A DNS protocol - based Service Discovery architecture for disaster response systems. - Mohammadmajid Hormati; Fatna Belqasmi; Roch H. Glitho; Ferhat Khendek (ISCC, 2013)

Operating system upgrade in high availability environment. - Ekansh Katihar; Ferhat Khendek; Maria Toeroe (SoftCOM, 2013)

Automating Service Availability Analysis: An Application to a Highly Available Media-Streaming Service. - Ali Kanso; Maria Toeroe; Ferhat Khendek (SERE (Companion), 2013)

The design and implementation of OMA restful location services in wireless sensor environments. - Md. Asadul Islam; Fatna Belqasmi; Roch H. Glitho; Ferhat Khendek (IEEE Commun. Mag., 2013)

Automatic configuration generation for service high availability with load balancing. - Ali Kanso; Ferhat Khendek; Maria Toeroe; Abdelwahab Hamou-Lhadj (Concurr. Comput. Pract. Exp., 2013)

Use case and task models: An integrated development methodology and its formal foundation. - Daniel Sinnig; Patrice Chalin; Ferhat Khendek (ACM Trans. Softw. Eng. Methodol., 2013)

Enhanced Configuration Generation Approach for Highly Available COTS Based Systems. - Parsa Pourali; Ferhat Khendek; Maria Toeroe (ARES, 2014)

Managing application level elasticity and availability. - Maria Toeroe; Neha Pawar; Ferhat Khendek (CNSM, 2014)

Ordering Upgrade Changes for Highly Available Component Based Systems. - Ali Davoudian; Ferhat Khendek; Maria Toeroe (HASE, 2014)

Differentiated QoS for overlay-based disaster response systems. - Mohammadmajid Hormati; Ferhat Khendek; Roch H. Glitho; Fatna Belqasmi (ICC Workshops, 2014)

A RESTfull architecture for enabling rapid development and deployment of companion robot applications. - Razieh Safaripour; Ferhat Khendek; Roch H. Glitho; Fatna Belqasmi (ICNC, 2014)

Ontology-based user requirements decomposition for component selection for highly available systems. - Mahin Abbasipour; Margarete Sackmann; Ferhat Khendek; Maria Toeroe (IRI, 2014)

Towards an Evaluation Framework for Availability Solutions in the Cloud. - Mohammadmajid Hormati; Ferhat Khendek; Maria Toeroe (ISSRE Workshops, 2014)

Quality of experience-enabled social networks. - Ahmed Abouzeid; Mohammadmajid Hormati; Roch H. Glitho; Ferhat Khendek (Q2SWinet, 2014)

Acceptance Test Optimization. - Mohamed Mussa; Ferhat Khendek (SAM, 2014)

Providing Hardware Redundancy for Highly Available Services in Virtualized Environments. - Azadeh Jahanbanifar; Ferhat Khendek; Maria Toeroe (SERE, 2014)

Comparing redundancy models for high availability middleware. - Ali Kanso; Maria Toeroe; Ferhat Khendek (Computing, 2014)

A Model-Based Approach for the Integration of Configuration Fragments. - Azadeh Jahanbanifar; Ferhat Khendek; Maria Toeroe (ECMFA, 2015)

Partial Validation of Configurations at Runtime. - Azadeh Jahanbanifar; Ferhat Khendek; Maria Toeroe (ISORC, 2015)

Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availability. - Mina Nabi; Ferhat Khendek; Maria Toeroe (ISSRE Workshops, 2015)

An architecture for M2M enabled social networks. - Ashis Kumar Bhowmik; Ferhat Khendek; Majid Hormati; Roch H. Glitho (Med-Hoc-Net, 2015)

Overlay interconnection for end-user applications and wireless sensor networks in MANETs. - Mohammadmajid Hormati; Fatna Belqasmi; Ferhat Khendek; Roch H. Glitho (CFIP/NOTERE, 2015)

A Model-Based Framework for SLA Management and Dynamic Reconfiguration. - Mahin Abbasipour; Ferhat Khendek; Maria Toeroe (SDL Forum, 2015)

On the Semantic Transparency of Visual Notations: Experiments with UML. - Amine El Kouhen; Abdelouahed Gherbi; Cédric Dumoulin; Ferhat Khendek (SDL Forum, 2015)

Integrating Open SAF High Availability Solution with Open Stack. - Parisa Heidari; Mohammadmajid Hormati; Maria Toeroe; Yanal Alahmad; Ferhat Khendek (SERVICES, 2015)

A Model-Based Approach for User Requirements Decomposition and Component Selection. - Mahin Abbasipour; Margarete Sackmann; Ferhat Khendek; Maria Toeroe (Formalisms for Reuse and Systems Integration, 2015)

Rolling Upgrade with Dynamic Batch Size for IaaS Cloud. - Mina Nabi; Maria Toeroe; Ferhat Khendek (CLOUD, 2016)

Runtime Adjustment of Configuration Models for Consistency Preservation. - Azadeh Jahanbanifar; Ferhat Khendek; Maria Toeroe (HASE, 2016)

A network service design and deployment process for NFV systems. - Sadaf Mustafiz; Francis Palma; Maria Toeroe; Ferhat Khendek (NCA, 2016)

Monitoring service level workload and adapting highly available applications. - Mehran Khan; Ferhat Khendek; Maria Toeroe (SAC, 2016)

Model Driven Upgrade Campaign Generation for Highly Available Systems. - Oussama Jebbar; Margarete Sackmann; Ferhat Khendek; Maria Toeroe (SAM, 2016)

A UML-based domain specific modeling language for service availability management: Design and experience. - Pejman Salehi; Abdelwahab Hamou-Lhadj; Maria Toeroe; Ferhat Khendek (Comput. Stand. Interfaces, 2016)

Pattern based configuration generation for highly available COTS components based systems. - Parsa Pourali; Maria Toeroe; Ferhat Khendek (Inf. Softw. Technol., 2016)

Semantic weaving of configuration fragments into a consistent system configuration. - Azadeh Jahanbanifar; Ferhat Khendek; Maria Toeroe (Inf. Syst. Frontiers, 2016)

Availability in the cloud: State of the art. - Mina Nabi; Maria Toeroe; Ferhat Khendek (J. Netw. Comput. Appl., 2016)

Managing the availability of VNFs with the availability management framework. - Pradheba C. Rangarajan; Ferhat Khendek; Maria Toeroe (CNSM, 2017)

Comparing Pacemaker with OpenSAF for Availability Management in the Cloud. - Mehran Khan; Maria Toeroe; Ferhat Khendek (EDGE, 2017)

Upgrade of Highly Available Systems: Formal Methods at the Rescue. - Oussama Jebbar; Ferhat Khendek; Maria Toeroe (IRI, 2017)

A Model-Driven Process Enactment Approach for Network Service Design. - Sadaf Mustafiz; Navid Nazarzadeoghaz; Guillaume Dupont; Ferhat Khendek; Maria Toeroe (SDL Forum, 2017)

Upgrade campaign simulation and evaluation for highly available systems. - Oussama Jebbar; Ferhat Khendek; Maria Toeroe (SpringSim (TMS), 2017)

Deploying Microservice Based Applications with Kubernetes: Experiments and Lessons Learned. - Leila Abdollahi Vayghan; Mohamed Aymen Saied; Maria Toeroe; Ferhat Khendek (IEEE CLOUD, 2018)

MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems. - Sadaf Mustafiz; Guillaume Dupont; Ferhat Khendek; Maria Toeroe (ECMFA, 2018)

A Model-Based Approach for Design Time Elasticity Rules Generation. - Mahin Abbasipour; Ferhat Khendek; Maria Toeroe (ICECCS, 2018)

Building domain-specific modelling environments with papyrus: an experience report. - Guillaume Dupont; Sadaf Mustafiz; Ferhat Khendek; Maria Toeroe (MiSE@ICSE, 2018)

Trigger correlation for dynamic system reconfiguration. - Mahin Abbasipour; Ferhat Khendek; Maria Toeroe (SAC, 2018)

A model-driven approach for the generation of configurations for highly available software systems. - Pejman Salehi; Abdelwahab Hamou-Lhadj; Maria Toeroe; Ferhat Khendek (Innov. Syst. Softw. Eng., 2018)

Poster: Re-Testing Configured Instances in the Production Environment - A Method for Reducing the Test Suite. - Oussama Jebbar; Mohamed Aymen Saied; Ferhat Khendek; Maria Toeroe (ICST, 2019)

MAPLE-T: A Tool for Process Enactment with Traceability Support. - Omar Hassane; Sadaf Mustafiz; Ferhat Khendek; Maria Toeroe (MoDELS (Companion), 2019)

Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes. - Leila Abdollahi Vayghan; Mohamed Aymen Saied; Maria Toeroe; Ferhat Khendek (QRS, 2019)

Process Enactment with Traceability Support for NFV Systems. - Omar Hassane; Sadaf Mustafiz; Ferhat Khendek; Maria Toeroe (SAM, 2019)

Chapter Two - Model-Based Test Cases Reuse and Optimization. - Mohamed Mussa; Ferhat Khendek (Adv. Comput., 2019)

Kubernetes as an Availability Manager for Microservice Applications. - Leila Abdollahi Vayghan; Mohamed Aymen Saied; Maria Toeroe; Ferhat Khendek (CoRR, 2019)

SLA Compliance Checking and System Runtime Reconfiguration - A Model Based Approach. - Mahin Abbasipour; Ferhat Khendek; Maria Toeroe (J. Softw., 2019)

Automated Design of Network Services from Network Service Requirements. - Navid Nazarzadeoghaz; Ferhat Khendek; Maria Toeroe (ICIN, 2020)

Regression Test Suite Reduction for Cloud Systems. - Oussama Jebbar; Mohamed Aymen Saied; Ferhat Khendek; Maria Toeroe (ICST Workshops, 2020)

Methods for Live Testing of Cloud Services. - Oussama Jebbar; Ferhat Khendek; Maria Toeroe (ICTSS, 2020)

Architecture for the Automation of Live Testing of Cloud Systems. - Oussama Jebbar; Ferhat Khendek; Maria Toeroe (QRS, 2020)

A Model Traceability Framework for Network Service Management. - Omar Hassane; Sadaf Mustafiz; Ferhat Khendek; Maria Toeroe (SAM, 2020)

Model-driven process enactment for NFV systems with MAPLE. - Sadaf Mustafiz; Omar Hassane; Guillaume Dupont; Ferhat Khendek; Maria Toeroe (Softw. Syst. Model., 2020)

Taking into Account the Management Constraints in Network Slice Design. - Nour Gritli; Ferhat Khendek; Maria Toeroe (5GWF, 2021)

Decomposition and Propagation of Intents for Network Slice Design. - Nour Gritli; Ferhat Khendek; Maria Toeroe (5GWF, 2021)

Network Slice Provisioning Taking Into Account Tenant Intents and Operator Policies. - Nour Gritli; Ferhat Khendek; Maria Toeroe (NFV-SDN, 2021)

An Approach for the Automation of IaaS Cloud Upgrade. - Mina Nabi; Ferhat Khendek; Maria Toeroe (CoRR, 2021)

A Kubernetes controller for managing the availability of elastic microservice based stateful applications. - Leila Abdollahi Vayghan; Mohamed Aymen Saied; Maria Toeroe; Ferhat Khendek (J. Syst. Softw., 2021)

Extending the Network Service Descriptor to Capture User Isolation Intents for Network Slices. - Nour Gritli; Ferhat Khendek; Maria Toeroe (FNWF, 2022)

A Method for Component Evaluation for Live Testing of Cloud Systems. - Oussama Jebbar; Ferhat Khendek; Maria Toeroe (ISSRE Workshops, 2022)

Availability and Failure Rate of VNF Instances: Impacting Parameters and Calculation Methods. - Siamak Azadiabad; Ferhat Khendek; Maria Toeroe (NoF, 2022)

Resolving inconsistencies of runtime configuration changes through change propagation and adjustments. - Azadeh Jahanbanifar; Ferhat Khendek; Maria Toeroe (CoRR, 2022)

Availability and service disruption of network services: From high-level requirements to low-level configuration constraints. - Siamak Azadiabad; Ferhat Khendek; Maria Toeroe (Comput. Stand. Interfaces, 2022)

Runtime Availability and Service Continuity of Containerized VNF Instances. - Siamak Azadiabad; Ferhat Khendek; Maria Toeroe (LATINCOM, 2023)

Runtime Adaptation Framework for Fulfilling Availability and Continuity Requirements of Network Services. - Siamak Azadiabad; Ferhat Khendek; Maria Toeroe (IEEE Trans. Netw. Serv. Manag., 2023)

Microservices based architectures for IoT systems - State-of-the-art review. - Hassaan Siddiqui; Ferhat Khendek; Maria Toeroe (Internet Things, 2023)

Microservices for Reliable Safety-Critical Cellular IoT Systems - A Case Study. - Hassaan Siddiqui; Ferhat Khendek (GLOBECOM, 2024)

Managing Failures and Service Quality in the Context of NFV. - Siamak Azadiabad; Ferhat Khendek (ICNC, 2024)

Dependability of Network Services in the Context of NFV: A Taxonomy and State of the Art Classification. - Siamak Azadiabad; Ferhat Khendek (J. Netw. Syst. Manag., 2024)

Using data mining techniques to generate test cases from graph transformation systems specifications. - Maryam Asgari Araghi; Vahid Rafe; Ferhat Khendek (Autom. Softw. Eng., 2024)