Memory failures in microservices based Cellular IoT systems - An experimental evaluation of service availability.

Ferhat Khendek Concordia University, Montreal, Canada http://users.encs.concordia.ca/~khendek/ https://orcid.org/0000-0002-3337-9841 Hassaan Siddiqui Ferhat Khendek Memory failures in microservices based Cellular IoT systems - An experimental evaluation of service availability. 1-5 2025 VTC2025-Fall https://doi.org/10.1109/VTC2025-Fall65116.2025.11309934 conf/vtc/2025f db/conf/vtc/vtc2025f.html#SiddiquiK25 streams/conf/vtc

Oussama Jebbar Ferhat Khendek Maria Toeroe Test Plan Generation for Live Testing of Cloud Services. 2025 November abs/2511.09038 CoRR https://doi.org/10.48550/arXiv.2511.09038 db/journals/corr/corr2511.html#abs-2511-09038 streams/journals/corr

Maryam Asgari Araghi Vahid Rafe Ferhat Khendek Using data mining techniques to generate test cases from graph transformation systems specifications. 17 2024 June 31 Autom. Softw. Eng. 1 https://doi.org/10.1007/s10515-024-00417-0 db/journals/ase/ase31.html#AraghiRK24

Siamak Azadiabad Ferhat Khendek Dependability of Network Services in the Context of NFV: A Taxonomy and State of the Art Classification. 37 2024 April 32 J. Netw. Syst. Manag. 2 https://doi.org/10.1007/s10922-024-09810-2 db/journals/jnsm/jnsm32.html#AzadiabadK24

Hassaan Siddiqui Ferhat Khendek Microservices for Reliable Safety-Critical Cellular IoT Systems - A Case Study. 1455-1460 2024 GLOBECOM https://doi.org/10.1109/GLOBECOM52923.2024.10901455 conf/globecom/2024 db/conf/globecom/globecom2024.html#SiddiquiK24 Siamak Azadiabad Ferhat Khendek Managing Failures and Service Quality in the Context of NFV. 435-440 2024 ICNC https://doi.org/10.1109/ICNC59896.2024.10556217 conf/iccnc/2024 db/conf/iccnc/icnc2024.html#AzadiabadK24

Hassaan Siddiqui Ferhat Khendek Maria Toeroe Microservices based architectures for IoT systems - State-of-the-art review. 100854 2023 October 23 Internet Things https://doi.org/10.1016/j.iot.2023.100854 db/journals/iot/iot23.html#SiddiquiKT23

Siamak Azadiabad Ferhat Khendek Maria Toeroe Runtime Adaptation Framework for Fulfilling Availability and Continuity Requirements of Network Services. 2259-2282 2023 September 20 IEEE Trans. Netw. Serv. Manag. 3 https://doi.org/10.1109/TNSM.2023.3280944 db/journals/tnsm/tnsm20.html#AzadiabadKT23

Siamak Azadiabad Ferhat Khendek Maria Toeroe Runtime Availability and Service Continuity of Containerized VNF Instances. 1-6 2023 LATINCOM https://doi.org/10.1109/LATINCOM59467.2023.10361896 conf/latincom/2023 db/conf/latincom/latincom2023.html#AzadiabadKT23 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 ICECCS IEEE 2023 979-8-3503-4004-4 https://doi.org/10.1109/ICECCS59891.2023 db/conf/iceccs/iceccs2023.html

Siamak Azadiabad Ferhat Khendek Maria Toeroe Availability and service disruption of network services: From high-level requirements to low-level configuration constraints. 103565 2022 80 Comput. Stand. Interfaces https://doi.org/10.1016/j.csi.2021.103565 db/journals/csi/csi80.html#AzadiabadKT22

Nour Gritli Ferhat Khendek Maria Toeroe Extending the Network Service Descriptor to Capture User Isolation Intents for Network Slices. 340-346 2022 FNWF https://doi.org/10.1109/FNWF55208.2022.00066 conf/5gwf/2022 db/conf/5gwf/fnwf2022.html#GritliKT22 Oussama Jebbar Ferhat Khendek Maria Toeroe A Method for Component Evaluation for Live Testing of Cloud Systems. 87-92 2022 ISSRE Workshops https://doi.org/10.1109/ISSREW55968.2022.00045 conf/issre/2022w db/conf/issre/issre2022w.html#JebbarKT22 Siamak Azadiabad Ferhat Khendek Maria Toeroe Availability and Failure Rate of VNF Instances: Impacting Parameters and Calculation Methods. 1-8 2022 NoF https://doi.org/10.1109/NoF55974.2022.9942599 conf/nof/2022 db/conf/nof/nof2022.html#AzadiabadKT22

Azadeh Jahanbanifar Ferhat Khendek Maria Toeroe Resolving inconsistencies of runtime configuration changes through change propagation and adjustments. 2022 abs/2208.13891 CoRR https://doi.org/10.48550/arXiv.2208.13891 db/journals/corr/corr2208.html#abs-2208-13891

Leila Abdollahi Vayghan Mohamed Aymen Saied Maria Toeroe Ferhat Khendek A Kubernetes controller for managing the availability of elastic microservice based stateful applications. 110924 2021 175 J. Syst. Softw. https://doi.org/10.1016/j.jss.2021.110924 db/journals/jss/jss175.html#VayghanSTK21

Nour Gritli Ferhat Khendek Maria Toeroe Taking into Account the Management Constraints in Network Slice Design. 159-164 2021 5GWF https://doi.org/10.1109/5GWF52925.2021.00035 conf/5gwf/2021 db/conf/5gwf/5gwf2021.html#GritliKT21 Nour Gritli Ferhat Khendek Maria Toeroe Decomposition and Propagation of Intents for Network Slice Design. 165-170 2021 5GWF https://doi.org/10.1109/5GWF52925.2021.00036 conf/5gwf/2021 db/conf/5gwf/5gwf2021.html#GritliKT21a Nour Gritli Ferhat Khendek Maria Toeroe Network Slice Provisioning Taking Into Account Tenant Intents and Operator Policies. 167-173 2021 NFV-SDN https://doi.org/10.1109/NFV-SDN53031.2021.9665134 conf/nfvsdn/2021 db/conf/nfvsdn/nfvsdn2021.html#GritliKT21

Mina Nabi Ferhat Khendek Maria Toeroe An Approach for the Automation of IaaS Cloud Upgrade. 2021 abs/2103.12837 CoRR https://arxiv.org/abs/2103.12837 db/journals/corr/corr2103.html#abs-2103-12837

Sadaf Mustafiz Omar Hassane Guillaume Dupont Ferhat Khendek Maria Toeroe Model-driven process enactment for NFV systems with MAPLE. 1263-1282 2020 19 Softw. Syst. Model. 5 https://doi.org/10.1007/s10270-020-00783-9 db/journals/sosym/sosym19.html#MustafizHDKT20

Navid Nazarzadeoghaz Ferhat Khendek Maria Toeroe Automated Design of Network Services from Network Service Requirements. 63-70 2020 ICIN https://doi.org/10.1109/ICIN48450.2020.9059324 conf/icin/2020 db/conf/icin/icin2020.html#NazarzadeoghazK20 Oussama Jebbar Mohamed Aymen Saied Ferhat Khendek Maria Toeroe Regression Test Suite Reduction for Cloud Systems. 477-486 2020 ICST Workshops https://doi.org/10.1109/ICSTW50294.2020.00084 conf/icst/2020w db/conf/icst/icstw2020.html#JebbarSKT20 Oussama Jebbar Ferhat Khendek Maria Toeroe Methods for Live Testing of Cloud Services. 201-216 2020 ICTSS https://doi.org/10.1007/978-3-030-64881-7_13 conf/pts/2020 db/conf/pts/ictss2020.html#JebbarKT20 Oussama Jebbar Ferhat Khendek Maria Toeroe Architecture for the Automation of Live Testing of Cloud Systems. 142-151 2020 QRS https://doi.org/10.1109/QRS51102.2020.00030 conf/qrs/2020 db/conf/qrs/qrs2020.html#JebbarKT20 Omar Hassane Sadaf Mustafiz Ferhat Khendek Maria Toeroe A Model Traceability Framework for Network Service Management. 64-73 2020 SAM https://doi.org/10.1145/3419804.3420267 conf/sam/2020 db/conf/sam/sam2020.html#HassaneMKT20

