The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rachida Dssouli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Rachida Dssouli, Reine Fournier, Gregor von Bochmann
    Distributed Observation and FIFO Queues. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:303-310 [Conf]
  5. Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
    Abstract Operational Semantics for Use Case Maps. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:366-380 [Conf]
  6. Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli
    Protocol Synthesis for Real-Time Applications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:417-433 [Conf]
  7. 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]
  8. 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]
  9. Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux
    Formal Composition of Distributed Scenarios. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:213-228 [Conf]
  10. 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]
  11. Z. P. Tao, Gregor von Bochmann, Rachida Dssouli
    An efficient method for protocol conversion. [Citation Graph (0, 0)][DBLP]
    ICCCN, 1995, pp:40- [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. Abdelhakim Hafid, Rachida Dssouli
    A Negotiation Model for Distributed Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    MMNET, 1995, pp:142-151 [Conf]
  22. 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]
  23. Rachida Dssouli, Gregor von Bochmann
    Error detection with multiple observers. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:483-494 [Conf]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli
    Testing embedded real-time systems. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:417-424 [Conf]
  39. 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]
  40. 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]
  41. 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]
  42. Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
    Timed Use Case Maps. [Citation Graph (0, 0)][DBLP]
    SAM, 2006, pp:99-114 [Conf]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. Rachida Dssouli
    Preface. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2002, v:44, n:5, pp:277-278 [Journal]
  54. Rachida Dssouli, Ferhat Khendek
    Preface. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:11, pp:699- [Journal]
  55. Rachida Dssouli, Ferhat Khendek
    Preface. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:12, pp:791-792 [Journal]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. 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]
  66. 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]

  67. Securing Telehealth Applications in a Web-Based e-Health Portal. [Citation Graph (, )][DBLP]


  68. Symbolic model checking for agent interactions. [Citation Graph (, )][DBLP]


  69. Preserving Privacy in E-health Systems Using Hippocratic Databases. [Citation Graph (, )][DBLP]


  70. A New Semantics of Social Commitments Using Branching Space-Time Logic. [Citation Graph (, )][DBLP]


  71. A Negotiation Framework for the Composition of Registries in Ambient Networks. [Citation Graph (, )][DBLP]


  72. Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks. [Citation Graph (, )][DBLP]


  73. An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem. [Citation Graph (, )][DBLP]


  74. The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking. [Citation Graph (, )][DBLP]


  75. A Case Study on Multiparty Calls Differentiation in the IP Multimedia Subsystem. [Citation Graph (, )][DBLP]


  76. Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. [Citation Graph (, )][DBLP]


  77. Verifiable Semantic Model for Agent Interactions Using Social Commitments. [Citation Graph (, )][DBLP]


  78. A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem. [Citation Graph (, )][DBLP]


  79. A Novel Overlay-Based Failure Detection Architecture for MANET Applications. [Citation Graph (, )][DBLP]


  80. An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient Networks. [Citation Graph (, )][DBLP]


  81. Case Study: Master of Science in Service Computing (Msc SC). [Citation Graph (, )][DBLP]


  82. An Integrated Semantics of Social Commitments and Associated Operations. [Citation Graph (, )][DBLP]


  83. Enhancing Engineering Methodology for Communities of Web Services. [Citation Graph (, )][DBLP]


  84. An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETs. [Citation Graph (, )][DBLP]


Search in 0.490secs, Finished in 0.495secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002