Rachida Dssouli - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Control-level call differentiation in IMS-based 3G core networksMay El Barachi, Roch H. Glitho, Rachida Dssouli. network, 25(1):20-28, 2011. [doi]

An overlay network for autonomous information discovery in the post-composition registries of ambient networksFatna Belqasmi, Roch H. Glitho, Rachida Dssouli. jnca, 34(2):697-707, 2011. [doi]

Model Checking Commitment ProtocolsMohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli. ieaaie 2011: 37-47 [doi]

2010

2009

The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks InterworkingMay El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli. vtc 2009: [doi]

Efficient traces collection mechanisms for passive testing of Web ServicesAbdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Roch H. Glitho. INFSOF, 51(2):362-374, 2009. [doi]

An Integrated Semantics of Social Commitments and Associated OperationsJamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli. mallow 2009: [doi]

Enhancing Engineering Methodology for Communities of Web ServicesMohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli. mallow 2009: [doi]

Verifiable Semantic Model for Agent Interactions Using Social CommitmentsMohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli. lads 2010: 128-152 [doi]

A New Semantics of Social Commitments Using Branching Space-Time LogicMohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli. iat 2009: 492-496 [doi]

Use Case Maps as a property specification languageJameleddine Hassine, Juergen Rilling, Rachida Dssouli. SoSyM, 8(2):205-220, 2009. [doi]

Media handling for multimedia conferencing in multihop cellular networksDhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli. network, 23(2):35-42, 2009. [doi]

2008

An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETsSlimane Bah, Roch H. Glitho, Rachida Dssouli. ntms 2008: 1-5 [doi]

An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia SubsystemMay El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli. vtc 2008: 2784-2788 [doi]

A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia SubsystemMay El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli. wcnc 2008: 3116-3121 [doi]

Ambient network compositionFatna Belqasmi, Roch H. Glitho, Rachida Dssouli. network, 22(4):6-12, 2008. [doi]

Preserving Privacy in E-health Systems Using Hippocratic DatabasesYuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli. compsac 2008: 692-697 [doi]

Securing Telehealth Applications in a Web-Based e-Health PortalQian Liu, Shuo Lu, Yuan Hong, Lingyu Wang, Rachida Dssouli. IEEEares 2008: 3-9 [doi]

2007

Context-Aware Signaling for Call Differentiation in IMS-Based 3G NetworksMay El Barachi, Roch H. Glitho, Rachida Dssouli. ISCC 2007: 789-796 [doi]

A Negotiation Framework for the Composition of Registries in Ambient NetworksFatna Belqasmi, Roch H. Glitho, Rachida Dssouli. ISCC 2007: 981-987 [doi]

An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient NetworksFatna Belqasmi, Roch H. Glitho, Rachida Dssouli. icon 2007: 272-277 [doi]

New Approach for EFSM-Based Passive Testing of Web ServicesAbdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho. pts 2007: 13-27 [doi]

Formal Verification of Use Case Maps with Real Time ExtensionsJameleddine Hassine, Juergen Rilling, Rachida Dssouli. sdl 2007: 225-241 [doi]

A Novel Overlay-Based Failure Detection Architecture for MANET ApplicationsDhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli. icon 2007: 130-135 [doi]

Merging partial system behaviours: composition of use-case automataRabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli. iee, 1(4):143-160, 2007. [doi]

Using Formal Composition of Use Cases in Requirements EngineeringRabeb Mizouni, Aziz Salah, Rachida Dssouli. seke 2007: 238

2006

2005

Developing Applications for Internet Telephony: A Case Study on the Use of Web Services for Conferencing in SIP NetworksMay El Barachi, Roch H. Glitho, Rachida Dssouli. ijwis, 1(3):147-159, 2005.

Mobile Agents for Testing Web Services in Next Generation NetworksAbdelghani Benharref, Roch H. Glitho, Rachida Dssouli. mata 2005: 182-191 [doi]

Abstract Operational Semantics for Use Case MapsJameleddine Hassine, Juergen Rilling, Rachida Dssouli. forte 2005: 366-380 [doi]

An ASM Operational Semantics for Use Case MapsJameleddine Hassine, Juergen Rilling, Rachida Dssouli. RE 2005: 467-468 [doi]

Media Handling for Multiparty Sessions in Ad Hoc Peer-to-Peer Networks: A Novel Distributed ApproachDhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli. ISCC 2005: 131-136 [doi]

Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, ProceedingsFerhat Khendek, Rachida Dssouli, editors, Volume 3502 of Lecture Notes in Computer Science, Springer, 2005.

Toward A new Approach for Web Services Development Life CycleMohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelhakim Hafid, Abdelghani Benharref. isws 2005: 94-103

A QoS Broker Based Architecture for Efficient Web Services SelectionMohamed Adel Serhani, Rachida Dssouli, Abdelhakim Hafid, Houari A. Sahraoui. icws 2005: 113-120 [doi]

2004

Applying Reduction Techniques to Software Functional Requirement SpecificationsJameleddine Hassine, Rachida Dssouli, Juergen Rilling. sam 2005: 138-153 [doi]

Formal Composition of Distributed ScenariosAziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux. forte 2004: 213-228 [doi]

2003

PrefaceRachida Dssouli, Ferhat Khendek. INFSOF, 45(12):791-792, 2003. [doi]

PrefaceRachida Dssouli, Ferhat Khendek. INFSOF, 45(11):699, 2003. [doi]

