RESEARCH CONTRIBUTIONS

1. PATENTS

Granted

1.      R. Dssouli, C. Fu, and R. Glitho, Methods for Cluster-Based Multi-Party Conferencing in Ad Hoc Networks, Patent No US 7,460, 508B2, December 2008

 

 

Six other patent Filled

 

 

2. BOOKS (Eds)

 

  1. F.  Khendek, R. 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
  2. R. Dssouli, F. Khendek, A. Serhrouchni, Conférence Internationale sur Les Nouvelles Technologies de la Répartition, 27-30 juin 2004, actes de la conférence, Concordia, ENST-Paris, 2004
  3. I. Chrisment, R. Dssouli, Securité et Architecture de Réseaux, 29 juin au 4 juillet 2003, Actes de Conférence, INRIA Loraine, 2003
  4. R. Dssouli, F. Khendek and Thiruvengadam Radhakrishnan, Concordia Summer School, August  26-29th, 2002. Concordia Proceedings. 2002
  5. R. Dssouli, F. Khendek, Concordia Prestigious Workshop on Communication Software Engineering, September 11th 2001, Concordia Proceedings, 2001
  6. R. Dssouli, G.v. Bochmann and Y. Lahav, "SDL'99, The next Millennium", Elsevier ISBN 0-444-50228-9, 1999.
  7. R. Dssouli, P. Dini et M. Kadoch, Colloque International sur les Nouvelles Technologies de la Répartition,  Editions CRIM, Montréal, 1998, ISBN: 2-921316-88-9, 1998.
  8. A. Bennani, R. Dssouli, A. Benkiran,  O. Rafiq (Ed.), Colloque Francophone sur l'Ingénierie des Protocoles 1996, ISBN 9981-129-00-3, diffusion Eyrolles, 1996.
  9. G.v. Bochmann, R. Dssouli, O. Rafiq (Ed.), IFIP TC6 Eighth International Conference on Formal Description Techniques 1995, Edition Chapman and Hall 1996, ISBN 0-412-73270-X, 1996.
  10. R. Dssouli, G.v. Bochmann (Ed.), Colloque Francophone sur l'Ingénierie des Protocoles, Éditions Hermes, ISBN 2-86601-378-6, 1993.
  11. G.v. Bochmann, R. Dssouli, A. Das (Ed.), IFIP Transactions on Communication Systems, Proceedings of the IFIP TC6/ WG6.1 Fifth Working International Conference on Protocol Test Systems 1993, North-Holland, ISBN 0 44 89980 4, ISSN 0926-549X, 1993.

 

3. GUEST EDITOR (Journals)

 

  1. R. Dssouli, F. Khendek, Journal of Information and Software Technology, Elsevier, Testing and Validation of Communication Software, 2003.
  2. Rachida Dssouli, Ferhat Khendek: Preface. Information & Software Technology 45(11): 699, 2003.
  3. R. Dssouli, F. Khendek Journal of Information and Software Technology, Elsevier, Communication Software Engineering, 2003
  4. Rachida Dssouli, Ferhat Khendek: Preface. Information & Software Technology 45(12): 791-792, 2003.
  5. R. Dssouli, Journal of Information and Software Technology, Volume 44, Issue 5, April 2002, ISSN 0950-5849, Elsevier, Special Issue on Technology aspects of E-Commerce Applications.
  6. Rachida Dssouli: Preface. Information & Software Technology 44(5): 277-278, 2002.
  7. R. Dssouli, Y. Lahav, Computer Networks, (The International Journal of Computers and Telecommunications Networking.) Vol. 35, Issue 6, May 2001, ISSN, 1389-1286. North –Holland. Special Issue on MSC and SDL in Project Life Cycle.
  8. Rachida Dssouli, Yair Lahav: MSC and SDL in project life cycles (preface). Computer Networks 35(6): 611-612 (2001).
  9. M. Erradi, L. Logrippo, R. Dssouli, Ingénierie des services télecoms”, Réseaux et Systèmes répartis, Volume 12, numéro 2/2000 137-288, Hermes.
  10. G.v. Bochmann, R. Dssouli, O. Rafiq, Computer Networks and ISDN Systems, Special Issue, Theme Issue FORTE'95.

 

4. REFEREED JOURNAL PUBLICATIONS

 

22.  Benjamin C. M. Fung, Thomas Trojer, Patrick C. K. Hung, Li Xiong, Khalil Al-Hussaeni, Rachida Dssouli: Service-Oriented Architecture for High-Dimensional Private Data Mashup. IEEE T. Services Computing 5(3): 373-386 (2012) 2011 103

  1. May El Barachi, Roch H. Glitho, Rachida Dssouli: Control-level call differentiation in IMS-based 3G core networks. IEEE Network 25(1): 20-28 (2011)
  2. Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli: An overlay network for autonomous information discovery in the post-composition registries of ambient networks. J. Network and Computer Applications 34(2): 697-707 (2011)

25.  May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli: The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless sensor networks. IEEE Communications Magazine 48(4): 42-50 (2010) 91

  1. Jameleddine Hassine, Juergen Rilling, Rachida Dssouli: An evaluation of timed scenario notations. Journal of Systems and Software 83(2): 326-350 (2010)
  2. Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli: Media handling for multimedia conferencing in multihop cellular networks. IEEE Network 23(2): 35-42 (2009)
  3. Jameleddine Hassine, Juergen Rilling, Rachida Dssouli: Use Case Maps as a property specification language. Software and System Modeling 8(2): 205-220 (2009)
  4. M. Qiao, F. Khendek, A. Serhani, R. Dssouli, R. Glitho, An Architecture for Automatic QoS Adaptation for Composite Web Services, International Journal of Web Service Practices, Web Services Research Foundation, Vol.4, No1, pp. 18-27, 2009

30.  A. Benharref, R. Dssouli, M. Serhani and R. Glitho, Efficient Traces Collection Mechanisms for Passive Testing of Web Services, Elsevier Information and Software Technology 51 (2009), 362 – 374

