Rachida Dssouli

162 papers A* 1A 8B 14C 14Misc 1Journal 54Unranked 66

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Hybrid Swarm Intelligence Approach for Optimizing Multimodal Large Language Models Deployment in Edge-Cloud-based Federated Learning Environments. CoRR Gaith Rjoub, Hanae Elmekki, Saidul Islam, Jamal Bentahar, Rachida Dssouli
2025	J	`jnl`	A hybrid swarm intelligence approach for optimizing Multimodal Large Language Models deployment in edge-cloud-based Federated Learning environments. Comput. Commun. Gaith Rjoub, Hanae Elmekki, Saidul Islam, Jamal Bentahar, Rachida Dssouli
2025	—	`conf`	Efficient Alzheimer's Diagnosis Through Sequential Decision-Making with Reinforcement Learning. BDSIC Nidal Drissi, Noor Khalil, Hadeel El-Kassabi, Mohamed Adel Serhani, Rachida Dssouli
2025	J	`jnl`	Enhanced Dynamic Deep Q-Network for Federated Learning scheduling policies on IoT devices using explanation-driven trust. Knowl. Based Syst. Gaith Rjoub, Hanae Elmekki, Jamal Bentahar, Witold Pedrycz, Sofian Kassaymeh, Shahed Bassam Almobydeen, Rachida Dssouli
2023	J	`jnl`	Deep reinforcement learning for the computation offloading in MIMO-based Edge Computing. Ad Hoc Networks Abdeladim Sadiki, Jamal Bentahar, Rachida Dssouli, Abdeslam En-Nouaary, Hadi Otrok
2021	J	`jnl`	Big data quality framework: a holistic approach to continuous quality management. J. Big Data Ikbal Taleb, Mohamed Adel Serhani, Chafik Bouhaddioui, Rachida Dssouli
2020	J	`jnl`	Model checking intelligent avionics systems for test cases generation using multi-agent systems. Expert Syst. Appl. Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Mounia Elqortobi, Amine Laarej, Rachida Dssouli
2020	—	`conf`	Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing. SITA Mounia Elqortobi, Amine Rahj, Jamal Bentahar, Rachida Dssouli
2020	J	`jnl`	Verification and testing of safety-critical airborne systems: A model-based methodology. Comput. Sci. Inf. Syst. Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli
2019	B	`conf`	Big Data Quality: A Data Quality Profiling Model. SERVICES Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli
2019	J	`jnl`	From use case maps to executable test procedures: a scenario-based approach. Softw. Syst. Model. Nader Kesserwan, Rachida Dssouli, Jamal Bentahar, Bernard Stepien, Pierre Labrèche
2019	J	`jnl`	Trust enforcement through self-adapting cloud workflow orchestration. Future Gener. Comput. Syst. Hadeel T. El Kassabi, Mohamed Adel Serhani, Rachida Dssouli, Alramzana Nujum Navaz
2018	J	`jnl`	A Multi-Dimensional Trust Model for Processing Big Data Over Competing Clouds. IEEE Access Hadeel T. El Kassabi, Mohamed Adel Serhani, Rachida Dssouli, Boualem Benatallah
2018	—	`conf`	Big Data Quality Assessment Model for Unstructured Data. IIT Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli
2018	—	`conf`	Big Data Quality: A Survey. BigData Congress Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli
2018	—	`conf`	Cloud Workflow Resource Shortage Prediction and Fulfillment Using Multiple Adaptation Strategies. IEEE CLOUD Hadeel T. El Kassabi, Mohamed Adel Serhani, Rachida Dssouli, Nabeel A. Y. Al-Qirim, Ikbal Taleb
2018	—	`ed.`	Emerging Technologies for Developing Countries - First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings AFRICATEK Fatna Belqasmi, Hamid Harroud, Max Agueh, Rachida Dssouli, Faouzi Kamoun
2018	—	`conf`	Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. MEDI Workshops Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli
2017	J	`jnl`	Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey. Adv. Comput. Rachida Dssouli, Ahmed Khoumsi, Mounia Elqortobi, Jamal Bentahar
2017	—	`conf`	Framework for Dynamic Web Services Composition Guided by Live Testing. AFRICATEK Mounia Elqortobi, Jamal Bentahar, Rachida Dssouli
2017	—	`conf`	Modernization of Legacy Software Tests to Model-Driven Testing. AFRICATEK Nader Kesserwan, Rachida Dssouli, Jamal Bentahar
2017	J	`jnl`	SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. Fundam. Informaticae Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2017	J	`jnl`	Specifying and verifying contract-driven service compositions using commitments and model checking. Expert Syst. Appl. Ahmed Saleh Bataineh, Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli
2017	—	`conf`	Trust Assessment-Based Multiple Linear Regression for Processing Big Data Over Diverse Clouds. AFRICATEK Hadeel El Kassabi, Mohamed Adel Serhani, Chafik Bouhaddioui, Rachida Dssouli
2016	—	`conf`	An Elastic Hybrid Sensing Platform: Architecture and Research Challenges. FNC/MobiSPC Sleiman Rabah, Fatna Belqasmi, Rabeb Mizouni, Rachida Dssouli
2016	—	`conf`	Big Data Quality: A Quality Dimensions Evaluation. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld Ikbal Taleb, Hadeel T. El Kassabi, Mohamed Adel Serhani, Rachida Dssouli, Chafik Bouhaddioui
2016	—	`conf`	Policy-Based QoS Enforcement for Adaptive Big Data Distribution on the Cloud. BigDataService Hadeel T. El Kassabi, Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli
2015	Misc	`conf`	A new information model towards context-aware service provisioning in the Internet-of-Things. ICIN Mohab Aly, May El Barachi, Rachida Dssouli
2015	J	`jnl`	A service oriented broker-based approach for dynamic resource discovery in virtual networks. J. Cloud Comput. Sleiman Rabah, May El Barachi, Nadjia Kara, Rachida Dssouli, Joey Paquet
2015	—	`conf`	Big Data Pre-processing: A Quality Framework. BigData Congress Ikbal Taleb, Rachida Dssouli, Mohamed Adel Serhani
2015	J	`jnl`	Computational logics and verification techniques of multi-agent commitments: survey. Knowl. Eng. Rev. Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Pinar Yolum, Rachida Dssouli
2015	J	`jnl`	Decision making under subjective uncertainty in argumentation-based agent negotiation. J. Ambient Intell. Humaniz. Comput. Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Khalid Sultan, Rachida Dssouli
2015	J	`jnl`	Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intell. Syst. Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2015	B	`conf`	Real-Time Conditional Commitment Logic. PRIMA Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli
2014	—	`conf`	Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation. ANT/SEIT Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Mohamed Mbarki, Rachida Dssouli
2014	J	`jnl`	Conditional Commitments: Reasoning and Model Checking. ACM Trans. Softw. Eng. Methodol. Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2014	J	`jnl`	Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games. Expert Syst. Appl. Omar Marey, Jamal Bentahar, Rachida Dssouli, Mohamed Mbarki
2014	J	`jnl`	Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Syst. Appl. Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2014	—	`conf`	Using model checking for Trivial File Transfer Protocol validation. COMNET Saed Alrabaee, Ahmed Saleh Bataineh, Fawaz Ali Khasawneh, Rachida Dssouli
2014	A	`conf`	Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. ICWS Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2013	—	`conf`	A Model for Multi-levels SLA Monitoring in Federated Cloud Environment. UIC/ATC Asma Al Falasi, Mohamed Adel Serhani, Rachida Dssouli
2013	J	`jnl`	A SIP servlets-based framework for service provisioning in stand-alone MANETs. J. Netw. Comput. Appl. Slimane Bah, Roch H. Glitho, Rachida Dssouli
2013	B	`conf`	A multi-service multi-role integrated information model for dynamic resource discovery in virtual networks. WCNC May El Barachi, Sleiman Rabah, Nadjia Kara, Rachida Dssouli, Joey Paquet
2013	J	`jnl`	Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Auton. Agents Multi Agent Syst. Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli
2013	A	`conf`	Representing and reasoning about communicative conditional commitments. AAMAS Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2013	J	`jnl`	Verifying conformance of multi-agent commitment-based protocols. Expert Syst. Appl. Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli
2012	J	`jnl`	Communicative commitments: Model checking and complexity analysis. Knowl. Based Syst. Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli
2012	—	`conf`	Open virtual playground: Initial architecture and results. CCNC May El Barachi, Nadjia Kara, Rachida Dssouli
2012	J	`jnl`	Service-Oriented Architecture for High-Dimensional Private Data Mashup. IEEE Trans. Serv. Comput. Benjamin C. M. Fung, Thomas Trojer, Patrick C. K. Hung, Li Xiong, Khalil Al-Hussaeni, Rachida Dssouli
2011	J	`jnl`	An overlay network for autonomous information discovery in the post-composition registries of ambient networks. J. Netw. Comput. Appl. Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli
2011	J	`jnl`	Control-level call differentiation in IMS-based 3G core networks. IEEE Netw. May El Barachi, Roch H. Glitho, Rachida Dssouli
2011	—	`conf`	Model Checking Commitment Protocols. IEA/AIE (2) Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2011	—	`conf`	On the Performance of Hosting Web Services on Mobile Devices. IEEE SCC Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb
2011	A	`conf`	On the verification of social commitments and time. AAMAS Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli
2011	—	`conf`	Performance Evaluation of Mobile Web Services. ECOWS Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb
2010	—	`conf`	A Case Study on Multiparty Calls Differentiation in the IP Multimedia Subsystem. VTC Spring May El Barachi, Roch H. Glitho, Rachida Dssouli
2010	J	`jnl`	An evaluation of timed scenario notations. J. Syst. Softw. Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
2010	B	`conf`	Case Study: Master of Science in Service Computing (Msc SC). SERVICES Mohamed Adel Serhani, Rachida Dssouli
2010	—	`conf`	Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. KES-AMSTA (2) Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2010	—	`conf`	Symbolic Model Checking Commitment Protocols Using Reduction. DALT Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2010	A	`conf`	Symbolic model checking for agent interactions. AAMAS Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli
2010	J	`jnl`	The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless sensor networks. IEEE Commun. Mag. May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli
2010	—	`conf`	Towards a service-oriented network virtualization architecture. Kaleidoscope May El Barachi, Nadjia Kara, Rachida Dssouli
2009	—	`conf`	A New Semantics of Social Commitments Using Branching Space-Time Logic. Web Intelligence/IAT Workshops Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2009	—	`conf`	An Integrated Semantics of Social Commitments and Associated Operations. MALLOW Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli
2009	J	`jnl`	Efficient traces' collection mechanisms for passive testing of Web Services. Inf. Softw. Technol. Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Roch H. Glitho
2009	—	`conf`	Enhancing Engineering Methodology for Communities of Web Services. MALLOW Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2009	J	`jnl`	Media handling for multimedia conferencing in multihop cellular networks. IEEE Netw. Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli
2009	—	`conf`	The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking. VTC Spring May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli
2009	J	`jnl`	Use Case Maps as a property specification language. Softw. Syst. Model. Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
2009	—	`conf`	Verifiable Semantic Model for Agent Interactions Using Social Commitments. LADS Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli
2008	B	`conf`	A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem. WCNC May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli
2008	J	`jnl`	Ambient network composition. IEEE Netw. Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli
2008	—	`conf`	An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem. VTC Spring May El Barachi, Arif Kadiwal, Roch H. Glitho, Ferhat Khendek, Rachida Dssouli
2008	—	`conf`	An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETs. NTMS Slimane Bah, Roch H. Glitho, Rachida Dssouli
2008	—	`conf`	Enhancing the QoS and Resource Management Aspects of the 3GPP IMS Emergency Service Architecture. CCNC May El Barachi, Roch H. Glitho, Rachida Dssouli
2008	B	`conf`	Preserving Privacy in E-health Systems Using Hippocratic Databases. COMPSAC Yuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli
2008	—	`conf`	SIP Servlets for Service Provisioning in Multihop Cellular Networks: High-Level Architectural Alternatives. CCNC Slimane Bah, Roch H. Glitho, Rachida Dssouli
2008	B	`conf`	Securing Telehealth Applications in a Web-Based e-Health Portal. ARES Qian Liu, Shuo Lu, Yuan Hong, Lingyu Wang, Rachida Dssouli
2007	—	`conf`	A Megaco Based-Architecture for Controlling Media Mixers When Conferencing in Mobile Ad Hoc Networks. CCNC Roch H. Glitho, Rachida Dssouli, Dhafer Ben Khedher
2007	C	`conf`	A Negotiation Framework for the Composition of Registries in Ambient Networks. ISCC Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli
2007	—	`conf`	A Novel Overlay-Based Failure Detection Architecture for MANET Applications. ICON Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli
2007	—	`conf`	An Architecture for Composing Registries when Ambient Networks Compose. CCNC Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli, Ferhat Khendek, John Mattam
2007	—	`conf`	An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient Networks. ICON Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli
2007	—	`conf`	An Overlay Architecture for Information Publication and Discovery After the Composition of Registries in Ambient Networks. CCNC Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli
2007	C	`conf`	Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks. ISCC May El Barachi, Roch H. Glitho, Rachida Dssouli
2007	—	`conf`	Formal Verification of Use Case Maps with Real Time Extensions. SDL Forum Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
2007	J	`jnl`	Merging partial system behaviours: composition of use-case automata. IET Softw. Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli
2007	—	`conf`	New Approach for EFSM-Based Passive Testing of Web Services. TestCom/FATES Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho
2007	C	`conf`	Using Formal Composition of Use Cases in Requirements Engineering. SEKE Rabeb Mizouni, Aziz Salah, Rachida Dssouli
2006	C	`conf`	Composition of Use Cases Using Synchronization and Model Checking. FORTE Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli
2006	J	`jnl`	Media handling aspects of multimedia conferencing in broadband wireless ad hoc networks. IEEE Netw. Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli
2006	—	`conf`	Timed Use Case Maps. SAM Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
2006	—	`conf`	Towards the Testing of Composed Web Services in 3 TestCom Abdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani
2006	J	`jnl`	VAQoS: Architecture for End-to-End QoS Management of Value Added Web Services. Int. J. Intell. Inf. Technol. Mohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelghani Benharref, Elarbi Badidi
2005	A	`conf`	A QoS Broker Based Architecture for Efficient Web Services Selection. ICWS Mohamed Adel Serhani, Rachida Dssouli, Abdelhakim Hafid, Houari A. Sahraoui
2005	B	`conf`	A novel signaling system for multiparty sessions in peer-to-peer ad hoc networks. WCNC Chunyan Fu, Roch H. Glitho, Rachida Dssouli
2005	C	`conf`	Abstract Operational Semantics for Use Case Maps. FORTE Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
2005	A	`conf`	An ASM Operational Semantics for Use Case Maps. RE Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
2005	J	`jnl`	Developing Applications for Internet Telephony: A Case Study on the Use of Web Services for Conferencing in SIP Networks. Int. J. Web Inf. Syst. May El Barachi, Roch H. Glitho, Rachida Dssouli
2005	C	`conf`	Media Handling for Multiparty Sessions in Ad Hoc Peer-to-Peer Networks: A Novel Distributed Approach. ISCC Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli
2005	—	`conf`	Mobile Agents for Testing Web Services in Next Generation Networks. MATA Abdelghani Benharref, Roch H. Glitho, Rachida Dssouli
2005	—	`ed.`	Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings TestCom Ferhat Khendek, Rachida Dssouli
2005	—	`conf`	Toward A new Approach for Web Services Development Life Cycle. ISWS Mohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelhakim Hafid, Abdelghani Benharref
2004	—	`conf`	Applying Reduction Techniques to Software Functional Requirement Specifications. SAM Jameleddine Hassine, Rachida Dssouli, Juergen Rilling
2004	C	`conf`	Formal Composition of Distributed Scenarios. FORTE Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux
2003	—	`conf`	A Guided Method for Testing Timed Input Output Automata. TestCom Abdeslam En-Nouaary, Rachida Dssouli
2003	J	`jnl`	Implicit integration of scenarios into a reduced timed automaton. Inf. Softw. Technol. Aziz Salah, Rachida Dssouli, Guy Lapalme
2003	J	`jnl`	Preface. Inf. Softw. Technol. Rachida Dssouli, Ferhat Khendek
2003	J	`jnl`	Preface. Inf. Softw. Technol. Rachida Dssouli, Ferhat Khendek
2002	J	`jnl`	Performance testing of a negotiation platform. Inf. Softw. Technol. Charles Hélou, Rachida Dssouli, Teodor Gabriel Crainic
2002	J	`jnl`	Preface. Inf. Softw. Technol. Rachida Dssouli
2002	J	`jnl`	Timed Wp-Method: Testing Real-Time Systems. IEEE Trans. Software Eng. Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek
2001	J	`jnl`	A test case generation approach for conformance testing of SDL systems. Comput. Commun. C. Bourhfir, El Mostapha Aboulhamid, Rachida Dssouli, Nathalie Rico
2001	C	`conf`	Compiling Real-Time Scenarios into a Timed Automaton. FORTE Aziz Salah, Rachida Dssouli, Guy Lapalme
2001	J	`jnl`	MSC and SDL in project life cycles. Comput. Networks Rachida Dssouli, Yair Lahav
2001	J	`jnl`	Test cases selection from SDL specifications. Comput. Networks C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli
2000	—	`conf`	An Approach for Testing Real Time Protocol Entities. TestCom Ahmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger
2000	B	`conf`	Testing embedded real-time systems. RTCSA Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli
1999	C	`conf`	A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs. ISCC Kamel Karoui, Abderrazak Ghedamsi, Rachida Dssouli
1999	J	`jnl`	A service creation environment based on scenarios. Inf. Softw. Technol. Rachida Dssouli, Stéphane S. Somé, Jean G. Vaucher, Aziz Salah
1999	—	`conf`	A test case generation tool for conformance testing of SDL systems. SDL Forum C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico
1999	J	`jnl`	Communications software design for testability: specification transformations and testability measures. Inf. Softw. Technol. Rachida Dssouli, Kamel Karoui, Kassem Saleh, Omar Cherkaoui
1999	B	`conf`	Fault Coverage in Testing Real-Time Systems. RTCSA Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli
1999	—	`conf`	From timed scenarios to SDL: specification, implementation and testing of real-time systems. SDL Forum Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek
1999	C	`conf`	Protocol Synthesis for Real-Time Applications. FORTE Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli
1999	—	`ed.`	SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings SDL Forum Rachida Dssouli, Gregor von Bochmann, Yair Lahav
1999	B	`conf`	Statistical properties of MPEG video traffic and their impact on bandwidth allocation in wireless ATM networks. WCNC Youssef Iraqi, Raouf Boutaba, Rachida Dssouli
1999	J	`jnl`	Test development for communication protocols: towards automation. Comput. Networks Rachida Dssouli, Kassem Saleh, El Mostapha Aboulhamid, Abdeslam En-Nouaary, C. Bourhfir
1998	—	`conf`	A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. IWTCS C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico
1998	J	`jnl`	A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. Comput. Networks Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli
1998	B	`conf`	Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW). MMM Erika Madja, Abdelhakim Hafid, Rachida Dssouli, Gregor von Bochmann, Jan Gecsei
1998	A	`conf`	Timed Test Cases Generation Based on State Characterization Technique. RTSS Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, Abdelkader Elqortobi
1997	J	`jnl`	A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. Mob. Networks Appl. Zhongping Tao, Gregor von Bochmann, Rachida Dssouli
1997	—	`conf`	Design for testability of communication protocols based on SDL language. SDL Forum Kamel Karoui, Rachida Dssouli, Nina Yevtushenko
1997	—	`conf`	Detection of Feature Interactions with REST. FIW Rachida Dssouli, Stéphane S. Somé, J.-W. Guillery, Nathalie Rico
1997	J	`jnl`	Forte '95. Comput. Networks ISDN Syst. Gregor von Bochmann, Rachida Dssouli, Omar Rafiq
1996	C	`ed.`	Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 FORTE Gregor von Bochmann, Rachida Dssouli, Omar Rafiq
1996	J	`jnl`	Testing in context: framework and test derivation. Comput. Commun. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli
1995	C	`conf`	A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. FORTE Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher
1995	—	`conf`	A Negotiation Model for Distributed Multimedia Applications. MMNET Abdelhakim Hafid, Rachida Dssouli
1995	B	`conf`	An efficient method for protocol conversion. ICCCN Z. P. Tao, Gregor von Bochmann, Rachida Dssouli
1995	C	`conf`	From Scenarios to Timed Automata: Building Specifications from Users Requirements. APSEC Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher
1995	B	`conf`	Verification and diagnosis of testing equivalence and reduction relation. ICNP Zhongping Tao, Gregor von Bochmann, Rachida Dssouli
1994	—	`conf`	On distributed multimedia presentational applications: functional and computational architecture and QoS negotiation. Protocols for High-Speed Networks Brigitte Kerhervé, Andreas Vogel, Gregor von Bochmann, Rachida Dssouli, Jan Gecsei, Abdelhakim Hafid
1994	—	`conf`	On specifying services and synthesizing protocols for real-time applications. PSTV Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli
1994	—	`conf`	Quality of service verification experiments. CASCON Abdelhakim Hafid, Jan de Meer, Axel Rennoch, Gregor von Bochmann, Rachida Dssouli
1993	—	`conf`	Conformance Relations and Test Derivation. Protocol Test Systems Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli
1993	A	`conf`	Diagnosis of Single Transition Faults in Communicating Finite State Machines. ICDCS Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli
1993	—	`conf`	Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. Protocol Test Systems Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi
1993	A*	`conf`	Multiple Fault Diagnostics for Finite State Machines. INFOCOM Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli
1993	—	`conf`	On Evaluation of Testability of Protocol Structures. Protocol Test Systems Alexandre Petrenko, Rachida Dssouli, Hartmut König
1993	—	`ed.`	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 Protocol Test Systems Gregor von Bochmann, Rachida Dssouli, Anindya Das
1992	—	`conf`	A framework for dynamic evolution of object-oriented specifications. ICSM Mohammed Erradi, Gregor von Bochmann, Rachida Dssouli
1992	—	`conf`	Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. Protocol Test Systems Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann
1991	—	`conf`	Fault Models in Testing. Protocol Test Systems Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo
1991	—	`conf`	TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. Protocol Test Systems Martin Dubuc, Rachida Dssouli, Gregor von Bochmann
1990	C	`conf`	Distributed Observation and FIFO Queues. FORTE Rachida Dssouli, Reine Fournier, Gregor von Bochmann
1989	J	`jnl`	Trace Analysis for Conformance and Arbitration Testing. IEEE Trans. Software Eng. Gregor von Bochmann, Rachida Dssouli, J. R. Zhao
1985	—	`conf`	Error detection with multiple observers. PSTV Rachida Dssouli, Gregor von Bochmann
1985	—	`conf`	Use of Prolog for building protocol design tools. PSTV Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural
1984	—	`conf`	Use of Formal Specifications for Protocol Design, Implementation and Testing. PSTV Gregor von Bochmann, Eduard Cerny, George Walter Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre