Use of Formal Specifications for Protocol Design, Implementation and Testing. - Gregor von Bochmann; Eduard Cerny; George Walter Gerber; Rachida Dssouli; Michel Maksud; B. H. Phan; Behçet Sarikaya; Jean-Marc Serre (PSTV, 1984)

Use of Prolog for building protocol design tools. - Gregor von Bochmann; Rachida Dssouli; Wanderley Lopes de Souza; Behçet Sarikaya; Hasan Ural (PSTV, 1985)

Error detection with multiple observers. - Rachida Dssouli; Gregor von Bochmann (PSTV, 1985)

Trace Analysis for Conformance and Arbitration Testing. - Gregor von Bochmann; Rachida Dssouli; J. R. Zhao (IEEE Trans. Software Eng., 1989)

Distributed Observation and FIFO Queues. - Rachida Dssouli; Reine Fournier; Gregor von Bochmann (FORTE, 1990)

Fault Models in Testing. - Gregor von Bochmann; Anindya Das; Rachida Dssouli; Martin Dubuc; Abderrazak Ghedamsi; Gang Luo (Protocol Test Systems, 1991)

TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. - Martin Dubuc; Rachida Dssouli; Gregor von Bochmann (Protocol Test Systems, 1991)

A framework for dynamic evolution of object-oriented specifications. - Mohammed Erradi; Gregor von Bochmann; Rachida Dssouli (ICSM, 1992)

Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. - Abderrazak Ghedamsi; Rachida Dssouli; Gregor von Bochmann (Protocol Test Systems, 1992)

Diagnosis of Single Transition Faults in Communicating Finite State Machines. - Abderrazak Ghedamsi; Gregor von Bochmann; Rachida Dssouli (ICDCS, 1993)

Multiple Fault Diagnostics for Finite State Machines. - Abderrazak Ghedamsi; Gregor von Bochmann; Rachida Dssouli (INFOCOM, 1993)

Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. - Gang Luo; Rachida Dssouli; Gregor von Bochmann; Pallapa Venkataram; Abderrazak Ghedamsi (Protocol Test Systems, 1993)

Conformance Relations and Test Derivation. - Alexandre Petrenko; Gregor von Bochmann; Rachida Dssouli (Protocol Test Systems, 1993)

On Evaluation of Testability of Protocol Structures. - Alexandre Petrenko; Rachida Dssouli; Hartmut König (Protocol Test Systems, 1993)

Quality of service verification experiments. - Abdelhakim Hafid; Jan de Meer; Axel Rennoch; Gregor von Bochmann; Rachida Dssouli (CASCON, 1994)

On distributed multimedia presentational applications: functional and computational architecture and QoS negotiation. - Brigitte Kerhervé; Andreas Vogel 002; Gregor von Bochmann; Rachida Dssouli; Jan Gecsei; Abdelhakim Hafid (Protocols for High-Speed Networks, 1994)

On specifying services and synthesizing protocols for real-time applications. - Ahmed Khoumsi; Gregor von Bochmann; Rachida Dssouli (PSTV, 1994)

From Scenarios to Timed Automata: Building Specifications from Users Requirements. - Stéphane S. Somé; Rachida Dssouli; Jean G. Vaucher (APSEC, 1995)

A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. - Stéphane S. Somé; Rachida Dssouli; Jean G. Vaucher (FORTE, 1995)

An efficient method for protocol conversion. - Z. P. Tao; Gregor von Bochmann; Rachida Dssouli (ICCCN, 1995)

Verification and diagnosis of testing equivalence and reduction relation. - Zhongping Tao; Gregor von Bochmann; Rachida Dssouli (ICNP, 1995)

A Negotiation Model for Distributed Multimedia Applications. - Abdelhakim Hafid; Rachida Dssouli (MMNET, 1995)

Testing in context: framework and test derivation. - Alexandre Petrenko; Nina Yevtushenko 001; Gregor von Bochmann; Rachida Dssouli (Comput. Commun., 1996)

Detection of Feature Interactions with REST. - Rachida Dssouli; Stéphane S. Somé; J.-W. Guillery; Nathalie Rico (FIW, 1997)

Design for testability of communication protocols based on SDL language. - Kamel Karoui; Rachida Dssouli; Nina Yevtushenko 001 (SDL Forum, 1997)

Forte '95. - Gregor von Bochmann; Rachida Dssouli; Omar Rafiq (Comput. Networks ISDN Syst., 1997)

A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. - Zhongping Tao; Gregor von Bochmann; Rachida Dssouli (Mob. Networks Appl., 1997)

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 (MMM, 1998)

A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. - C. Bourhfir; Rachida Dssouli; El Mostapha Aboulhamid; Nathalie Rico (IWTCS, 1998)

Timed Test Cases Generation Based on State Characterization Technique. - Abdeslam En-Nouaary; Rachida Dssouli; Ferhat Khendek; Abdelkader Elqortobi (RTSS, 1998)

A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. - Abdelhakim Hafid; Gregor von Bochmann; Rachida Dssouli (Comput. Networks, 1998)

Protocol Synthesis for Real-Time Applications. - Ahmed Khoumsi; Gregor von Bochmann; Rachida Dssouli (FORTE, 1999)

A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs. - Kamel Karoui; Abderrazak Ghedamsi; Rachida Dssouli (ISCC, 1999)

Fault Coverage in Testing Real-Time Systems. - Abdeslam En-Nouaary; Ferhat Khendek; Rachida Dssouli (RTCSA, 1999)

A test case generation tool for conformance testing of SDL systems. - C. Bourhfir; Rachida Dssouli; El Mostapha Aboulhamid; Nathalie Rico (SDL Forum, 1999)

From timed scenarios to SDL: specification, implementation and testing of real-time systems. - Abdeslam En-Nouaary; Rachida Dssouli; Ferhat Khendek (SDL Forum, 1999)

Statistical properties of MPEG video traffic and their impact on bandwidth allocation in wireless ATM networks. - Youssef Iraqi; Raouf Boutaba; Rachida Dssouli (WCNC, 1999)

Test development for communication protocols: towards automation. - Rachida Dssouli; Kassem Saleh; El Mostapha Aboulhamid; Abdeslam En-Nouaary; C. Bourhfir (Comput. Networks, 1999)

Communications software design for testability: specification transformations and testability measures. - Rachida Dssouli; Kamel Karoui; Kassem Saleh; Omar Cherkaoui (Inf. Softw. Technol., 1999)

A service creation environment based on scenarios. - Rachida Dssouli; Stéphane S. Somé; Jean G. Vaucher; Aziz Salah (Inf. Softw. Technol., 1999)

An Approach for Testing Real Time Protocol Entities. - Ahmed Khoumsi; Mehdi Akalay; Rachida Dssouli; Abdeslam En-Nouaary; Louis Granger (TestCom, 2000)

Testing embedded real-time systems. - Abdeslam En-Nouaary; Ferhat Khendek; Rachida Dssouli (RTCSA, 2000)

Compiling Real-Time Scenarios into a Timed Automaton. - Aziz Salah; Rachida Dssouli; Guy Lapalme (FORTE, 2001)

Test cases selection from SDL specifications. - C. Bourhfir; El Mostapha Aboulhamid; Ferhat Khendek; Rachida Dssouli (Comput. Networks, 2001)

MSC and SDL in project life cycles. - Rachida Dssouli; Yair Lahav (Comput. Networks, 2001)

A test case generation approach for conformance testing of SDL systems. - C. Bourhfir; El Mostapha Aboulhamid; Rachida Dssouli; Nathalie Rico (Comput. Commun., 2001)

Preface. - Rachida Dssouli (Inf. Softw. Technol., 2002)

Performance testing of a negotiation platform. - Charles Hélou; Rachida Dssouli; Teodor Gabriel Crainic (Inf. Softw. Technol., 2002)

Timed Wp-Method: Testing Real-Time Systems. - Abdeslam En-Nouaary; Rachida Dssouli; Ferhat Khendek (IEEE Trans. Software Eng., 2002)

A Guided Method for Testing Timed Input Output Automata. - Abdeslam En-Nouaary; Rachida Dssouli (TestCom, 2003)

Preface. - Rachida Dssouli; Ferhat Khendek (Inf. Softw. Technol., 2003)

Implicit integration of scenarios into a reduced timed automaton. - Aziz Salah; Rachida Dssouli; Guy Lapalme (Inf. Softw. Technol., 2003)

Formal Composition of Distributed Scenarios. - Aziz Salah; Rabeb Mizouni; Rachida Dssouli; Benoit Parreaux (FORTE, 2004)

Applying Reduction Techniques to Software Functional Requirement Specifications. - Jameleddine Hassine; Rachida Dssouli; Juergen Rilling (SAM, 2004)

