Publications

2021

1) L. Abdollahi Vayghan, M. A. Saied, M. Toeroe, F. Khendek, “A Kubernetes controller for managing the availability of elastic microservice based stateful applications,” Journal of Systems and Software, Vol 175, May 2021.

2) M. Nabi, M. A. Saied, M. Toeroe, F. Khendek, “An Approach for the Automation of IaaS Cloud Upgrade,” eprint arXiv:2003.12837, March, 2021.

2020

3) O. Jebbar, F. Khendek, M. Toeroe, “Architecture for the Automation of Live Testing of Cloud Systems,” 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS), December 2020.

4) O. Jebbar, F. Khendek, M. Toeroe, “Methods for Live Testing of Cloud Services,” to apear in Testing Software and Systems, Lecture Notes in Computer Science, vol 12543, Springer, December 2020.

5) O. Jebbar, M. A. Saied, F. Khendek, M. Toeroe, “Regression Test Suite Reduction for Cloud Systems,” IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), October 2020.

6) O. Hassane, S. Mustafiz, G. Dupont, F. Khendek, and M. Toeroe, “A Model Traceability Framework for Network Service Management,” Proceedings of the 12th System Analysis and Modelling (SAM) Conference, October 2020.

7) S. Mustafiz, O. Hassane, G. Dupont, F. Khendek, and M. Toeroe, “Model-driven process enactment for NFV systems with MAPLE,” Softw Syst Model 19, 1263–1282, 2020.

8) N. Nazarzadeoghaz, F. Khendek, M. Toeroe, “Automated Design of Network Services from Network Service Requirements,” 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN), Paris, 2020.

2019

9) M. Abbasipour, F. Khendek, M. Toeroe, “SLA Compliance Checking and System Runtime Reconfiguration — A Model Based Approach,” Journal of Software vol. 14, no. 11, pp. 488-528, 2019.

10) O. Jebbar, M. A. Saied, F. Khendek, M. Toeroe, “Poster: Re-Testing Configured Instances in the Production Environment – A Method for Reducing the Test Suite“, 12th IEEE Conference on Software Testing, Validation and Verification (ICST), Xi’an, April 2019.

11) L. Abdollahi Vayghan, M. A. Saied, M. Toeroe, F. Khendek, “Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes“, 19th IEEE  International Conference on Software Quality, Reliability and Security (QRS), Sofia, July 2019.

12) O. Hassane, S. Mustafiz, F. Khendek, and M. Toeroe, “Process Enactment with Traceability Support for NFV Systems“, System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0. SAM, September 2019.

13) L. Abdollahi Vayghan, M. A. Saied, M. Toeroe, F. Khendek, “Kubernetes as an Availability Manager for Microservice Applications“, CoRR, Jan 2019.

14) S. Mustafiz, O. Hassane, G. Dupont, F. Khendek, and M. Toeroe, “Model-Driven Process Enactment for NFV Systems with MAPLE“, CoRR, October 2019.

2018

15) M. Abbasipour, F. Khendek, M. Toeroe, “A Model-Based Approach for Design Time Elasticity Rules Generation“, ICECCS, Melbourne, December 2018.

16) L. Abdollahi Vayghan, M. A. Saied, M. Toeroe, F. Khendek, “Deploying Microservice Based Applications with Kubernetes: Experiments and Lessons Learned”, 2018 IEEE 11th International Conference on Cloud Computing (CLOUD), San Francisco, CA, USA, July 2018

17) S. Mustafiz, G. Dupont, F. Khendek, and M. Toeroe, “MAPLE: An integrated process modelling and enactment environment”, in 14th European Conference on Modelling Foundations and Applications (ECMFA 2018), Toulouse, France, June 2018, Proceedings. Springer International Publishing, 2018, pp. 164–178.

18) G. Dupont, S. Mustafiz, F. Khendek, and M. Toeroe, “Building Domain-Specific Modelling Environments with Papyrus: An Experience Report”, International Conference on Software Engineering (ICSE 2018), Modeling in Software Engineering (MiSE 2018), Gothenburg, Sweden, May 2018. ACM, New York, NY, USA, 2018, pp. 49-56.

19) M. Abbasipour, F. Khendek, M. Toeroe, “Trigger correlation for dynamic system reconfiguration”, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, Pau, France, April 2018

2017

