 | 2009 |
|---|
| 64 |       | Daniel Sinnig,
Patrice Chalin,
Ferhat Khendek:
LTS semantics for use case models.
SAC 2009: 365-370 |
| 63 | | Abdelouahed Gherbi,
Ferhat Khendek:
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL.
Autom. Softw. Eng. 16(3-4): 387-414 (2009) |
| 62 | | Chunyan Fu,
Roch H. Glitho,
Ferhat Khendek:
Signaling for Multimedia Conferencing in Stand-Alone Mobile Ad Hoc Networks.
IEEE Trans. Mob. Comput. 8(7): 991-1005 (2009) |
| 2008 |
|---|
| 61 | | Ali Kanso,
Maria Toeroe,
Ferhat Khendek,
Abdelwahab Hamou-Lhadj:
Automatic Generation of AMF Compliant Configurations.
ISAS 2008: 155-170 |
| 60 | | May El Barachi,
Arif Kadiwal,
Roch H. Glitho,
Ferhat Khendek,
Rachida Dssouli:
An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem.
VTC Spring 2008: 2784-2788 |
| 59 | | May El Barachi,
Arif Kadiwal,
Roch H. Glitho,
Ferhat Khendek,
Rachida Dssouli:
A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem.
WCNC 2008: 3116-3121 |
| 58 | | Ferhat Khendek,
Tong Zheng:
Modeling and analysis of value added services using message sequence charts.
J. Network and Computer Applications 31(3): 338-356 (2008) |
| 2007 |
|---|
| 57 | | Chunyan Fu,
Roch H. Glitho,
Ferhat Khendek:
A Novel Session Recovery Mechanism for Cluster-based Signaling Architecture for Conferencing in MANETs.
ICDCS Workshops 2007: 19 |
| 56 | | Daniel Sinnig,
Patrice Chalin,
Ferhat Khendek:
Common Semantics for Use Cases and Task Models.
IFM 2007: 579-598 |
| 55 | | Nuru Yakub Othman,
Roch H. Glitho,
Ferhat Khendek:
The Design and Implementation of a Web Service Framework for Individual Nodes in Sinkless Wireless Sensor Networks.
ISCC 2007: 941-947 |
| 54 | | Abdelouahed Gherbi,
Ferhat Khendek:
Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency.
ISORC 2007: 412-419 |
| 53 | | Abdelouahed Gherbi,
Ferhat Khendek:
Consistency of UML/SPT Models.
SDL Forum 2007: 203-224 |
| 52 | | Daniel Sinnig,
Maik Wurdel,
Peter Forbrig,
Patrice Chalin,
Ferhat Khendek:
Practical Extensions for Task Models.
TAMODIA 2007: 42-55 |
| 51 | | Daniel Sinnig,
Patrice Chalin,
Ferhat Khendek:
Towards a Common Semantic Foundation for Use Cases and Task Models.
Electr. Notes Theor. Comput. Sci. 183: 73-88 (2007) |
| 2006 |
|---|
| 50 | | Rajesh Karunamurthy,
Ferhat Khendek,
Roch H. Glitho:
A Novel Business Model for Web Service Composition.
IEEE SCC 2006: 431-437 |
| 49 | | Truong Ta,
Nuru Yakub Othman,
Roch H. Glitho,
Ferhat Khendek:
Using Web Services for Bridging End-User Applications and Wireless Sensor Networks.
ISCC 2006: 347-352 |
| 48 | | Chunyan Fu,
Roch H. Glitho,
Ferhat Khendek:
Signaling for Conferencing in Integrated 3G/Mobile Ad Hoc Networks.
ISCC 2006: 838-843 |
| 47 | | Abdelouahed Gherbi,
Ferhat Khendek:
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation.
ISORC 2006: 343-350 |
| 46 | | Abdelouahed Gherbi,
Ferhat Khendek:
Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT.
SAM 2006: 34-48 |
| 45 | | Reinhard Gotzhein,
Ferhat Khendek:
Compositional Testing of Communication Systems.
TestCom 2006: 227-244 |
| 44 | | Rajesh Karunamurthy,
Ferhat Khendek,
Roch H. Glitho:
Using web services for presence-based application development.
IJWGS 2(2): 167-197 (2006) |
| 43 | | Abdelouahed Gherbi,
Ferhat Khendek:
UML Profiles for Real-Time Systems and their Applications.
Journal of Object Technology 5(4): 149-169 (2006) |
| 42 | | Ludovic Apvrille,
Pierre de Saqui-Sannes,
Ferhat Khendek:
TURTLE-P: a UML profile for the formal validation of critical and distributed systems.
Software and System Modeling 5(4): 449-466 (2006) |
| 2005 |
|---|
| 41 |  | Ferhat Khendek,
Rachida Dssouli:
Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings
Springer 2005 |
| 40 | | Rajesh Karunamurthy,
Roch H. Glitho,
Ferhat Khendek:
A Novel Web Service for Presence and its Implementation in an IETF SIMPLE Protocol Environment.
ICWS 2005: 401-408 |
| 2004 |
|---|
| 39 | | Ferhat Khendek,
Christophe Lohr,
Li Xin Wang,
Xiao Jun Zhang,
Tong Zheng:
Early Validation of Deployment and Scheduling Constraints for MSC Specifications.
SAM 2004: 106-121 |
| 2003 |
|---|
| 38 | | A. De Marco,
Ferhat Khendek:
eSERL: Feature Interaction Management in Parlay/OSA using Composition Constraints and Configuration Rules.
FIW 2003: 247-256 |
| 37 | | Tong Zheng,
Ferhat Khendek,
Benoit Parreaux:
Refining Timed MSCs.
SDL Forum 2003: 234-250 |
| 36 | | Ferhat Khendek,
Xiao Jun Zhang:
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System.
Scenarios: Models, Transformations and Tools 2003: 228-254 |
| 35 | | Tong Zheng,
Ferhat Khendek:
Time consistency of MSC-2000 specifications.
Computer Networks 42(3): 303-322 (2003) |
| 34 | | Roch H. Glitho,
Ferhat 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 Systems, Man, and Cybernetics, Part C 33(4): 446-457 (2003) |
| 33 | | Rachida Dssouli,
Ferhat Khendek:
Preface.
Information & Software Technology 45(11): 699 (2003) |
| 32 | | Rachida Dssouli,
Ferhat Khendek:
Preface.
Information & Software Technology 45(12): 791-792 (2003) |
| 31 | | Hong Peng,
Sofiène Tahar,
Ferhat Khendek:
Comparison of SPIN and VIS for protocol verification.
STTT 4(2): 234-245 (2003) |
| 2002 |
|---|
| 30 | | Stephan Bourduas,
Ferhat Khendek,
Daniel Vincent:
From MSC and UML to SDL.
COMPSAC 2002: 153-158 |
| 29 | | Umer Waqar,
Ferhat Khendek,
Daniel Vincent:
A Formal Approach for Software Maintenance.
ICSM 2002: 608-617 |
| 28 | | Tong Zheng,
Ferhat Khendek:
An Extension for MSC-2000 and Its Application.
SAM 2002: 221-232 |
| 27 | | Reinhard Gotzhein,
Ferhat Khendek,
Philipp Schaible:
Micro Protocol Design: The SNMP Case Study.
SAM 2002: 61-73 |
| 26 | | Tong Zheng,
Ferhat Khendek,
Loïc Hélouët:
A Semantics for Timed MSC.
Electr. Notes Theor. Comput. Sci. 65(7): (2002) |
| 25 | | Abdeslam En-Nouaary,
Rachida Dssouli,
Ferhat Khendek:
Timed Wp-Method: Testing Real-Time Systems.
IEEE Trans. Software Eng. 28(11): 1023-1038 (2002) |
| 2001 |
|---|
| 24 | | Cédric Besse,
Ana R. Cavalli,
Ferhat Khendek:
Partial Validation of a Design Specification with Respect to Requirements.
APAQS 2001: 131-140 |
| 23 | | Ferhat Khendek,
Stephan Bourduas,
Daniel Vincent:
Stepwise Design with Message Sequence Charts.
FORTE 2001: 19-34 |
| 22 | | C. Bourhfir,
El Mostapha Aboulhamid,
Ferhat Khendek,
Rachida Dssouli:
Test cases selection from SDL specifications.
Computer Networks 35(6): 693-708 (2001) |
| 2000 |
|---|
| 21 | | Hong Peng,
Sofiène Tahar,
Ferhat Khendek:
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol.
ICFEM 2000: 79-88 |
| 20 | | Abdeslam En-Nouaary,
Ferhat Khendek,
Rachida Dssouli:
Testing embedded real-time systems.
RTCSA 2000: 417-424 |
| 19 | | D. Muthiayen,
Vangalur S. Alagar,
Ferhat Khendek,
A. Sefidcon:
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.
RTCSA 2000: 491-497 |
| 18 | | Ferhat Khendek,
Daniel Vincent:
Enriching SDL Specifications with MSCs.
SAM 2000: 305-319 |
| 1999 |
|---|
| 17 | | Abdeslam En-Nouaary,
Ferhat Khendek,
Rachida Dssouli:
Fault Coverage in Testing Real-Time Systems.
RTCSA 1999: 150-157 |
| 16 | | Mohamed Ashour,
Ferhat Khendek,
Tho Le-Ngoc:
Formal Description of Real-time Systems using SDL.
RTCSA 1999: 190- |
| 15 | | Miguel Abdalla,
Ferhat Khendek,
Greg Butler:
New results on deriving SDL specifications from MSCs.
SDL Forum 1999: 51-66 |
| 14 | | Abdeslam En-Nouaary,
Rachida Dssouli,
Ferhat Khendek:
From timed scenarios to SDL: specification, implementation and testing of real-time systems.
SDL Forum 1999: 67- |
| 1998 |
|---|
| 13 | | Greg Butler,
Peter Grogono,
Ferhat Khendek:
A Reuse Case Perspective on Documenting Frameworks.
APSEC 1998: 94-101 |
| 12 | | Yuan Peng,
Ferhat Khendek,
Peter Grogono,
Greg Butler:
Feature Interaction Detection Technique Based on Feature Assumptions.
FIW 1998: 291-298 |
| 11 | | Abdeslam En-Nouaary,
Rachida Dssouli,
Ferhat Khendek,
A. Elqortobi:
Timed Test Cases Generation Based on State Characterization Technique.
IEEE Real-Time Systems Symposium 1998: 220- |
| 1997 |
|---|
| 10 | | Greg Butler,
Peter Grogono,
Ferhat Khendek:
A Z Specification of Use Cases: A Preliminary Report.
APSEC 1997: 505-506 |
| 9 | | Gabriel Robert,
Ferhat Khendek,
Peter Grogono:
Deriving an SDL specification with a given architecture from a set of MSCs.
SDL Forum 1997: 197-212 |
| 1996 |
|---|
| 8 | | Issam A. Hamid,
Ferhat Khendek:
A Dynamic Evolution for the Specifications of Distributed Systems.
ASIAN 1996: 287-298 |
| 1995 |
|---|
| 7 | | Ferhat Khendek,
Gregor von Bochmann:
Merging Behavior Specifications.
Formal Methods in System Design 6(3): 259-293 (1995) |
| 1993 |
|---|
| 6 | | Ferhat Khendek,
Gregor von Bochmann:
Formal specifications design, evolution and reuse.
CASCON 1993: 184-193 |
| 5 | | Ferhat Khendek,
Gregor von Bochmann:
Incremental Construction Approach for Distributed System Specifications.
FORTE 1993: 87-102 |
| 1992 |
|---|
| 4 | | Ferhat Khendek:
Extending distributed system specifications.
CASCON 1992: 293-299 |
| 3 | | Ferhat Khendek,
Gregor von Bochmann:
A formalization of the CORDS Process Model using Mondel.
CASCON 1992: 351-360 |
| 1991 |
|---|
| 2 | | Susumu Fujiwara,
Gregor von Bochmann,
Ferhat Khendek,
Mokhtar Amalou,
Abderrazak Ghedamsi:
Test Selection Based on Finite State Models.
IEEE Trans. Software Eng. 17(6): 591-603 (1991) |
| 1989 |
|---|
| 1 | | Ferhat Khendek,
Gregor von Bochmann,
Christian Kant:
New Results on Deriving Protocol Specifications from Service Specifications.
SIGCOMM 1989: 136-145 |