31.  F. Belqasmi, R. Glitho and R. Dssouli, Ambient Network Composition, IEEE Network Magazine 22(4), pp. 6 - 12 (2008).

  1. D. Ben Khedher, R. Glitho and R. Dssouli, Media Handling for Multimedia Conferencing in Multihop Cellular Networks, accepted for publication, forthcoming, IEEE Network Magazine
  2. R. Mizouni*, A. Salah, R. Dssouli, S. Kolahi*, “Merging Partial System Behaviors: Composition of Use Case Automata”, accepted for publication, IEE Software, 2007.
  3. D. Ben Kheder*, R. Glitho, R. Dssouli, “Media Handling Aspects of Conferencing in Broadband Wireless Ad Hoc Networks”, IEEE Network Magazine, Vol. 20, No. 2: 42-49, 2006.
  4. M. Adel Serhani*, R. Dssouli, H. Sahraoui, A. Benharref*, E.Badidi, “VAQoS: Architecture for End-to-End QoS Management of Value Added Web Services”, published, , International Journal of Intelligent Information Technologies, IDS Group Publishing, Vol. 2, October- December: 37-56, 2006.
  5. M. El Barachi*, R. Glitho, and R. Dssouli, “Developing Applications for Internet Telephony: A Case Study on the Use of Web Services for Conferencing in SIP Networks”, the International Journal of Web Information Systems, Vol.1, No.3: 147-159, 2005.
  6. A. Salah*, R. Dssouli, G. Lapalme, “Implicit Integration of Scenarios into a reduced Timed Automaton”, Information and Software Technology, Elsevier, Vol. 45, (11): 715-725, 2003.
  7. A. En-Nouaary*, R. Dssouli, F. Khendek, "Timed Wp-Method: Testing Real-Time Systems", IEEE Transactions on Software Engineering, Vol. 28, No. 11: 1023-1038, 2002. (Citations: 74, 26-09-2009)
  8. C. Helou*, R. Dssouli, G.T. Crainic, "Performance Testing of a Negociation Plate-form", Information and Software Technology, 44 (2002), p. 313-330, Elsevier, 2002.
  9. C. Bourfir*, E. Aboulhamid, F. Khendek and R. Dssouli, “ Test cases selection from SDL Specifications”, Journal of Computer Networks (formerly Computer Networks and ISDN Systems), Vol. 35, No. 6, May 2001, pp. 693-708.
  10. J-M Ng*, M. Poirier*, Y. Guo*, G. Canals, R. Dssouli, “Une architecture pour la gestion de la qualité de service”, RERIR, Numéro special sur NOTERE'2000.
  11. C. Bourhfir*, E. Aboulhamid, R. Dssouli and N. Rico, "A test case generation approach for conformance testing of SDL systems", in Computer Communications 24 (3-4): 319-333, Elsevier 1999.
  12. R. Dssouli, K. Saleh, El M. Aboulhamid, A. En-Nouaary and C. Bourhfir*, "Test development for communication protocols: Toward automation", in Computer Networks, The International Journal of Computer and Telecommunications Networks, Special Issue ISSN 1389-1286 , Advanced Topics on SDL and MSC, Vol. 31, Num. 17, June 1999, Elsevier, pp. 1835-1872. (Citations: 52, 22-09-2009).
  13. R. Dssouli, K. Karoui*, K. Saleh and O. Cherkaoui, "Communications Software Design for Testability: Specification Transformations and Testability Measures", Special Issue "Communications Software Engineering", Information and Software Technology, Vol. 41, Num. 11-12, 1999, Elsevier, pp. 697 – 713.
  14. R. Dssouli, S. Somé*, J. Vaucher and A. Salah*, "Requirement Engineering based on Scenarios", Special Issue "Communications Software Engineering", Information and Software Technology, Vol. 41, Num. 11-12, 1999, Elsevier, pp. 729 – 743. (Citations: 50, 26-09-2009).
  15. A. Hafid*, G. v. Bochmann, R Dssouli, "Distributed Multimedia Application and Quality of Service: a Review", The Electronic Journal on Networks and Distributed Processing, http://rerir.univ-pau.fr, N. 6, pp. 1-50 Fevrier 1998. (Citations: 36, 03-02-2009).
  16. A. Hafid*, G. Bochmann, R. Dssouli, "Quality of service negotiation with present and future reservations (NAFUR): a detailed study", Computer Networks and ISDN Systems, volume 30, pp. 777-794,  Issue 8, Elsevier,  1998. (Citations: 24, 03-02-2009).
  17. S.S. Somé*, R. Dssouli, "An Enhancement of Timed Automata generation from Timed Scenarios using Grouped States", The Electronic Journal on Networks and Distributed Processing, http://rerir.univ-pau.fr, Numéro 6, Fevrier 1998.
  18. Z. P. Tao*, G.v. Bochmann and R. Dssouli, "An efficient method for Protocol Conversion", Special Issue of ACM Wireless Networks (WINET), 16 pages, 1997.
  19. S.S. Somé*, R. Dssouli and J. Vaucher, "Toward an Automation of Requirements Engineering using Scenarios". Journal of Computing and Information, Vol 2,1, 1996, pp 1110-1132, 1996. . (Citations: 50, 22-09-2009)
  20. A. Petrenko, N. Yevtushenko, G. von Bochmann, R. Dssouli “Testing in context: framework and test derivation”, Computer Communications Vol. 19(14): 1236-1249, 1994. (Citations: 50, 22-10-2009)
  21. G. Luo, R. Dssouli, G. v. Bochmann, P. Ventakaram and A. Ghedamsi, "Test generation with respect to distributed interfaces", Computer Standards & Interfaces 16 , pp. 119-132, 1994. (Citations: 50, 22-10-2009)
  22. A. Khoumsi, G. v. Bochmann and R. Dssouli, "Dérivation de spécifications de protocole à partir de spécifications de service  avec des contraintes temps-réel", Revue Réseaux et Informatique Répartie, Vol. 4, No.1,  pp.7-29, 1994.
  23. M. Erradi*, R. Dssouli and G. v. Bochmann, "A framework for specification evolution of distributed systems", Réseaux et Informatique Répartie, Vo. 3, pp. 37-60, 1993.
  24. A. Kurokawa, R. Dssouli and A. Das, "A design framework for highly available communication systems", Computer Standards & Interfaces, Vol.14, North-Holland, pp.375-391, 1993.
  25. A. Ghedamsi*, G. v. Bochmann and R. Dssouli, "Diagnosing distributed systems modeled by communicating finite state machines", Revue Réseaux et Informatique Répartie, Vol.3, No.4, pp. 343-363, Éditions Hermes, 1993.
  26. G. von Bochmann, R. Dssouli, J. R. Zhao: Trace Analysis for Conformance and Arbitration Testing. IEEE Trans. Software Eng. 15(11): 1347-1356 (1989) 1985. (Citations: 60, 22-09-2009)

 

 