Leila Abdollahi Vayghan Mohamed Aymen Saied Maria Toeroe Ferhat Khendek A Kubernetes Controller for Managing the Availability of Elastic Microservice Based Stateful Applications. 2020 abs/2012.14086 CoRR https://arxiv.org/abs/2012.14086 db/journals/corr/corr2012.html#abs-2012-14086

Mohamed Mussa Ferhat Khendek Chapter Two - Model-Based Test Cases Reuse and Optimization. 47-87 2019 113 Adv. Comput. https://doi.org/10.1016/bs.adcom.2018.01.001 db/journals/ac/ac113.html#MussaK19

Mahin Abbasipour Ferhat Khendek Maria Toeroe SLA Compliance Checking and System Runtime Reconfiguration - A Model Based Approach. 488-518 2019 14 J. Softw. 11 https://doi.org/10.17706/jsw.14.11.488-518 db/journals/jsw/jsw14.html#AbbasipourKT19

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. 367-370 2019 ICST https://doi.org/10.1109/ICST.2019.00044 conf/icst/2019 db/conf/icst/icst2019.html#JebbarSKT19 Omar Hassane Sadaf Mustafiz Ferhat Khendek Maria Toeroe MAPLE-T: A Tool for Process Enactment with Traceability Support. 759-763 2019 MoDELS (Companion) https://doi.org/10.1109/MODELS-C.2019.00118 conf/models/2019c db/conf/models/models2019c.html#HassaneMKT19 Leila Abdollahi Vayghan Mohamed Aymen Saied Maria Toeroe Ferhat Khendek Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes. 176-185 2019 QRS https://doi.org/10.1109/QRS.2019.00034 conf/qrs/2019 db/conf/qrs/qrs2019.html#VayghanSTK19 Omar Hassane Sadaf Mustafiz Ferhat Khendek Maria Toeroe Process Enactment with Traceability Support for NFV Systems. 116-135 2019 SAM https://doi.org/10.1007/978-3-030-30690-8_7 conf/sam/2019 db/conf/sam/sam2019.html#HassaneMKT19

Leila Abdollahi Vayghan Mohamed Aymen Saied Maria Toeroe Ferhat Khendek Kubernetes as an Availability Manager for Microservice Applications. 2019 abs/1901.04946 CoRR http://arxiv.org/abs/1901.04946 db/journals/corr/corr1901.html#abs-1901-04946

Sadaf Mustafiz Omar Hassane Guillaume Dupont Ferhat Khendek Maria Toeroe Model-Driven Process Enactment for NFV Systems with MAPLE. 2019 abs/1910.11756 CoRR http://arxiv.org/abs/1910.11756 db/journals/corr/corr1910.html#abs-1910-11756

Pejman Salehi Abdelwahab Hamou-Lhadj Maria Toeroe Ferhat Khendek A model-driven approach for the generation of configurations for highly available software systems. 273-307 2018 14 Innov. Syst. Softw. Eng. 4 https://doi.org/10.1007/s11334-018-0320-y db/journals/isse/isse14.html#SalehiHTK18

Leila Abdollahi Vayghan Mohamed Aymen Saied Maria Toeroe Ferhat Khendek Deploying Microservice Based Applications with Kubernetes: Experiments and Lessons Learned. 970-973 2018 IEEE CLOUD https://doi.org/10.1109/CLOUD.2018.00148 https://doi.ieeecomputersociety.org/10.1109/CLOUD.2018.00148 conf/IEEEcloud/2018 db/conf/IEEEcloud/IEEEcloud2018.html#VayghanSTK18 Sadaf Mustafiz Guillaume Dupont Ferhat Khendek Maria Toeroe MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems. 164-178 2018 ECMFA https://doi.org/10.1007/978-3-319-92997-2_11 conf/ecmdafa/2018 db/conf/ecmdafa/ecmfa2018.html#MustafizDKT18 Mahin Abbasipour Ferhat Khendek Maria Toeroe A Model-Based Approach for Design Time Elasticity Rules Generation. 93-103 2018 ICECCS https://doi.org/10.1109/ICECCS2018.2018.00018 https://doi.ieeecomputersociety.org/10.1109/ICECCS2018.2018.00018 conf/iceccs/2018 db/conf/iceccs/iceccs2018.html#AbbasipourKT18 Guillaume Dupont Sadaf Mustafiz Ferhat Khendek Maria Toeroe Building domain-specific modelling environments with papyrus: an experience report. 49-56 2018 MiSE@ICSE https://doi.org/10.1145/3193954.3193962 https://ieeexplore.ieee.org/document/8445458 conf/icse/2018mise db/conf/icse/mise2018.html#DupontMKT18 Mahin Abbasipour Ferhat Khendek Maria Toeroe Trigger correlation for dynamic system reconfiguration. 427-430 2018 SAC https://doi.org/10.1145/3167132.3167383 conf/sac/2018 db/conf/sac/sac2018.html#AbbasipourKT18 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 SAM Springer 2018 Lecture Notes in Computer Science 11150 978-3-030-01041-6 978-3-030-01042-3 https://doi.org/10.1007/978-3-030-01042-3 db/conf/sam/sam2018.html Pradheba C. Rangarajan Ferhat Khendek Maria Toeroe Managing the availability of VNFs with the availability management framework. 1-4 2017 CNSM https://doi.org/10.23919/CNSM.2017.8256032 conf/cnsm/2017 db/conf/cnsm/cnsm2017.html#RangarajanKT17 Mehran Khan Maria Toeroe Ferhat Khendek Comparing Pacemaker with OpenSAF for Availability Management in the Cloud. 106-111 2017 EDGE https://doi.org/10.1109/IEEE.EDGE.2017.22 https://doi.ieeecomputersociety.org/10.1109/IEEE.EDGE.2017.22 conf/edge/2017 db/conf/edge/edge2017.html#KhanTK17 Oussama Jebbar Ferhat Khendek Maria Toeroe Upgrade of Highly Available Systems: Formal Methods at the Rescue. 270-274 2017 IRI https://doi.org/10.1109/IRI.2017.66 https://doi.ieeecomputersociety.org/10.1109/IRI.2017.66 conf/iri/2017 db/conf/iri/iri2017.html#JebbarKT17 Sadaf Mustafiz Navid Nazarzadeoghaz Guillaume Dupont Ferhat Khendek Maria Toeroe A Model-Driven Process Enactment Approach for Network Service Design. 99-118 2017 SDL Forum https://doi.org/10.1007/978-3-319-68015-6_7 conf/sdl/2017 db/conf/sdl/sdl2017.html#MustafizNDKT17 Oussama Jebbar Ferhat Khendek Maria Toeroe Upgrade campaign simulation and evaluation for highly available systems. 11:1-11:12 2017 SpringSim (TMS) http://dl.acm.org/citation.cfm?id=3108916 conf/springsim/2017tms db/conf/springsim/tms2017.html#JebbarKT17

Pejman Salehi Abdelwahab Hamou-Lhadj Maria Toeroe Ferhat Khendek A UML-based domain specific modeling language for service availability management: Design and experience. 63-83 2016 44 Comput. Stand. Interfaces https://doi.org/10.1016/j.csi.2015.09.009 db/journals/csi/csi44.html#SalehiHTK16

