Rachida Dssouli

	2012
104		May El Barachi, Nadjia Kara, Rachida Dssouli: Open virtual playground: Initial architecture and results. CCNC 2012: 576-581
	2011
103		Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli: On the verification of social commitments and time. AAMAS 2011: 483-490
102		Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb: Performance Evaluation of Mobile Web Services. ECOWS 2011: 184-191
101		Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: Model Checking Commitment Protocols. IEA/AIE (2) 2011: 37-47
100		Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb: On the Performance of Hosting Web Services on Mobile Devices. IEEE SCC 2011: 763-764
99		May El Barachi, Roch H. Glitho, Rachida Dssouli: Control-level call differentiation in IMS-based 3G core networks. IEEE Network 25(1): 20-28 (2011)
98		Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli: An overlay network for autonomous information discovery in the post-composition registries of ambient networks. J. Network and Computer Applications 34(2): 697-707 (2011)
	2010
97		Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli: Symbolic model checking for agent interactions. AAMAS 2010: 1555-1556
96		Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: Symbolic Model Checking Commitment Protocols Using Reduction. DALT 2010: 185-203
95		Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. KES-AMSTA (2) 2010: 11-21
94		Mohamed Adel Serhani, Rachida Dssouli: Case Study: Master of Science in Service Computing (Msc SC). SERVICES 2010: 80-83
93		May El Barachi, Roch H. Glitho, Rachida Dssouli: A Case Study on Multiparty Calls Differentiation in the IP Multimedia Subsystem. VTC Spring 2010: 1-5
92		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)
91		Jameleddine Hassine, Juergen Rilling, Rachida Dssouli: An evaluation of timed scenario notations. Journal of Systems and Software 83(2): 326-350 (2010)
	2009
90		Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: Verifiable Semantic Model for Agent Interactions Using Social Commitments. LADS 2009: 128-152
89		Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli: An Integrated Semantics of Social Commitments and Associated Operations. MALLOW 2009
88		Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: Enhancing Engineering Methodology for Communities of Web Services. MALLOW 2009
87		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
86		Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: A New Semantics of Social Commitments Using Branching Space-Time Logic. Web Intelligence/IAT Workshops 2009: 492-496
85		Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli: Media handling for multimedia conferencing in multihop cellular networks. IEEE Network 23(2): 35-42 (2009)
84		Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Roch H. Glitho: Efficient traces' collection mechanisms for passive testing of Web Services. Information & Software Technology 51(2): 362-374 (2009)
83		Jameleddine Hassine, Juergen Rilling, Rachida Dssouli: Use Case Maps as a property specification language. Software and System Modeling 8(2): 205-220 (2009)
	2008
82		Qian Liu, Shuo Lu, Yuan Hong, Lingyu Wang, Rachida Dssouli: Securing Telehealth Applications in a Web-Based e-Health Portal. ARES 2008: 3-9
81		Yuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli: Preserving Privacy in E-health Systems Using Hippocratic Databases. COMPSAC 2008: 692-697
80		Slimane Bah, Roch H. Glitho, Rachida Dssouli: An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETs. NTMS 2008: 1-5
79		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
78		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
77		Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli: Ambient network composition. IEEE Network 22(4): 6-12 (2008)
	2007
76		Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli: A Novel Overlay-Based Failure Detection Architecture for MANET Applications. ICON 2007: 130-135
75		Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli: An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient Networks. ICON 2007: 272-277
74		May El Barachi, Roch H. Glitho, Rachida Dssouli: Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks. ISCC 2007: 789-796
73		Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli: A Negotiation Framework for the Composition of Registries in Ambient Networks. ISCC 2007: 981-987
72		Jameleddine Hassine, Juergen Rilling, Rachida Dssouli: Formal Verification of Use Case Maps with Real Time Extensions. SDL Forum 2007: 225-241
71		Rabeb Mizouni, Aziz Salah, Rachida Dssouli: Using Formal Composition of Use Cases in Requirements Engineering. SEKE 2007: 238-
70		Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho: New Approach for EFSM-Based Passive Testing of Web Services. TestCom/FATES 2007: 13-27
69		Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli: Merging partial system behaviours: composition of use-case automata. IET Software 1(4): 143-160 (2007)
	2006
