Search the dblp DataBase
Rachida Dssouli :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Stéphane S. Somé , Rachida Dssouli , Jean G. Vaucher From Scenarios to Timed Automata: Building Specifications from Users Requirements. [Citation Graph (0, 0)][DBLP ] APSEC, 1995, pp:48-57 [Conf ] Abdelhakim Hafid , Jan de Meer , Alex Rennoch , Gregor von Bochmann , Rachida Dssouli Quality of service verification experiments. [Citation Graph (0, 0)][DBLP ] CASCON, 1994, pp:23- [Conf ] Rachida Dssouli , Stéphane S. Somé , J.-W. Guillery , Nathalie Rico Detection of Feature Interactions with REST. [Citation Graph (0, 0)][DBLP ] FIW, 1997, pp:271-283 [Conf ] Rachida Dssouli , Reine Fournier , Gregor von Bochmann Distributed Observation and FIFO Queues. [Citation Graph (0, 0)][DBLP ] FORTE, 1990, pp:303-310 [Conf ] Jameleddine Hassine , Juergen Rilling , Rachida Dssouli Abstract Operational Semantics for Use Case Maps. [Citation Graph (0, 0)][DBLP ] FORTE, 2005, pp:366-380 [Conf ] Ahmed Khoumsi , Gregor von Bochmann , Rachida Dssouli Protocol Synthesis for Real-Time Applications. [Citation Graph (0, 0)][DBLP ] FORTE, 1999, pp:417-433 [Conf ] Rabeb Mizouni , Aziz Salah , Siamak Kolahi , Rachida Dssouli Composition of Use Cases Using Synchronization and Model Checking. [Citation Graph (0, 0)][DBLP ] FORTE, 2006, pp:292-306 [Conf ] Aziz Salah , Rachida Dssouli , Guy Lapalme Compiling Real-Time Scenarios into a Timed Automaton. [Citation Graph (0, 0)][DBLP ] FORTE, 2001, pp:135-150 [Conf ] Aziz Salah , Rabeb Mizouni , Rachida Dssouli , Benoit Parreaux Formal Composition of Distributed Scenarios. [Citation Graph (0, 0)][DBLP ] FORTE, 2004, pp:213-228 [Conf ] Stéphane S. Somé , Rachida Dssouli , Jean G. Vaucher A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. [Citation Graph (0, 0)][DBLP ] FORTE, 1995, pp:287-294 [Conf ] Z. P. Tao , Gregor von Bochmann , Rachida Dssouli An efficient method for protocol conversion. [Citation Graph (0, 0)][DBLP ] ICCCN, 1995, pp:40- [Conf ] Abderrazak Ghedamsi , Gregor von Bochmann , Rachida Dssouli Diagnosis of Single Transition Faults in Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP ] ICDCS, 1993, pp:157-166 [Conf ] Zhongping Tao , Gregor von Bochmann , Rachida Dssouli Verification and diagnosis of testing equivalence and reduction relation. [Citation Graph (0, 0)][DBLP ] ICNP, 1995, pp:14-21 [Conf ] Mohamed Adel Serhani , Rachida Dssouli , Abdelhakim Hafid , Houari A. Sahraoui A QoS Broker Based Architecture for Efficient Web Services Selection. [Citation Graph (0, 0)][DBLP ] ICWS, 2005, pp:113-120 [Conf ] Abderrazak Ghedamsi , Gregor von Bochmann , Rachida Dssouli Multiple Fault Diagnostics for Finite State Machines. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1993, pp:782-791 [Conf ] Kamel Karoui , Abderrazak Ghedamsi , Rachida Dssouli A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs. [Citation Graph (0, 0)][DBLP ] ISCC, 1999, pp:109-115 [Conf ] Dhafer Ben Khedher , Roch H. Glitho , Rachida Dssouli Media Handling for Multiparty Sessions in Ad Hoc Peer-to-Peer Networks: A Novel Distributed Approach. [Citation Graph (0, 0)][DBLP ] ISCC, 2005, pp:131-136 [Conf ] Mohamed Adel Serhani , Rachida Dssouli , Houari A. Sahraoui , Abdelhakim Hafid , Abdelghani Benharref Toward A new Approach for Web Services Development Life Cycle. [Citation Graph (0, 0)][DBLP ] ISWS, 2005, pp:94-103 [Conf ] Abdelghani Benharref , Roch H. Glitho , Rachida Dssouli Mobile Agents for Testing Web Services in Next Generation Networks. [Citation Graph (0, 0)][DBLP ] MATA, 2005, pp:182-191 [Conf ] 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). [Citation Graph (0, 0)][DBLP ] MMM, 1998, pp:223-0 [Conf ] Abdelhakim Hafid , Rachida Dssouli A Negotiation Model for Distributed Multimedia Applications. [Citation Graph (0, 0)][DBLP ] MMNET, 1995, pp:142-151 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Protocols for High-Speed Networks, 1994, pp:21-37 [Conf ] Rachida Dssouli , Gregor von Bochmann Error detection with multiple observers. [Citation Graph (0, 0)][DBLP ] PSTV, 1985, pp:483-494 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] PSTV, 1984, pp:137-144 [Conf ] Gregor von Bochmann , Rachida Dssouli , Wanderley Lopes de Souza , Behçet Sarikaya , Hasan Ural Use of Prolog for building protocol design tools. [Citation Graph (0, 0)][DBLP ] PSTV, 1985, pp:131-147 [Conf ] Ahmed Khoumsi , Gregor von Bochmann , Rachida Dssouli On specifying services and synthesizing protocols for real-time applications. [Citation Graph (0, 0)][DBLP ] PSTV, 1994, pp:185-200 [Conf ] Martin Dubuc , Rachida Dssouli , Gregor von Bochmann TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1991, pp:195-206 [Conf ] Abdelghani Benharref , Rachida Dssouli , Roch H. Glitho , Mohamed Adel Serhani Towards the Testing of Composed Web Services in 3rd Generation Networks. [Citation Graph (0, 0)][DBLP ] TestCom, 2006, pp:118-133 [Conf ] Abdeslam En-Nouaary , Rachida Dssouli A Guided Method for Testing Timed Input Output Automata. [Citation Graph (0, 0)][DBLP ] TestCom, 2003, pp:211-225 [Conf ] Gregor von Bochmann , Anindya Das , Rachida Dssouli , Martin Dubuc , Abderrazak Ghedamsi , Gang Luo Fault Models in Testing. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1991, pp:17-30 [Conf ] C. Bourhfir , Rachida Dssouli , El Mostapha Aboulhamid , Nathalie Rico A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. [Citation Graph (0, 0)][DBLP ] IWTCS, 1998, pp:275-290 [Conf ] Abderrazak Ghedamsi , Rachida Dssouli , Gregor von Bochmann Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:105-116 [Conf ] Ahmed Khoumsi , Mehdi Akalay , Rachida Dssouli , Abdeslam En-Nouaary , Louis Granger An Approach for Testing Real Time Protocol Entities. [Citation Graph (0, 0)][DBLP ] TestCom, 2000, pp:281-300 [Conf ] Gang Luo , Rachida Dssouli , Gregor von Bochmann , Pallapa Venkataram , Abderrazak Ghedamsi Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1993, pp:139-153 [Conf ] Alexandre Petrenko , Gregor von Bochmann , Rachida Dssouli Conformance Relations and Test Derivation. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1993, pp:157-178 [Conf ] Alexandre Petrenko , Rachida Dssouli , Hartmut König On Evaluation of Testability of Protocol Structures. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1993, pp:111-124 [Conf ] Jameleddine Hassine , Juergen Rilling , Rachida Dssouli An ASM Operational Semantics for Use Case Maps. [Citation Graph (0, 0)][DBLP ] RE, 2005, pp:467-468 [Conf ] Abdeslam En-Nouaary , Ferhat Khendek , Rachida Dssouli Testing embedded real-time systems. [Citation Graph (0, 0)][DBLP ] RTCSA, 2000, pp:417-424 [Conf ] Abdeslam En-Nouaary , Ferhat Khendek , Rachida Dssouli Fault Coverage in Testing Real-Time Systems. [Citation Graph (0, 0)][DBLP ] RTCSA, 1999, pp:150-157 [Conf ] Abdeslam En-Nouaary , Rachida Dssouli , Ferhat Khendek , A. Elqortobi Timed Test Cases Generation Based on State Characterization Technique. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1998, pp:220-0 [Conf ] Jameleddine Hassine , Rachida Dssouli , Juergen Rilling Applying Reduction Techniques to Software Functional Requirement Specifications. [Citation Graph (0, 0)][DBLP ] SAM, 2004, pp:138-153 [Conf ] Jameleddine Hassine , Juergen Rilling , Rachida Dssouli Timed Use Case Maps. [Citation Graph (0, 0)][DBLP ] SAM, 2006, pp:99-114 [Conf ] C. Bourhfir , Rachida Dssouli , El Mostapha Aboulhamid , Nathalie Rico A test case generation tool for conformance testing of SDL systems. [Citation Graph (0, 0)][DBLP ] SDL Forum, 1999, pp:405-0 [Conf ] Abdeslam En-Nouaary , Rachida Dssouli , Ferhat Khendek From timed scenarios to SDL: specification, implementation and testing of real-time systems. [Citation Graph (0, 0)][DBLP ] SDL Forum, 1999, pp:67-0 [Conf ] Kamel Karoui , Rachida Dssouli , Nina Yevtushenko Design for testability of communication protocols based on SDL language. [Citation Graph (0, 0)][DBLP ] SDL Forum, 1997, pp:151-0 [Conf ] C. Bourhfir , El Mostapha Aboulhamid , Ferhat Khendek , Rachida Dssouli Test cases selection from SDL specifications. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2001, v:35, n:6, pp:693-708 [Journal ] Rachida Dssouli , Yair Lahav MSC and SDL in project life cycles. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2001, v:35, n:6, pp:611-612 [Journal ] Rachida Dssouli , Kassem Saleh , El Mostapha Aboulhamid , Abdeslam En-Nouaary , C. Bourhfir Test development for communication protocols: towards automation. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1999, v:31, n:17, pp:1835-1872 [Journal ] Abdelhakim Hafid , Gregor von Bochmann , Rachida Dssouli A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1998, v:30, n:8, pp:777-794 [Journal ] C. Bourhfir , El Mostapha Aboulhamid , Rachida Dssouli , Nathalie Rico A test case generation approach for conformance testing of SDL systems. [Citation Graph (0, 0)][DBLP ] Computer Communications, 2001, v:24, n:3-4, pp:319-333 [Journal ] Alexandre Petrenko , Nina Yevtushenko , Gregor von Bochmann , Rachida Dssouli Testing in context: framework and test derivation. [Citation Graph (0, 0)][DBLP ] Computer Communications, 1996, v:19, n:14, pp:1236-1249 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IJWIS, 2005, v:1, n:3, pp:147-159 [Journal ] Rachida Dssouli Preface. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2002, v:44, n:5, pp:277-278 [Journal ] Rachida Dssouli , Ferhat Khendek Preface. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2003, v:45, n:11, pp:699- [Journal ] Rachida Dssouli , Ferhat Khendek Preface. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2003, v:45, n:12, pp:791-792 [Journal ] Rachida Dssouli , Kamel Karoui , Kassem Saleh , O. Cherkaoui Communications software design for testability: specification transformations and testability measures. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1999, v:41, n:11-12, pp:729-743 [Journal ] Rachida Dssouli , Stéphane S. Somé , Jean G. Vaucher , Aziz Salah A service creation environment based on scenarios. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1999, v:41, n:11-12, pp:697-713 [Journal ] Charles Hélou , Rachida Dssouli , Teodor Gabriel Crainic Performance testing of a negotiation platform. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2002, v:44, n:5, pp:313-330 [Journal ] Aziz Salah , Rachida Dssouli , Guy Lapalme Implicit integration of scenarios into a reduced timed automaton. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2003, v:45, n:11, pp:715-725 [Journal ] Zhongping Tao , Gregor von Bochmann , Rachida Dssouli A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. [Citation Graph (0, 0)][DBLP ] MONET, 1997, v:2, n:3, pp:259-269 [Journal ] D. B. Kheder , Roch H. Glitho , Rachida Dssouli Media handling aspects of multimedia conferencing in broadband wireless ad hoc networks. [Citation Graph (0, 0)][DBLP ] IEEE Network, 2006, v:20, n:2, pp:42-49 [Journal ] Gregor von Bochmann , Rachida Dssouli , J. R. Zhao Trace Analysis for Conformance and Arbitration Testing. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1347-1356 [Journal ] Abdeslam En-Nouaary , Rachida Dssouli , Ferhat Khendek Timed Wp-Method: Testing Real-Time Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:11, pp:1023-1038 [Journal ] Abdelghani Benharref , Rachida Dssouli , Mohamed Adel Serhani , Abdeslam En-Nouaary , Roch H. Glitho New Approach for EFSM-Based Passive Testing of Web Services. [Citation Graph (0, 0)][DBLP ] TestCom/FATES, 2007, pp:13-27 [Conf ] Jameleddine Hassine , Juergen Rilling , Rachida Dssouli Formal Verification of Use Case Maps with Real Time Extensions. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2007, pp:225-241 [Conf ] Rabeb Mizouni , Aziz Salah , Rachida Dssouli Using Formal Composition of Use Cases in Requirements Engineering. [Citation Graph (0, 0)][DBLP ] SEKE, 2007, pp:238-0 [Conf ] Securing Telehealth Applications in a Web-Based e-Health Portal. [Citation Graph (, )][DBLP ] Symbolic model checking for agent interactions. [Citation Graph (, )][DBLP ] Preserving Privacy in E-health Systems Using Hippocratic Databases. [Citation Graph (, )][DBLP ] A New Semantics of Social Commitments Using Branching Space-Time Logic. [Citation Graph (, )][DBLP ] A Negotiation Framework for the Composition of Registries in Ambient Networks. [Citation Graph (, )][DBLP ] Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks. [Citation Graph (, )][DBLP ] An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem. [Citation Graph (, )][DBLP ] The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking. [Citation Graph (, )][DBLP ] A Case Study on Multiparty Calls Differentiation in the IP Multimedia Subsystem. [Citation Graph (, )][DBLP ] Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. [Citation Graph (, )][DBLP ] Verifiable Semantic Model for Agent Interactions Using Social Commitments. [Citation Graph (, )][DBLP ] A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem. [Citation Graph (, )][DBLP ] A Novel Overlay-Based Failure Detection Architecture for MANET Applications. [Citation Graph (, )][DBLP ] An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient Networks. [Citation Graph (, )][DBLP ] Case Study: Master of Science in Service Computing (Msc SC). [Citation Graph (, )][DBLP ] An Integrated Semantics of Social Commitments and Associated Operations. [Citation Graph (, )][DBLP ] Enhancing Engineering Methodology for Communities of Web Services. [Citation Graph (, )][DBLP ] An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETs. [Citation Graph (, )][DBLP ] Search in 0.031secs, Finished in 0.038secs