Ferhat Khendek

	2012
90		Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho: A novel architecture for Web service composition. J. Network and Computer Applications 35(2): 787-802 (2012)
89		Pietro Colombo, Ferhat Khendek, Luigi Lavazza: Bridging the gap between requirements and design: An approach based on Problem Frames and SysML. Journal of Systems and Software 85(3): 717-745 (2012)
	2011
88		Pejman Salehi, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe: AMF configurations: Checking for service protection using heuristics. CNSM 2011: 1-8
87		Ali Kanso, Ferhat Khendek, Maria Toeroe: Automatic Annotation of Software Configuration Models with Service Recovery Information. DASC 2011: 121-128
86		Ali Kanso, Ferhat Khendek, Maria Toeroe: Workload Balancing for Highly Available Services: The Case of the N+M Redundancy Model. DASC 2011: 97-104
85		Pietro Colombo, Ferhat Khendek, Luigi Lavazza: Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML. ECMFA 2011: 97-114
84		Ali Kanso, Ferhat Khendek, Anik Mishra, Maria Toeroe: Integrating Legacy Applications for High Availability: A Case Study. HASE 2011: 83-90
83		Mohamed Mussa, Ferhat Khendek: Towards a Model Based Approach for Integration Testing. SDL Forum 2011: 106-121
82		Daniel Sinnig, Ferhat Khendek, Patrice Chalin: Partial order semantics for use case and task models. Formal Asp. Comput. 23(3): 307-332 (2011)
81		Hou Rucheng, Fatna Belqasmi, Roch H. Glitho, Ferhat Khendek: The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless actuator networks. IEEE Communications Magazine 49(12): 138-146 (2011)
	2010
80		Pietro Colombo, Ferhat Khendek, Luigi Lavazza: Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study. ECMFA 2010: 74-89
79		Daniel Sinnig, Rabeb Mizouni, Ferhat Khendek: Bridging the gap: empowering use cases with task models. EICS 2010: 291-296
78		Pejman Salehi, Abdelwahab Hamou-Lhadj, Pietro Colombo, Ferhat Khendek, Maria Toeroe: A UML-Based Domain Specific Modeling Language for the Availability Management Framework. HASE 2010: 35-44
77		Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek: Towards an Integrated Model for Functional and User Interface Requirements. HCSE 2010: 214-221
76		Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek: Enriching Use Cases with CTTs. ICECCS 2010: 262-263
75		Daniel Sinnig, Ferhat Khendek, Patrice Chalin: A Formal Model for Generating Integrated Functional and User Interface Test Cases. ICST 2010: 255-264
74		Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe: Ranking Service Units for Providing and Protecting Highly Available Services with Load Balancing. NOTERE 2010: 33-40
73		Hou Rucheng, Roch H. Glitho, Ferhat Khendek, Mustafa Mehmet-Ali: Integrating wireless actuation capabilities with the 3GPP IP Multimedia Subsystem for enhanced multimedia services. PIMRC 2010: 2551-2556
72		Pejman Salehi, Pietro Colombo, Abdelwahab Hamou-Lhadj, Ferhat Khendek: A Model Driven Approach for AMF Configuration Generation. SAM 2010: 124-143
71		May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli: The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless sensor networks. IEEE Communications Magazine 48(4): 42-50 (2010)
70		Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho: A formal description framework and a matchmaking technique for web service composition. IJWIS 6(1): 24-54 (2010)
	2009
