| 2025 | VTC | Memory failures in microservices based Cellular IoT systems - An experimental evaluation of service availability. | Hassaan Siddiqui, Ferhat Khendek |
| 2024 | GLOBECOM | Microservices for Reliable Safety-Critical Cellular IoT Systems - A Case Study. | Hassaan Siddiqui, Ferhat Khendek |
| 2022 | ISSRE | A Method for Component Evaluation for Live Testing of Cloud Systems. | Oussama Jebbar, Ferhat Khendek, Maria Toeroe |
| 2020 | ICIN | Automated Design of Network Services from Network Service Requirements. | Navid Nazarzadeoghaz, Ferhat Khendek, Maria Toeroe |
| 2020 | ICST | Regression Test Suite Reduction for Cloud Systems. | Oussama Jebbar, Mohamed Aymen Saied, Ferhat Khendek, Maria Toeroe |
| 2020 | QRS | Architecture for the Automation of Live Testing of Cloud Systems. | Oussama Jebbar, Ferhat Khendek, Maria Toeroe |
| 2019 | ICST | 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 |
| 2019 | MODELS | MAPLE-T: A Tool for Process Enactment with Traceability Support. | Omar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe |
| 2019 | QRS | Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes. | Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek |
| 2018 | ICECCS | A Model-Based Approach for Design Time Elasticity Rules Generation. | Mahin Abbasipour, Ferhat Khendek, Maria Toeroe |
| 2018 | ICSE | Building domain-specific modelling environments with papyrus: an experience report. | Guillaume Dupont, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe |
| 2018 | SAC | Trigger correlation for dynamic system reconfiguration. | Mahin Abbasipour, Ferhat Khendek, Maria Toeroe |
| 2017 | CNSM | Managing the availability of VNFs with the availability management framework. | Pradheba C. Rangarajan, Ferhat Khendek, Maria Toeroe |
| 2017 | IRI | Upgrade of Highly Available Systems: Formal Methods at the Rescue. | Oussama Jebbar, Ferhat Khendek, Maria Toeroe |
| 2016 | NCA | A network service design and deployment process for NFV systems. | Sadaf Mustafiz, Francis Palma, Maria Toeroe, Ferhat Khendek |
| 2016 | SAC | Monitoring service level workload and adapting highly available applications. | Mehran Khan, Ferhat Khendek, Maria Toeroe |
| 2015 | ISORC | Partial Validation of Configurations at Runtime. | Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe |
| 2015 | ISSRE | Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availability. | Mina Nabi, Ferhat Khendek, Maria Toeroe |
| 2015 | SERVICES | Integrating Open SAF High Availability Solution with Open Stack. | Parisa Heidari, Mohammadmajid Hormati, Maria Toeroe, Yanal Alahmad, Ferhat Khendek |
| 2014 | CNSM | Managing application level elasticity and availability. | Maria Toeroe, Neha Pawar, Ferhat Khendek |
| 2014 | IRI | Ontology-based user requirements decomposition for component selection for highly available systems. | Mahin Abbasipour, Margarete Sackmann, Ferhat Khendek, Maria Toeroe |
| 2014 | ISSRE | Towards an Evaluation Framework for Availability Solutions in the Cloud. | Mohammadmajid Hormati, Ferhat Khendek, Maria Toeroe |
| 2014 | MSWIM | Quality of experience-enabled social networks. | Ahmed Abouzeid, Mohammadmajid Hormati, Roch H. Glitho, Ferhat Khendek |
| 2013 | CNSM | OpenSAF and VMware from the perspective of high availability. | Ali Nikzad, Ferhat Khendek, Maria Toeroe |
| 2013 | ICECCS | Merging Test Models. | Mohamed Mussa, Ferhat Khendek |
| 2013 | ISCC | A DNS protocol - based Service Discovery architecture for disaster response systems. | Mohammadmajid Hormati, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek |
| 2013 | SOFTCOM | Operating system upgrade in high availability environment. | Ekansh Katihar, Ferhat Khendek, Maria Toeroe |
| 2012 | ICECCS | Bridging the Gap between User Requirements and Configuration Requirements. | Pietro Colombo, Pejman Salehi, Ferhat Khendek, Maria Toeroe |
| 2012 | ISCC | Implementing OMA RESTful location services in wireless sensor environments. | Md. Asadul Islam, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek |
| 2011 | CNSM | AMF configurations: Checking for service protection using heuristics. | Pejman Salehi, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe |
| 2011 | DASC | Workload Balancing for Highly Available Services: The Case of the N+M Redundancy Model. | Ali Kanso, Ferhat Khendek, Maria Toeroe |
| 2011 | DASC | Automatic Annotation of Software Configuration Models with Service Recovery Information. | Ali Kanso, Ferhat Khendek, Maria Toeroe |
| 2010 | EICS | Bridging the gap: empowering use cases with task models. | Daniel Sinnig, Rabeb Mizouni, Ferhat Khendek |
| 2010 | ICECCS | Enriching Use Cases with CTTs. | Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek |
| 2010 | ICST | A Formal Model for Generating Integrated Functional and User Interface Test Cases. | Daniel Sinnig, Ferhat Khendek, Patrice Chalin |
| 2010 | PIMRC | 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 |
| 2009 | VTC | 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 |
| 2009 | SAC | LTS semantics for use case models. | Daniel Sinnig, Patrice Chalin, Ferhat Khendek |
| 2008 | VTC | 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 |
| 2008 | WCNC | 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 |
| 2008 | SEW | Categorizing and Assembling Web Services in a Composition Framework. | Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho |
| 2007 | IFM | Common Semantics for Use Cases and Task Models. | Daniel Sinnig, Patrice Chalin, Ferhat Khendek |
| 2007 | ISCC | 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 |
| 2007 | ISORC | Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. | Abdelouahed Gherbi, Ferhat Khendek |
| 2006 | ISCC | Signaling for Conferencing in Integrated 3G/Mobile Ad Hoc Networks. | Chunyan Fu, Roch H. Glitho, Ferhat Khendek |
| 2006 | ISCC | Using Web Services for Bridging End-User Applications and Wireless Sensor Networks. | Truong Ta, Nuru Yakub Othman, Roch H. Glitho, Ferhat Khendek |
| 2006 | ISORC | From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation. | Abdelouahed Gherbi, Ferhat Khendek |
| 2005 | ICWS | A Novel Web Service for Presence and its Implementation in an IETF SIMPLE Protocol Environment. | Rajesh Karunamurthy, Roch H. Glitho, Ferhat Khendek |
| 2002 | COMPSAC | From MSC and UML to SDL. | Stephan Bourduas, Ferhat Khendek, Daniel Vincent |
| 2001 | FORTE | Stepwise Design with Message Sequence Charts. | Ferhat Khendek, Stephan Bourduas, Daniel Vincent |
| 2000 | ICFEM | SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol. | Hong Peng, Sofine Tahar, Ferhat Khendek |
| 2000 | RTCSA | Testing embedded real-time systems. | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
| 2000 | RTCSA | 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 |
| 1999 | ICCCN | A pragmatic approach for feature interaction detection in intelligent networks. | Azimeh Sefidcon, Ferhat Khendek |
| 1999 | RTCSA | Formal Description of Real-time Systems using SDL. | Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc |
| 1999 | RTCSA | Fault Coverage in Testing Real-Time Systems. | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
| 1998 | APSEC | A Reuse Case Perspective on Documenting Frameworks. | Greg Butler, Peter Grogono, Ferhat Khendek |
| 1998 | RTSS | Timed Test Cases Generation Based on State Characterization Technique. | Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, Abdelkader Elqortobi |
| 1997 | APSEC | A Z Specification of Use Cases: A Preliminary Report. | Greg Butler, Peter Grogono, Ferhat Khendek |
| 1993 | FORTE | Incremental Construction Approach for Distributed System Specifications. | Ferhat Khendek, Gregor von Bochmann |
| 1989 | SIGCOMM | New Results on Deriving Protocol Specifications from Service Specifications. | Ferhat Khendek, Gregor von Bochmann, Christian Kant |