 | 2009 |
|---|
| 81 |       | 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 |
| 80 | | Dhafer Ben Khedher,
Roch H. Glitho,
Rachida Dssouli:
Media handling for multimedia conferencing in multihop cellular networks.
IEEE Network 23(2): 35-42 (2009) |
| 79 | | Jameleddine Hassine,
Juergen Rilling,
Rachida Dssouli:
Use Case Maps as a property specification language.
Software and System Modeling 8(2): 205-220 (2009) |
| 2008 |
|---|
| 78 | | Qian Liu,
Shuo Lu,
Yuan Hong,
Lingyu Wang,
Rachida Dssouli:
Securing Telehealth Applications in a Web-Based e-Health Portal.
ARES 2008: 3-9 |
| 77 | | Yuan Hong,
Shuo Lu,
Qian Liu,
Lingyu Wang,
Rachida Dssouli:
Preserving Privacy in E-health Systems Using Hippocratic Databases.
COMPSAC 2008: 692-697 |
| 76 | | 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 |
| 75 | | 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 |
| 74 | | Fatna Belqasmi,
Roch H. Glitho,
Rachida Dssouli:
Ambient network composition.
IEEE Network 22(4): 6-12 (2008) |
| 2007 |
|---|
| 73 | | May El Barachi,
Roch H. Glitho,
Rachida Dssouli:
Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks.
ISCC 2007: 789-796 |
| 72 | | Fatna Belqasmi,
Roch H. Glitho,
Rachida Dssouli:
A Negotiation Framework for the Composition of Registries in Ambient Networks.
ISCC 2007: 981-987 |
| 71 | | Jameleddine Hassine,
Juergen Rilling,
Rachida Dssouli:
Formal Verification of Use Case Maps with Real Time Extensions.
SDL Forum 2007: 225-241 |
| 70 |  | Rabeb Mizouni,
Aziz Salah,
Rachida Dssouli:
Using Formal Composition of Use Cases in Requirements Engineering.
SEKE 2007: 238- |
| 69 | | 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 |
| 68 | | 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 |
|---|
| 67 | | Rabeb Mizouni,
Aziz Salah,
Siamak Kolahi,
Rachida Dssouli:
Composition of Use Cases Using Synchronization and Model Checking.
FORTE 2006: 292-306 |
| 66 | | Jameleddine Hassine,
Juergen Rilling,
Rachida Dssouli:
Timed Use Case Maps.
SAM 2006: 99-114 |
| 65 | | 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 | | 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 | | 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,
O. 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,
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 |