Parsa Pourali Maria Toeroe Ferhat Khendek Pattern based configuration generation for highly available COTS components based systems. 143-159 2016 74 Inf. Softw. Technol. https://doi.org/10.1016/j.infsof.2016.02.008 https://www.wikidata.org/entity/Q113317218 db/journals/infsof/infsof74.html#PouraliTK16

Azadeh Jahanbanifar Ferhat Khendek Maria Toeroe Semantic weaving of configuration fragments into a consistent system configuration. 891-908 2016 18 Inf. Syst. Frontiers 5 https://doi.org/10.1007/s10796-016-9663-9 db/journals/isf/isf18.html#JahanbanifarKT16

Mina Nabi Maria Toeroe Ferhat Khendek Availability in the cloud: State of the art. 54-67 2016 60 J. Netw. Comput. Appl. https://doi.org/10.1016/j.jnca.2015.11.014 db/journals/jnca/jnca60.html#NabiTK16

Mina Nabi Maria Toeroe Ferhat Khendek Rolling Upgrade with Dynamic Batch Size for IaaS Cloud. 497-504 2016 CLOUD https://doi.org/10.1109/CLOUD.2016.0072 https://doi.ieeecomputersociety.org/10.1109/CLOUD.2016.0072 conf/IEEEcloud/2016 db/conf/IEEEcloud/IEEEcloud2016.html#NabiTK16 Azadeh Jahanbanifar Ferhat Khendek Maria Toeroe Runtime Adjustment of Configuration Models for Consistency Preservation. 102-109 2016 HASE https://doi.org/10.1109/HASE.2016.28 https://doi.ieeecomputersociety.org/10.1109/HASE.2016.28 conf/hase/2016 db/conf/hase/hase2016.html#JahanbanifarKT16 Sadaf Mustafiz Francis Palma Maria Toeroe Ferhat Khendek A network service design and deployment process for NFV systems. 131-139 2016 NCA https://doi.org/10.1109/NCA.2016.7778607 https://doi.ieeecomputersociety.org/10.1109/NCA.2016.7778607 conf/nca/2016 db/conf/nca/nca2016.html#MustafizPTK16 Mehran Khan Ferhat Khendek Maria Toeroe Monitoring service level workload and adapting highly available applications. 522-529 2016 SAC https://doi.org/10.1145/2851613.2851642 conf/sac/2016 db/conf/sac/sac2016.html#KhanKT16 Oussama Jebbar Margarete Sackmann Ferhat Khendek Maria Toeroe Model Driven Upgrade Campaign Generation for Highly Available Systems. 148-163 2016 SAM https://doi.org/10.1007/978-3-319-46613-2_10 conf/sam/2016 db/conf/sam/sam2016.html#JebbarSKT16 Azadeh Jahanbanifar Ferhat Khendek Maria Toeroe A Model-Based Approach for the Integration of Configuration Fragments. 125-136 2015 ECMFA https://doi.org/10.1007/978-3-319-21151-0_9 conf/ecmdafa/2015 db/conf/ecmdafa/ecmfa2015.html#JahanbanifarKT15 Azadeh Jahanbanifar Ferhat Khendek Maria Toeroe Partial Validation of Configurations at Runtime. 288-291 2015 ISORC https://doi.org/10.1109/ISORC.2015.22 https://doi.ieeecomputersociety.org/10.1109/ISORC.2015.22 conf/isorc/2015 db/conf/isorc/isorc2015.html#JahanbanifarKT15 Mina Nabi Ferhat Khendek Maria Toeroe Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availability. 21-24 2015 ISSRE Workshops https://doi.org/10.1109/ISSREW.2015.7392030 https://doi.ieeecomputersociety.org/10.1109/ISSREW.2015.7392030 conf/issre/2015w db/conf/issre/issre2015w.html#NabiKT15 Ashis Kumar Bhowmik Ferhat Khendek Majid Hormati Roch H. Glitho An architecture for M2M enabled social networks. 1-8 2015 Med-Hoc-Net https://doi.org/10.1109/MedHocNet.2015.7173161 conf/medhocnet/2015 db/conf/medhocnet/medhocnet2015.html#BhowmikKHG15 Mohammadmajid Hormati Fatna Belqasmi Ferhat Khendek Roch H. Glitho Overlay interconnection for end-user applications and wireless sensor networks in MANETs. 1-6 2015 CFIP/NOTERE https://doi.org/10.1109/NOTERE.2015.7293484 conf/notere/2015 db/conf/notere/notere2015.html#HormatiBKG15 Mahin Abbasipour Ferhat Khendek Maria Toeroe A Model-Based Framework for SLA Management and Dynamic Reconfiguration. 19-26 2015 SDL Forum https://doi.org/10.1007/978-3-319-24912-4_2 conf/sdl/2015 db/conf/sdl/sdl2015.html#AbbasipourKT15 Amine El Kouhen Abdelouahed Gherbi Cédric Dumoulin Ferhat Khendek On the Semantic Transparency of Visual Notations: Experiments with UML. 122-137 2015 SDL Forum https://doi.org/10.1007/978-3-319-24912-4_10 https://www.wikidata.org/entity/Q118322430 conf/sdl/2015 db/conf/sdl/sdl2015.html#KouhenGDK15 Parisa Heidari Mohammadmajid Hormati Maria Toeroe Yanal Alahmad Ferhat Khendek Integrating Open SAF High Availability Solution with Open Stack. 229-236 2015 SERVICES https://doi.org/10.1109/SERVICES.2015.41 https://doi.ieeecomputersociety.org/10.1109/SERVICES.2015.41 conf/services/2015 db/conf/services/services2015.html#HeidariHTAK15 Mahin Abbasipour Margarete Sackmann Ferhat Khendek Maria Toeroe A Model-Based Approach for User Requirements Decomposition and Component Selection. 173-202 2015 Formalisms for Reuse and Systems Integration https://doi.org/10.1007/978-3-319-16577-6_8 series/asc/2015-346 db/series/asc/asc346.html#AbbasipourSKT15

Ali Kanso Maria Toeroe Ferhat Khendek Comparing redundancy models for high availability middleware. 975-993 2014 96 Computing 10 https://doi.org/10.1007/s00607-013-0361-x db/journals/computing/computing96.html#KansoTK14