Abstract Operational Semantics for Use Case Maps. - Jameleddine Hassine; Juergen Rilling; Rachida Dssouli (FORTE, 2005)

A QoS Broker Based Architecture for Efficient Web Services Selection. - Mohamed Adel Serhani; Rachida Dssouli; Abdelhakim Hafid; Houari A. Sahraoui (ICWS, 2005)

Media Handling for Multiparty Sessions in Ad Hoc Peer-to-Peer Networks: A Novel Distributed Approach. - Dhafer Ben Khedher; Roch H. Glitho; Rachida Dssouli (ISCC, 2005)

Toward A new Approach for Web Services Development Life Cycle. - Mohamed Adel Serhani; Rachida Dssouli; Houari A. Sahraoui; Abdelhakim Hafid; Abdelghani Benharref (ISWS, 2005)

Mobile Agents for Testing Web Services in Next Generation Networks. - Abdelghani Benharref; Roch H. Glitho; Rachida Dssouli (MATA, 2005)

An ASM Operational Semantics for Use Case Maps. - Jameleddine Hassine; Juergen Rilling; Rachida Dssouli (RE, 2005)

A novel signaling system for multiparty sessions in peer-to-peer ad hoc networks. - Chunyan Fu; Roch H. Glitho; Rachida Dssouli (WCNC, 2005)

Developing Applications for Internet Telephony: A Case Study on the Use of Web Services for Conferencing in SIP Networks. - May El Barachi; Roch H. Glitho; Rachida Dssouli (Int. J. Web Inf. Syst., 2005)

Composition of Use Cases Using Synchronization and Model Checking. - Rabeb Mizouni; Aziz Salah; Siamak Kolahi; Rachida Dssouli (FORTE, 2006)

Towards the Testing of Composed Web Services in 3rd Generation Networks. - Abdelghani Benharref; Rachida Dssouli; Roch H. Glitho; Mohamed Adel Serhani (TestCom, 2006)

Timed Use Case Maps. - Jameleddine Hassine; Juergen Rilling; Rachida Dssouli (SAM, 2006)

VAQoS: Architecture for End-to-End QoS Management of Value Added Web Services. - Mohamed Adel Serhani; Rachida Dssouli; Houari A. Sahraoui; Abdelghani Benharref; Elarbi Badidi (Int. J. Intell. Inf. Technol., 2006)

Media handling aspects of multimedia conferencing in broadband wireless ad hoc networks. - Dhafer Ben Khedher; Roch H. Glitho; Rachida Dssouli (IEEE Netw., 2006)

An Overlay Architecture for Information Publication and Discovery After the Composition of Registries in Ambient Networks. - Fatna Belqasmi; Roch H. Glitho; Rachida Dssouli (CCNC, 2007)

An Architecture for Composing Registries when Ambient Networks Compose. - Fatna Belqasmi; Roch H. Glitho; Rachida Dssouli; Ferhat Khendek; John Mattam (CCNC, 2007)

A Megaco Based-Architecture for Controlling Media Mixers When Conferencing in Mobile Ad Hoc Networks. - Roch H. Glitho; Rachida Dssouli; Dhafer Ben Khedher (CCNC, 2007)

An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient Networks. - Fatna Belqasmi; Roch H. Glitho; Rachida Dssouli (ICON, 2007)

A Novel Overlay-Based Failure Detection Architecture for MANET Applications. - Dhafer Ben Khedher; Roch H. Glitho; Rachida Dssouli (ICON, 2007)

Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks. - May El Barachi; Roch H. Glitho; Rachida Dssouli (ISCC, 2007)

A Negotiation Framework for the Composition of Registries in Ambient Networks. - Fatna Belqasmi; Roch H. Glitho; Rachida Dssouli (ISCC, 2007)

New Approach for EFSM-Based Passive Testing of Web Services. - Abdelghani Benharref; Rachida Dssouli; Mohamed Adel Serhani; Abdeslam En-Nouaary; Roch H. Glitho (TestCom/FATES, 2007)

Formal Verification of Use Case Maps with Real Time Extensions. - Jameleddine Hassine; Juergen Rilling; Rachida Dssouli (SDL Forum, 2007)

Using Formal Composition of Use Cases in Requirements Engineering. - Rabeb Mizouni; Aziz Salah; Rachida Dssouli (SEKE, 2007)