69		Ali Kanso, Maria Toeroe, Abdelwahab Hamou-Lhadj, Ferhat Khendek: Generating AMF Configurations from Software Vendor Constraints and User Requirements. ARES 2009: 454-461
68		Abdelouahed Gherbi, Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, Maria Toeroe: A Tool Suite for the Generation and Validation of Configurations for Software Availability. ASE 2009: 671-673
67		Daniel Sinnig, Patrice Chalin, Ferhat Khendek: LTS semantics for use case models. SAC 2009: 365-370
66		Pejman Salehi, Ferhat Khendek, Maria Toeroe, Abdelwahab Hamou-Lhadj, Abdelouahed Gherbi: Checking Service Instance Protection for AMF Configurations. SSIRI 2009: 269-274
65		May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli: The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking. VTC Spring 2009
64		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)
63		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
62		Ali Kanso, Maria Toeroe, Ferhat Khendek, Abdelwahab Hamou-Lhadj: Automatic Generation of AMF Compliant Configurations. ISAS 2008: 155-170
61		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
60		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
59		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
58		Daniel Sinnig, Patrice Chalin, Ferhat Khendek: Consistency between Task Models and Use Cases. EHCI/DS-VIS 2007: 71-88
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): 85-99 (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-229
	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

Coauthor Index

1	Miguel Abdalla	[15]
2	El Mostapha Aboulhamid	[22]
3	Vangalur S. Alagar (Vasu S. Alagar)	[19]
4	Mokhtar Amalou	[2]
5	Ludovic Apvrille	[42]
6	Mohamed Ashour	[16]
7	May El Barachi	[60] [61] [65] [71]
8	Fatna Belqasmi	[81]
9	Cédric Besse	[24]
10	Gregor von Bochmann	[1] [2] [3] [5] [6] [7]
11	Stephan Bourduas	[23] [30]
12	C. Bourhfir	[22]
13	Gregory Butler (Greg Butler)	[10] [12] [13] [15]
14	Ana R. Cavalli	[24]
15	Patrice Chalin	[51] [52] [56] [58] [67] [75] [82]
16	Pietro Colombo	[72] [78] [80] [85] [89]
17	Rachida Dssouli	[11] [14] [17] [20] [22] [25] [32] [33] [41] [60] [61] [65] [71]
18	A. Elqortobi	[11]
19	Abdeslam En-Nouaary	[11] [14] [17] [20] [25]
20	Peter Forbrig	[52]
21	Chunyan Fu	[48] [57] [63]
22	Susumu Fujiwara	[2]
23	Abderrazak Ghedamsi	[2]
24	Abdelouahed Gherbi	[43] [46] [47] [53] [54] [64] [66] [68]
25	Roch H. Glitho	[34] [40] [44] [48] [49] [50] [55] [57] [60] [61] [63] [65] [70] [71] [73] [81] [90]
26	Reinhard Gotzhein	[27] [45]
27	Peter Grogono	[9] [10] [12] [13]
28	Issam A. Hamid	[8]
29	Abdelwahab Hamou-Lhadj	[62] [66] [68] [69] [72] [74] [78] [88]
30	Loïc Hélouët	[26]
31	Arif Kadiwal	[60] [61] [65] [71]
32	Ali Kanso	[62] [68] [69] [74] [84] [86] [87]
33	Christian Kant	[1]
34	Rajesh Karunamurthy	[40] [44] [50] [70] [90]
35	Luigi Lavazza	[80] [85] [89]
36	Tho Le-Ngoc	[16]
37	Christophe Lohr	[39]
38	A. De Marco	[34] [38]
39	Mustafa Mehmet-Ali	[73]
40	Anik Mishra	[84]
41	Rabeb Mizouni	[76] [77] [79]
42	Mohamed Mussa	[83]
43	D. Muthiayen	[19]
44	Nuru Yakub Othman	[49] [55]
45	Benoit Parreaux	[37]
46	Hong Peng	[21] [31]
47	Yuan Peng	[12]
48	Gabriel Robert	[9]
49	Hou Rucheng	[73] [81]
50	Pejman Salehi	[66] [72] [78] [88]
51	Pierre de Saqui-Sannes	[42]
52	Philipp Schaible	[27]
53	A. Sefidcon	[19]
54	Daniel Sinnig	[51] [52] [56] [58] [67] [75] [76] [77] [79] [82]
55	Truong Ta	[49]
56	Sofiène Tahar	[21] [31]
57	Maria Toeroe	[62] [66] [68] [69] [74] [78] [84] [86] [87] [88]
58	Daniel Vincent	[18] [23] [29] [30]
59	Li Xin Wang	[39]
60	Umer Waqar	[29]
61	Maik Wurdel	[52]
62	Xiao Jun Zhang	[36] [39]
63	Tong Zheng	[26] [28] [35] [37] [39] [59]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page