Publications

 
You can check DBLP for some of our publications and IEEE Xplore
 
You can also find some of our granted patents (as inventors or co-inventors) here.
 
This page is not maintained anymore …
 

2011

o   P. Colombo**, F. Khendek, L. Lavazza, “Bridging the Gap between Requirements and Design: an Approach Based on Problem Frames and SysML”, to appear in Journal of Software and Systems (JSS), Elsevier, 2011

o   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

o   R. Karunamurthy*, F. Khendek, R. Glitho, “A Novel Architecture for Web Service Composition”, to appear in the journal of Networks and Computer Applications (JNCA), Elsevier, 2011

o   D. Sinnig*, F. Khendek, P. Chalin, “Partial order semantics for use case and task models”, Formal Aspects of Computing 23(3), pp. 307-332, Springer, 2011

o   H. Roucheng*, F. Belqasmi**, R. Glitho, F. Khendek, “The Design and Implementation of Architectural Components for the Integration of the IP Multimedia Subsystem and Wireless Actuator Networks”, IEEE Communications Magazine, Vol. 49, No. 12, 2011, pp.138-146.

o   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

o   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

o   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

o   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

o   M. Musa Abdallah*, F. Khendek, “Towards a Model Based Approach for Integration Testing” Proceeding of the 15th SDL Forum, LNCS, Springer, Toulouse, France, July 5-7, 2011.

o   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

o   M. El Barachi, A. Kadiwal, R. Glitho, F. Khendek, and R. Dssouli, “The Design and Implementation of Architectural Components for the Integration of the IP Multimedia Subsystem and Wireless Sensor Networks”, IEEE Communications Magazine, Vol. 48, No. 4, April, 2010, pp.42-50.

o   R. Karunamurthy, F. Khendek, and R. H. Glitho, “A Formal Description Framework and a Matchmaking Technique for Web Service Composition,” Journal of Web Information Systems, Vol. 6, No.1, 2010, pp. 24-54.

o   C. Fu, F. Khendek, R. Glitho “Signaling for Multimedia Conferencing in 4G: Architecture, Evaluation and Issues”, Chapter in the book “Convergence of Wireless, Wireline, and Photonics Next Generation Networks”, Krzysztof Iniewski (ed.), Wiley, September 2010.   [Chapter 13, 52 pages].

o   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 #6138, Springer, pp. 74-89, Paris, France, June 15-18, 2010.

o   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.

o   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.

o   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

o   D. Sinnig, F. Khendek, P. Chalin, “A Formal Model for Generating Integrated Functional and User Interface Test Cases”, Proceedings of the International Conference on Software Testing (ICST), IEEE Computer Society, Paris, France, April 06-10, 2010

o   R. Mizouni, D. Sinnig, F. Khendek, “Enriching Use Cases with CTTs”, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Oxford, UK, IEEE Computer Society, March 24-26, 2010

o   D. Sinnig, R. Mizouni, F. Khendek, “Bridging the Gap: Empowering Use Cases with Task Models”, Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Berlin, June 19-23, 2010.

o   R. Mizouni, D. Sinnig, F. Khendek, “Towards an Integrated Model for Functional and User Interface Requirements”, 3rd Conference on Human-Centred Software Engineering (HCSE 2010), October 14-15, 2010, Reykjavik, Iceland

o   H. Rucheng, R. Glitho, F. Khendek, M. Mehmet-Ali, “Integrating Wireless Actuation Capabilities with the 3GPP IP Multimedia Subsystem for Enhanced Multimedia Services”, Proceedings of IEEE PIMRC’2010, Istanbul, Turkey, September 2010

o   S. Hamedi, M. Hormati, R. Glitho, F. Khendek, “Integrating Wireless Sensor Networks and Mobile Ad hoc Networks for an Enhanced End-user Experience”, Kaleidoscope 2010 - Beyond the Internet? − Innovations for future networks and services, Pune, India, December 13-15, 2010

2009

o   A. Gherbi, F. Khendek, “From UML/SPT Models to Schedulability Analysis: Approach and a Prototype Implementation using ATL”, Automated Software Engineering, Springer, Vol 16, No-3-4, pp. 387-414, 2009

o   C. Fu, R. Glitho, F. Khendek “Signaling for Multimedia Conferencing in Mobile Ad Hoc Networks”, IEEE Transactions on Mobile Computing, Vol. 8, No. 7, pp. 991-1005, July 2009