Parsa Pourali Ferhat Khendek Maria Toeroe Enhanced Configuration Generation Approach for Highly Available COTS Based Systems. 104-113 2014 ARES https://doi.org/10.1109/ARES.2014.20 https://doi.ieeecomputersociety.org/10.1109/ARES.2014.20 conf/IEEEares/2014 db/conf/IEEEares/ares2014.html#PouraliKT14 Maria Toeroe Neha Pawar Ferhat Khendek Managing application level elasticity and availability. 348-351 2014 CNSM https://doi.org/10.1109/CNSM.2014.7014191 https://doi.ieeecomputersociety.org/10.1109/CNSM.2014.7014191 conf/cnsm/2014 db/conf/cnsm/cnsm2014.html#ToeroePK14 Ali Davoudian Ferhat Khendek Maria Toeroe Ordering Upgrade Changes for Highly Available Component Based Systems. 259-260 2014 HASE https://doi.org/10.1109/HASE.2014.48 https://doi.ieeecomputersociety.org/10.1109/HASE.2014.48 conf/hase/2014 db/conf/hase/hase2014.html#DavoudianKT14 Mohammadmajid Hormati Ferhat Khendek Roch H. Glitho Fatna Belqasmi Differentiated QoS for overlay-based disaster response systems. 225-230 2014 ICC Workshops https://doi.org/10.1109/ICCW.2014.6881200 conf/icc/2014w db/conf/icc/icc2014w.html#HormatiKGB14 Razieh Safaripour Ferhat Khendek Roch H. Glitho Fatna Belqasmi A RESTfull architecture for enabling rapid development and deployment of companion robot applications. 971-976 2014 ICNC https://doi.org/10.1109/ICCNC.2014.6785469 conf/iccnc/2014 db/conf/iccnc/iccnc2014.html#SafaripourKGB14 Mahin Abbasipour Margarete Sackmann Ferhat Khendek Maria Toeroe Ontology-based user requirements decomposition for component selection for highly available systems. 44-51 2014 IRI https://doi.org/10.1109/IRI.2014.7051870 https://doi.ieeecomputersociety.org/10.1109/IRI.2014.7051870 conf/iri/2014 db/conf/iri/iri2014.html#AbbasipourSKT14 Mohammadmajid Hormati Ferhat Khendek Maria Toeroe Towards an Evaluation Framework for Availability Solutions in the Cloud. 43-46 2014 ISSRE Workshops https://doi.org/10.1109/ISSREW.2014.50 https://doi.ieeecomputersociety.org/10.1109/ISSREW.2014.50 conf/issre/2014w db/conf/issre/issre2014w.html#HormatiKT14 Ahmed Abouzeid Mohammadmajid Hormati Roch H. Glitho Ferhat Khendek Quality of experience-enabled social networks. 1-8 2014 Q2SWinet https://doi.org/10.1145/2642687.2642701 conf/mswim/2014q db/conf/mswim/q2swinet2014.html#AbouzeidHGK14 Mohamed Mussa Ferhat Khendek Acceptance Test Optimization. 158-173 2014 SAM https://doi.org/10.1007/978-3-319-11743-0_11 conf/sam/2014 db/conf/sam/sam2014.html#MussaK14 Azadeh Jahanbanifar Ferhat Khendek Maria Toeroe Providing Hardware Redundancy for Highly Available Services in Virtualized Environments. 40-47 2014 SERE https://doi.org/10.1109/SERE.2014.17 conf/ssiri/2014 db/conf/ssiri/sere2014.html#JahanbanifarKT14

Md. Asadul Islam Fatna Belqasmi Roch H. Glitho Ferhat Khendek The design and implementation of OMA restful location services in wireless sensor environments. 122-131 2013 51 IEEE Commun. Mag. 4 https://doi.org/10.1109/MCOM.2013.6495771 db/journals/cm/cm51.html#IslamBGK13

Ali Kanso Ferhat Khendek Maria Toeroe Abdelwahab Hamou-Lhadj Automatic configuration generation for service high availability with load balancing. 265-287 2013 25 Concurr. Comput. Pract. Exp. 2 https://doi.org/10.1002/cpe.2805 db/journals/concurrency/concurrency25.html#KansoKTH13

Daniel Sinnig Patrice Chalin Ferhat Khendek Use case and task models: An integrated development methodology and its formal foundation. 27:1-27:31 2013 22 ACM Trans. Softw. Eng. Methodol. 3 https://doi.org/10.1145/2491509.2491521 db/journals/tosem/tosem22.html#SinnigCK13

Ali Nikzad Ferhat Khendek Maria Toeroe OpenSAF and VMware from the perspective of high availability. 324-331 2013 CNSM https://doi.org/10.1109/CNSM.2013.6727853 https://doi.ieeecomputersociety.org/10.1109/CNSM.2013.6727853 conf/cnsm/2013 db/conf/cnsm/cnsm2013.html#NikzadKT13 Mohamed Mussa Ferhat Khendek Merging Test Models. 167-170 2013 ICECCS https://doi.org/10.1109/ICECCS.2013.32 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2013.32 conf/iceccs/2013 db/conf/iceccs/iceccs2013.html#MussaK13 Mohammadmajid Hormati Fatna Belqasmi Roch H. Glitho Ferhat Khendek A DNS protocol - based Service Discovery architecture for disaster response systems. 366-371 2013 ISCC https://doi.org/10.1109/ISCC.2013.6754974 https://doi.ieeecomputersociety.org/10.1109/ISCC.2013.6754974 conf/iscc/2013 db/conf/iscc/iscc2013.html#HormatiBGK13 Ekansh Katihar Ferhat Khendek Maria Toeroe Operating system upgrade in high availability environment. 1-5 2013 SoftCOM https://doi.org/10.1109/SoftCOM.2013.6671890 conf/softcom/2013 db/conf/softcom/softcom2013.html#KatiharKT13 Ali Kanso Maria Toeroe Ferhat Khendek Automating Service Availability Analysis: An Application to a Highly Available Media-Streaming Service. 94-101 2013 SERE (Companion) https://doi.org/10.1109/SERE-C.2013.28 conf/ssiri/2013c db/conf/ssiri/sere2013c.html#KansoTK13 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 2013 Springer Lecture Notes in Computer Science 7916 https://doi.org/10.1007/978-3-642-38911-5 https://www.wikidata.org/entity/Q29391802 978-3-642-38910-8 SDL Forum db/conf/sdl/sdl2013.html

Rajesh Karunamurthy Ferhat Khendek Roch H. Glitho A novel architecture for Web service composition. 787-802 2012 35 J. Netw. Comput. Appl. 2 https://doi.org/10.1016/j.jnca.2011.11.012 db/journals/jnca/jnca35.html#KarunamurthyKG12

Pietro Colombo Ferhat Khendek Luigi Lavazza Bridging the gap between requirements and design: An approach based on Problem Frames and SysML. 717-745 2012 85 J. Syst. Softw. 3 https://doi.org/10.1016/j.jss.2011.09.046 db/journals/jss/jss85.html#ColomboKL12

Pietro Colombo Pejman Salehi Ferhat Khendek Maria Toeroe Bridging the Gap between User Requirements and Configuration Requirements. 13-22 2012 ICECCS https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.11 conf/iceccs/2012 db/conf/iceccs/iceccs2012.html#ColomboSKT12 Md. Asadul Islam Fatna Belqasmi Roch H. Glitho Ferhat Khendek Implementing OMA RESTful location services in wireless sensor environments. 617-620 2012 ISCC https://doi.org/10.1109/ISCC.2012.6249365 https://doi.ieeecomputersociety.org/10.1109/ISCC.2012.6249365 conf/iscc/2012 db/conf/iscc/iscc2012.html#IslamBGK12 Mohamed Mussa Ferhat Khendek Identification and Selection of Interaction Test Scenarios for Integration Testing. 16-33 2012 SAM https://doi.org/10.1007/978-3-642-36757-1_2 conf/sam/2012 db/conf/sam/sam2012.html#MussaK12 Ali Kanso Maria Toeroe Ferhat Khendek Configuration-Based Service Availability Analysis for Middleware Managed Applications. 229-248 2012 SAM https://doi.org/10.1007/978-3-642-36757-1_14 conf/sam/2012 db/conf/sam/sam2012.html#KansoTK12

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. 138-146 2011 49 IEEE Commun. Mag. 12 https://doi.org/10.1109/MCOM.2011.6094018 db/journals/cm/cm49.html#RuchengBGK11

Daniel Sinnig Ferhat Khendek Patrice Chalin Partial order semantics for use case and task models. 307-332 2011 23 Formal Aspects Comput. 3 https://doi.org/10.1007/s00165-010-0158-z db/journals/fac/fac23.html#SinnigKC11