Merging partial system behaviours: composition of use-case automata. - Rabeb Mizouni; Aziz Salah; Siamak Kolahi; Rachida Dssouli (IET Softw., 2007)

Securing Telehealth Applications in a Web-Based e-Health Portal. - Qian Liu; Shuo Lu; Yuan Hong 001; Lingyu Wang 001; Rachida Dssouli (ARES, 2008)

SIP Servlets for Service Provisioning in Multihop Cellular Networks: High-Level Architectural Alternatives. - Slimane Bah; Roch H. Glitho; Rachida Dssouli (CCNC, 2008)

Enhancing the QoS and Resource Management Aspects of the 3GPP IMS Emergency Service Architecture. - May El Barachi; Roch H. Glitho; Rachida Dssouli (CCNC, 2008)

Preserving Privacy in E-health Systems Using Hippocratic Databases. - Yuan Hong 001; Shuo Lu; Qian Liu; Lingyu Wang 001; Rachida Dssouli (COMPSAC, 2008)

An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETs. - Slimane Bah; Roch H. Glitho; Rachida Dssouli (NTMS, 2008)

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 (VTC Spring, 2008)

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 (WCNC, 2008)

Ambient network composition. - Fatna Belqasmi; Roch H. Glitho; Rachida Dssouli (IEEE Netw., 2008)

A New Semantics of Social Commitments Using Branching Space-Time Logic. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (Web Intelligence/IAT Workshops, 2009)

Verifiable Semantic Model for Agent Interactions Using Social Commitments. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (LADS, 2009)

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

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

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 (VTC Spring, 2009)

Efficient traces' collection mechanisms for passive testing of Web Services. - Abdelghani Benharref; Rachida Dssouli; Mohamed Adel Serhani; Roch H. Glitho (Inf. Softw. Technol., 2009)

Media handling for multimedia conferencing in multihop cellular networks. - Dhafer Ben Khedher; Roch H. Glitho; Rachida Dssouli (IEEE Netw., 2009)

Use Case Maps as a property specification language. - Jameleddine Hassine; Juergen Rilling; Rachida Dssouli (Softw. Syst. Model., 2009)

Symbolic model checking for agent interactions. - Mohamed El-Menshawy; Wei Wan; Jamal Bentahar; Rachida Dssouli (AAMAS, 2010)

Symbolic Model Checking Commitment Protocols Using Reduction. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (DALT, 2010)

Towards a service-oriented network virtualization architecture. - May El Barachi; Nadjia Kara; Rachida Dssouli (Kaleidoscope, 2010)

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

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

A Case Study on Multiparty Calls Differentiation in the IP Multimedia Subsystem. - May El Barachi; Roch H. Glitho; Rachida Dssouli (VTC Spring, 2010)

The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless sensor networks. - May El Barachi; Arif Kadiwal; Roch H. Glitho; Ferhat Khendek; Rachida Dssouli (IEEE Commun. Mag., 2010)

An evaluation of timed scenario notations. - Jameleddine Hassine; Juergen Rilling; Rachida Dssouli (J. Syst. Softw., 2010)

On the Performance of Hosting Web Services on Mobile Devices. - Rabeb Mizouni; Mohamed Adel Serhani; Rachida Dssouli; Abdelghani Benharref; Ikbal Taleb (IEEE SCC, 2011)

On the verification of social commitments and time. - Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (AAMAS, 2011)

Performance Evaluation of Mobile Web Services. - Rabeb Mizouni; Mohamed Adel Serhani; Rachida Dssouli; Abdelghani Benharref; Ikbal Taleb (ECOWS, 2011)

Model Checking Commitment Protocols. - Mohamed El-Menshawy; Jamal Bentahar; Rachida Dssouli (IEA/AIE (2), 2011)

An overlay network for autonomous information discovery in the post-composition registries of ambient networks. - Fatna Belqasmi; Roch H. Glitho; Rachida Dssouli (J. Netw. Comput. Appl., 2011)

Control-level call differentiation in IMS-based 3G core networks. - May El Barachi; Roch H. Glitho; Rachida Dssouli (IEEE Netw., 2011)

Open virtual playground: Initial architecture and results. - May El Barachi; Nadjia Kara; Rachida Dssouli (CCNC, 2012)

Communicative commitments: Model checking and complexity analysis. - Jamal Bentahar; Mohamed El-Menshawy; Hongyang Qu 001; Rachida Dssouli (Knowl. Based Syst., 2012)

