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 |