2009 |
78 | EE | Dhafer Ben Khedher,
Roch H. Glitho,
Rachida Dssouli:
Media handling for multimedia conferencing in multihop cellular networks.
IEEE Network 23(2): 35-42 (2009) |
2008 |
77 | EE | Qian Liu,
Shuo Lu,
Yuan Hong,
Lingyu Wang,
Rachida Dssouli:
Securing Telehealth Applications in a Web-Based e-Health Portal.
ARES 2008: 3-9 |
76 | EE | Yuan Hong,
Shuo Lu,
Qian Liu,
Lingyu Wang,
Rachida Dssouli:
Preserving Privacy in E-health Systems Using Hippocratic Databases.
COMPSAC 2008: 692-697 |
75 | 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 |
74 | 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 |
73 | EE | Fatna Belqasmi,
Roch H. Glitho,
Rachida Dssouli:
Ambient network composition.
IEEE Network 22(4): 6-12 (2008) |
2007 |
72 | EE | May El Barachi,
Roch H. Glitho,
Rachida Dssouli:
Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks.
ISCC 2007: 789-796 |
71 | EE | Fatna Belqasmi,
Roch H. Glitho,
Rachida Dssouli:
A Negotiation Framework for the Composition of Registries in Ambient Networks.
ISCC 2007: 981-987 |
70 | EE | Jameleddine Hassine,
Juergen Rilling,
Rachida Dssouli:
Formal Verification of Use Case Maps with Real Time Extensions.
SDL Forum 2007: 225-241 |
69 | | Rabeb Mizouni,
Aziz Salah,
Rachida Dssouli:
Using Formal Composition of Use Cases in Requirements Engineering.
SEKE 2007: 238- |
68 | EE | 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 |
2006 |
67 | EE | Rabeb Mizouni,
Aziz Salah,
Siamak Kolahi,
Rachida Dssouli:
Composition of Use Cases Using Synchronization and Model Checking.
FORTE 2006: 292-306 |
66 | EE | Jameleddine Hassine,
Juergen Rilling,
Rachida Dssouli:
Timed Use Case Maps.
SAM 2006: 99-114 |
65 | EE | 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 |
64 | EE | 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) |
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 | EE | Jameleddine Hassine,
Juergen Rilling,
Rachida Dssouli:
Abstract Operational Semantics for Use Case Maps.
FORTE 2005: 366-380 |
61 | EE | 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 | EE | 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 | EE | Abdelghani Benharref,
Roch H. Glitho,
Rachida Dssouli:
Mobile Agents for Testing Web Services in Next Generation Networks.
MATA 2005: 182-191 |
57 | EE | 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 | EE | Aziz Salah,
Rabeb Mizouni,
Rachida Dssouli,
Benoit Parreaux:
Formal Composition of Distributed Scenarios.
FORTE 2004: 213-228 |
54 | EE | Jameleddine Hassine,
Rachida Dssouli,
Juergen Rilling:
Applying Reduction Techniques to Software Functional Requirement Specifications.
SAM 2004: 138-153 |
2003 |
53 | EE | Abdeslam En-Nouaary,
Rachida Dssouli:
A Guided Method for Testing Timed Input Output Automata.
TestCom 2003: 211-225 |
52 | EE | Rachida Dssouli,
Ferhat Khendek:
Preface.
Information & Software Technology 45(11): 699 (2003) |
51 | EE | Aziz Salah,
Rachida Dssouli,
Guy Lapalme:
Implicit integration of scenarios into a reduced timed automaton.
Information & Software Technology 45(11): 715-725 (2003) |
50 | EE | Rachida Dssouli,
Ferhat Khendek:
Preface.
Information & Software Technology 45(12): 791-792 (2003) |
2002 |
49 | EE | 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 | EE | Rachida Dssouli,
Yair Lahav:
MSC and SDL in project life cycles.
Computer Networks 35(6): 611-612 (2001) |
43 | EE | C. Bourhfir,
El Mostapha Aboulhamid,
Ferhat Khendek,
Rachida Dssouli:
Test cases selection from SDL specifications.
Computer Networks 35(6): 693-708 (2001) |
2000 |
42 | EE | 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 | EE | Kamel Karoui,
Abderrazak Ghedamsi,
Rachida Dssouli:
A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs.
ISCC 1999: 109-115 |
37 | EE | 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 | EE | 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 | EE | 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 | EE | Rachida Dssouli,
Kamel Karoui,
Kassem Saleh,
O. Cherkaoui:
Communications software design for testability: specification transformations and testability measures.
Information & Software Technology 41(11-12): 729-743 (1999) |
1998 |
31 | 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- |
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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Z. P. Tao,
Gregor von Bochmann,
Rachida Dssouli:
An efficient method for protocol conversion.
ICCCN 1995: 40 |
19 | EE | 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 | EE | 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 | EE | 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,
G. 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 |