Book Chapters

  1. M. A. Serhani*, M. E. Badidi, A. Benharref*, R. Dssouli, H. Sahraoui “Integration of Management of Quality of Web Services in Service Oriented Architecture”, Book chapter in  Advanced Topics in Intelligent Information Technologies, Volume II, 2006.
  2. A. Benharref*, M. Adel Serhani, M. Salem, R. Dssouli, “Multi-tier Framework for Management of Web Services’ Quality”, Book Chapter accepted for publication in Managing Web Service Quality: Measuring Outcomes and Effectiveness

 

 5. LECTURE NOTE IN COMPUTER SCIENCE (LNCS)

 

  1. J. Hassine*, J. Rilling, R. Dssouli., “Formal Verification of Use CaseMaps with Real Time Extensions”,  LNCS 4745, Springer,  eds. E. Gaudin, E. Najm, R. Reed, page 225-241, SDL Forum 2007.
  2. A. Benharref*, R. Dssouli, M.A. Serhani, A. En-Nouaaary and R. Glitho, «  New Approach for EFSM-Based Passive Testing of web services », published in 19th IFIP TC6/WG6.1 International Conference, , LNCS 4581, Springer, eds. Petrenko and al., page 13-27, TestCom 2007.
  3. J. Hassine*, J. Rilling, R. Dssouli. “Timed Use Case Maps”, System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4320 Springer 2006, ISBN 3-540-68371-2: 99-114, 2006.
  4. R. Mizouni*, A. Salah, R. Dssouli, S. Kolahi*. “Composition of Use cases using Model Checking and Synchronization”.  26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, LNCS Vol. 4229, Springer 2006, ISBN 3-540-46219-8, 292-306, 2006.
  5. A. Benharref*, M. Serhani*, R.H. Glitho and R. Dssouli. “Towards the Testing of Web Services in 3rd Generation Networks”, TestCom 2006, Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, , New York, NY, USA, May 16-18, 2006, Proceedings. Lecture Notes in Computer Science 3964 Springer 2006, ISBN 3-540-34184-6: 118-133, 2006.
  6. A. Benharref*, R. H. Glitho, R. Dssouli, “Mobile Agents for Testing Web Services in Next Generation Networks” Mobility Aware Technologies and Applications, Second International Workshop, Montreal, Canada, October 17-19, 2005, Proceedings. Lecture Notes in Computer Science 3744 Springer 2005, ISBN 3-540-29410-4, MATA 2005: 182-191, 2005.
  7. J. Hassine*, J. Rilling, R. Dssouli, “Abstract Operational Semantics for Use Case Maps” in Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3731 Springer 2005, ISBN 3-540-29189-X, 366-380, 2005.
  8. J. Hassine*, R. Dssouli, J. Rilling, “Applying Reduction Techniques to Software Functional Requirement Specifications”, System Analysis and Modeling, 4th International SDL and MSCWorkshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3319 Springer 2005, ISBN 3-540-24561-8:138-153, 2005.
  9. A. Salah, R. Mizouni*, R. Dssouli, B. Parreaux “Formal Composition of Distributed Scenarios”, In Formal Techniques for Networked and Distributed Systems, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings. Lecture Notes in Computer Science 3235 Springer 2004, ISBN 3-540-23252-4,  FORTE 2004: 213-228, 2004.
  10. A. Ennouaary, R. Dssouli, “A Guided Method for Testing Timed Input Output Automata “, TESTCOM’2003, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings. Lecture Notes in Computer Science 2644 Springer 2003, ISBN 3-540-40123-7: 211-225, 2003.

 

6. OTHER REFEREED PUBLICATIONS

 

70.  May El Barachi, Nadjia Kara, Rachida Dssouli: Open virtual playground: Initial architecture and results. CCNC 2012: 576-581 104

71.  Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli: On the verification of social commitments and time. AAMAS 2011: 483-490 102

72.  Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb: Performance Evaluation of Mobile Web Services. ECOWS 2011: 184-191 101

73.  Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: Model Checking Commitment Protocols. IEA/AIE (2) 2011: 37-47 100

74.  Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb: On the Performance of Hosting Web Services on Mobile Devices. IEEE SCC 2011: 763-764 99

75.  Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: Symbolic Model Checking Commitment Protocols Using Reduction. DALT 2010: 185-203 95

76.  Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli: Symbolic model checking for agent interactions. AAMAS 2010: 1555-1556

77.  Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. KES-AMSTA (2) 2010: 11-21

78.  Mohamed Adel Serhani, Rachida Dssouli: Case Study: Master of Science in Service Computing (Msc SC). SERVICES 2010: 80-83

79.  May El Barachi, Roch H. Glitho, Rachida Dssouli: A Case Study on Multiparty Calls Differentiation in the IP Multimedia Subsystem. VTC Spring 2010: 1-5

