| 2018 | BigData | Big Data Quality: A Survey. | Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli |
| 2018 | MEDI | Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. | Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli |
| 2016 | FNC | An Elastic Hybrid Sensing Platform: Architecture and Research Challenges. | Sleiman Rabah, Fatna Belqasmi, Rabeb Mizouni, Rachida Dssouli |
| 2016 | UIC | Big Data Quality: A Quality Dimensions Evaluation. | Ikbal Taleb, Hadeel T. El Kassabi, Mohamed Adel Serhani, Rachida Dssouli, Chafik Bouhaddioui |
| 2015 | BigData | Big Data Pre-processing: A Quality Framework. | Ikbal Taleb, Rachida Dssouli, Mohamed Adel Serhani |
| 2015 | ICIN | A new information model towards context-aware service provisioning in the Internet-of-Things. | Mohab Aly, May El Barachi, Rachida Dssouli |
| 2015 | PRIMA | Real-Time Conditional Commitment Logic. | Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli |
| 2014 | ANT | Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation. | Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Mohamed Mbarki, Rachida Dssouli |
| 2014 | ICWS | Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. | Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli |
| 2013 | WCNC | A multi-service multi-role integrated information model for dynamic resource discovery in virtual networks. | May El Barachi, Sleiman Rabah, Nadjia Kara, Rachida Dssouli, Joey Paquet |
| 2013 | UIC | A Model for Multi-levels SLA Monitoring in Federated Cloud Environment. | Asma Al Falasi, Mohamed Adel Serhani, Rachida Dssouli |
| 2010 | VTC | A Case Study on Multiparty Calls Differentiation in the IP Multimedia Subsystem. | May El Barachi, Roch H. Glitho, Rachida Dssouli |
| 2010 | SERVICES | Case Study: Master of Science in Service Computing (Msc SC). | Mohamed Adel Serhani, Rachida Dssouli |
| 2009 | VTC | The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking. | May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli |
| 2008 | COMPSAC | Preserving Privacy in E-health Systems Using Hippocratic Databases. | Yuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli |
| 2008 | VTC | An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem. | May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli |
| 2008 | WCNC | A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem. | May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli |
| 2007 | ISCC | Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks. | May El Barachi, Roch H. Glitho, Rachida Dssouli |
| 2007 | ISCC | A Negotiation Framework for the Composition of Registries in Ambient Networks. | Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli |
| 2007 | SEKE | Using Formal Composition of Use Cases in Requirements Engineering. | Rabeb Mizouni, Aziz Salah, Rachida Dssouli |
| 2006 | FORTE | Composition of Use Cases Using Synchronization and Model Checking. | Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli |
| 2005 | FORTE | Abstract Operational Semantics for Use Case Maps. | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
| 2005 | ICWS | A QoS Broker Based Architecture for Efficient Web Services Selection. | Mohamed Adel Serhani, Rachida Dssouli, Abdelhakim Hafid, Houari A. Sahraoui |
| 2005 | ISCC | Media Handling for Multiparty Sessions in Ad Hoc Peer-to-Peer Networks: A Novel Distributed Approach. | Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli |
| 2005 | RE | An ASM Operational Semantics for Use Case Maps. | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
| 2005 | WCNC | A novel signaling system for multiparty sessions in peer-to-peer ad hoc networks. | Chunyan Fu, Roch H. Glitho, Rachida Dssouli |
| 2004 | FORTE | Formal Composition of Distributed Scenarios. | Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux |
| 2001 | FORTE | Compiling Real-Time Scenarios into a Timed Automaton. | Aziz Salah, Rachida Dssouli, Guy Lapalme |
| 2000 | RTCSA | Testing embedded real-time systems. | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
| 1999 | FORTE | Protocol Synthesis for Real-Time Applications. | Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli |
| 1999 | ISCC | A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs. | Kamel Karoui, Abderrazak Ghedamsi, Rachida Dssouli |
| 1999 | WCNC | Statistical properties of MPEG video traffic and their impact on bandwidth allocation in wireless ATM networks. | Youssef Iraqi, Raouf Boutaba, Rachida Dssouli |
| 1999 | RTCSA | Fault Coverage in Testing Real-Time Systems. | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
| 1998 | MMM | Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW). | Erika Madja, Abdelhakim Hafid, Rachida Dssouli, Gregor von Bochmann, Jan Gecsei |
| 1998 | RTSS | Timed Test Cases Generation Based on State Characterization Technique. | Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, Abdelkader Elqortobi |
| 1995 | APSEC | From Scenarios to Timed Automata: Building Specifications from Users Requirements. | Stphane S. Som, Rachida Dssouli, Jean G. Vaucher |
| 1995 | FORTE | A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. | Stphane S. Som, Rachida Dssouli, Jean G. Vaucher |
| 1995 | ICCCN | An efficient method for protocol conversion. | Z. P. Tao, Gregor von Bochmann, Rachida Dssouli |
| 1995 | ICNP | Verification and diagnosis of testing equivalence and reduction relation. | Zhongping Tao, Gregor von Bochmann, Rachida Dssouli |
| 1993 | ICDCS | Diagnosis of Single Transition Faults in Communicating Finite State Machines. | Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli |
| 1993 | INFOCOM | Multiple Fault Diagnostics for Finite State Machines. | Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli |
| 1990 | FORTE | Distributed Observation and FIFO Queues. | Rachida Dssouli, Reine Fournier, Gregor von Bochmann |