Ferhat Khendek
Orcid: 0000-0002-3337-9841Affiliations:
- Concordia University, Montreal, Canada
According to our database1,
Ferhat Khendek
authored at least 178 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Using data mining techniques to generate test cases from graph transformation systems specifications.
Autom. Softw. Eng., June, 2024
Dependability of Network Services in the Context of NFV: A Taxonomy and State of the Art Classification.
J. Netw. Syst. Manag., April, 2024
2023
Internet Things, October, 2023
Runtime Adaptation Framework for Fulfilling Availability and Continuity Requirements of Network Services.
IEEE Trans. Netw. Serv. Manag., September, 2023
Proceedings of the IEEE Latin-American Conference on Communications, 2023
2022
Availability and service disruption of network services: From high-level requirements to low-level configuration constraints.
Comput. Stand. Interfaces, 2022
Resolving inconsistencies of runtime configuration changes through change propagation and adjustments.
CoRR, 2022
Availability and Failure Rate of VNF Instances: Impacting Parameters and Calculation Methods.
Proceedings of the 13th International Conference on Network of the Future, 2022
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022
Extending the Network Service Descriptor to Capture User Isolation Intents for Network Slices.
Proceedings of the 2022 IEEE Future Networks World Forum, 2022
2021
A Kubernetes controller for managing the availability of elastic microservice based stateful applications.
J. Syst. Softw., 2021
Proceedings of the 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, 2021
Proceedings of the 4th IEEE 5G World Forum, 2021
Proceedings of the 4th IEEE 5G World Forum, 2021
2020
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
Proceedings of the Testing Software and Systems, 2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Proceedings of the 23rd Conference on Innovation in Clouds, 2020
2019
J. Softw., 2019
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019
Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Poster: Re-Testing Configured Instances in the Production Environment - A Method for Reducing the Test Suite.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
2018
A model-driven approach for the generation of configurations for highly available software systems.
Innov. Syst. Softw. Eng., 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the 10th International Workshop on Modelling in Software Engineering, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems.
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018
Deploying Microservice Based Applications with Kubernetes: Experiments and Lessons Learned.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018
2017
Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017
Proceedings of the SDL 2017: Model-Driven Engineering for Future Internet, 2017
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017
Proceedings of the IEEE International Conference on Edge Computing, 2017
Proceedings of the 13th International Conference on Network and Service Management, 2017
2016
Inf. Syst. Frontiers, 2016
Pattern based configuration generation for highly available COTS components based systems.
Inf. Softw. Technol., 2016
A UML-based domain specific modeling language for service availability management: Design and experience.
Comput. Stand. Interfaces, 2016
Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016
2015
Proceedings of the Formalisms for Reuse and Systems Integration, 2015
Proceedings of the 2015 IEEE World Congress on Services, 2015
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015
Overlay interconnection for end-user applications and wireless sensor networks in MANETs.
Proceedings of the International Conference on Protocol Engineering, 2015
Proceedings of the 14th Annual Mediterranean Ad Hoc Networking Workshop, 2015
Upgrade of the IaaS cloud: Issues and potential solutions in the context of high-availability.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015
2014
Providing Hardware Redundancy for Highly Available Services in Virtualized Environments.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Ontology-based user requirements decomposition for component selection for highly available systems.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014
A RESTfull architecture for enabling rapid development and deployment of companion robot applications.
Proceedings of the International Conference on Computing, Networking and Communications, 2014
Proceedings of the IEEE International Conference on Communications, 2014
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
Proceedings of the 10th International Conference on Network and Service Management, 2014
Proceedings of the Ninth International Conference on Availability, 2014
2013
Use case and task models: An integrated development methodology and its formal foundation.
ACM Trans. Softw. Eng. Methodol., 2013
Automatic configuration generation for service high availability with load balancing.
Concurr. Comput. Pract. Exp., 2013
The design and implementation of OMA restful location services in wireless sensor environments.
IEEE Commun. Mag., 2013
Automating Service Availability Analysis: An Application to a Highly Available Media-Streaming Service.
Proceedings of the Seventh International Conference on Software Security and Reliability, 2013
Proceedings of the 21st International Conference on Software, 2013
Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Proceedings of the 9th International Conference on Network and Service Management, 2013
2012
Bridging the gap between requirements and design: An approach based on Problem Frames and SysML.
J. Syst. Softw., 2012
Proceedings of the System Analysis and Modeling: Theory and Practice, 2012
Configuration-Based Service Availability Analysis for Middleware Managed Applications.
Proceedings of the System Analysis and Modeling: Theory and Practice, 2012
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
2011
The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless actuator networks.
IEEE Commun. Mag., 2011
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011
Automatic Annotation of Software Configuration Models with Service Recovery Information.
Proceedings of the IEEE Ninth International Conference on Dependable, 2011
Workload Balancing for Highly Available Services: The Case of the N+M Redundancy Model.
Proceedings of the IEEE Ninth International Conference on Dependable, 2011
Proceedings of the 7th International Conference on Network and Service Management, 2011
2010
A formal description framework and a matchmaking technique for web service composition.
Int. J. Web Inf. Syst., 2010
The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless sensor networks.
IEEE Commun. Mag., 2010
Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010
Integrating wireless actuation capabilities with the 3GPP IP Multimedia Subsystem for enhanced multimedia services.
Proceedings of the IEEE 21st International Symposium on Personal, 2010
Ranking Service Units for Providing and Protecting Highly Available Services with Load Balancing.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010
Integrating wireless sensor networks and mobile ad hoc networks for an enhanced end-user experience.
Proceedings of the 2010 ITU-Kaleidoscope: Beyond the Internet?, 2010
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010
Proceedings of the Human-Centred Software Engineering - Third International Conference, 2010
A UML-Based Domain Specific Modeling Language for the Availability Management Framework.
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010
2009
IEEE Trans. Mob. Comput., 2009
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL.
Autom. Softw. Eng., 2009
The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking.
Proceedings of the 69th IEEE Vehicular Technology Conference, 2009
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
A Tool Suite for the Generation and Validation of Configurations for Software Availability.
Proceedings of the ASE 2009, 2009
Generating AMF Configurations from Software Vendor Constraints and User Requirements.
Proceedings of the The Forth International Conference on Availability, 2009
2008
J. Netw. Comput. Appl., 2008
IEEE Commun. Mag., 2008
A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem.
Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008
An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem.
Proceedings of the 67th IEEE Vehicular Technology Conference, 2008
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008
Proceedings of the Service Availability, 5th International Service Availability Symposium, 2008
2007
IEEE Commun. Mag., 2007
Proceedings of the Task Models and Diagrams for User Interface Design, 2007
Proceedings of the SDL 2007: Design for Dependable Systems, 2007
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007
The Design and Implementation of a Web Service Framework for Individual Nodes in Sinkless Wireless Sensor Networks.
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
A Novel Session Recovery Mechanism for Cluster-based Signaling Architecture for Conferencing in MANETs.
Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007
Web Services-Based Architecture for the Interactions between End-User Applications and Sink-Less Wireless Sensor Networks.
Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007
Cross-Layer Design for Optimizing the Performance of Clusters-Based Application Layer Schemes in Mobile Ad Hoc Networks.
Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007
Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007
2006
TURTLE-P: a UML profile for the formal validation of critical and distributed systems.
Softw. Syst. Model., 2006
Int. J. Web Grid Serv., 2006
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006
IEEE Commun. Mag., 2006
Proceedings of the System Analysis and Modeling: Language Profiles, 2006
Proceedings of the Testing of Communicating Systems, 2006
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006
Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006
Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006
Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006
2005
A Novel Web Service for Presence and its Implementation in an IETF SIMPLE Protocol Environment.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005
2004
Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004
2003
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, 2003
Int. J. Softw. Tools Technol. Transf., 2003
eSERL: Feature Interaction Management in Parlay/OSA using Composition Constraints and Configuration Rules.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System.
Proceedings of the Scenarios: Models, 2003
2002
Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
Stepwise Design with Message Sequence Charts.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001
2000
Enriching SDL Specifications with MSCs.
Proceedings of the SAM 2000, 2000
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000
1999
From timed scenarios to SDL: specification, implementation and testing of real-time systems.
Proceedings of the SDL '99 The Next Millennium, 1999
New results on deriving SDL specifications from MSCs.
Proceedings of the SDL '99 The Next Millennium, 1999
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1999), 1999
1998
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
Feature Interaction Detection Technique Based on Feature Assumptions.
Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998
1997
Deriving an SDL specification with a given architecture from a set of MSCs.
Proceedings of the SDL '97 Time for Testing, 1997
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997
1996
Proceedings of the Concurrency and Parallelism, 1996
1995
1993
Incremental Construction Approach for Distributed System Specifications.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993
Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993
1992
Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, 1992
Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, 1992
1991
1989
Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989