Service-Oriented Architecture for High-Dimensional Private Data Mashup. - Benjamin C. M. Fung; Thomas Trojer; Patrick C. K. Hung; Li Xiong 001; Khalil Al-Hussaeni; Rachida Dssouli (IEEE Trans. Serv. Comput., 2012)

Representing and reasoning about communicative conditional commitments. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (AAMAS, 2013)

A Model for Multi-levels SLA Monitoring in Federated Cloud Environment. - Asma Al Falasi; Mohamed Adel Serhani; Rachida Dssouli (UIC/ATC, 2013)

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 (WCNC, 2013)

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. - Mohamed El-Menshawy; Jamal Bentahar; Warda El Kholy; Rachida Dssouli (Auton. Agents Multi Agent Syst., 2013)

Verifying conformance of multi-agent commitment-based protocols. - Mohamed El-Menshawy; Jamal Bentahar; Warda El Kholy; Rachida Dssouli (Expert Syst. Appl., 2013)

A SIP servlets-based framework for service provisioning in stand-alone MANETs. - Slimane Bah; Roch H. Glitho; Rachida Dssouli (J. Netw. Comput. Appl., 2013)

Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation. - Omar Marey; Jamal Bentahar; Ehsan Khosrowshahi Asl; Mohamed Mbarki; Rachida Dssouli (ANT/SEIT, 2014)

Using model checking for Trivial File Transfer Protocol validation. - Saed Alrabaee; Ahmed Saleh Bataineh; Fawaz Ali Khasawneh; Rachida Dssouli (COMNET, 2014)

Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (ICWS, 2014)

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. - Warda El Kholy; Jamal Bentahar; Mohamed El-Menshawy; Hongyang Qu 001; Rachida Dssouli (Expert Syst. Appl., 2014)

Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games. - Omar Marey; Jamal Bentahar; Rachida Dssouli; Mohamed Mbarki (Expert Syst. Appl., 2014)

Conditional Commitments: Reasoning and Model Checking. - Warda El Kholy; Jamal Bentahar; Mohamed El-Menshawy; Hongyang Qu 001; Rachida Dssouli (ACM Trans. Softw. Eng. Methodol., 2014)

Big Data Pre-processing: A Quality Framework. - Ikbal Taleb; Rachida Dssouli; Mohamed Adel Serhani (BigData Congress, 2015)

A new information model towards context-aware service provisioning in the Internet-of-Things. - Mohab Aly; May El Barachi; Rachida Dssouli (ICIN, 2015)

Real-Time Conditional Commitment Logic. - Warda El Kholy; Mohamed El-Menshawy; Amine Laarej; Jamal Bentahar; Faisal Al-Saqqar; Rachida Dssouli (PRIMA, 2015)

Formal Specification and Automatic Verification of Conditional Commitments. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Hongyang Qu 001; Rachida Dssouli (IEEE Intell. Syst., 2015)

Decision making under subjective uncertainty in argumentation-based agent negotiation. - Omar Marey; Jamal Bentahar; Ehsan Khosrowshahi Asl; Khalid Sultan; Rachida Dssouli (J. Ambient Intell. Humaniz. Comput., 2015)

A service oriented broker-based approach for dynamic resource discovery in virtual networks. - Sleiman Rabah; May El Barachi; Nadjia Kara; Rachida Dssouli; Joey Paquet (J. Cloud Comput., 2015)

Computational logics and verification techniques of multi-agent commitments: survey. - Mohamed El-Menshawy; Jamal Bentahar; Warda El Kholy; Pinar Yolum; Rachida Dssouli (Knowl. Eng. Rev., 2015)

Policy-Based QoS Enforcement for Adaptive Big Data Distribution on the Cloud. - Hadeel T. El Kassabi; Ikbal Taleb; Mohamed Adel Serhani; Rachida Dssouli (BigDataService, 2016)

An Elastic Hybrid Sensing Platform: Architecture and Research Challenges. - Sleiman Rabah; Fatna Belqasmi; Rabeb Mizouni; Rachida Dssouli (FNC/MobiSPC, 2016)

Big Data Quality: A Quality Dimensions Evaluation. - Ikbal Taleb; Hadeel T. El Kassabi; Mohamed Adel Serhani; Rachida Dssouli; Chafik Bouhaddioui (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld, 2016)