68		Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli: Composition of Use Cases Using Synchronization and Model Checking. FORTE 2006: 292-306
67		Jameleddine Hassine, Juergen Rilling, Rachida Dssouli: Timed Use Case Maps. SAM 2006: 99-114
66		Abdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani: Towards the Testing of Composed Web Services in 3rd Generation Networks. TestCom 2006: 118-133
65		Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli: Media handling aspects of multimedia conferencing in broadband wireless ad hoc networks. IEEE Network 20(2): 42-49 (2006)
64		Mohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelghani Benharref, Elarbi Badidi: VAQoS: Architecture for End-to-End QoS Management of Value Added Web Services. IJIIT 2(4): 37-56 (2006)
	2005
63		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
62		Jameleddine Hassine, Juergen Rilling, Rachida Dssouli: Abstract Operational Semantics for Use Case Maps. FORTE 2005: 366-380
61		Mohamed Adel Serhani, Rachida Dssouli, Abdelhakim Hafid, Houari A. Sahraoui: A QoS Broker Based Architecture for Efficient Web Services Selection. ICWS 2005: 113-120
60		Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli: Media Handling for Multiparty Sessions in Ad Hoc Peer-to-Peer Networks: A Novel Distributed Approach. ISCC 2005: 131-136
59		Mohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelhakim Hafid, Abdelghani Benharref: Toward A new Approach for Web Services Development Life Cycle. ISWS 2005: 94-103
58		Abdelghani Benharref, Roch H. Glitho, Rachida Dssouli: Mobile Agents for Testing Web Services in Next Generation Networks. MATA 2005: 182-191
57		Jameleddine Hassine, Juergen Rilling, Rachida Dssouli: An ASM Operational Semantics for Use Case Maps. RE 2005: 467-468
56		May El Barachi, Roch H. Glitho, Rachida Dssouli: Developing Applications for Internet Telephony: A Case Study on the Use of Web Services for Conferencing in SIP Networks. IJWIS 1(3): 147-159 (2005)
	2004
55		Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux: Formal Composition of Distributed Scenarios. FORTE 2004: 213-228
54		Jameleddine Hassine, Rachida Dssouli, Juergen Rilling: Applying Reduction Techniques to Software Functional Requirement Specifications. SAM 2004: 138-153
	2003
53		Abdeslam En-Nouaary, Rachida Dssouli: A Guided Method for Testing Timed Input Output Automata. TestCom 2003: 211-225
52		Rachida Dssouli, Ferhat Khendek: Preface. Information & Software Technology 45(11): 699 (2003)
51		Aziz Salah, Rachida Dssouli, Guy Lapalme: Implicit integration of scenarios into a reduced timed automaton. Information & Software Technology 45(11): 715-725 (2003)
50		Rachida Dssouli, Ferhat Khendek: Preface. Information & Software Technology 45(12): 791-792 (2003)
	2002
49		Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek: Timed Wp-Method: Testing Real-Time Systems. IEEE Trans. Software Eng. 28(11): 1023-1038 (2002)
48		Rachida Dssouli: Preface. Information & Software Technology 44(5): 277-278 (2002)
47		Charles Hélou, Rachida Dssouli, Teodor Gabriel Crainic: Performance testing of a negotiation platform. Information & Software Technology 44(5): 313-330 (2002)
	2001
46		Aziz Salah, Rachida Dssouli, Guy Lapalme: Compiling Real-Time Scenarios into a Timed Automaton. FORTE 2001: 135-150
45		C. Bourhfir, El Mostapha Aboulhamid, Rachida Dssouli, Nathalie Rico: A test case generation approach for conformance testing of SDL systems. Computer Communications 24(3-4): 319-333 (2001)
44		Rachida Dssouli, Yair Lahav: MSC and SDL in project life cycles. Computer Networks 35(6): 611-612 (2001)
43		C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli: Test cases selection from SDL specifications. Computer Networks 35(6): 693-708 (2001)
	2000
42		Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli: Testing embedded real-time systems. RTCSA 2000: 417-424
41		Ahmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger: An Approach for Testing Real Time Protocol Entities. TestCom 2000: 281-300
	1999
40		Rachida Dssouli, Gregor von Bochmann, Yair Lahav: SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings Elsevier 1999
39		Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli: Protocol Synthesis for Real-Time Applications. FORTE 1999: 417-433
38		Kamel Karoui, Abderrazak Ghedamsi, Rachida Dssouli: A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs. ISCC 1999: 109-115
37		Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli: Fault Coverage in Testing Real-Time Systems. RTCSA 1999: 150-157
36		C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico: A test case generation tool for conformance testing of SDL systems. SDL Forum 1999: 405-
35		Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek: From timed scenarios to SDL: specification, implementation and testing of real-time systems. SDL Forum 1999: 67-
34		Rachida Dssouli, Kassem Saleh, El Mostapha Aboulhamid, Abdeslam En-Nouaary, C. Bourhfir: Test development for communication protocols: towards automation. Computer Networks 31(17): 1835-1872 (1999)
33		Rachida Dssouli, Stéphane S. Somé, Jean G. Vaucher, Aziz Salah: A service creation environment based on scenarios. Information & Software Technology 41(11-12): 697-713 (1999)
32		Rachida Dssouli, Kamel Karoui, Kassem Saleh, Omar Cherkaoui: Communications software design for testability: specification transformations and testability measures. Information & Software Technology 41(11-12): 729-743 (1999)
	1998
