Ferhat Khendek

Affiliations:
  • Concordia University, Montreal, Canada


According to our database1, Ferhat Khendek authored at least 165 papers between 1989 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A Kubernetes controller for managing the availability of elastic microservice based stateful applications.
J. Syst. Softw., 2021

An Approach for the Automation of IaaS Cloud Upgrade.
CoRR, 2021

2020
Model-driven process enactment for NFV systems with MAPLE.
Softw. Syst. Model., 2020

A Model Traceability Framework for Network Service Management.
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

Architecture for the Automation of Live Testing of Cloud Systems.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Methods for Live Testing of Cloud Services.
Proceedings of the Testing Software and Systems, 2020

Regression Test Suite Reduction for Cloud Systems.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Automated Design of Network Services from Network Service Requirements.
Proceedings of the 23rd Conference on Innovation in Clouds, 2020

2019
SLA Compliance Checking and System Runtime Reconfiguration - A Model Based Approach.
J. Softw., 2019

Kubernetes as an Availability Manager for Microservice Applications.
CoRR, 2019

Chapter Two - Model-Based Test Cases Reuse and Optimization.
Adv. Comput., 2019

Process Enactment with Traceability Support for NFV Systems.
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

MAPLE-T: A Tool for Process Enactment with Traceability Support.
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

Trigger correlation for dynamic system reconfiguration.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Building domain-specific modelling environments with papyrus: an experience report.
Proceedings of the 10th International Workshop on Modelling in Software Engineering, 2018

A Model-Based Approach for Design Time Elasticity Rules Generation.
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
Upgrade campaign simulation and evaluation for highly available systems.
Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

A Model-Driven Process Enactment Approach for Network Service Design.
Proceedings of the SDL 2017: Model-Driven Engineering for Future Internet, 2017

Upgrade of Highly Available Systems: Formal Methods at the Rescue.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

Comparing Pacemaker with OpenSAF for Availability Management in the Cloud.
Proceedings of the IEEE International Conference on Edge Computing, 2017

Managing the availability of VNFs with the availability management framework.
Proceedings of the 13th International Conference on Network and Service Management, 2017

2016
Availability in the cloud: State of the art.
J. Netw. Comput. Appl., 2016

Semantic weaving of configuration fragments into a consistent system configuration.
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

Model Driven Upgrade Campaign Generation for Highly Available Systems.
Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016

Monitoring service level workload and adapting highly available applications.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A network service design and deployment process for NFV systems.
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Runtime Adjustment of Configuration Models for Consistency Preservation.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Rolling Upgrade with Dynamic Batch Size for IaaS Cloud.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015
A Model-Based Approach for User Requirements Decomposition and Component Selection.
Proceedings of the Formalisms for Reuse and Systems Integration, 2015

Integrating Open SAF High Availability Solution with Open Stack.
Proceedings of the 2015 IEEE World Congress on Services, 2015

On the Semantic Transparency of Visual Notations: Experiments with UML.
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

A Model-Based Framework for SLA Management and Dynamic Reconfiguration.
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

An architecture for M2M enabled social networks.
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

Partial Validation of Configurations at Runtime.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

A Model-Based Approach for the Integration of Configuration Fragments.
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

2014
Comparing redundancy models for high availability middleware.
Computing, 2014

Providing Hardware Redundancy for Highly Available Services in Virtualized Environments.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Acceptance Test Optimization.
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

Quality of experience-enabled social networks.
Proceedings of the Q2SWinet'14, 2014

Towards an Evaluation Framework for Availability Solutions in the Cloud.
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

Differentiated QoS for overlay-based disaster response systems.
Proceedings of the IEEE International Conference on Communications, 2014

Ordering Upgrade Changes for Highly Available Component Based Systems.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Managing application level elasticity and availability.
Proceedings of the 10th International Conference on Network and Service Management, 2014

Enhanced Configuration Generation Approach for Highly Available COTS Based Systems.
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

Operating system upgrade in high availability environment.
Proceedings of the 21st International Conference on Software, 2013

A DNS protocol - based Service Discovery architecture for disaster response systems.
Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

Merging Test Models.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

OpenSAF and VMware from the perspective of high availability.
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

A novel architecture for Web service composition.
J. Netw. Comput. Appl., 2012

Identification and Selection of Interaction Test Scenarios for Integration Testing.
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

Implementing OMA RESTful location services in wireless sensor environments.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Bridging the Gap between User Requirements and Configuration Requirements.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011
Partial order semantics for use case and task models.
Formal Aspects Comput., 2011