20) P. C. Rangarajan, F. Khendek, M. Toeroe, “Managing the availability of VNFs with the availability management framework”, IEEE 13th International Conference on Network and Service Management (CNSM), Tokyo, Japan, November 2017

21) M. Khan, M. Toeroe, F. Khendek, “Comparing Pacemaker with OpenSAF for Availability Management in the Cloud”, IEEE International Conference on Edge Computing (EDGE), Honolulu, HI, USA, June 2017

22) O. Jebbar, F. Khendek, M. Toeroe, “Upgrade of Highly Available Systems: Formal Methods at the Rescue”, IEEE International Conference on Information Reuse and Integration (IRI), San Diego, California, USA, August, 2017

23) S. Mustafiz, N. Nazarzadeoghaz, G. Dupont, F. Khendek, M. Toeroe, “A Model-Driven Process Enactment Approach for Network Service Design”, to appear in the proceedings of SDL Forum, Lecture Notes in Computer Science, Springer, September 2017

24) O. Jebbar, F. Khendek, M. Toeroe, “Upgrade campaign simulation and evaluation for highly available systems”, Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia, USA, April 2017

2016

25) P. Pourali, M. Toeroe, F. Khendek, “Pattern based configuration generation for highly available COTS components-based systems”, in Information and Software Technology, Elsevier, Vol. 74, June 2016

26) A. Jahanbanifar, F. Khendek, M. Toeroe, “Semantic weaving of configuration fragments into a consistent system configuration”, to appear in Information Systems Frontiers, Springer, October 2016

27) M. Nabi, M. Toeroe, F. Khendek, “Availability in the cloud: State of the art”, Journal of Network and Computer Applications, Elsevier, Vol. 60, January 2016

28) M. Nabi, M. Toeroe, F. Khendek, “Rolling Upgrade with Dynamic Batch Size for IaaS Cloud”, IEEE 9th International Conference on Cloud Computing (CLOUD), San Francisco, CA, USA, July 2016

29) S. Mustafiz, F. Palma, M. Toeroe, F. Khendek, “A network service design and deployment process for NFV systems”, IEEE 15th International Symposium on Network Computing and Applications (NCA), Cambridge, MA, USA, November 2016

30) O. Jebbar, M. Sackmann, F. Khendek, M. Toeroe, “Model Driven Upgrade Campaign Generation for Highly Available Systems”, to appear in International Conference on System Analysis and Modeling, System Analysis and Modeling. Technology-Specific Aspects of Models, Lecture Notes in Computer Science, Springer, September 2016

31) P. Salehi, A. Hamou-Lhadj, M. Toeroe, F. Khendek, “A UML-Based Domain Specific Modeling Language for Service Availability Management: Design and Experience“, in Computer Standards and Interfaces, Elsevier, Vol. 44, 2016

32) M. Khan, F. Khendek, M. Toeroe, “Monitoring Service Level Workload and Adapting Highly Available Applications“, to appear in ACM SAC DADS 2016 proceedings, Pisa, Italy, April 2016

33) A. Jahanbanifar, F. Khendek, M. Toeroe, “Runtime Configuration Models Adjustment for Consistency Preservation“, to appear in HASE 2016 proceedings, Orlando, Florida, January 7-9, 2016

2015

34) M. Abbasipour, M. Sackmann, F. Khendek, M. Toeroe, “User Requirements Decomposition for Components Selection and Configuration“, Advances in Intelligent Systems and Computing, Vol. 346, Special issue on Software Reuse and Integration, Springer, 2015 [Extended version of IEEE IRI 2014 paper]

35) M. Nabi, F. Khendek, M. Toeroe, “Upgrade of the IaaS Cloud: Issues and Potential Solutions in the Context of High-Availability“, Proceedings of IEEE ISSRE 2015, Industrial Track, Gathersburg, MD, USA, November 2-5, 2015

36) M. Abbasipour, F. Khendek, M. Toeroe, “A Model-based Framework for SLA Management and Dynamic Reconfiguration“, Proceedings of SDL Forum, Lecture Notes in Computer Science, Springer, Berlin, October 12-14, 2015

37) A. El Kouhen, A. Gherbi, C. Dumoulin, F. Khendek, “On the Semantic Transparency of Visual Notations: Experiments with UML“, to appear in the proceedings of SDL Forum, Lecture Notes in Computer Science, Springer, Berlin, October 12-14, 2015

38) A. Jahanbanifar, F. Khendek, M. Toeroe, “Partial Validation of Configurations at Runtime“, Proceedings of the IEEE ISORC 2015, Auckland, New Zealand, April 13-17, 2015