o   M. Qiao, F. Khendek, A. Serhani, R. Dssouli, R. Glitho, “An Architecture for Automatic QoS Adaptation for Composite Web Services”, Journal of Web Services Practice, Vol. 4, No.1 pp.18-27, 2009

o   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.

o   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.

o   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.

o   R. Karunamurthy, F. Khendek, R. Glitho, “Describing Different Characteristics of Web Services: State of the Art Analysis and a Proposal”, Proceedings of NOTERE’2009, Montreal, June 2009

o   M. El-Barachi, A. Kadiwal, R. Glitho, F. Khendek, R. Dssouli, “The Design and Implementation of a Gateway for IP Multimedia Subsystem / Wireless Sensor Networks Inter-Working”,  Proceedings of IEEE VTC Spring , Barcelona, Spain, April 2009.

o   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.

o   D. Sinning, P. Chalin, F. Khendek, “LTS Semantics for the Use Case Model”, Proceedings of ACM SAC’2009 [Requirement Engineering Track], Hawaii, March 2009.

 

2008

o   F. Khendek, T. Zheng, “Modeling and Analysis of Value Added Services using Message Sequence Charts”, Journal of Networks and Computer Applications, Elsevier, Vol. 31, No.3, 2008, pp.338-356

o   C. Fu, R. Glitho, F. Khendek, “Signaling for Conferencing in Multihop Cellular Networks: Cross-layer Optimization Schemes”, IEEE Communications Magazine, Vol. 46, No. 9, pp.174-182, September 2008.

o   R. Karunamurthy, F. Khendek, R. Glitho, “Categorizing and Assembling Web Services in a Composition Framework”, Proceedings of IEEE/NASA Workshop on Software Engineering SEW), Porto-Sani, Greece, October 2008.

o    M. Qiao, F. Khendek, A. Serhani, R. Dssouli, R. Glitho, “Automatic QoS Adaptation for Composite Web Services”, Proceedings of the 5th International Conference on Innovations in Information Technology (Innovations’08), Al Ain, U.A. Emirates, December 16-18, 2008.

o   S. Bah, B Ahmad, R. Glitho, F. Khendek, R. Dssouli, “A SIP Servlet Framework for Service Provisioning in Stand-Alone Mobile Ad Hoc Networks”, Proceedings of ICIN’2008, Bordeaux, France, October 2008.

o   A. Kanso, M. Toeroe, F. Khendek, A. Hamou-Lhadj, “Automatic Generation of AMF Compliant Configurations”,  Proceedings of the International Symposium on Service Availability (ISAS), Tokyo, Japan, May 19-21, 2008, Lecture Notes in Computer Science, Vol. 5017, pp.155-170.

o   M. El-Barachi, A. Kadiwal, R. Glitho, F. Khendek, R. Dssouli, “An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem”, Proceedings of IEEE VTC Spring 2008, Singapore, May 2008.

o   M. El-Barachi, A. Kadiwal, R. Glitho, F. Khendek, R. Dssouli, “A Presence-based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem”, Proceedings of IEEE Wireless Communications and Networks Conference (IEEE WCNC), Las Vegas, April 2008.

2007

o   R. Karunamurthy, F. Khendek, and R. Glitho, "A Business Model for Composing Telecommunication Web Services", IEEE Communications, Special Issue on Web Services in Telecommunications, Vol. 45, No. 7, July 2007, pp.36-43.

o   D. Sinnig, P. Chalin, F. Khendek, "Towards a Common Semantic Foundation for Use Cases and Task Models", Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 183, pp. 73-88, July 2007

o   A. Gherbi, F. Khendek, "Consistency of UML/SPT Models", Proceedings of SDL Forum'2007, September, Paris, France, Lecture Notes in Computer Science, Vol. 4745, pp.203-224, Springer, 2007.