31		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-
30		C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico: A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. IWTCS 1998: 275-290
29		Erika Madja, Abdelhakim Hafid, Rachida Dssouli, Gregor von Bochmann, Jan Gecsei: Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW). MMM 1998: 223-
28		Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli: A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. Computer Networks 30(8): 777-794 (1998)
	1997
27		Rachida Dssouli, Stéphane S. Somé, J.-W. Guillery, Nathalie Rico: Detection of Feature Interactions with REST. FIW 1997: 271-283
26		Kamel Karoui, Rachida Dssouli, Nina Yevtushenko: Design for testability of communication protocols based on SDL language. SDL Forum 1997: 151-
25		Zhongping Tao, Gregor von Bochmann, Rachida Dssouli: A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. MONET 2(3): 259-269 (1997)
	1996
24		Gregor von Bochmann, Rachida Dssouli, Omar Rafiq: Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 Chapman & Hall 1996
23		Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli: Testing in context: framework and test derivation. Computer Communications 19(14): 1236-1249 (1996)
	1995
22		Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher: From Scenarios to Timed Automata: Building Specifications from Users Requirements. APSEC 1995: 48-57
21		Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher: A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. FORTE 1995: 287-294
20		Z. P. Tao, Gregor von Bochmann, Rachida Dssouli: An efficient method for protocol conversion. ICCCN 1995: 40
19		Zhongping Tao, Gregor von Bochmann, Rachida Dssouli: Verification and diagnosis of testing equivalence and reduction relation. ICNP 1995: 14-21
18		Abdelhakim Hafid, Rachida Dssouli: A Negotiation Model for Distributed Multimedia Applications. MMNET 1995: 142-151
	1994
17		Abdelhakim Hafid, Jan de Meer, Alex Rennoch, Gregor von Bochmann, Rachida Dssouli: Quality of service verification experiments. CASCON 1994: 23
16		Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli: On specifying services and synthesizing protocols for real-time applications. PSTV 1994: 185-200
15		Brigitte Kerhervé, Andreas Vogel, Gregor von Bochmann, Rachida Dssouli, Jan Gecsei, Abdelhakim Hafid: On distributed multimedia presentational applications: functional and computational architecture and QoS negotiation. Protocols for High-Speed Networks 1994: 21-37
	1993
14		Gregor von Bochmann, Rachida Dssouli, Anindya Das: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992 North-Holland 1993
13		Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli: Diagnosis of Single Transition Faults in Communicating Finite State Machines. ICDCS 1993: 157-166
12		Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli: Multiple Fault Diagnostics for Finite State Machines. INFOCOM 1993: 782-791
11		Alexandre Petrenko, Rachida Dssouli, Hartmut König: On Evaluation of Testability of Protocol Structures. Protocol Test Systems 1993: 111-124
10		Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi: Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. Protocol Test Systems 1993: 139-153
9		Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli: Conformance Relations and Test Derivation. Protocol Test Systems 1993: 157-178
	1992
8		Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann: Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. Protocol Test Systems 1992: 105-116
	1991
7		Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo: Fault Models in Testing. Protocol Test Systems 1991: 17-30
6		Martin Dubuc, Rachida Dssouli, Gregor von Bochmann: TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. Protocol Test Systems 1991: 195-206
	1990
5		Rachida Dssouli, Reine Fournier, Gregor von Bochmann: Distributed Observation and FIFO Queues. FORTE 1990: 303-310
	1989
4		Gregor von Bochmann, Rachida Dssouli, J. R. Zhao: Trace Analysis for Conformance and Arbitration Testing. IEEE Trans. Software Eng. 15(11): 1347-1356 (1989)
	1985
3		Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural: Use of Prolog for building protocol design tools. PSTV 1985: 131-147
2		Rachida Dssouli, Gregor von Bochmann: Error detection with multiple observers. PSTV 1985: 483-494
	1984