80.  Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli: An Integrated Semantics of Social Commitments and Associated Operations. MALLOW 2009

81.  Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli: Enhancing Engineering Methodology for Communities of Web Services. MALLOW 2009

82.  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

83.  Qian Liu, Shuo Lu, Yuan Hong, Lingyu Wang, Rachida Dssouli: Securing Telehealth Applications in a Web-Based e-Health Portal. ARES 2008: 3-9

84.  Yuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli: Preserving Privacy in E-health Systems Using Hippocratic Databases. COMPSAC 2008: 692-697

85.  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

86.  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

87.  F. Belqasmi*, R. Glitho, R. Dssouli, “Data Inter-working Aspect of Network Cooperation in 4G: the case of Registry Composition in Ambient Network”, Accepted for publication in  IEEE BcN 2008, Paper will appear in the proceeding and will be included in IEEE Xplore (IEEE digital library)

  1. Slimane Bah, Roch H. Glitho, Rachida Dssouli: An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETs. NTMS 2008: 1-5
  2. S. Bah, B. Ahmad, R. Glitho, F. Khendek and R. Dssouli, A SIP servlet Framework for Provisioning Services in Mobile Ad Hoc Networks, Proceedings of the 12th International Conference on Intelligence in Network (ICIN 2008), October 20-23, 2008, Bordeaux, France
  3. 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
  4. 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
  5. M. El Barachi, A. Kadiwal, R. Glitho, F. Khendek,and R. Dssouli, A Presence-based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem, To appear in the proceedings of the IEEE Wireless Communications and Networking Conference 2008 (WCNC’ 08), March 31 - April 3, 2008, Las Vegas, Nevada, USA

93.  S. Bah, R. Glitho, R. Dssouli, “Provisioning Services in Multihop Cellular Networks When the End-Users are in the mobile Ad-hoc Network portion”, accepted for publication in IEEE BcN 2008, Paper will appear in the proceeding and will be included in IEEE Xplore (IEEE digital library)

94.  M. El Barachi*, A. Kadiwal*, R. Glitho, F. Khendek,and R. Dssouli, An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem, To appear in the proceedings of the IEEE 67th Vehicular Technology Conference (VTC 2008-Spring), May 11 - 14, 2008, Marina Bay, Singapore. Will be published by IEEE and fully indexed in IEEEXplore.

