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 …
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.
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
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
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
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.
You are visitor #
Last Modified on