39) A. Jahanbanifar, F. Khendek, M. Toeroe, “A Model-based Approach for the Integration of Configuration Fragments“, Proceedings of the European Conference on Modeling Foundations and Applications (ECMFA), Lecture Notes in Computer Science, Springer, July 22-24, 2015, L’Aquila, Italy

40) P. Heidari, M. Hormati, M. Toeroe, Y. Alahmad, F. Khendek, “Integrating OpenSAF High Availability Solution with OpenStack”, Proceedings of IEEE Services, June 27- July 02, 2015, New York, USA

2014

41) A. Kanso, M. Toeroe, F. Khendek, “Comparing Redundancy Models for High Availability Middleware“, Computing Journal, Springer, 96(10), pp. 975-993, 2014 [Extended version of DASC’2012 paper]

42) M. Toeroe, N. Pawar, F. Khendek, “Managing Application Level Elasticity and Availability“, Proceedings of the IEEE International Conference on Network and Service Management (CNSM), Rio de Janeiro, Brazil, November 17-21, 2014

43) M. Hormati, F. Khendek, M. Toeroe, “Towards an Evaluation Framework for Availability Solutions in the Cloud“, Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE), Industrial Track, November 3-6, 2014, Naples, Italy

44) M. Abbasipour, M. Sackmann, F. Khendek, M. Toeroe, “Ontology-based User Requirements Decomposition for Component Selection for Highly Available Systems“, Proceedings of the IEEE International Conference on Information Integration and Reuse (IRI), San Francisco, August 13-15, 2014

45) P. Pourali, M. Toeroe, F. Khendek, “Enhanced Configuration Generation Approach for Highly Available COTS Based Systems“, Proceedings of the International Conference on Availability, Reliability and Security (ARES), Fribourg, Switzerland, September 8-12, 2014

46) A. Jahanbanifar, M. Toeroe, F. Khendek, “Providing Hardware Redundancy for Highly Available Services in Virtualized Environments“, Proceedings of the 8th IEEE International Conference on Software Security and Reliability (SERE), San-Francisco, USA, June 30-July 02, 2014

47) A. Davoudian, M. Toeroe, F. Khendek, “Ordering upgrade changes for highly available component-based systems“, Proceedings of the IEEE International Symposium on High-Assurance Systems Engineering (HASE 2014), Miami, Florida, January, 2014

2013

48) F. Khendek, M. Toeroe, A. Gherbi, R. Reed (eds.), “SDL 2013 – Model Driven Dependability Engineering“, Lecture Notes in Computer Science, Vol. 7916, Springer, Springer, 2013.

49) A. Kanso, F. Khendek, M. Toeroe, A. Hamou-Lhadj, “Automatic Configuration Generation for Service High Availability with Load Balancing“, Concurrency and Computation: Practice and Experience, Wiley, Vol. 25, No. 2, February 2013.

50) A. Nikzad, F. Khendek, M. Toeroe, “OpenSAF and VMware from the Perspective of High Availability“, Proceeding of Systems and Virtualization Workshop (SVM), collocated with CNSM’2013, Zurich, October 2013.

51) E. Katihar, M. Toeroe, F. Khendek, “Operating System Upgrade in High Availability Environment“, Proceedings of Softcom’2013, Split, September 2013.

52) A. Kanso, M. Toeroe, F. Khendek, “Automating Service Availability Analysis: An Application to a Highly Available Media-Streaming Service“, Proceedings of the IEEE 7th International Conference on Software Security and Reliability-Companion (SERE-C), June 2013

2012

53) P. Colombo, F. Khendek, L. Lavazza, “Bridging the Gap between Requirements and Design: an Approach Based on Problem Frames and SysML“, Journal of Software and Systems, Elsevier, Vol. 85, No. 3, January 2012.

54) M. Toeroe, F. Khendek, “Overcoming Complexity: Formal Modeling Techniques at the Rescue”, in “Service Availability: Principles and Practice”, edited by Maria Toeroe and Francis Tam, Wiley’2012 (Book Chapter)

55) A. Kanso, A. Mishra, “Integration of the Video LAN Client with OpenSAF“, in “Service Availability: Principles and Practice”, edited by Maria Toeroe and Francis Tam, Wiley’2012 (Book Chapter)