1		Gregor von Bochmann, Eduard Cerny, George Walter Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre: Use of Formal Specifications for Protocol Design, Implementation and Testing. PSTV 1984: 137-144

Coauthor Index

1	El Mostapha Aboulhamid	[30] [34] [36] [43] [45]
2	Mehdi Akalay	[41]
3	Elarbi Badidi	[64]
4	Slimane Bah	[80]
5	May El Barachi	[56] [74] [78] [79] [87] [92] [93] [99] [104]
6	Fatna Belqasmi	[73] [75] [77] [98]
7	Abdelghani Benharref	[58] [59] [64] [66] [70] [84] [100] [102]
8	Jamal Bentahar	[86] [88] [89] [90] [95] [96] [97] [101] [103]
9	Gregor von Bochmann	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [19] [20] [23] [24] [25] [28] [29] [39] [40]
10	C. Bourhfir	[30] [34] [36] [43] [45]
11	Eduard Cerny	[1]
12	Omar Cherkaoui	[32]
13	Teodor Gabriel Crainic	[47]
14	Anindya Das	[7] [14]
15	Martin Dubuc	[6] [7]
16	Mohamed El-Menshawy	[86] [88] [89] [90] [95] [96] [97] [101] [103]
17	A. Elqortobi	[31]
18	Abdeslam En-Nouaary	[31] [34] [35] [37] [41] [42] [49] [53] [70]
19	Reine Fournier	[5]
20	Jan Gecsei	[15] [29]
21	George Walter Gerber	[1]
22	Abderrazak Ghedamsi	[7] [8] [10] [12] [13] [38]
23	Roch H. Glitho	[56] [58] [60] [65] [66] [70] [73] [74] [75] [76] [77] [78] [79] [80] [84] [85] [87] [92] [93] [98] [99]
24	Louis Granger	[41]
25	J.-W. Guillery	[27]
26	Abdelhakim Hafid (Abdelhakim Senhaji Hafid)	[15] [17] [18] [28] [29] [59] [61]
27	Jameleddine Hassine	[54] [57] [62] [67] [72] [83] [91]
28	Charles Hélou	[47]
29	Yuan Hong	[81] [82]
30	Arif Kadiwal	[78] [79] [87] [92]
31	Nadjia Kara	[104]
32	Kamel Karoui	[26] [32] [38]
33	Brigitte Kerhervé	[15]
34	Dhafer Ben Khedher	[60] [65] [76] [85]
35	Ferhat Khendek	[31] [35] [37] [42] [43] [49] [50] [52] [63] [78] [79] [87] [92]
36	Ahmed Khoumsi	[16] [39] [41]
37	Siamak Kolahi	[68] [69]
38	Hartmut König	[11]
39	Yair Lahav	[40] [44]
40	Guy Lapalme	[46] [51]
41	Qian Liu	[81] [82]
42	Shuo Lu	[81] [82]
43	Gang Luo	[7] [10]
44	Erika Madja	[29]
45	Michel Maksud	[1]
46	Jan de Meer	[17]
47	Rabeb Mizouni	[55] [68] [69] [71] [100] [102]
48	Benoit Parreaux	[55]
49	Alexandre Petrenko	[9] [11] [23]
50	B. H. Phan	[1]
51	Hongyang Qu	[103]
52	Omar Rafiq	[24]
53	Alex Rennoch	[17]
54	Nathalie Rico	[27] [30] [36] [45]
55	Juergen Rilling	[54] [57] [62] [67] [72] [83] [91]
56	Houari A. Sahraoui	[59] [61] [64]
57	Aziz Salah	[33] [46] [51] [55] [68] [69] [71]
58	Kassem Saleh	[32] [34]
59	Behçet Sarikaya	[1] [3]
60	Mohamed Adel Serhani	[59] [61] [64] [66] [70] [84] [94] [100] [102]
61	Jean-Marc Serre	[1]
62	Stéphane S. Somé (Stéphane Sotèg Somé)	[21] [22] [27] [33]
63	Wanderley Lopes de Souza	[3]
64	Ikbal Taleb	[100] [102]
65	Z. P. Tao	[20]
66	Zhongping Tao	[19] [25]
67	Hasan Ural	[3]
68	Jean G. Vaucher	[21] [22] [33]
69	Pallapa Venkataram	[10]
70	Andreas Vogel	[15]
71	Wei Wan	[97]
72	Lingyu Wang	[81] [82]
73	Nina Yevtushenko	[23] [26]
74	J. R. Zhao	[4]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page