The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless actuator networks.
IEEE Commun. Mag., 2011

Towards a Model Based Approach for Integration Testing.
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Integrating Legacy Applications for High Availability: A Case Study.
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

AMF configurations: Checking for service protection using heuristics.
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

A Model Driven Approach for AMF Configuration Generation.
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

A Formal Model for Generating Integrated Functional and User Interface Test Cases.
Proceedings of the Third International Conference on Software Testing, 2010

Enriching Use Cases with CTTs.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Towards an Integrated Model for Functional and User Interface Requirements.
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

Bridging the gap: empowering use cases with task models.
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study.
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

2009
Signaling for Multimedia Conferencing in Stand-Alone Mobile Ad Hoc Networks.
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

Checking Service Instance Protection for AMF Configurations.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

LTS semantics for use case models.
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
Modeling and analysis of value added services using message sequence charts.
J. Netw. Comput. Appl., 2008

A cross-layer architecture for signaling in multihop cellular networks.
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

Categorizing and Assembling Web Services in a Composition Framework.
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Automatic Generation of AMF Compliant Configurations.
Proceedings of the Service Availability, 5th International Service Availability Symposium, 2008

2007
Towards a Common Semantic Foundation for Use Cases and Task Models.
Electron. Notes Theor. Comput. Sci., 2007

A business model for dynamic composition of telecommunication web services.
IEEE Commun. Mag., 2007

Practical Extensions for Task Models.
Proceedings of the Task Models and Diagrams for User Interface Design, 2007

Consistency of UML/SPT Models.
Proceedings of the SDL 2007: Design for Dependable Systems, 2007

Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency.
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

Common Semantics for Use Cases and Task Models.
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

Consistency between Task Models and Use Cases.
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

An Architecture for Composing Registries when Ambient Networks Compose.
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

UML Profiles for Real-Time Systems and their Applications.
J. Object Technol., 2006

Using web services for presence-based application development.
Int. J. Web Grid Serv., 2006

Signaling for multimedia conferencing in 4G: the case of integrated 3G/MANETs.
IEEE Commun. Mag., 2006

Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT.
Proceedings of the System Analysis and Modeling: Language Profiles, 2006

Compositional Testing of Communication Systems.
Proceedings of the Testing of Communicating Systems, 2006

From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Using Web Services for Bridging End-User Applications and Wireless Sensor Networks.
Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006

Signaling for Conferencing in Integrated 3G/Mobile Ad Hoc Networks.
Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006

A Novel Business Model for Web Service Composition.
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
Early Validation of Deployment and Scheduling Constraints for MSC Specifications.
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

Comparison of SPIN and VIS for protocol verification.
Int. J. Softw. Tools Technol. Transf., 2003

Preface.
Inf. Softw. Technol., 2003

Time consistency of MSC-2000 specifications.
Comput. Networks, 2003

Refining Timed MSCs.
Proceedings of the SDL 2003: System Design, 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
Timed Wp-Method: Testing Real-Time Systems.
IEEE Trans. Software Eng., 2002

A Semantics for Timed MSC.
Electron. Notes Theor. Comput. Sci., 2002

An Extension for MSC-2000 and Its Application.
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

Micro Protocol Design: The SNMP Case Study.
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

A Formal Approach for Software Maintenance.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

From MSC and UML to SDL.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Test cases selection from SDL specifications.
Comput. Networks, 2001

Stepwise Design with Message Sequence Charts.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

Partial Validation of a Design Specification with Respect to Requirements.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000
FID: feature interaction detection tool.
Microprocess. Microsystems, 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

Testing embedded real-time systems.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol.
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

Fault Coverage in Testing Real-Time Systems.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Formal Description of Real-time Systems using SDL.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

A pragmatic approach for feature interaction detection in intelligent networks.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1999), 1999

1998
Timed Test Cases Generation Based on State Characterization Technique.
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

A Reuse Case Perspective on Documenting Frameworks.
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

A Z Specification of Use Cases: A Preliminary Report.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996
A Dynamic Evolution for the Specifications of Distributed Systems.
Proceedings of the Concurrency and Parallelism, 1996

1995
Merging Behavior Specifications.
Formal Methods Syst. Des., 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

Formal specifications design, evolution and reuse.
Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1992
A formalization of the CORDS Process Model using Mondel.
Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, 1992

Extending distributed system specifications.
Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, 1992

1991
Test Selection Based on Finite State Models.
IEEE Trans. Software Eng., 1991

1989
New Results on Deriving Protocol Specifications from Service Specifications.
Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989


  Loading...