95.  M. El Barachi*, A. Kadiwal*, R. Glitho, F. Khendek,and R. Dssouli, “A Presence-based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem”, To appear in the proceedings of the IEEE Wireless Communications and Networking Conference 2008 (WCNC' 08), March 31 - April 3, 2008, Las Vegas, Nevada, USA. Will be published by IEEE and fully indexed in IEEEXplore.

96.   M. El Barachi*, R. Glitho, and R. Dssouli, “Enhancing the QoS and Resource Management Aspects of the 3GPP IMS Emergency Service Architecture”, In the proceedings of the IEEE Consumer Communications and Networking Conference 2008 (CCNC’08), January 10 - January 12, 2008, Las Vegas, Nevada, USA. Will be published by IEEE and fully indexed in IEEEXplore.

97.  S. Bah*, R. Glitho, and R. Dssouli, “SIP Servlets for Service Provisioning in Multihop Cellular Networks: High Level Architectural Alternatives”, In the proceedings of the IEEE Consumer Communications and Networking Conference 2008 (CCNC’08), January 10 - January 12, 2008, Las Vegas, Nevada, USA. Will be published by IEEE and fully indexed in IEEEXplore.

98.  Qian Liu, Shuo Lu, Yuan Hong, Lingyu Wang, Rachida Dssouli: Securing Telehealth Applications in a Web-Based e-Health Portal. IEEE ARES 2008: 3-9 The International Security and Dependability Conference. Published by IEEE and fully indexed in IEEEXplore

  1. Yuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli: Preserving Privacy in E-health Systems Using Hippocratic Databases. COMPSAC 2008: 692-697
  2. L.Wang,  Y. Hon, Liu Qian, Lu Shuo, R. Dssouli, “A Hierarchical Approach to the Specification of Privacy Preferences”, IIT’07.
  3. L.Wang, Lu Shuo, Y. Hon, Liu Qian, R. Dssouli,  “Access Control in e-Health Portal Systems”, Accepted for publication IIT’07.
  4. S. Kolahi,  A. Salah, R. Mizouni, R. Dssouli, “Tool Support for Composition and Verification of Formal Behaviors”, accepted for publication, IIT’07.
  5. Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli: An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient Networks. ICON 2007: 272-277
  6. Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli: A Novel Overlay-Based Failure Detection Architecture for MANET Applications. ICON 2007: 130-135
  7. Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli: A Negotiation Framework for the Composition of Registries in Ambient Networks. ISCC 2007: 981-987
  8. May El Barachi, Roch H. Glitho, Rachida Dssouli: Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks. ISCC 2007: 789-796
  9. D. Ben Kheder*, R. Glitho, R. Dssouli, “A Megaco Based-Architecture for Controlling Media Mixers When Conferencing in Mobile Ad Hoc Networks”, Accepted in the proceedings of the IEEE Consumer Communications and Networking Conference 2007 (CCNC’07), January 11 – January 13, 2007, Las Vegas, Nevada, USA. CCNC 2007.
  10. F. Belqasmi*, J. Mattan*, R. Glitho, F. Khendek, R. Dssouli, “An Architecture for Composing Registries when Ambient Networks Compose”, Accepted in the proceedings of the IEEE Consumer Communications and Networking Conference 2007 (CCNC’07), January 11 – January 13, 2007, Las Vegas, Nevada, USA. CCNC 2007.
  11. F. Belqasmi*, R. Glitho, R. Dssouli. “An Overlay Architecture for Information Publication and Discovery after the Composition of Registries in Ambient Networks”, Accepted In the proceedings of the IEEE Consumer Communications and Networking Conference 2007 (CCNC’07), January 11 – January 13, 2007, Las Vegas, Nevada, USA. CCNC 2007.
  12. B. Slimane*, R. Glitho, R. Dssouli. “A Business Model with a LINDA -Based Broker for Service Provisioning in Mobile Ad Hoc Networks”, 10th International Conference on Intelligence in Networks (ICIN 06), Bordeaux, France, 29 May - 1 June, 2006.
  13. R. Mizouni*, A. Salah, R. Dsouli, S. Kolahi*. “Automated Approach of Use Case Composition”. Accepted in MCSEAI'06: 9th Maghrebian Conference on Information Technologies, Agadir, Morocco, 2006.
  14. R. Mizouni*, A. Salah, R. Dssouli, S. Kolahi*. “Roles of variables in Use Case Composition”. New Technologies for Distributed Systems (NOTERE'2006), Toulouse, France 2006, ISBN: 10:2-7462-1588-8, Hermes Lavoisier: 51-62, 2006.
  15. A Benharref*, M. A. Serhani*, R. Dssouli, R. Glitho and. Les Agents Mobiles pour la Vérification de la Qualité de Service des Services Web, Les Nouvelles Technologies de la Repartition (NOTERE'06), Toulouse, France, June 2006, 339-350. ISBN: 10:2-7462-1588-8, Hermes Lavoisier. 2006.
  16. M. Adel Serhani*, R. Dssouli, A. Benharef*. “CompQoS: Towards an Architecture for QoS composition and monitoring (validation) of composite web services”, IASTED, International Conference on Web Technologies, Application, And Services, WTAS, Calgary, Alberta, Canada. July 2006.
  17. D. Ben Khedher*, R. H. Glitho, R. Dssouli, “Media Handling for Multiparty Sessions in Ad Hoc Peer-to-Peer Networks: A Novel Distributed Approach”. Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 27-30 June 2005, Murcia, Cartagena, Spain. IEEE Computer Society 2005, ISBN 0-7695-2373-0, ISCC 2005: 131-136, 2005.
  18. M. A; Serhani, R. Dssouli, A. Hafid, H. A. Sahraoui, “A QoS Broker Based Architecture for Efficient Web Services Selection”, IEEE International Conference on Web Services (ICWS 2005), 11-15 July 2005, Orlando, FL, USA. IEEE Computer Society 2005, ISBN 0-7695-2409-5, ICWS 2005: 113-120, 2005. (Citation 60, 26-09-2009).
  19. M. A.  Serhani*, R. Dssouli, H. Sahraoui, A. Benharref*, AM.E. Badidi ”QoS Integration in Value Added Web Services”, Accepted in the second International Conference on Innovation in Information Technology IIT’05.
  20. M. A. Serhani*, R. Dssouli, H. A. Sahraoui, A. Hafid, A. Benharref*, “Toward A new Approach for Web Services Development Life Cycle” Proceedings of The 2005 International Symposium on Web Services and Applications, ISWS 2005, Las Vegas, Nevada, USA, June 27-30, 2005. CSREA Press 2005, ISBN 1-932415-72-6,  ISWS 2005: 94-103, 2005.
  21. A. Benharref*, R. Glitho, R. Dssouli, “A web Service based-Architecture for detecting faults in web Services“, The Ninth IFIP/IEEE International Symposium on Integrated Network Management , IM 2005.
  22. J. Hassine*, J. Rilling, R. Dssouli: An ASM Operational Semantics for Use Case Maps. 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France. IEEE Computer Society 2005, ISBN 0-7695-2425-7. RE 2005, 467-468. 2005.
  23. M. A.  Serhani*, R. Dssouli, A. Hafid, H. Sahraoui, “A QoS Broker based Architecture for Efficient Web Services Selection”, IEEE ICWS 2005, IEEE Computer Society 2005, ISBN 0-7695-2409-5, Volume 1,113-120. 2005. (Citations: 60, 26-09-2009)
  24. M. A. Serhani*, R. Dssouli, H. Sahraoui, A. Hafid, A. Benharref*, “Toward a New Approach for Web Services Development Life Cycle”, accepted in the 2005 International Symposium on Web Services and Applications (ISWS'05), CSREA Press 2005, ISBN 1-932415-72-6, 94-1003. 2005.
  25. D. Benkheder*, R. Glitho, R. Dssouli, Media Handling for Multiparty Sessions in Ad-hoc Peer-to-Peer Networks: A Novel Distributed Approach, the 10th IEEE Symposium on Computers and Communications, IEEE ISCC 2005. IEEE Computer Society 2005, ISBN 0-7695-2373-0, 131-136. 2005.
  26. A. Benharref*, A. Serhani, R. Glitho, R. Dssouli, “Une architecture Multi-Observateur pour l’Observation des Services Web Composés “, Actes du 5ième colloque sur les Nouvelles Technologies de la Répartition (NOTERE 2005), ISBN 2-9809043-0-9, NOTERE’2005.
  27. C. Fu*, R. Glitho, R. Dssouli, “A Novel Signaling System for Multiparty Sessions in Peer-to-Peer Ad Hoc Networks” IEEE Wireless Communications & Networking Conference 2005.
  28. F. Belqasmi*, R. Glitho, R. Dssouli, “Using Web Services in Telecommunication Networks: An Architecture for the Common Functions”, NOTERE’2004.
  29. R. Mizouni*, S. Aziz, R. Dssouli, B. Parreaux, “Integrating Scenarios with explicit loops”, NOTERE 2004.
  30. N. Varma, S. Kanade, P. Sinha, R. Dssouli, “ CAGILY: An approach for Developing Test Suites for Component-Based Systems”, 7th IASTED International Conference on SOFTWARE ENGINEERING AND APPLICATIONS, SEA 2003, Marina del Rey, CA, USA, November 3-5, 2003,
  31. M. Nourelfath, K. El Ghazouani*, A. En-Nouaary and R. Dssouli (2003). Diagnostic automatique des systèmes temps réel. 5th International Industrial Engineering Conference, Quebec, 26-29 October.
  32. Yan Zhang, R. Dssouli, F. Khendek, “Test cases generation from decomposable EFSMs” Proceedings of International Workshop on Communications Software Engineering, IEEE ISSPIT, pp 332-337, 2002.
  33. A. Benharref*, R. Dssouli, Z. Berbich*, I. Chrisment, “Formal Specifications, TTCN and executable test cases for main IPV6 protocols, Proceedings of International Workshop on Communications Software Engineering, IEEE ISSPIT, pp 348-351, 2002.
  34. A. Salah*., R. Dssouli, “ Specification Synthesis by Merging Use Cases”, Proceedings of International Workshop on Communications Software Engineering, IEEE ISSPIT, pp 393-397, 2002.
  35. Aziz Salah*, R. Dssouli, Guy Lapalme, “Intégration de scénarios temps réel en automates temporisés”, Les actes du Colloque Francophone de l'Ingénierie des Protocoles (CFIP), Montréal, Québec, Canada, Mai 2002.
  36. K. Elghazouani*, M. Nourelfath, A. En-Nouaary*, R. Dssouli, “Diagnostic de Fautes de Transfert Simples dans les Systèmes Temps Réel Modélisés par des Automates à Entrées Sorties Temporisées”, Les actes du Colloque Francophone de l'Ingénierie des Protocoles (CFIP), Montréal, Québec, Canada, Mai 2002. Hermes – Lavoisier, Montreal, 28-30 May, pages 195 à 208
  37.  M. Nourelfath, K. El Ghazouani, A. En-Nouaary and R. Dssouli (2002). Diagnostic de fautes de sortie simples dans les systèmes temps réel modélisés par des automates à entrées sorties temporisées. 3ème Conférence Intern. de Recherche Opérationnelle (CIRO'02), Marrakech, June 4-6. 
  38. A. Salah*, R. Dssouli, G. Lapalme. Compiling Real-Time Scenarios into a Timed Automaton,  FORTE 2001, 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, IFIP Conference Proceedings, 197 Kluwer 2001, ISBN 0-7923-7470-3: 135-150, 2001
  39. A. Salah*, R. Dssouli, G. Lapalme, D. Vincent, “Vers un Environnement de Création de Services Fondé sur les Scénarios Enrichis”, Colloque Francophone sur l'Ingénierie des Protocoles, France, 2000.
  40. J-M Ng, M. Poirier, Y. Guo, G. Canals, R. Dssouli, “Une architecture pour la gestion de la qualité de service”, NOTERE'2000.
  41. A. Khoumsi, A. En-Nouaary, R. Dssouli, M. Akalay, " A new method for testing real-time  7th International Workshop on Real-Time Computing and Applications Symposium, IEEE Computer Society 2000, ISBN 0-7695-0930-4,  RTCSA 2000: 417-424, 2000. (Citations:14, 02-03-2008)
  42. A. Khoumsi, M. Akalay*, R. Dssouli, "An approach for testing real-time protocol entities", in IFIP TC6…WG6.1, 13th International Conference on Testing of Communicating Systems (TestCom 2000), eds H. Ural, R. L. Probert and G.v. Bochmann, KAP, ISBN 0-7923-7921-7, pp. 281-300, 2000. (Citations: 15, 02-03-2008)
  43. A.Khoumsi, G. von Bochmann, R. Dssouli, “Protocol Synthesis for Real-Time Applications”, FORTE 1999: IFIP Conference Proceedings 156 Kluwer 1999, ISBN 0-7923-8646-9, 417-433, 1999.
  44. A. En-Nouaary*, F. Khendek, R. Dssouli, “Fault Coverage in Testing Real-Time Systems”, RTCSA 1999: IEEE Computer Society 1999, ISBN 0-7695-0306-3, 150-157, 1999. (Citations: 15, 02-03-2008)
  45. A. Khoumsi, G. v. Bochmann, R. Dssouli, "On Specifying services and synthesizing protocols for real-time applications", Protocol Specification, Testing and Verification XIV, PSTV'94 Symposium, S. Vuong and S. Chanson. pp. 185-200, Chapman & Hall, 1999.
  46. K. Karoui, A. Ghedamsi, R. Dssouli, "A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs", in the proceedings of The Fourth IEEE Symposium on Computers and Communications, ISCC'99, pp 109-115, 1999.
  47. A. En-Nouaary*, R. Dssouli, F. Khendek , "From timed scenarios to SDL: Specification, Implementation and Testing of Real-Time Systems", in the proceedings of the 9th SDL Forum, June 1999, pp 67 - 80, Elsevier ISBN 0-444-50228-9, 1999.
  48. C. Bourhfir*, R. Dssouli, El M. Aboulhamid and N. Rico, "CEFTG: A test case generation tool for conformance testing of SDL specifications" ,  in the  proceedings of the 9th SDL Forum, June 1999, Elsevier ISBN 0-444-50228-9, pp 405 - 417 , 1999.
  49. A. En-Nouaary*, R. Dssouli, F. Khendek, A. Elqortobi, "Timed Test Cases Generation Based on State Characterisation Technique". IEEE Real Time Systems Symposium Proceedings, Madrid, RTSS'98, Published by IEEE Computer Society, ISBN 0-8186-9212-x., pp 220- 229, 1998. (Citations 103 -26-09-09)
  50. E. Madja*, A. Hafid*, R. Dssouli, G. Bochmann, J Gecsei, "Meta-data Modeling for Quality of Service (QOS) Management in the WWW, The International Conference on Multimedia Modeling, , MMM 1998: 223,1998.
  51. C. Bourhfir*, R. Dssouli, El M. Aboulhamid and N. Rico, "A guided incremental test case generation procedure for conformance testing CEFSM specified protocols" IFIP International Workshop on Testing Communicating Systems IWTCS'98, pp 275- 290,  Kluwer Academic Publishers,  ISBN 0-412-84430-3. 1998.
  52. F. Khendek, M. Erradi, R. Dssouli, and G.v. Bochmann, "A Formal Framework for the dynamic extension of distributed systems behaviors", Proceedings of the IASTED International Conference on Software Engineering, San Francisco, Nov. 2-5, 1997.
  53. E. Madja*, G. Bochmann,  R. Dssouli, and J Gecsei , "Extension de HTML pour la gestion de documents multimedia et de qualité de service sur le web", Colloque international sur les Nouvelles Technologies de la Répartition, NOTERE'97, sous la direction de O. Rafiq, pp 269- 284,  Editions Tasc, ISBN 2-9511875-0-5, 1997.
  54. C. Bourhfir*, R. Dssouli, El M. Aboulhamid and N. Rico, "Automatic Executable Test Case Generation for Extended Finite State Machine Protocols", IFIP International Workshop on Testing Communicating Systems, IFIP IWTCS'97, Korea, pp 75-90, Chapman &Hall, 1997.
  55. C. Bourhfir*, R. Dssouli, El M. Aboulhamid, ”Automatic Test Generation for EFSM-based Systems ” iro.umontreal.ca/labs/tel...P1043.ps.gz , (Citations: 18, 02-03-2008)
  56. A. Ennouaary*, R. Dssouli, A. Elqortobi, "Génération des tests temporisés", Colloque Francophone sur l'ingénierie des Protocoles de communication CFIP'97, Liège, Belgique, pp 243-254, Editions HERMES,  ISBN 2-86601-639-4, 1997. (Citations: 16, 02-03-2008)
  57. S. Htite, R. Dssouli, A. Ghedamsi, "Diagnostic automatique avec l'outil MFDT" Colloque Francophone sur l'ingénierie des Protocoles de communication CFIP'97, Liège, Belgique, pp 287-300, Editions HERMES,  ISBN 2-86601-639-4, 1997.
  58. R. Dssouli, S. S. Somé*, J-W. Guilleret*, N. Rico, "Detection of Feature Interactions with REST", Feature interactions workshop, FIW 1997: 271-283, 1997.
  59. Z. Tao*, G. von Bochmann, R. Dssouli: A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. MONET 2(3): 259-269, 1997.
  60. K. Karoui*, N. Tagoug*, F. Lustman, R. Dssouli, Design Metrics that Predict Maintainability, 8th Annual Oregon Workshop on Software Metrics, Coeur d'Alene, Idaho USA, 11-12 Mai, 16 pages,1997.
  61. K. Karoui*, R. Dssouli, N. Yevtushenko, "Design for Testability of Communication Protocols Based on SDL", in SDL'97 Time for Testing, SDL, MSC and Trends, Ana Cavalli & Amardeo Sarma (editors), Elsevier, ISBN: 0 444 82816 8, pp 151-164, 1997.
  62. S.S. Somé*, R. Dssouli, J. Vaucher, "Un cadre pour l'ingénierie des exigences avec des scénarios". CFIP'96, Colloque Francophone sur l'Ingénierie des Protocoles 14-17 octobre 1996.
  63. K. Karoui*, R. Dssouli, O. Cherkaoui, "Specification Transformations and Design For Testability", in 1996 IEEE Global Telecommunications Conference, volume 1, pp 680- 685, GLOBECOM'96, London, November 1996.
  64. A. Hafid*, G.V. Bochmann, R. Dssouli, "Quality of Service negotiation with Future Reservations, The Fourth IFIP International Quality of Service Workshop, Paris, France, 16 pages, 1996.
  65. N. Yevtushenko, A. Petrenko, R. Dssouli, K. Karoui*, S. Prokopenko, "On the Design for Testability of Communication Protocols", IFIP Intl Workshop on Protocol Test Systems, PP 265- 280, Chapman &Hall, ISBN  0-412-78110-7, 1995.
  66. S. S. Somé*, R. Dssouli, J. Vaucher, "From scenarios to timed automata: building specifications from users requirements", Asia Pacific Software Engineering Conference APSEC 95, 48-57, 1995. (Citations: 71, 22-09-2009)
  67. S, S. Somé*, R. Dssouli, J. Vaucher, "A comparison between the service addition language SAL and ITU-T recommendation Z120", Formal Description Techniques VIII, pp 287-294, Chapman and Hall, ISBN 0-412-73270-X, 1995.
  68. S. S. Somé*, R. Dssouli, J. Vaucher, " Toward an Automation of Requirements Engineering using Scenarios, Université de Montéal http://www.iro.umontreal.ca/labs/teleinfo/TRs/P978.ps.gz (Citations: 48, 26-10-2008)
  69. Z. Tao*, G. von Bochmann, R. Dssouli: Verification and diagnosis of testing equivalence and reduction relation. ICNP 1995: 14-21, 1995.
  70. Z. P. Tao*, G.v. Bochmann, R. Dssouli, "An efficient method for Protocol Conversion", 4th International Conference on Computer Communications and Networks, ICCCN 95: 40, 1995.
  71. Z. P. Tao, G.v. Bochmann, R. Dssouli, "A model and an algorithm of subsystem construction" , Eight International Conference on Parallel and Distributed Computing Systems, September 20 - 30, Orlando, Florida U.S.A, 16 pages, 1995.
  72. A. Hafid, G.v. Bochmann, R. Dssouli, "Models for Quality of Service Negotiation in Distributed Multimedia", In proceedings of the Second Workshop on Protocols for Multimedia Systems, Salzburg, Austria, 17 pages, 1995.
  73. A. Hafid*, R. Dssouli, “A Negotiation Model for Distributed Multimedia Applications”, MMNET 1995: 142-151. 1995.
  74. P. Dini*, G.V. Bochmann, R. Dssouli, "Sur la voie de l'intégration dans la gestion des systèmes ouverts distribués", Colloque Francophone sur l'Ingénierie des Protocoles, CFIP'95 Rennes France, pp. 19 - 50, Editions Hermes, ISBN 2-86601-468-5, 1995.
  75.  Z. P. Tao*, G. Bochmann, R. Dssouli, "A top-down method of synthesizing optimized protocol converters", 1995 IEEE IPCCC conference (IEEE International Phoenix Conference on Computers and Communications), 16 pages, 1995.
  76. A. Khoumsi, G. v. Bochmann, R. Dssouli, "Prise en compte de la commandabilité et de l'observabilité pour le contrôle et l'extension des systèmes à événements discrets totalement ou partiellement observables", Troisième Conférence Maghrébine en Génie Logiciel et Intelligence Artificielle, 18 pages, 1994.
  77. A. Petrenko, N. Yevtushenko, R. Dssouli, "Testing strategies for communicating FSMs", Proc. of the International Workshop on Protocol Test Systems (IWPTS'94), Tokyo, Japan, 16 pages, Nov. 1994.
  78. B. Kerhervé, A. Vogel, G.v.Bochmann, R. Dssouli, J. Gecsei and A. Hafid*, "On Distributed Multimedia Presentational Applications: Functional and Computational Architecture and QoS Negotiation", in G. Neufeld, R. Ito (eds.), Proceedings of the International IFIP Workshop on Protocols for High-Speed Networking, Vancouver, Aug., 21-37, 1994. (Citations: 15, 02-03-2008)
  79. E. Htite, R. Dssouli, G. v. Bochmann, "Sélection des tests à partir de spécifications orientées objets", Proc. Third Maghrebian Conference on Software Eng. and A. Intelligence, 1994.
  80. B. Kerhervé, G. v. Bochmann, R. Dssouli, J. Gecsei, A. Hafid and A. Vogel, "Functional requirements for a generic distributed multimedia presentational application", in Proceedings of ICCCN 94, San Francisco, September, 1994.
  81. A. Hafid, Jan de Meer, A. Rennoch, G. von Bochmann, R. Dssouli, “Quality of service verification experiments”, IBM CASCON 1994: 23, 1994.
  82.  A. Ghedamsi*, G. v. Bochmann, R. Dssouli*,  "Diagnostic tests for communicating finite states machines", Proc.12th IEEE Int. Phoenix Conference on Computer Communications, Scottsdale, USA, 16 pages, March 93.
  83. A Petrenko, G von Bochmann, R Dssouli, ”Conformance Relations and Test Derivation”, Proceedings of the IFIP TC6/WG6. 1 Sixth International …, 1993, (Citations: 26, 02-03-2008)
  84. A. Petrenko, R. Dssouli, H. Koenig, "On evaluation of testability of protocol structures", Proceeding of International Workshop on Protocol Test Systems (IFIP), Pau, France, pp.111-123, North -Holland, ISBN 0- 444 81697 6, 1993.
  85. G. von Bochmann, R. Dssouli, A. 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.
  86. A. Ghedamsi*, G. von Bochmann, R. Dssouli, “Diagnosis of Single Transition Faults in Communicating Finite State Machines”, ICDCS 1993: 157-166, 1993,
  87. A. Ghedamsi*, G. von Bochmann, R. Dssouli, “Multiple Fault Diagnostics for Finite State Machines”, INFOCOM 1993: 782-791.
  88. Gang Luo, R. Dssouli, G. von Bochmann, P. Venkataram, A. Ghedamsi*, “Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports”, Protocol Test Systems 1993: 139-153, 1993.
  89. G. von Bochmann, A. Das, R. Dssouli, M Dubuc, A Ghedamsi, ”Fault Models in Testing”, , FIP Transactions, Protocol Test Systems, IV,1992. Citations: 42, 02-03-2009)
  90. M. Erradi, F. Khendek, R. Dssouli and G. v. Bochmann, ”Formal framework for dynamic extension of distributed systems behaviors”, Proceedings of the First International Workshop on Feature Interactions in Telecommunications Software Systems, St. Petersburg, Florida, USA, December 1992.
  91. M. Erradi, G. v. Bochmann and R. Dssouli, ”A Framework for Dynamic Evolution of Object-Oriented Specifications”, Proceedings of the IEEE International Conference on Software Maintenance, Orlando, USA, pp.96-104, November 1992.
  92.  A. Petrenko, G. von Bochmann, R. Dssouli: Conformance Relations and Test Derivation. Protocol Test Systems 1993: 157-178, 1992.
  93. A. Ghedamsi, R. Dssouli, G. von Bochmann, “Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines”,. Protocol Test Systems 1992: 105-116 1991.  
  94. G. von Bochmann, A. Das, R. Dssouli, M. Dubuc*, A. Ghedamsi*, Gang Luo, ”Fault Models in Testing“. IFIP Protocol Test Systems 1991: 17-30. . (Citations: 54, 22-10-2009)
  95. M. Dubuc, R.  Dssouli, G. von Bochmann, “TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models”. Protocol Test Systems 1991: 195-206 1990.
  96.  R. Dssouli, R. Fournier, G. von Bochmnn, ” Distributed Observation and FIFO Queues” FORTE 1990: 303-310 1989.
  97. G. von Bochmann, R. Dssouli, W. Lopes de Souza, B. Sarikaya, H. Ural, “Use of Prolog for building protocol design tools”, PSTV 1985: 131-147, 1985.
  98. R. Dssouli, Gregor von Bochmann: Error detection with multiple observers. PSTV 1985: 483-494 1984.
  99. Gregor von Bochmann and Eduard Cerny and G. Gerber and Rachida Dssouli and Michel Maksud and B. H. Phan and Behçet Sarikaya and Jean-Marc Serre. Use of Formal Specifications for Protocol Design, Implementation and Testing.. In Yechiam Yemini and Robert E. Strom and Shaula Yemini, editor(s), PSTV, 137-144, North-Holland, 1984.