o   D. Sinnig, M. Wurdel, P. Forbrig, P. Chalin, and F. Khendek,"Practical Extensions for Task Models", Proceedings of the Sixth International Workshop on TAsk MOdels and DIAgrams (TAMODIA'07), Lecture Notes in Computer Science Vol. 4849, Springer, Toulouse, France, November 7-9, 2007.

o   A. Sefidcon, F. Khendek, "Integration of MIP-ROQS Optimal Path Selection and MPLS", Proceedings of IEEE ISCIT'2007, Sydney, Australia, October 16-19, 2007

o   D. Sinnig, P. Chalin, F. Khendek, "Common Semantics for Use Cases and Task Models", Proceedings of Integrated Formal Methods (IFM), Oxford, UK, July, 2007. Lecture Notes in Computer Science, Vol. 4591, Springer, 2007.

o   N. Y. Othman, R. Glitho, and F. Khendek, "The Design and Implementation of a Web Service Framework for Individual Nodes in Sinkless Wireless Sensor Networks", Proceedings of IEEE Symposium on Computers and Communications (ISCC'07), IEEE Computer Society, Aveiro, Portugal, July, 2007.

o   A. De Marco, F. Khendek, and R. Glitho, "Interacting with Composite Web Services from Mobile Phones: A Case Study", Proceedings of Les Nouvelles Technologies de la Repartition (NOTERE'07), Marrakech, Morocco, June 2007.

o   C. Fu, R. Glitho, and F. khendek, "A Novel Session Recovery Mechanism for Cluster-based Signaling Architecture for Conferencing in MANETs", Proceedings of the International Workshop on Wireless Ad hoc and Sensor Networks (WWASN) [Co-located with ICDCS'2007], Toronto, Canada, June 25, 2007.

o   A. Gherbi, F. Khendek, "Timed-automata Semantics and Analysis of UML/SPT Models with Concurrency", Proceedings of IEEE International Symposium on Object and component oriented Real-time distributed Computing, (IEEE ISORC), IEEE Computer Society, Greece, May 2007.

o   D. Sinnig, P. Chalin, F. Khendek, "Consistency between Task Models and Use Cases", Proceedings the IFIP Conference on Engineering Interactive Systems, Salamanca, Spain, March 2007.  Lecture Notes in Computer Science, Vol. 4940, pp. 71-88 Springer, 2008.

o   C. Fu, R. Glitho, F. Khendek, "Cross-Layer Design for Optimizing the Performance of Clusters-Based Application Layer Schemes in Mobile Ad Hoc Networks", Proceedings of IEEE International Consumer Communications Conference (IEEE CCNC'2007), Las Vegas, January 11-13, 2007.

o   F. Belqasmi, J. Mattam, R. Glitho, R. Dssouli, F. Khendek, "An architecture for composing registries when ambient networks compose", Proceedings of IEEE International Consumer Communications Conference (IEEE CCNC'2007), Las Vegas, January 11-13, 2007.

o   N. Othman, S. Chebbine, R. Glitho, F. Khendek, "A Web Services Based-Architecture for the Interactions between End-User Applications and Sink-less Wireless Sensor Networks", Proceedings of IEEE International Consumer Communications Conference (IEEE CCNC'2007), Las Vegas, January 11-13, 2007.

2006

o   L. Apvrille, P. de Saqui-Sannes, F. Khendek, “TURTLE-P: a UML Profile for the Formal Validation of Critical and Distributed Applications”, Software and Systems Modeling (SOSYM), Springer, Vol. 5. No. 4, December 2006, pp. 449-466

o   C. Fu, F. Khendek, R. Glitho “Signaling for Multimedia Conferencing in 4G: The Case of Integrated 3G/MANETs”, IEEE Communications Magazine, Vol. 44, No. 8, August 2006, pp. 90-99.

o   R. Karunamurthy, F. Khendek, R. Glitho, “Using Web Services for Presence Based Application Development”, Journal of Web and Grid Services (IJWGS), Vol. 2, No. 2, August 2006, pp 167-197.

o   A. Gherbi, F. Khendek, “UML Profiles for Real-time Systems and their Applications”, Journal of Object Technology, Vol. 5, No. 3, May-June 2006, pp 149 - 169

o   R. Gotzhein and F. Khendek, “Compositional Testing of Communication Systems”, Proceedings of IFIP Testcom’2006, Lecture Notes in Computer Science Vol. 3964, Springer, New York, NY USA, May 2006. [Winner of IFIP Testcom’2006 Best Paper Award]

o   A. Gherbi, F. Khendek, “Distributed Real-time Behavioral Requirements Modeling using Extended UML/SPT”, Proceedings of the International Workshop on Systems Analysis and Modeling (SAM’2006), Kaiserslautern, Germany, May 31 - June 02,2006 - Lecture Notes in Computer Science, Vol. 4320, R. Gotzhein and R. Reed (eds.), Springer, 2006.

o   R. Karunamurthy, F. Khendek, R. Glitho, “A Novel Business Model for Web Service Composition”, Proceedings of IEEE International Conference on Service Computing (IEEE SCC’2006), IEEE Computer Society, Chicago, September 18-22, 2006

o   A. Sefidcon, F. Khendek, “A Cross Layer Design Technique for QoS over Optimized Routes in MIP”, Proceedings of the IEEE Wireless and Microwave Technology Conference (IEEE WAMICON’2006), Florida, December 2006

o   T. Ta, N. Othman, R. Glitho, F. Khendek, “A Case Study on the Use of Web Services for Bridging End-User Applications and Wireless Sensor Networks”, Proceedings of IEEE ISCC’2006, Sardinia, Italy, June 2006

o   C. Fu, R. Glitho, F. Khendek, “Signaling for Conferencing in Integrated 3G/Mobile Ad Hoc Networks”, Proceedings of IEEE ISCC’2006, Sardinia, Italy, June 2006

o   A. Gherbi, F. Khendek, “From UML/SPT Models to Schedulability Analysis: a Metamodel based Transformation”, Proceedings of IEEE International Symposium on Object and component oriented Real-time distributed Computing (IEEE ISORC’2006), IEEE Computer Society, Korea, April 2006

2005 and before

o   F. Khendek, R.Dssouli (eds.), “TestCom 2005: Testing Communicating Systems”, Lecture Notes in Computer Science #3502, Springer, May 2005

o   H. Mili, F. Khendek (eds.), “MCETECH’2005: Montréal Conference on Electronic Commerce”, Montreal, January, 2005

o   F. Khendek, Xiao Jun Zhang “From MSC to SDL: An application to the Autonomous Shuttle Transportation System”, in “Scenarios: Models, Transformations and Tools”, Lecture Notes in Computer Science #3466, Springer, S. Leue and T. Systa (eds.) 2005. Selected and refereed papers from Dagstuhl Seminar on Scenarios: Models, Transformations and Tools

o   J. Sequeira da Silva, R. Glitho, F. Khendek, “Providing Security as a Web Service: Example and Analysis”, Proceedings of NOTERE’2005, Gatinau, Canada, Aug. 2005

o   A. Gherbi, F. Khendek, “On the Design and Schedulability Analysis of Distributed Object-Oriented Real-time Systems”, Proceedings of Euromicro Conference on Real-time Systems, ECRTS 2005, WIP track, Palma, Spain, July 2005

o   R. Karunamurthy, R. Glitho, F. Khendek, “A Novel Web Service for Presence and its Implementation in an IETF SIMPLE protocol environment”, Proceedings of the IEEE International Conference on Web Services (IEEE ICWS’2005), IEEE Computer Society Press, Orlando, Florida, July 12-15, 2005

o   L. Apvrille, P. de Saqui-Sannes, F. Khendek, “Synthèse d’une conception UML temps-réel à partir de diagrammes de séquence”, Colloque Francophone de l’Ingénierie des Protocoles (CFIP’2005), Hermes, Bordeaux, France, Mars 2005

o   R. Dssouli, F. Khendek (eds.), “Proceedings of NOTERE: 2004: NOuvelles TEchniques de REpartition”, Saidia, Morocco, June 2004

o   F. Khendek, “Behavioral Requirements Engineering with Message Sequence Charts”, Proceedings of the International Conference on Principles of Software Engineering (PRISE 2004), Buenos Aires, Argentina, Nov. 22-26, 2004

o   F. Khendek, C. Lohr, L. Wang, X. Zhang, T. Zheng, “Early Validation of Deployment and Scheduling Constraints of MSC Specifications”, Proceedings of SDL And MSC’04, Ottawa, Canada, June 2004, selected and revised papers published in Lecture Notes in Computer Science #3319, Springer, 2005

o   J. da Silva, K. Hassan, R. Glitho, F. Khendek, “WEB Services for Conferencing in 3G Networks: A Parlay Based Implementation”, Proceedings of the International Conference on service delivery in Networks (ICIN’04), Bordeaux, France, October 2004

o   T. Zheng, F. Khendek, "Time Consistency of MSC 2000 Specifications", Computer Networks, Vol. 42, No. 3, 2003, pp. 303-322

o   R. Glitho, F. Khendek, A. De Marco, "Creating Value Added Services in Internet Telephony: An Overview and a Case Study on a High Level Service Creation Environment", IEEE Transactions on Man, Cybernetics and Systems, Part C, Vol. 33, No. 4, 2003, pp.445-457

o   H. Peng, S. Tahar, F. Khendek, "Comparison of SPIN and VIS for Protocol Verification", Journal of Software Tools for Technology Transfer (STTT), Springer Verlag, Vol. 4, No. 2, Feb. 2003, pp. 234-245

o   R. Dssouli, F. Khendek, “Communications Software Engineering”, Information and Software Technology, Elsevier, Vol. 45, No.11, 2003, pp. 699 [Guest Editorial]

o   R. Dssouli, F. Khendek, “Testing and Validation of Communications Software”, Information and Software Technology, Elsevier, Vol. 45, No.12, 2003, pp. 791-792 [Guest Editorial]

o   L. Apvrille, P. de Saqui-Sannes, F. Khendek, "TURTLE-P: Un profil UML pour la validation d'architectures distribuees", Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Hermes, Paris, France, Octobre 7-10, 2003.

o   T. Zheng, F. Khendek, B. Parreaux, "Refining Tmed MSCs", Proceedings of SDL Forum'03, Lecture Notes in Computer Science Vol.  2708, Stuttgart, Germany, July 1-4, 2003. [Winner of SDL Forum'03 Best Paper Award]

o   De Marco, F. Khendek, "eSERL: Feature Interaction Management in PARLAY/OSA Using Composition Constraints and Configuration Rules", Proceedings of the International Feature Interaction Workshop (FIW), IOS Press, Ottawa, Canada, June 11-13, 2003.

o   S. Hawwa, F. Khendek, R. Glitho, "A Novel Architecture for Floor Control", Proceedigns of ICIN'2003 - Intelligence in Next Generation Networks, Bordeaux, France, March 31- April 3, 2003.

o   En-Nouaary, R. Dssouli, F. Khendek, "Timed Wp Method: Testing Real-time Systems", IEEE Transactions on Software Engineering, Vol. 28, No. 11, November 2002, pp. 1023-1038.

o   Y. Zhang, R. Dssouli, F. Khendek, "Test cases generation from decomposable EFSMs", Proceedings of the International Workshop on Communication Software Engineering, IEEE ISSPIT, Dec. 2002.

o   U. Waqar, F. Khendek, D. Vincent, "A Formal Approach for Software Maintenance", in the Proceedings of the IEEE International Conference on Software Maintenance (IEEE ICSM'2002), Montreal, Canada, October 3-6, 2002.

o   S. Bourduas, F. Khendek, D. Vincent, "From MSC and UML to SDL", in the Proceedings of IEEE Annual International Conference on Computer Software and Applications (COMPSAC'2002), Oxford, UK, August 26-29, 2002.

o   T. Zheng, F. Khendek, "An extension to MSC-2000 and its application", Proceedings of the International Workshop on SDL and MSC (SAM), Aberystwyth, Wales, June 24-26, Lecture Notes in Computer Science 2599, Springer Verlag, 2002.

o   R. Gotzhein, F. Khendek, P. Schaible, "Micro Protocols Design: The SNMP Case Study", Proceedings of the International Workshop on SDL and MSC (SAM), Aberystwyth, Wales, June 24-26, Lecture Notes in Computer Science 2599, Springer Verlag, 2002.

o   R. Gotzhein, F. Khendek, "Conception avec Micro-protocoles", Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Hermes, Montréal, Canada, Mai 28-30, 2002.

o   R. Glitho, A. Poulin, F. Khendek, "A High-Level Service Creation Environment for PARLAY in a SIP Environment", Proceedings of the IEEE International Conference on Communications (ICC), New York, NY, USA, April 2002.

o   T. Zheng, F. Khendek, L. Helouet, "A Semantics for Timed MSC", Proceedings of the International Workshop on Validation and Implementation of Scenario Specifications (VISS), Grenoble, France, April 6-7, 2002, published as Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 65, No. 7.

o   C. Bourhfir, E. Aboulhamid, F. Khendek, R. Dssouli, "Test Cases Selection from SDL Specifications", Computer Networks, Elsevier, Vol. 35, No. 6, May 2001, pp. 693-708.

o   F. Khendek, S Bourduas, D. Vincent, "Stepwise Design with Message Sequence Charts", Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Cheju Island, Korea, August 28-31 2001.

o   L. Helouet, F. Khendek, "Detection d'interactions entres services modelises par des HMSCs", Modelisation des systemes reactifs (MSR), Toulouse, France, Octobre 2001.

o   T. Zheng, F. Khendek, "Service Specification and Analysis using Message Sequence Charts", Proceedings of the International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Paris, France, July 16-17, 2001.

o   C. Besse, A. Cavalli, F. Khendek, "Partial Validation of a Design Specification with Respects to Requirements", Proceedings of APAQS, Hong Kong, December 2001.

o   Sefidcon, F. Khendek, "FID: A tool for feature interaction detection", Microprocessors and Microsystems, Vol. 24, No. 6, October 2000, pp. 283-289.

o   En-Nouaary, F. Khendek and R. Dssouli, "Testing Embedded Real-Time Systems", Proceedings of the 7th International Conference on Real-Time Computing Systems and Applications (RTCSA'2000), Korea, December 12-14, 2000.

o   D. Muthiayen, V.S. Alagar, F. Khendek and A. Sefidcon, "An Approach to a Synthesis of Formal and Visual Description Techniques for the Development of Real-Time Reactive Systems", Proceedings of the 7th International Conference on Real-Time Computing Systems and Applications (RTCSA'2000), Korea, December 12-14, 2000.

o   H. Peng, S. Tahar and F. Khendek, "SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol", Proceedings of the International Conference on Formal Engieering Methods (IEEE ICFEM'2000), York, UK, Sept. 2000.

o   F. Khendek and D. Vincent, "Extending SDL Specifications with MSCs", Proceedings of the SDL And MSC Workshop (SAM'2000), Grenoble, France, June 26-28, 2000.

o   Garjani, T. Le-Ngoc and F. Khendek, "Inter-LAN Services over Broadband Satellite Systems", Proceedings of the International Conference in Telecommunications (ICT'2000), Acapulco, Mexico, May 2000.

o   En-Nouaary, F. Khendek and R. Dssouli "Fault Coverage in Testing Real-Time Systems", Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), Hong-Kong, December 13-15, 1999.

o   M. Ashour, F. Khendek and T. Le-Ngoc "Formal Description of Real-time Systems using SDL", Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), Hong-Kong, December 13-15, 1999.

o   Sefidcon and F. Khendek, "A Pragmatic Approach for Feature Interaction Detection in Intelligent Networks", Proceedings of the IEEE International Conference on Computer Communications and Networks (IEEE ICCCN'99), Boston, Mass., October 11-13, 1999.

o   M.M. Abdalla, F. Khendek and G. Butler, "New Results on Deriving SDL Specifications from MSCs", in the Proceedings of SDL Forum'99, Elsevier Science B. V., R. Dssouli, G.v. Bochmann and Y. Lahav (eds.), Montreal, Canada, June 21-25, 1999.

o   En-Nouaary, R. Dssouli and F. Khendek, "From Timed Scenarios to SDL: Specification, Implementation and Testing of Real-Time Systems", in the Proceedings of SDL Forum'99, Elsevier Science B. V., R. Dssouli, G.v. Bochmann and Y. Lahav (eds.), Montreal, Canada, June 21-25, 1999.

o   T.H. Bui, T. Elshabrawy, F. Khendek, S. Tahar and T. LeNgoc, "Description and Validation of the Internet Stream Protocol (ST2+) Using SDL/MSC", in the Proceedings of IEEE Canadian Conference on Electrical & Computer Engineering (CCECE'99), Edmonton, Alberta, Canada, May 1999.

o   En-Nouaary, R. Dssouli, F. Khendek and A. Elqortoby,"Timed Test Cases Generation Based On State Characterization Technique", in Proceedings of the 19th IEEE Real-Time Systems Symposium (IEEE RTSS'98), Madrid, Spain, Dec. 2-4, 1998.

o   G. Butler, P. Grogono and F. Khendek," A reuse case perspective on documenting frameworks", in Proceedings of Asia-Pacific Software Engineering Conference (December 1-4, 1998, Taiwan), IEEE Computer Society Press, Los Alamitos, CA, 1998.

o   Y. Peng, F. Khendek, P. Grogono and G. Butler, "Feature Interactions Detection Technique Based on Feature Assumptions", in Feature Interactions in Telecommunications and Software Systems V, K. Kimbler and L. G. Bouma (eds.), IOS Press, Amsterdam, (FIW'98, Lund, Sweden, Sept 29 - Oct. 1, 1998 ).

o   F. Khendek, G. Robert, G. Butler and P. Grogono, "Implementability of Message Sequence Charts", Proceedings of the SDL Forum Society International Workshop on SDL and MSC (SAM'98), Berlin, Germany, June 29 - July 01, 1998.

o   Y. Peng, F. Khendek, P. Grogono, "Detecting Feature Interactions at Specification Stage,  Proceedings of the 7th IEEE Intelligent Networks Workshop (IEEE IN'98 ), Bordeaux, France, May 10-13, 1998 .Abstract

o   G. Robert, F. Khendek, P. Grogono, "Deriving an SDL specification with a given architecture from a set of MSCs", in A. Cavalli and A. Sarma (editors), SDL'97 : Time for Testing - SDL, MSC and Trends, Proceedings of the eight SDL Forum, Evry, France, Sept. 1997, pp. 197-212.Abstract

o   G. Butler, P.D. Grogono, F. Khendek, "A Z Specification of Use Cases: A Progress Report", Proceedings of Asia Pacific Software Engineering Conference (APSEC'97) and International Computer Science Conference (ICSC'97), Hong Kong, Dec. 02-05, 1997, IEEE Computer Press, Los Alamitos.

o   F. Khendek, M. Erradi, R. Dssouli, and G.v. Bochmann, "A Formal Framew ork for the dynamic extension of distributed systems behaviors", Proceedings of the IASTED International Conference on Software Engineering, San Francisco, Nov. 2-5, 1997. Abstract

o   F. Khendek and G.v. Bochmann, "Merging behavior specifications", Journal of Formal Methods in System Design, Vol. 6, No. 3, June 1995, pp. 259-294.

o   S. Fujiwara, G.v. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi, "Test selection based on finite state models", IEEE Transactions on Software Engineering, Vol. 17, No. 6, June 1991, pp. 591 - 603. Abstract

o   F. Khendek and G.v. Bochmann, "Incremental design approach for distributed system specifications", Formal Description Techniques for Distributed Systems and Communication Protocols IV, P.L. Tenney, P.D. Amer, and M.U. Uyar (eds), North Holland, 1994.Abstract

o   F. Khendek and G.v. Bochmann, "Formal Specifications Design, Evolution and Reuse", Proceedings of CasCon '93, Toronto, Ontario, October 25-28, 1993.Abstract

o   M. Erradi, F. Khendek, R. Dssouli, and G.v. Bochmann, "Dynamic Extension of object oriented distributed systems specifications", International Workshop on Feature Interactions in Telecommunications Software Systems, St-Petersburg, Florida, Dec. 3-4, 1992.Abstract

o   F. Khendek, "Extending distributed system specifications", Proceedings of CasCon '92, Toronto, Ontario, November 1992.Abstract

o   F. Khendek and G.v. Bochmann, "Formalization of the CORDS Process Model using Mondel", Proceedings of CasCon '92, Toronto, Ontario, November 1992.Abstract

o   F. Khendek, G.v. Bochmann and C. Kant, "New Results on deriving protocol specifications from service specifications", ACM Computer Communication Review, Vol. 19, No. 4, pp. 136 -145, September, 1989.Abstract

Tutorials

o   F. Khendek, “Service Engineering for Next Generation Networks”, NOTERE’2006, Toulouse, France, June 6-9, 2006

o   R. Dssouli, K. Saleh, F. Khendek, R. Probert, "Testing Electronic Commerce", 13th International Conference on Testing of Communicating Systems (TestCom'2000), Ottawa, Canada, August 29, 2000

o   R. Dssouli, F. Khendek, "Le test d'applications du type commerce electronique", Colloque Francophone sur l'Ingenierie des Protocoles (CFIP'2000), Toulouse, France, October 17, 2000

Theses

o   F. Khendek, "Construction incrementielle de specifications pour systemes distribues",  Ph.D. Thesis, Département d'Informatique et de Recherche Operationnelle, Université de Montréal, 1995.

o   F. Khendek, "Derivation de protocols à partir de service de communication écrits dans un sous-ensemble de LOTOS", M.Sc. Thesis, Département d'Informatique et de Recherche Operationnelle, Université de Montréal, 1989.

 

Department of ECE

People of ECE

Faculty of ECE

Ferhat Khendek

 

You are visitor #
Last Modified on