Rachida Dssouli

ORCID

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 22

Top Venues

Publications

Abdeladim Sadiki, Jamal Bentahar, Rachida Dssouli, Abdeslam En-Nouaary, Hadi Otrok
Deep reinforcement learning for the computation offloading in MIMO-based Edge Computing. Ad Hoc Networks 141 (2023)
Ikbal Taleb, Mohamed Adel Serhani, Chafik Bouhaddioui, Rachida Dssouli
Big data quality framework: a holistic approach to continuous quality management. J. Big Data 8 (1) (2021)
Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli
Verification and testing of safety-critical airborne systems: A model-based methodology. Comput. Sci. Inf. Syst. 17 (1) (2020)
Mounia Elqortobi, Amine Rahj, Jamal Bentahar, Rachida Dssouli
Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing. SITA (2020)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Mounia Elqortobi, Amine Laarej, Rachida Dssouli
Model checking intelligent avionics systems for test cases generation using multi-agent systems. Expert Syst. Appl. 156 (2020)
Nader Kesserwan, Rachida Dssouli, Jamal Bentahar, Bernard Stepien, Pierre Labrèche
From use case maps to executable test procedures: a scenario-based approach. Softw. Syst. Model. 18 (2) (2019)
Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli
Big Data Quality: A Data Quality Profiling Model. SERVICES (2019)
Hadeel T. El Kassabi, Mohamed Adel Serhani, Rachida Dssouli, Alramzana Nujum Navaz
Trust enforcement through self-adapting cloud workflow orchestration. Future Gener. Comput. Syst. 97 (2019)
Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli
Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. MEDI Workshops (2018)
Hadeel T. El Kassabi, Mohamed Adel Serhani, Rachida Dssouli, Boualem Benatallah
A Multi-Dimensional Trust Model for Processing Big Data Over Competing Clouds. IEEE Access 6 (2018)
Hadeel T. El Kassabi, Mohamed Adel Serhani, Rachida Dssouli, Nabeel Al-Qirim, Ikbal Taleb
Cloud Workflow Resource Shortage Prediction and Fulfillment Using Multiple Adaptation Strategies. IEEE CLOUD (2018)
Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli
Big Data Quality: A Survey. BigData Congress (2018)
Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli
Big Data Quality Assessment Model for Unstructured Data. IIT (2018)
Nader Kesserwan, Rachida Dssouli, Jamal Bentahar
Modernization of Legacy Software Tests to Model-Driven Testing. AFRICATEK (2017)
Rachida Dssouli, Ahmed Khoumsi, Mounia Elqortobi, Jamal Bentahar
Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey. Adv. Comput. 107 (2017)
Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. Fundam. Informaticae 152 (3) (2017)
Mounia Elqortobi, Jamal Bentahar, Rachida Dssouli
Framework for Dynamic Web Services Composition Guided by Live Testing. AFRICATEK (2017)
Hadeel El Kassabi, Mohamed Adel Serhani, Chafik Bouhaddioui, Rachida Dssouli
Trust Assessment-Based Multiple Linear Regression for Processing Big Data Over Diverse Clouds. AFRICATEK (2017)
Ahmed Saleh Bataineh, Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli
Specifying and verifying contract-driven service compositions using commitments and model checking. Expert Syst. Appl. 74 (2017)
Hadeel T. El Kassabi, Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli
Policy-Based QoS Enforcement for Adaptive Big Data Distribution on the Cloud. BigDataService (2016)
Ikbal Taleb, Hadeel T. El Kassabi, Mohamed Adel Serhani, Rachida Dssouli, Chafik Bouhaddioui
Big Data Quality: A Quality Dimensions Evaluation. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld (2016)
Sleiman Rabah, Fatna Belqasmi, Rabeb Mizouni, Rachida Dssouli
An Elastic Hybrid Sensing Platform: Architecture and Research Challenges. FNC/MobiSPC (2016)
Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli
Real-Time Conditional Commitment Logic. PRIMA (2015)
Sleiman Rabah, May El Barachi, Nadjia Kara, Rachida Dssouli, Joey Paquet
A service oriented broker-based approach for dynamic resource discovery in virtual networks. J. Cloud Comput. 4 (2015)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intell. Syst. 30 (2) (2015)
Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Pinar Yolum, Rachida Dssouli
Computational logics and verification techniques of multi-agent commitments: survey. Knowl. Eng. Rev. 30 (5) (2015)
Ikbal Taleb, Rachida Dssouli, Mohamed Adel Serhani
Big Data Pre-processing: A Quality Framework. BigData Congress (2015)
Mohab Aly, May El Barachi, Rachida Dssouli
A new information model towards context-aware service provisioning in the Internet-of-Things. ICIN (2015)
Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Khalid Sultan, Rachida Dssouli
Decision making under subjective uncertainty in argumentation-based agent negotiation. J. Ambient Intell. Humaniz. Comput. 6 (3) (2015)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. ICWS (2014)
Saed Alrabaee, Ahmed Saleh Bataineh, Fawaz Ali Khasawneh, Rachida Dssouli
Using model checking for Trivial File Transfer Protocol validation. COMNET (2014)
Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
Conditional Commitments: Reasoning and Model Checking. ACM Trans. Softw. Eng. Methodol. 24 (2) (2014)
Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Mohamed Mbarki, Rachida Dssouli
Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation. ANT/SEIT (2014)
Omar Marey, Jamal Bentahar, Rachida Dssouli, Mohamed Mbarki
Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games. Expert Syst. Appl. 41 (2) (2014)
Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Syst. Appl. 41 (16) (2014)
Slimane Bah, Roch H. Glitho, Rachida Dssouli
A SIP servlets-based framework for service provisioning in stand-alone MANETs. J. Netw. Comput. Appl. 36 (1) (2013)
Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli
Verifying conformance of multi-agent commitment-based protocols. Expert Syst. Appl. 40 (1) (2013)
Asma Al Falasi, Mohamed Adel Serhani, Rachida Dssouli
A Model for Multi-levels SLA Monitoring in Federated Cloud Environment. UIC/ATC (2013)
Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli
Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Auton. Agents Multi Agent Syst. 27 (3) (2013)
Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
Representing and reasoning about communicative conditional commitments. AAMAS (2013)
May El Barachi, Sleiman Rabah, Nadjia Kara, Rachida Dssouli, Joey Paquet
A multi-service multi-role integrated information model for dynamic resource discovery in virtual networks. WCNC (2013)
Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
Communicative commitments: Model checking and complexity analysis. Knowl. Based Syst. 35 (2012)
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 Trans. Serv. Comput. 5 (3) (2012)
May El Barachi, Nadjia Kara, Rachida Dssouli
Open virtual playground: Initial architecture and results. CCNC (2012)
Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb
Performance Evaluation of Mobile Web Services. ECOWS (2011)
Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb
On the Performance of Hosting Web Services on Mobile Devices. IEEE SCC (2011)
Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
On the verification of social commitments and time. AAMAS (2011)
May El Barachi, Roch H. Glitho, Rachida Dssouli
Control-level call differentiation in IMS-based 3G core networks. IEEE Netw. 25 (1) (2011)
Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli
An overlay network for autonomous information discovery in the post-composition registries of ambient networks. J. Netw. Comput. Appl. 34 (2) (2011)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
Model Checking Commitment Protocols. IEA/AIE (2) (2011)
Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
An evaluation of timed scenario notations. J. Syst. Softw. 83 (2) (2010)
May El Barachi, Roch H. Glitho, Rachida Dssouli
A Case Study on Multiparty Calls Differentiation in the IP Multimedia Subsystem. VTC Spring (2010)
Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli
Symbolic model checking for agent interactions. AAMAS (2010)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
Symbolic Model Checking Commitment Protocols Using Reduction. DALT (2010)
May El Barachi, Nadjia Kara, Rachida Dssouli
Towards a service-oriented network virtualization architecture. Kaleidoscope (2010)
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 Commun. Mag. 48 (4) (2010)
Mohamed Adel Serhani, Rachida Dssouli
Case Study: Master of Science in Service Computing (Msc SC). SERVICES (2010)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. KES-AMSTA (2) (2010)
May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli
The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking. VTC Spring (2009)
Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
Use Case Maps as a property specification language. Softw. Syst. Model. 8 (2) (2009)
Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli
Media handling for multimedia conferencing in multihop cellular networks. IEEE Netw. 23 (2) (2009)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
Verifiable Semantic Model for Agent Interactions Using Social Commitments. LADS (2009)
Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli
An Integrated Semantics of Social Commitments and Associated Operations. MALLOW (2009)
Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Roch H. Glitho
Efficient traces' collection mechanisms for passive testing of Web Services. Inf. Softw. Technol. 51 (2) (2009)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
A New Semantics of Social Commitments Using Branching Space-Time Logic. Web Intelligence/IAT Workshops (2009)
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
Enhancing Engineering Methodology for Communities of Web Services. MALLOW (2009)
Slimane Bah, Roch H. Glitho, Rachida Dssouli
An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETs. NTMS (2008)
Yuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli
Preserving Privacy in E-health Systems Using Hippocratic Databases. COMPSAC (2008)
Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli
Ambient network composition. IEEE Netw. 22 (4) (2008)
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)
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)
Qian Liu, Shuo Lu, Yuan Hong, Lingyu Wang, Rachida Dssouli
Securing Telehealth Applications in a Web-Based e-Health Portal. ARES (2008)
Slimane Bah, Roch H. Glitho, Rachida Dssouli
SIP Servlets for Service Provisioning in Multihop Cellular Networks: High-Level Architectural Alternatives. CCNC (2008)
May El Barachi, Roch H. Glitho, Rachida Dssouli
Enhancing the QoS and Resource Management Aspects of the 3GPP IMS Emergency Service Architecture. CCNC (2008)
Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli
A Negotiation Framework for the Composition of Registries in Ambient Networks. ISCC (2007)
Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli
A Novel Overlay-Based Failure Detection Architecture for MANET Applications. ICON (2007)
Rabeb Mizouni, Aziz Salah, Rachida Dssouli
Using Formal Composition of Use Cases in Requirements Engineering. SEKE (2007)
Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho
New Approach for EFSM-Based Passive Testing of Web Services. TestCom/FATES (2007)
Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
Formal Verification of Use Case Maps with Real Time Extensions. SDL Forum (2007)
Roch H. Glitho, Rachida Dssouli, Dhafer Ben Khedher
A Megaco Based-Architecture for Controlling Media Mixers When Conferencing in Mobile Ad Hoc Networks. CCNC (2007)
May El Barachi, Roch H. Glitho, Rachida Dssouli
Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks. ISCC (2007)
Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli, Ferhat Khendek, John Mattam
An Architecture for Composing Registries when Ambient Networks Compose. CCNC (2007)
Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli
An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient Networks. ICON (2007)
Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli
An Overlay Architecture for Information Publication and Discovery After the Composition of Registries in Ambient Networks. CCNC (2007)
Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli
Merging partial system behaviours: composition of use-case automata. IET Softw. 1 (4) (2007)
Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli
Composition of Use Cases Using Synchronization and Model Checking. FORTE (2006)
Abdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani
Generation Networks. TestCom (2006)
Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
Timed Use Case Maps. SAM (2006)
Mohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelghani Benharref, Elarbi Badidi
VAQoS: Architecture for End-to-End QoS Management of Value Added Web Services. Int. J. Intell. Inf. Technol. 2 (4) (2006)
Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli
Media handling aspects of multimedia conferencing in broadband wireless ad hoc networks. IEEE Netw. 20 (2) (2006)
Mohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelhakim Hafid, Abdelghani Benharref
Toward A new Approach for Web Services Development Life Cycle. ISWS (2005)
Abdelghani Benharref, Roch H. Glitho, Rachida Dssouli
Mobile Agents for Testing Web Services in Next Generation Networks. MATA (2005)
Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli
Media Handling for Multiparty Sessions in Ad Hoc Peer-to-Peer Networks: A Novel Distributed Approach. ISCC (2005)
Chunyan Fu, Roch H. Glitho, Rachida Dssouli
A novel signaling system for multiparty sessions in peer-to-peer ad hoc networks. WCNC (2005)
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. Int. J. Web Inf. Syst. 1 (3) (2005)
Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
An ASM Operational Semantics for Use Case Maps. RE (2005)
Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
Abstract Operational Semantics for Use Case Maps. FORTE (2005)
Mohamed Adel Serhani, Rachida Dssouli, Abdelhakim Hafid, Houari A. Sahraoui
A QoS Broker Based Architecture for Efficient Web Services Selection. ICWS (2005)
Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux
Formal Composition of Distributed Scenarios. FORTE (2004)
Jameleddine Hassine, Rachida Dssouli, Juergen Rilling
Applying Reduction Techniques to Software Functional Requirement Specifications. SAM (2004)

Rachida Dssouli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rachida Dssouli