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