2009 |
62 | EE | Daniel Sinnig,
Patrice Chalin,
Ferhat Khendek:
LTS semantics for use case models.
SAC 2009: 365-370 |
2008 |
61 | EE | Ali Kanso,
Maria Toeroe,
Ferhat Khendek,
Abdelwahab Hamou-Lhadj:
Automatic Generation of AMF Compliant Configurations.
ISAS 2008: 155-170 |
60 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Daniel Sinnig,
Patrice Chalin,
Ferhat Khendek:
Common Semantics for Use Cases and Task Models.
IFM 2007: 579-598 |
55 | EE | 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 | EE | Abdelouahed Gherbi,
Ferhat Khendek:
Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency.
ISORC 2007: 412-419 |
53 | EE | Abdelouahed Gherbi,
Ferhat Khendek:
Consistency of UML/SPT Models.
SDL Forum 2007: 203-224 |
52 | EE | Daniel Sinnig,
Maik Wurdel,
Peter Forbrig,
Patrice Chalin,
Ferhat Khendek:
Practical Extensions for Task Models.
TAMODIA 2007: 42-55 |
51 | EE | 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 | EE | Rajesh Karunamurthy,
Ferhat Khendek,
Roch H. Glitho:
A Novel Business Model for Web Service Composition.
IEEE SCC 2006: 431-437 |
49 | EE | 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 | EE | Chunyan Fu,
Roch H. Glitho,
Ferhat Khendek:
Signaling for Conferencing in Integrated 3G/Mobile Ad Hoc Networks.
ISCC 2006: 838-843 |
47 | EE | Abdelouahed Gherbi,
Ferhat Khendek:
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation.
ISORC 2006: 343-350 |
46 | EE | Abdelouahed Gherbi,
Ferhat Khendek:
Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT.
SAM 2006: 34-48 |
45 | EE | Reinhard Gotzhein,
Ferhat Khendek:
Compositional Testing of Communication Systems.
TestCom 2006: 227-244 |
44 | EE | Rajesh Karunamurthy,
Ferhat Khendek,
Roch H. Glitho:
Using web services for presence-based application development.
IJWGS 2(2): 167-197 (2006) |
43 | EE | Abdelouahed Gherbi,
Ferhat Khendek:
UML Profiles for Real-Time Systems and their Applications.
Journal of Object Technology 5(4): 149-169 (2006) |
42 | EE | 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 | EE | 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 | EE | 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 | EE | Tong Zheng,
Ferhat Khendek,
Benoit Parreaux:
Refining Timed MSCs.
SDL Forum 2003: 234-250 |
36 | EE | 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 | EE | 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 | EE | Rachida Dssouli,
Ferhat Khendek:
Preface.
Information & Software Technology 45(11): 699 (2003) |
32 | EE | Rachida Dssouli,
Ferhat Khendek:
Preface.
Information & Software Technology 45(12): 791-792 (2003) |
31 | EE | Hong Peng,
Sofiène Tahar,
Ferhat Khendek:
Comparison of SPIN and VIS for protocol verification.
STTT 4(2): 234-245 (2003) |
2002 |
30 | EE | Stephan Bourduas,
Ferhat Khendek,
Daniel Vincent:
From MSC and UML to SDL.
COMPSAC 2002: 153-158 |
29 | EE | Umer Waqar,
Ferhat Khendek,
Daniel Vincent:
A Formal Approach for Software Maintenance.
ICSM 2002: 608-617 |
28 | EE | Tong Zheng,
Ferhat Khendek:
An Extension for MSC-2000 and Its Application.
SAM 2002: 221-232 |
27 | EE | Reinhard Gotzhein,
Ferhat Khendek,
Philipp Schaible:
Micro Protocol Design: The SNMP Case Study.
SAM 2002: 61-73 |
26 | EE | Tong Zheng,
Ferhat Khendek,
Loïc Hélouët:
A Semantics for Timed MSC.
Electr. Notes Theor. Comput. Sci. 65(7): (2002) |
25 | EE | 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 | EE | 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 | EE | C. Bourhfir,
El Mostapha Aboulhamid,
Ferhat Khendek,
Rachida Dssouli:
Test cases selection from SDL specifications.
Computer Networks 35(6): 693-708 (2001) |
2000 |
21 | EE | 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 | EE | Abdeslam En-Nouaary,
Ferhat Khendek,
Rachida Dssouli:
Testing embedded real-time systems.
RTCSA 2000: 417-424 |
19 | EE | 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 | EE | Abdeslam En-Nouaary,
Ferhat Khendek,
Rachida Dssouli:
Fault Coverage in Testing Real-Time Systems.
RTCSA 1999: 150-157 |
16 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Ferhat Khendek:
Extending distributed system specifications.
CASCON 1992: 293-299 |
3 | EE | Ferhat Khendek,
Gregor von Bochmann:
A formalization of the CORDS Process Model using Mondel.
CASCON 1992: 351-360 |
1991 |
2 | EE | 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 | EE | Ferhat Khendek,
Gregor von Bochmann,
Christian Kant:
New Results on Deriving Protocol Specifications from Service Specifications.
SIGCOMM 1989: 136-145 |