Framework for Dynamic Web Services Composition Guided by Live Testing. - Mounia Elqortobi; Jamal Bentahar; Rachida Dssouli (AFRICATEK, 2017)

Trust Assessment-Based Multiple Linear Regression for Processing Big Data Over Diverse Clouds. - Hadeel El Kassabi; Mohamed Adel Serhani; Chafik Bouhaddioui; Rachida Dssouli (AFRICATEK, 2017)

Modernization of Legacy Software Tests to Model-Driven Testing. - Nader Kesserwan; Rachida Dssouli; Jamal Bentahar (AFRICATEK, 2017)

Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey. - Rachida Dssouli; Ahmed Khoumsi; Mounia Elqortobi; Jamal Bentahar (Adv. Comput., 2017)

Specifying and verifying contract-driven service compositions using commitments and model checking. - Ahmed Saleh Bataineh; Jamal Bentahar; Mohamed El-Menshawy; Rachida Dssouli (Expert Syst. Appl., 2017)

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. - Warda El Kholy; Jamal Bentahar; Mohamed El-Menshawy; Hongyang Qu 001; Rachida Dssouli (Fundam. Informaticae, 2017)

Cloud Workflow Resource Shortage Prediction and Fulfillment Using Multiple Adaptation Strategies. - Hadeel T. El Kassabi; Mohamed Adel Serhani; Rachida Dssouli; Nabeel A. Y. Al-Qirim; Ikbal Taleb (IEEE CLOUD, 2018)

Big Data Quality: A Survey. - Ikbal Taleb; Mohamed Adel Serhani; Rachida Dssouli (BigData Congress, 2018)

Big Data Quality Assessment Model for Unstructured Data. - Ikbal Taleb; Mohamed Adel Serhani; Rachida Dssouli (IIT, 2018)

Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. - Mounia Elqortobi; Warda El-Khouly; Amine Rahj; Jamal Bentahar; Rachida Dssouli (MEDI Workshops, 2018)

A Multi-Dimensional Trust Model for Processing Big Data Over Competing Clouds. - Hadeel T. El Kassabi; Mohamed Adel Serhani; Rachida Dssouli; Boualem Benatallah (IEEE Access, 2018)

Big Data Quality: A Data Quality Profiling Model. - Ikbal Taleb; Mohamed Adel Serhani; Rachida Dssouli (SERVICES, 2019)

Trust enforcement through self-adapting cloud workflow orchestration. - Hadeel T. El Kassabi; Mohamed Adel Serhani; Rachida Dssouli; Alramzana Nujum Navaz (Future Gener. Comput. Syst., 2019)

From use case maps to executable test procedures: a scenario-based approach. - Nader Kesserwan; Rachida Dssouli; Jamal Bentahar; Bernard Stepien; Pierre Labrèche (Softw. Syst. Model., 2019)

Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing. - Mounia Elqortobi; Amine Rahj; Jamal Bentahar; Rachida Dssouli (SITA, 2020)

Verification and testing of safety-critical airborne systems: A model-based methodology. - Mounia Elqortobi; Warda El-Khouly; Amine Rahj; Jamal Bentahar; Rachida Dssouli (Comput. Sci. Inf. Syst., 2020)

Model checking intelligent avionics systems for test cases generation using multi-agent systems. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Mounia Elqortobi; Amine Laarej; Rachida Dssouli (Expert Syst. Appl., 2020)

Big data quality framework: a holistic approach to continuous quality management. - Ikbal Taleb; Mohamed Adel Serhani; Chafik Bouhaddioui; Rachida Dssouli (J. Big Data, 2021)

Deep reinforcement learning for the computation offloading in MIMO-based Edge Computing. - Abdeladim Sadiki; Jamal Bentahar; Rachida Dssouli; Abdeslam En-Nouaary; Hadi Otrok (Ad Hoc Networks, 2023)

A hybrid swarm intelligence approach for optimizing Multimodal Large Language Models deployment in edge-cloud-based Federated Learning environments. - Gaith Rjoub; Hanae Elmekki; Saidul Islam; Jamal Bentahar; Rachida Dssouli (Comput. Commun., 2025)

Enhanced Dynamic Deep Q-Network for Federated Learning scheduling policies on IoT devices using explanation-driven trust. - Gaith Rjoub; Hanae Elmekki; Jamal Bentahar; Witold Pedrycz; Sofian Kassaymeh; Shahed Bassam Almobydeen; Rachida Dssouli (Knowl. Based Syst., 2025)