Pejman Salehi Ferhat Khendek Abdelwahab Hamou-Lhadj Maria Toeroe AMF configurations: Checking for service protection using heuristics. 1-8 2011 CNSM https://ieeexplore.ieee.org/document/6103980/ conf/cnsm/2011 db/conf/cnsm/cnsm2011.html#SalehiKHT11 Ali Kanso Ferhat Khendek Maria Toeroe Workload Balancing for Highly Available Services: The Case of the N+M Redundancy Model. 97-104 2011 DASC https://doi.org/10.1109/DASC.2011.40 https://doi.ieeecomputersociety.org/10.1109/DASC.2011.40 conf/dasc/2011 db/conf/dasc/dasc2011.html#KansoKT11 Ali Kanso Ferhat Khendek Maria Toeroe Automatic Annotation of Software Configuration Models with Service Recovery Information. 121-128 2011 DASC https://doi.org/10.1109/DASC.2011.43 https://doi.ieeecomputersociety.org/10.1109/DASC.2011.43 conf/dasc/2011 db/conf/dasc/dasc2011.html#KansoKT11a Pietro Colombo Ferhat Khendek Luigi Lavazza Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML. 97-114 2011 ECMFA https://doi.org/10.1007/978-3-642-21470-7_8 conf/ecmdafa/2011 db/conf/ecmdafa/ecmfa2011.html#ColomboKL11 Ali Kanso Ferhat Khendek Anik Mishra Maria Toeroe Integrating Legacy Applications for High Availability: A Case Study. 83-90 2011 HASE https://doi.org/10.1109/HASE.2011.39 https://doi.ieeecomputersociety.org/10.1109/HASE.2011.39 conf/hase/2011 db/conf/hase/hase2011.html#KansoKMT11 Mohamed Mussa Ferhat Khendek Towards a Model Based Approach for Integration Testing. 106-121 2011 SDL Forum https://doi.org/10.1007/978-3-642-25264-8_10 conf/sdl/2011 db/conf/sdl/sdl2011.html#MussaK11

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. 42-50 2010 48 IEEE Commun. Mag. 4 https://doi.org/10.1109/MCOM.2010.5439075 db/journals/cm/cm48.html#BarachiKGKD10

Rajesh Karunamurthy Ferhat Khendek Roch H. Glitho A formal description framework and a matchmaking technique for web service composition. 24-54 2010 6 Int. J. Web Inf. Syst. 1 https://doi.org/10.1108/17440081011034475 db/journals/ijwis/ijwis6.html#KarunamurthyKG10

Pietro Colombo Ferhat Khendek Luigi Lavazza Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study. 74-89 2010 ECMFA https://doi.org/10.1007/978-3-642-13595-8_8 conf/ecmdafa/2010 db/conf/ecmdafa/ecmfa2010.html#ColomboKL10 Daniel Sinnig Rabeb Mizouni Ferhat Khendek Bridging the gap: empowering use cases with task models. 291-296 2010 EICS https://doi.org/10.1145/1822018.1822064 conf/eics/2010 db/conf/eics/eics2010.html#SinnigMK10 Pejman Salehi Abdelwahab Hamou-Lhadj Pietro Colombo Ferhat Khendek Maria Toeroe A UML-Based Domain Specific Modeling Language for the Availability Management Framework. 35-44 2010 HASE https://doi.org/10.1109/HASE.2010.21 https://doi.ieeecomputersociety.org/10.1109/HASE.2010.21 conf/hase/2010 db/conf/hase/hase2010.html#SalehiHCKT10 Rabeb Mizouni Daniel Sinnig Ferhat Khendek Towards an Integrated Model for Functional and User Interface Requirements. 214-221 2010 HCSE https://doi.org/10.1007/978-3-642-16488-0_19 conf/hcse/2010 db/conf/hcse/hcse2010.html#MizouniSK10 Rabeb Mizouni Daniel Sinnig Ferhat Khendek Enriching Use Cases with CTTs. 262-263 2010 ICECCS https://doi.org/10.1109/ICECCS.2010.25 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2010.25 conf/iceccs/2010 db/conf/iceccs/iceccs2010.html#MizouniSK10 Daniel Sinnig Ferhat Khendek Patrice Chalin A Formal Model for Generating Integrated Functional and User Interface Test Cases. 255-264 2010 ICST https://doi.org/10.1109/ICST.2010.56 https://doi.ieeecomputersociety.org/10.1109/ICST.2010.56 conf/icst/2010 db/conf/icst/icst2010.html#SinnigKC10 Saba Hamedi Majid Hormati Roch H. Glitho Ferhat Khendek Integrating wireless sensor networks and mobile ad hoc networks for an enhanced end-user experience. 1-7 2010 Kaleidoscope https://ieeexplore.ieee.org/document/5682151/ conf/kaleidoscope/2010 db/conf/kaleidoscope/kaleidoscope2010.html#HamediHGK10 Ali Kanso Ferhat Khendek Abdelwahab Hamou-Lhadj Maria Toeroe Ranking Service Units for Providing and Protecting Highly Available Services with Load Balancing. 33-40 2010 NOTERE https://doi.org/10.1109/NOTERE.2010.5536839 conf/notere/2010 db/conf/notere/notere2010.html#KansoKHT10 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. 2551-2556 2010 PIMRC https://doi.org/10.1109/PIMRC.2010.5671756 conf/pimrc/2010 db/conf/pimrc/pimrc2010.html#RuchengGKM10 Pejman Salehi Pietro Colombo Abdelwahab Hamou-Lhadj Ferhat Khendek A Model Driven Approach for AMF Configuration Generation. 124-143 2010 SAM https://doi.org/10.1007/978-3-642-21652-7_8 conf/sam/2010 db/conf/sam/sam2010.html#SalehiCHK10

Abdelouahed Gherbi Ferhat Khendek From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. 387-414 2009 16 Autom. Softw. Eng. 3-4 https://doi.org/10.1007/s10515-008-0045-5 https://www.wikidata.org/entity/Q118322450 db/journals/ase/ase16.html#GherbiK09

Chunyan Fu Roch H. Glitho Ferhat Khendek Signaling for Multimedia Conferencing in Stand-Alone Mobile Ad Hoc Networks. 991-1005 2009 8 IEEE Trans. Mob. Comput. 7 https://doi.org/10.1109/TMC.2008.177 http://doi.ieeecomputersociety.org/10.1109/TMC.2008.177 db/journals/tmc/tmc8.html#FuGK09

Ali Kanso Maria Toeroe Abdelwahab Hamou-Lhadj Ferhat Khendek Generating AMF Configurations from Software Vendor Constraints and User Requirements. 454-461 2009 ARES https://doi.org/10.1109/ARES.2009.27 https://doi.ieeecomputersociety.org/10.1109/ARES.2009.27 conf/IEEEares/2009 db/conf/IEEEares/ares2009.html#KansoTHK09 Abdelouahed Gherbi Ali Kanso Ferhat Khendek Abdelwahab Hamou-Lhadj Maria Toeroe A Tool Suite for the Generation and Validation of Configurations for Software Availability. 671-673 2009 ASE https://doi.org/10.1109/ASE.2009.18 https://doi.ieeecomputersociety.org/10.1109/ASE.2009.18 https://www.wikidata.org/entity/Q118322451 conf/kbse/2009 db/conf/kbse/ase2009.html#GherbiKKHT09 Daniel Sinnig Patrice Chalin Ferhat Khendek LTS semantics for use case models. 365-370 2009 SAC https://doi.org/10.1145/1529282.1529362 conf/sac/2009 db/conf/sac/sac2009.html#SinnigCK09 Pejman Salehi Ferhat Khendek Maria Toeroe Abdelwahab Hamou-Lhadj Abdelouahed Gherbi Checking Service Instance Protection for AMF Configurations. 269-274 2009 SSIRI https://doi.org/10.1109/SSIRI.2009.25 https://doi.ieeecomputersociety.org/10.1109/SSIRI.2009.25 https://www.wikidata.org/entity/Q118322452 conf/ssiri/2009 db/conf/ssiri/ssiri2009.html#SalehiKTHG09 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. 2009 VTC Spring conf/vtc/2009s db/conf/vtc/vtc2009s.html#BarachiKGKD09 https://doi.org/10.1109/VETECS.2009.5073877

Chunyan Fu Roch H. Glitho Ferhat Khendek A cross-layer architecture for signaling in multihop cellular networks. 174-182 2008 46 IEEE Commun. Mag. 9 https://doi.org/10.1109/MCOM.2008.4623723 db/journals/cm/cm46.html#FuGK08

