Publications
Under Re-construction …
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
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
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
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
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
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
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
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
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,
o D. Sinnig, P. Chalin, F. Khendek,
"Common Semantics for Use Cases and Task Models", Proceedings of
Integrated Formal Methods (IFM),
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,
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,
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,
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),
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]
![[Winner of IFIP Testcom’2006 Best Paper Award]](Testcom-06.jpg){kind=link}
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),
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,
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”,
o F. Khendek, “Behavioral Requirements
Engineering with Message Sequence Charts”, Proceedings of the International
Conference on Principles of Software Engineering (PRISE 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,
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,
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),
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),
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),
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,
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,
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),
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),
o F. Khendek and D. Vincent, "Extending SDL Specifications with MSCs",
Proceedings of the SDL And MSC Workshop (SAM'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),
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),
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),
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,
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,
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,
o F. Khendek and G.v.
Bochmann, "Formalization of the CORDS Process Model using Mondel", Proceedings of CasCon
'92,
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,
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.
You are visitor #
Last Modified on