A Guided Method for Testing Timed Input Output AutomataAbdeslam En-Nouaary, Rachida Dssouli. pts 2003: 211-225 [doi]

Implicit integration of scenarios into a reduced timed automatonAziz Salah, Rachida Dssouli, Guy Lapalme. INFSOF, 45(11):715-725, 2003. [doi]

2002

PrefaceRachida Dssouli. INFSOF, 44(5):277-278, 2002.

Timed Wp-Method: Testing Real-Time SystemsAbdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek. TSE, 28(11):1023-1038, 2002. [doi]

Performance testing of a negotiation platformCharles Helou, Rachida Dssouli, Teodor Gabriel Crainic. INFSOF, 44(5):313-330, 2002.

2001

Test cases selection from SDL specificationsC. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli. cn, 35(6):693-708, 2001. [doi]

A test case generation approach for conformance testing of SDL systemsC. Bourhfir, El Mostapha Aboulhamid, Rachida Dssouli, Nathalie Rico. comcom, 24(3-4):319-333, 2001.

MSC and SDL in project life cyclesRachida Dssouli, Yair Lahav. cn, 35(6):611-612, 2001. [doi]

Compiling Real-Time Scenarios into a Timed AutomatonAziz Salah, Rachida Dssouli, Guy Lapalme. forte 2001: 135-150

2000

Testing embedded real-time systemsAbdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli. rtcsa 2000: 417-424 [doi]

An Approach for Testing Real Time Protocol EntitiesAhmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger. pts 2000: 281-300

1999

A test case generation tool for conformance testing of SDL systemsC. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico. sdl 1999: 405

SDL 99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, ProceedingsRachida Dssouli, Gregor von Bochmann, Yair Lahav, editors, Elsevier, 1999.

Communications software design for testability: specification transformations and testability measuresRachida Dssouli, Kamel Karoui, Kassem Saleh, Omar Cherkaoui. INFSOF, 41(11-12):729-743, 1999. [doi]

A service creation environment based on scenariosRachida Dssouli, Stéphane S. Somé, Jean G. Vaucher, Aziz Salah. INFSOF, 41(11-12):697-713, 1999. [doi]

Test development for communication protocols: towards automationRachida Dssouli, Kassem Saleh, El Mostapha Aboulhamid, Abdeslam En-Nouaary, C. Bourhfir. cn, 31(17):1835-1872, 1999. [doi]

Fault Coverage in Testing Real-Time SystemsAbdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli. rtcsa 1999: 150-157 [doi]

From timed scenarios to SDL: specification, implementation and testing of real-time systemsAbdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek. sdl 1999: 67

A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMsKamel Karoui, Abderrazak Ghedamsi, Rachida Dssouli. ISCC 1999: 109-115 [doi]

Protocol Synthesis for Real-Time ApplicationsAhmed Khoumsi, Gregor von Bochmann, Rachida Dssouli. forte 1999: 417-433

1998

1997

Detection of Feature Interactions with RESTRachida Dssouli, Stéphane S. Somé, J.-W. Guillery, Nathalie Rico. fiw 1997: 271-283

Design for testability of communication protocols based on SDL languageKamel Karoui, Rachida Dssouli, Nina Yevtushenko. sdl 1997: 151

A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data NetworksZhongping Tao, Gregor von Bochmann, Rachida Dssouli. monet, 2(3):259-269, 1997.

1996

Testing in context: framework and test derivationAlexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli. comcom, 19(14):1236-1249, 1996. [doi]

Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995Gregor von Bochmann, Rachida Dssouli, Omar Rafiq, editors, Volume 43 of IFIP Conference Proceedings, Chapman & Hall, 1996.

1995

1994

1993

Multiple Fault Diagnostics for Finite State MachinesAbderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli. infocom 1993: 782-791

Diagnosis of Single Transition Faults in Communicating Finite State MachinesAbderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli. icdcs 1993: 157-166

Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed PortsGang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi. pts 1994: 139-153

Conformance Relations and Test DerivationAlexandre Petrenko, Gregor von Bochmann, Rachida Dssouli. pts 1994: 157-178

On Evaluation of Testability of Protocol StructuresAlexandre Petrenko, Rachida Dssouli, Hartmut König. pts 1994: 111-124

Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992Gregor von Bochmann, Rachida Dssouli, Anindya Das, editors, Volume C-11 of IFIP Transactions, North-Holland, 1993.

1992

Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State MachinesAbderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann. pts 1993: 105-116

1991

TESTL: An Environment for Incremental Test Suite Design Based on Finite-State ModelsMartin Dubuc, Rachida Dssouli, Gregor von Bochmann. pts 1992: 195-206

Fault Models in TestingGregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo. pts 1992: 17-30

1990

Distributed Observation and FIFO QueuesRachida Dssouli, Reine Fournier, Gregor von Bochmann. forte 1991: 303-310

1989

Trace Analysis for Conformance and Arbitration TestingGregor von Bochmann, Rachida Dssouli, J. R. Zhao. TSE, 15(11):1347-1356, 1989. [doi]

1985

Error detection with multiple observersRachida Dssouli, Gregor von Bochmann. pstv 1985: 483-494

Use of Prolog for building protocol design toolsGregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural. pstv 1985: 131-147

1984

Use of Formal Specifications for Protocol Design, Implementation and TestingGregor von Bochmann, Eduard Cerny, G. Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre. pstv 1985: 137-144