Ferhat Khendek Tong Zheng 0002 Modeling and analysis of value added services using message sequence charts. 338-356 2008 31 J. Netw. Comput. Appl. 3 https://doi.org/10.1016/j.jnca.2006.08.001 db/journals/jnca/jnca31.html#KhendekZ08

Ali Kanso Maria Toeroe Ferhat Khendek Abdelwahab Hamou-Lhadj Automatic Generation of AMF Compliant Configurations. 155-170 2008 ISAS https://doi.org/10.1007/978-3-540-68129-8_13 conf/isas/2008 db/conf/isas/isas2008.html#KansoTKH08 Rajesh Karunamurthy Ferhat Khendek Roch H. Glitho Categorizing and Assembling Web Services in a Composition Framework. 10-20 2008 SEW https://doi.org/10.1109/SEW.2008.9 https://doi.ieeecomputersociety.org/10.1109/SEW.2008.9 conf/sew/2008 db/conf/sew/sew2008.html#KarunamurthyKG08 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. 2784-2788 2008 VTC Spring https://doi.org/10.1109/VETECS.2008.608 conf/vtc/2008s db/conf/vtc/vtc2008s.html#BarachiKGKD08 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. 3116-3121 2008 WCNC https://doi.org/10.1109/WCNC.2008.544 conf/wcnc/2008 db/conf/wcnc/wcnc2008.html#BarachiKGKD08

Rajesh Karunamurthy Ferhat Khendek Roch H. Glitho A business model for dynamic composition of telecommunication web services. 36-43 2007 45 IEEE Commun. Mag. 7 https://doi.org/10.1109/MCOM.2007.382658 db/journals/cm/cm45.html#KarunamurthyKG07

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. 239-243 2007 CCNC https://doi.org/10.1109/CCNC.2007.54 conf/ccnc/2007 db/conf/ccnc/ccnc2007.html#GlithoFK07 Fatna Belqasmi Roch H. Glitho Rachida Dssouli Ferhat Khendek John Mattam An Architecture for Composing Registries when Ambient Networks Compose. 503-507 2007 CCNC https://doi.org/10.1109/CCNC.2007.105 conf/ccnc/2007 db/conf/ccnc/ccnc2007.html#BelqasmiGDKM07 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. 865-869 2007 CCNC https://doi.org/10.1109/CCNC.2007.175 conf/ccnc/2007 db/conf/ccnc/ccnc2007.html#GlithoKOC07 Daniel Sinnig Patrice Chalin Ferhat Khendek Consistency between Task Models and Use Cases. 71-88 2007 EHCI/DS-VIS https://doi.org/10.1007/978-3-540-92698-6_5 conf/ehci/2007 db/conf/ehci/ehci2007.html#SinnigCK07 Chunyan Fu Roch H. Glitho Ferhat Khendek A Novel Session Recovery Mechanism for Cluster-based Signaling Architecture for Conferencing in MANETs. 19 2007 conf/icdcsw/2007 ICDCS Workshops https://doi.org/10.1109/ICDCSW.2007.15 https://doi.ieeecomputersociety.org/10.1109/ICDCSW.2007.15 db/conf/icdcsw/icdcsw2007.html#FuGK07 Daniel Sinnig Patrice Chalin Ferhat Khendek Common Semantics for Use Cases and Task Models. 579-598 2007 conf/ifm/2007 IFM https://doi.org/10.1007/978-3-540-73210-5_30 db/conf/ifm/ifm2007.html#SinnigCK07 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. 941-947 2007 ISCC https://doi.org/10.1109/ISCC.2007.4381506 https://doi.ieeecomputersociety.org/10.1109/ISCC.2007.4381506 conf/iscc/2007 db/conf/iscc/iscc2007.html#OthmanGK07 Abdelouahed Gherbi Ferhat Khendek Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. 412-419 2007 ISORC https://doi.org/10.1109/ISORC.2007.57 https://doi.ieeecomputersociety.org/10.1109/ISORC.2007.57 https://www.wikidata.org/entity/Q118322454 conf/isorc/2007 db/conf/isorc/isorc2007.html#GherbiK07 Abdelouahed Gherbi Ferhat Khendek Consistency of UML/SPT Models. 203-224 2007 conf/sdl/2007 SDL Forum https://doi.org/10.1007/978-3-540-74984-4_13 https://www.wikidata.org/entity/Q118322459 db/conf/sdl/sdl2007.html#GherbiK07 Daniel Sinnig Maik Wurdel Peter Forbrig Patrice Chalin Ferhat Khendek Practical Extensions for Task Models. 42-55 2007 conf/tamodia/2007 TAMODIA https://doi.org/10.1007/978-3-540-77222-4_5 db/conf/tamodia/tamodia2007.html#SinnigWFCK07

Chunyan Fu Ferhat Khendek Roch H. Glitho Signaling for multimedia conferencing in 4G: the case of integrated 3G/MANETs. 90-99 2006 44 IEEE Commun. Mag. 8 https://doi.org/10.1109/MCOM.2006.1678115 db/journals/cm/cm44.html#FuKG06

Rajesh Karunamurthy Ferhat Khendek Roch H. Glitho Using web services for presence-based application development. 167-197 2006 2 Int. J. Web Grid Serv. 2 https://doi.org/10.1504/IJWGS.2006.010806 db/journals/ijwgs/ijwgs2.html#KarunamurthyKG06

Abdelouahed Gherbi Ferhat Khendek UML Profiles for Real-Time Systems and their Applications. 149-169 2006 5 J. Object Technol. 4 https://doi.org/10.5381/jot.2006.5.4.a5 https://www.wikidata.org/entity/Q118322457 db/journals/jot/jot5.html#GherbiK06

Ludovic Apvrille Pierre de Saqui-Sannes Ferhat Khendek TURTLE-P: a UML profile for the formal validation of critical and distributed systems. 449-466 2006 5 Softw. Syst. Model. 4 https://doi.org/10.1007/s10270-006-0029-5 https://www.wikidata.org/entity/Q120833165 db/journals/sosym/sosym5.html#ApvrilleSK06

Rajesh Karunamurthy Ferhat Khendek Roch H. Glitho A Novel Business Model for Web Service Composition. 431-437 2006 conf/IEEEscc/2006 IEEE SCC https://doi.org/10.1109/SCC.2006.12 https://doi.ieeecomputersociety.org/10.1109/SCC.2006.12 db/conf/IEEEscc/scc2006.html#KarunamurthyKG06 Truong Ta Nuru Yakub Othman Roch H. Glitho Ferhat Khendek Using Web Services for Bridging End-User Applications and Wireless Sensor Networks. 347-352 2006 conf/iscc/2006 ISCC https://doi.org/10.1109/ISCC.2006.166 https://doi.ieeecomputersociety.org/10.1109/ISCC.2006.166 db/conf/iscc/iscc2006.html#TaOGK06 Chunyan Fu Roch H. Glitho Ferhat Khendek Signaling for Conferencing in Integrated 3G/Mobile Ad Hoc Networks. 838-843 2006 conf/iscc/2006 ISCC https://doi.org/10.1109/ISCC.2006.147 https://doi.ieeecomputersociety.org/10.1109/ISCC.2006.147 db/conf/iscc/iscc2006.html#FuGK06 Abdelouahed Gherbi Ferhat Khendek From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation. 343-350 2006 conf/isorc/2006 ISORC https://doi.org/10.1109/ISORC.2006.37 https://doi.ieeecomputersociety.org/10.1109/ISORC.2006.37 db/conf/isorc/isorc2006.html#GherbiK06 Reinhard Gotzhein Ferhat Khendek Compositional Testing of Communication Systems. 227-244 2006 conf/pts/2006 TestCom https://doi.org/10.1007/11754008_15 db/conf/pts/testcom2006.html#GotzheinK06 Abdelouahed Gherbi Ferhat Khendek Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT. 34-48 2006 conf/sam/2006 SAM https://doi.org/10.1007/11951148_3 https://www.wikidata.org/entity/Q118322456 db/conf/sam/sam2006.html#GherbiK06 Daniel Sinnig Patrice Chalin Ferhat Khendek Towards a Common Semantic Foundation for Use Cases and Task Models. 73-88 2006 conf/icfem/2006fmis FMIS@ICFEM https://doi.org/10.1016/j.entcs.2007.01.062 db/journals/entcs/entcs183.html#SinnigCK07 Rajesh Karunamurthy Roch H. Glitho Ferhat Khendek A Novel Web Service for Presence and its Implementation in an IETF SIMPLE Protocol Environment. 401-408 2005 conf/icws/2005 ICWS https://doi.org/10.1109/ICWS.2005.12 https://doi.ieeecomputersociety.org/10.1109/ICWS.2005.12 db/conf/icws/icws2005.html#KarunamurthyGK05 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 3502 2005 3-540-26054-4 TestCom Lecture Notes in Computer Science Springer https://doi.org/10.1007/b136676 db/conf/pts/testcom2005.html Ferhat Khendek Christophe Lohr Li Xin Wang Xiao-Jun Zhang Tong Zheng 0002 Early Validation of Deployment and Scheduling Constraints for MSC Specifications. 106-121 https://doi.org/10.1007/978-3-540-31810-1_8 2004 conf/sam/2004 SAM db/conf/sam/sam2004.html#KhendekLWZZ04