56) A. Kanso, M. Toeroe, F. Khendek, “Comparing Redundancy Models for High Availability Middleware“, Proceedings of the IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC’2012), Changzhou, China, December 2012 (Best paper award)

57) A. Kanso, M. Toeroe, F. Khendek, “Configuration-based Service Availability Analysis for Middleware Managed Applications“, Proceedings of the Systems Analysis and Modeling (SAM), Innsbruck, Austria, October 2012

58) P. Colombo, P. Salehi, F. Khendek, M. Toeroe, “Bridging the gap between user requirements and configuration requirements“, Proceedings of the IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS), Paris, France, July 2012

2011

59) A. Kanso, F. Khendek, M. Toeroe, A. Hamou-Lhadj, “Automatic Configuration Generation for Service High Availability with Load Balancing“, to appear in Concurrency and Computation: Practice and Experiences, Wiley, 2011

60) A. Kanso, F. Khendek, M. Toeroe, “Workload balancing for highly available services: The case of the N+M redundancy model“, Proceedings of the 9th IEEE International Conference on Dependable, Autonomic and Secure Computing, Sydney, Australia, December 12-14, 2011

61) A. Kanso, M. Toeroe, F. Khendek, “Automatic Annotation of Software Configuration Models with Service Recovery Information“, Proceedings of the 9th IEEE International Conference on Dependable, Autonomic and Secure Computing, Sydney, Australia, December 12-14, 2011

62) A. Kanso, A. Mishra, F. Khendek, M. Toeroe, “Integrating Legacy Applications for High Availability: A Case Study“, Proceeding s of the 13th IEEE International High Assurance Systems Engineering Symposium (HASE), Boca Raton, FL, November, 2011

63) P. Salehi, F. Khendek, M. Toeroe, A. Hamou-Lhadj, “AMF Configurations: Checking for Service Protection Using Heuristics“, Proceedings of the 7th International Conference on Network ad Service Management (CNSM), Paris, France, October 24-28, 2011

64) P. Colombo, F. Khendek, L. Lavazza, “Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML”, Proceedings of the European Conference on Modeling, Foundations and Applications (ECMFA), LNCS, Springer, Birmingham, UK, June 2011

2010

65) P. Salehi, P. Colombo, A. Hamou-Lhadj, F. Khendek, “A Model Driven Approach for AMF Configuration Generation“, Proceedings of the 6th Workshop on System Analysis and Modelling (SAM), LNCS, Oslo, Norway, October 2010.

66) P. Colombo, F. Khendek, L. Lavazza, “Requirements analysis and modeling with Problem Frames and SysML: A case study“, Proceedings of the European Conference on Modeling Foundations and Applications (ECMFA), LNCS, Springer, Paris, France, June 15-18, 2010

67) A. Kanso, F. Khendek, M. Toeroe, A. Hamou-Lhadj, “Ranking Service Units for Providing and Protecting Highly Available Services with Load Balancing“, Proceedings of NOTERE, 2010, Tozeur, Tunisia, May 31-June 02, 2010.

68) P. Salehi, A. Hamou-Lhadj, P. Colombo, M. Toeroe, F. Khendek, “A UML-Based Domain Specific Modeling Language for the Availability Management Framework“, Proceedings of the 12th IEEE International High Assurance Systems Engineering Symposium (HASE), San Jose, CA, Nov. 1-4, 2010

2009

69) A. Gherbi, A. Kanso, F. Khendek, M. Toeroe, A. Hamou-Lhadj, “A suite of tools for the validation and generation of AMF configurations“, Proceedings of IEEE/ACM Automated Software Engineering, Tool Demo, Auckland, New Zealand, Nov.2009.

70) P. Salehi, F. Khendek, M. Toeroe, A. Hamou-Lhadj, A. Gherbi, “Checking for Service Instance Protection for AMF Configurations“, Proceedings of IEEE SSIRI, 2009, Shanghai, China, July 2009.

71) A. Gherbi, P. Salehi, F. Khendek, A. Hamou-Lhadj, “Capturing and Formalizing SAF Availability Management Framework Configuration Requirements“, Proceedings of Domain Engineering Workshop @ CAiSE, 2009, Amsterdam, Netherlands, June 2009.

72) A. Kanso, M. Toeroe, A. Hamou-Lhadj, F. Khendek, “Generating AMF Configurations from Software Vendor Constraints and User Requirements“, Proceedings of ARES, 2009, Fukuoka, Japan, March 2009.