Tong Zheng 0002 Ferhat Khendek Time consistency of MSC-2000 specifications. 303-322 2003 42 Comput. Networks 3 https://doi.org/10.1016/S1389-1286(03)00245-7 db/journals/cn/cn42.html#ZhengK03

Rachida Dssouli Ferhat Khendek Preface. 699 2003 45 Inf. Softw. Technol. 11 https://doi.org/10.1016/S0950-5849(03)00059-4 db/journals/infsof/infsof45.html#DssouliK03

Rachida Dssouli Ferhat Khendek Preface. 791-792 2003 45 Inf. Softw. Technol. 12 https://doi.org/10.1016/S0950-5849(03)00073-9 db/journals/infsof/infsof45.html#DssouliK03a

Hong Peng Sofiène Tahar Ferhat Khendek Comparison of SPIN and VIS for protocol verification. 234-245 2003 4 Int. J. Softw. Tools Technol. Transf. 2 https://doi.org/10.1007/s100090200073 db/journals/sttt/sttt4.html#PengTK03

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. 446-457 2003 33 IEEE Trans. Syst. Man Cybern. Part C 4 db/journals/tsmc/tsmcc33.html#GlithoKM03 https://doi.org/10.1109/TSMCC.2003.818499

Ferhat Khendek Xiao-Jun Zhang From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. 228-254 2003 conf/dagstuhl/2003scenarios Scenarios: Models, Transformations and Tools https://doi.org/10.1007/11495628_13 db/conf/dagstuhl/scenarios2003.html#KhendekZ03 A. De Marco Ferhat Khendek eSERL: Feature Interaction Management in Parlay/OSA using Composition Constraints and Configuration Rules. 247-256 2003 conf/fiw/2003 FIW db/conf/fiw/fiw2003.html#MarcoK03 Tong Zheng 0002 Ferhat Khendek Benoit Parreaux Refining Timed MSCs. 234-250 2003 conf/sdl/2003 SDL Forum https://doi.org/10.1007/3-540-45075-0_14 db/conf/sdl/sdl2003.html#ZhengKP03

Abdeslam En-Nouaary Rachida Dssouli Ferhat Khendek Timed Wp-Method: Testing Real-Time Systems. 1023-1038 2002 28 IEEE Trans. Software Eng. 11 https://doi.org/10.1109/TSE.2002.1049402 http://doi.ieeecomputersociety.org/10.1109/TSE.2002.1049402 db/journals/tse/tse28.html#En-NouaaryDK02

Stephan Bourduas Ferhat Khendek Daniel Vincent From MSC and UML to SDL. 153-158 2002 conf/compsac/2002 COMPSAC https://doi.org/10.1109/CMPSAC.2002.1044546 https://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044546 db/conf/compsac/compsac2002.html#BourduasKV02 Umer Waqar Ferhat Khendek Daniel Vincent A Formal Approach for Software Maintenance. 608-617 2002 conf/icsm/2002 ICSM https://doi.org/10.1109/ICSM.2002.1167825 https://doi.ieeecomputersociety.org/10.1109/ICSM.2002.1167825 db/conf/icsm/icsm2002.html#WaqarKV02 Reinhard Gotzhein Ferhat Khendek Philipp Schaible Micro Protocol Design: The SNMP Case Study. 61-73 2002 conf/sam/2002 SAM https://doi.org/10.1007/3-540-36573-7_5 db/conf/sam/sam2002.html#GotzheinKS02 Tong Zheng 0002 Ferhat Khendek An Extension for MSC-2000 and Its Application. 221-232 2002 conf/sam/2002 SAM https://doi.org/10.1007/3-540-36573-7_14 db/conf/sam/sam2002.html#ZhengK02 Tong Zheng 0002 Ferhat Khendek Loïc Hélouët A Semantics for Timed MSC. 2002 conf/etaps/2002viss VISS@ETAPS https://doi.org/10.1016/S1571-0661(04)80486-9 db/conf/etaps/viss2002.html#ZhengKH02 85-99

C. Bourhfir El Mostapha Aboulhamid Ferhat Khendek Rachida Dssouli Test cases selection from SDL specifications. 693-708 2001 35 Comput. Networks 6 db/journals/cn/cn35.html#BourhfirAKD01 https://doi.org/10.1016/S1389-1286(00)00203-6

Cédric Besse Ana R. Cavalli Ferhat Khendek Partial Validation of a Design Specification with Respect to Requirements. 131-140 2001 conf/apaqs/2001 APAQS https://doi.org/10.1109/APAQS.2001.990011 https://doi.ieeecomputersociety.org/10.1109/APAQS.2001.990011 db/conf/apaqs/apaqs2001.html#BesseCK01 Ferhat Khendek Stephan Bourduas Daniel Vincent Stepwise Design with Message Sequence Charts. 19-34 2001 conf/forte/2001 FORTE db/conf/forte/forte2001.html#KhendekBV01

Azimeh Sefidcon Ferhat Khendek FID: feature interaction detection tool. 283-289 2000 24 Microprocess. Microsystems 6 https://doi.org/10.1016/S0141-9331(00)00090-9 https://www.wikidata.org/entity/Q126743285 db/journals/mam/mam24.html#SefidconK00

Hong Peng Sofiène Tahar Ferhat Khendek SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol. 79-88 2000 conf/icfem/2000 ICFEM https://doi.org/10.1109/ICFEM.2000.873808 https://doi.ieeecomputersociety.org/10.1109/ICFEM.2000.873808 db/conf/icfem/icfem2000.html#PengTK00 Abdeslam En-Nouaary Ferhat Khendek Rachida Dssouli Testing embedded real-time systems. 417-424 2000 conf/rtcsa/2000 RTCSA https://doi.org/10.1109/RTCSA.2000.896421 https://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.896421 db/conf/rtcsa/rtcsa2000.html#En-NouaaryKD00 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. 491-497 2000 conf/rtcsa/2000 RTCSA https://doi.org/10.1109/RTCSA.2000.896432 https://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.896432 db/conf/rtcsa/rtcsa2000.html#MuthiayenAKS00 Ferhat Khendek Daniel Vincent Enriching SDL Specifications with MSCs. 305-319 2000 conf/sam/2000 SAM db/conf/sam/sam2000.html#KhendekV00 Azimeh Sefidcon Ferhat Khendek A pragmatic approach for feature interaction detection in intelligent networks. 622-627 1999 ICCCN https://doi.org/10.1109/ICCCN.1999.805583 conf/icccn/1999 db/conf/icccn/icccn1999.html#SefidconK99 Abdeslam En-Nouaary Ferhat Khendek Rachida Dssouli Fault Coverage in Testing Real-Time Systems. 150-157 1999 conf/rtcsa/1999 RTCSA https://doi.org/10.1109/RTCSA.1999.811206 https://doi.ieeecomputersociety.org/10.1109/RTCSA.1999.811206 db/conf/rtcsa/rtcsa1999.html#En-NouaaryKD99 Mohamed Ashour Ferhat Khendek Tho Le-Ngoc Formal Description of Real-time Systems using SDL. 190- 1999 conf/rtcsa/1999 RTCSA https://doi.org/10.1109/RTCSA.1999.811221 https://doi.ieeecomputersociety.org/10.1109/RTCSA.1999.811221 db/conf/rtcsa/rtcsa1999.html#AshourKL99 Miguel Abdalla Ferhat Khendek Greg Butler New results on deriving SDL specifications from MSCs. 51-66 1999 conf/sdl/1999 SDL Forum db/conf/sdl/sdl1999.html#AbdallaKB99 Abdeslam En-Nouaary Rachida Dssouli Ferhat Khendek From timed scenarios to SDL: specification, implementation and testing of real-time systems. 67- 1999 conf/sdl/1999 SDL Forum db/conf/sdl/sdl1999.html#En-NouaaryDK99 Greg Butler Peter Grogono Ferhat Khendek A Reuse Case Perspective on Documenting Frameworks. 94-101 1998 conf/apsec/1998 APSEC https://doi.org/10.1109/APSEC.1998.733596 https://doi.ieeecomputersociety.org/10.1109/APSEC.1998.733596 db/conf/apsec/apsec1998.html#ButlerGK98 Yuan Peng Ferhat Khendek Peter Grogono Greg Butler Feature Interaction Detection Technique Based on Feature Assumptions. 291-298 1998 conf/fiw/1998 FIW db/conf/fiw/fiw1998.html#PengKGB98 Abdeslam En-Nouaary Rachida Dssouli Ferhat Khendek Abdelkader Elqortobi Timed Test Cases Generation Based on State Characterization Technique. 220-229 1998 conf/rtss/1998 RTSS https://doi.org/10.1109/REAL.1998.739748 https://doi.ieeecomputersociety.org/10.1109/REAL.1998.739748 db/conf/rtss/rtss1998.html#En-NouaaryDKE98 Greg Butler Peter Grogono Ferhat Khendek A Z Specification of Use Cases: A Preliminary Report. 505-506 1997 conf/apsec/1997 APSEC https://doi.org/10.1109/APSEC.1997.640207 https://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640207 db/conf/apsec/apsec1997.html#ButlerGK97 Gabriel Robert Ferhat Khendek Peter Grogono Deriving an SDL specification with a given architecture from a set of MSCs. 197-212 1997 conf/sdl/1997 SDL Forum db/conf/sdl/sdl1997.html#RobertKG97 Issam A. Hamid Ferhat Khendek A Dynamic Evolution for the Specifications of Distributed Systems. 287-298 1996 conf/asian/1996 ASIAN db/conf/asian/asian96.html#HamidK96 https://doi.org/10.1007/BFb0027801

Ferhat Khendek Gregor von Bochmann Merging Behavior Specifications. 259-293 1995 6 Formal Methods Syst. Des. 3 db/journals/fmsd/fmsd6.html#KhendekB95 https://doi.org/10.1007/BF01384500

Ferhat Khendek Gregor von Bochmann Formal specifications design, evolution and reuse. 184-193 1993 conf/cascon/1993 CASCON https://dl.acm.org/citation.cfm?id=962306 db/conf/cascon/cascon1993.html#KhendekB93 Ferhat Khendek Gregor von Bochmann Incremental Construction Approach for Distributed System Specifications. 87-102 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#KhendekB93 Ferhat Khendek Extending distributed system specifications. 293-299 1992 conf/cascon/1992 CASCON https://dl.acm.org/citation.cfm?id=962279 db/conf/cascon/cascon1992.html#Khendek92 Ferhat Khendek Gregor von Bochmann A formalization of the CORDS Process Model using Mondel. 351-360 1992 conf/cascon/1992 CASCON https://dl.acm.org/citation.cfm?id=962286 db/conf/cascon/cascon1992.html#KhendekB92

Susumu Fujiwara Gregor von Bochmann Ferhat Khendek Mokhtar Amalou Abderrazak Ghedamsi Test Selection Based on Finite State Models. 591-603 https://doi.org/10.1109/32.87284 http://doi.ieeecomputersociety.org/10.1109/32.87284 1991 17 IEEE Trans. Software Eng. 6 db/journals/tse/tse17.html#FujiwaraBKAG91

Ferhat Khendek Gregor von Bochmann Christian Kant New Results on Deriving Protocol Specifications from Service Specifications. 136-145 1989 conf/sigcomm/1989 SIGCOMM https://doi.org/10.1145/75246.75261 https://doi.org/10.1145/75247.75261 db/conf/sigcomm/sigcomm1989.html#KhendekBK89 Mahin Abbasipour Miguel Abdalla El Mostapha Aboulhamid Ahmed Abouzeid Yamine Aït-Ameur Vangalur S. Alagar Yanal Alahmad Mustafa K. Mehmet Ali Mokhtar Amalou Ludovic Apvrille Maryam Asgari Araghi Mohamed Ashour Siamak Azadiabad May El Barachi Fatna Belqasmi Cédric Besse Ashis Kumar Bhowmik Gregor von Bochmann Stephan Bourduas C. Bourhfir Gregory ButlerGreg Butler Ana R. Cavalli Patrice Chalin Samir Chebbine Pietro Colombo Ali Davoudian Rachida Dssouli Cédric Dumoulin Guillaume Dupont Abdelkader Elqortobi Abdeslam En-Nouaary Peter Forbrig Chunyan Fu Susumu Fujiwara Abderrazak Ghedamsi Abdelouahed Gherbi Roch H. Glitho Reinhard Gotzhein Nour Gritli Peter Grogono Saba Hamedi Issam A. Hamid Abdelwahab Hamou-Lhadj Omar Hassane Parisa Heidari Loïc Hélouët Mohammadmajid HormatiMajid Hormati Md. Asadul Islam Azadeh Jahanbanifar Oussama Jebbar Arif Kadiwal Ali Kanso Christian Kant Rajesh Karunamurthy Ekansh Katihar Mehran N. A. H. KhanMehran Khan Amine El Kouhen Luigi Lavazza Tho Le-Ngoc Christophe Lohr A. De Marco John Mattam Dominique Méry Anik Mishra Rabeb Mizouni Mohamed Mussa Sadaf Mustafiz D. Muthiayen Mina Nabi Navid Nazarzadeoghaz Ali Nikzad Nuru Yakub Othman Francis Palma Benoit Parreaux Neha Pawar Hong Peng Parsa Pourali Vahid Rafe Pradheba C. Rangarajan Rick Reed Gabriel Robert Hou Rucheng Margarete Sackmann Razieh Safaripour Mohamed Aymen Saied Pejman Salehi Pierre de Saqui-Sannes Philipp Schaible Azimeh Sefidcon Hassaan Siddiqui Daniel Sinnig Truong Ta Sofiène Tahar Maria Toeroe Leila Abdollahi Vayghan Daniel Vincent Li Xin Wang Umer Waqar Maik Wurdel Peng YuanYuan Peng Xiaojun ZhangXiao-Jun Zhang Tong Zheng 0002