default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRachida Dssouli
Person information
- affiliation: Concordia University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j51]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: 103080 (2023)- 2021
- [j50]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): 76 (2021) - 2020
- [j49]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): 271-292 (2020) - [j48]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: 113458 (2020) - [c102]Mounia Elqortobi, Amine Rahj, Jamal Bentahar, Rachida Dssouli:
Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing. SITA 2020: 38:1-38:6
2010 – 2019
- 2019
- [j47]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: 462-481 (2019) - [j46]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): 1543-1570 (2019) - [c101]Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli:
Big Data Quality: A Data Quality Profiling Model. SERVICES 2019: 61-77 - 2018
- [j45]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: 39989-40007 (2018) - [c100]Hadeel T. El Kassabi, Mohamed Adel Serhani, Rachida Dssouli, Nabeel A. Y. Al-Qirim, Ikbal Taleb:
Cloud Workflow Resource Shortage Prediction and Fulfillment Using Multiple Adaptation Strategies. IEEE CLOUD 2018: 974-977 - [c99]Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli:
Big Data Quality: A Survey. BigData Congress 2018: 166-173 - [c98]Ikbal Taleb, Mohamed Adel Serhani, Rachida Dssouli:
Big Data Quality Assessment Model for Unstructured Data. IIT 2018: 69-74 - [c97]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: 63-74 - [e5]Fatna Belqasmi, Hamid Harroud, Max Agueh, Rachida Dssouli, Faouzi Kamoun:
Emerging Technologies for Developing Countries - First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 206, Springer 2018, ISBN 978-3-319-67836-8 [contents] - 2017
- [j44]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: 95-155 (2017) - [j43]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: 151-184 (2017) - [j42]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): 223-271 (2017) - [c96]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: 99-109 - [c95]Mounia Elqortobi, Jamal Bentahar, Rachida Dssouli:
Framework for Dynamic Web Services Composition Guided by Live Testing. AFRICATEK 2017: 129-139 - [c94]Nader Kesserwan, Rachida Dssouli, Jamal Bentahar:
Modernization of Legacy Software Tests to Model-Driven Testing. AFRICATEK 2017: 140-156 - 2016
- [c93]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: 225-233 - [c92]Sleiman Rabah, Fatna Belqasmi, Rabeb Mizouni, Rachida Dssouli:
An Elastic Hybrid Sensing Platform: Architecture and Research Challenges. FNC/MobiSPC 2016: 113-120 - [c91]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: 759-765 - 2015
- [j41]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): 36-44 (2015) - [j40]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): 307-323 (2015) - [j39]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: 3 (2015) - [j38]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): 564-606 (2015) - [c90]Ikbal Taleb, Rachida Dssouli, Mohamed Adel Serhani:
Big Data Pre-processing: A Quality Framework. BigData Congress 2015: 191-198 - [c89]Mohab Aly, May El Barachi, Rachida Dssouli:
A new information model towards context-aware service provisioning in the Internet-of-Things. ICIN 2015: 160-167 - [c88]Warda El Kholy, Mohamed El-Menshawy, Amine Laarej, Jamal Bentahar, Faisal Al-Saqqar, Rachida Dssouli:
Real-Time Conditional Commitment Logic. PRIMA 2015: 547-556 - 2014
- [j37]Omar Marey, Jamal Bentahar, Rachida Dssouli, Mohamed Mbarki:
Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games. Expert Syst. Appl. 41(2): 306-320 (2014) - [j36]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): 7478-7494 (2014) - [j35]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): 9:1-9:49 (2014) - [c87]Omar Marey, Jamal Bentahar, Ehsan Khosrowshahi Asl, Mohamed Mbarki, Rachida Dssouli:
Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation. ANT/SEIT 2014: 61-68 - [c86]Saed Alrabaee, Ahmed Saleh Bataineh, Fawaz Ali Khasawneh, Rachida Dssouli:
Using model checking for Trivial File Transfer Protocol validation. COMNET 2014: 1-7 - [c85]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. ICWS 2014: 49-56 - 2013
- [j34]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): 375-418 (2013) - [j33]Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli:
Verifying conformance of multi-agent commitment-based protocols. Expert Syst. Appl. 40(1): 122-138 (2013) - [j32]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): 147-155 (2013) - [c84]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
Representing and reasoning about communicative conditional commitments. AAMAS 2013: 1169-1170 - [c83]Asma Al Falasi, Mohamed Adel Serhani, Rachida Dssouli:
A Model for Multi-levels SLA Monitoring in Federated Cloud Environment. UIC/ATC 2013: 363-370 - [c82]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: 4777-4782 - 2012
- [j31]Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli:
Communicative commitments: Model checking and complexity analysis. Knowl. Based Syst. 35: 21-34 (2012) - [j30]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): 373-386 (2012) - [c81]May El Barachi, Nadjia Kara, Rachida Dssouli:
Open virtual playground: Initial architecture and results. CCNC 2012: 576-581 - 2011
- [j29]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): 697-707 (2011) - [j28]May El Barachi, Roch H. Glitho, Rachida Dssouli:
Control-level call differentiation in IMS-based 3G core networks. IEEE Netw. 25(1): 20-28 (2011) - [c80]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 - [c79]Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
On the verification of social commitments and time. AAMAS 2011: 483-490 - [c78]Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb:
Performance Evaluation of Mobile Web Services. ECOWS 2011: 184-191 - [c77]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Model Checking Commitment Protocols. IEA/AIE (2) 2011: 37-47 - 2010
- [j27]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): 42-50 (2010) - [j26]Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
An evaluation of timed scenario notations. J. Syst. Softw. 83(2): 326-350 (2010) - [c76]Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli:
Symbolic model checking for agent interactions. AAMAS 2010: 1555-1556 - [c75]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Symbolic Model Checking Commitment Protocols Using Reduction. DALT 2010: 185-203 - [c74]May El Barachi, Nadjia Kara, Rachida Dssouli:
Towards a service-oriented network virtualization architecture. Kaleidoscope 2010: 1-7 - [c73]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. KES-AMSTA (2) 2010: 11-21 - [c72]Mohamed Adel Serhani, Rachida Dssouli:
Case Study: Master of Science in Service Computing (Msc SC). SERVICES 2010: 80-83 - [c71]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
2000 – 2009
- 2009
- [j25]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): 362-374 (2009) - [j24]Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli:
Media handling for multimedia conferencing in multihop cellular networks. IEEE Netw. 23(2): 35-42 (2009) - [j23]Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
Use Case Maps as a property specification language. Softw. Syst. Model. 8(2): 205-220 (2009) - [c70]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 - [c69]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Verifiable Semantic Model for Agent Interactions Using Social Commitments. LADS 2009: 128-152 - [c68]Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli:
An Integrated Semantics of Social Commitments and Associated Operations. MALLOW 2009 - [c67]Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Enhancing Engineering Methodology for Communities of Web Services. MALLOW 2009 - [c66]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 - 2008
- [j22]Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli:
Ambient network composition. IEEE Netw. 22(4): 6-12 (2008) - [c65]Qian Liu, Shuo Lu, Yuan Hong, Lingyu Wang, Rachida Dssouli:
Securing Telehealth Applications in a Web-Based e-Health Portal. ARES 2008: 3-9 - [c64]May El Barachi, Roch H. Glitho, Rachida Dssouli:
Enhancing the QoS and Resource Management Aspects of the 3GPP IMS Emergency Service Architecture. CCNC 2008: 112-116 - [c63]Slimane Bah, Roch H. Glitho, Rachida Dssouli:
SIP Servlets for Service Provisioning in Multihop Cellular Networks: High-Level Architectural Alternatives. CCNC 2008: 127-131 - [c62]Yuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli:
Preserving Privacy in E-health Systems Using Hippocratic Databases. COMPSAC 2008: 692-697 - [c61]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 - [c60]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 - [c59]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 - 2007
- [j21]Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli:
Merging partial system behaviours: composition of use-case automata. IET Softw. 1(4): 143-160 (2007) - [c58]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: 105-109 - [c57]Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli, Ferhat Khendek, John Mattam:
An Architecture for Composing Registries when Ambient Networks Compose. CCNC 2007: 503-507 - [c56]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: 696-700 - [c55]Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli:
A Novel Overlay-Based Failure Detection Architecture for MANET Applications. ICON 2007: 130-135 - [c54]Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli:
An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient Networks. ICON 2007: 272-277 - [c53]May El Barachi, Roch H. Glitho, Rachida Dssouli:
Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks. ISCC 2007: 789-796 - [c52]Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli:
A Negotiation Framework for the Composition of Registries in Ambient Networks. ISCC 2007: 981-987 - [c51]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: 13-27 - [c50]Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
Formal Verification of Use Case Maps with Real Time Extensions. SDL Forum 2007: 225-241 - [c49]Rabeb Mizouni, Aziz Salah, Rachida Dssouli:
Using Formal Composition of Use Cases in Requirements Engineering. SEKE 2007: 238- - 2006
- [j20]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): 37-56 (2006) - [j19]Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli:
Media handling aspects of multimedia conferencing in broadband wireless ad hoc networks. IEEE Netw. 20(2): 42-49 (2006) - [c48]Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli:
Composition of Use Cases Using Synchronization and Model Checking. FORTE 2006: 292-306 - [c47]Abdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani:
Towards the Testing of Composed Web Services in 3rd Generation Networks. TestCom 2006: 118-133 - [c46]Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
Timed Use Case Maps. SAM 2006: 99-114 - 2005
- [j18]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): 147-159 (2005) - [c45]Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
Abstract Operational Semantics for Use Case Maps. FORTE 2005: 366-380 - [c44]Mohamed Adel Serhani, Rachida Dssouli, Abdelhakim Hafid, Houari A. Sahraoui:
A QoS Broker Based Architecture for Efficient Web Services Selection. ICWS 2005: 113-120 - [c43]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: 131-136 - [c42]Mohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelhakim Hafid, Abdelghani Benharref:
Toward A new Approach for Web Services Development Life Cycle. ISWS 2005: 94-103 - [c41]Abdelghani Benharref, Roch H. Glitho, Rachida Dssouli:
Mobile Agents for Testing Web Services in Next Generation Networks. MATA 2005: 182-191 - [c40]Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
An ASM Operational Semantics for Use Case Maps. RE 2005: 467-468 - [c39]Chunyan Fu, Roch H. Glitho, Rachida Dssouli:
A novel signaling system for multiparty sessions in peer-to-peer ad hoc networks. WCNC 2005: 2287-2292 - [e4]Ferhat Khendek, Rachida Dssouli:
Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings. Lecture Notes in Computer Science 3502, Springer 2005, ISBN 3-540-26054-4 [contents] - 2004
- [c38]Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux:
Formal Composition of Distributed Scenarios. FORTE 2004: 213-228 - [c37]Jameleddine Hassine, Rachida Dssouli, Juergen Rilling:
Applying Reduction Techniques to Software Functional Requirement Specifications. SAM 2004: 138-153 - 2003
- [j17]Rachida Dssouli, Ferhat Khendek:
Preface. Inf. Softw. Technol. 45(11): 699 (2003) - [j16]Aziz Salah, Rachida Dssouli, Guy Lapalme:
Implicit integration of scenarios into a reduced timed automaton. Inf. Softw. Technol. 45(11): 715-725 (2003) - [j15]Rachida Dssouli, Ferhat Khendek:
Preface. Inf. Softw. Technol. 45(12): 791-792 (2003) - [c36]Abdeslam En-Nouaary, Rachida Dssouli:
A Guided Method for Testing Timed Input Output Automata. TestCom 2003: 211-225 - 2002
- [j14]Rachida Dssouli:
Preface. Inf. Softw. Technol. 44(5): 277-278 (2002) - [j13]Charles Hélou, Rachida Dssouli, Teodor Gabriel Crainic:
Performance testing of a negotiation platform. Inf. Softw. Technol. 44(5): 313-330 (2002) - [j12]Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek:
Timed Wp-Method: Testing Real-Time Systems. IEEE Trans. Software Eng. 28(11): 1023-1038 (2002) - 2001
- [j11]Rachida Dssouli, Yair Lahav:
MSC and SDL in project life cycles. Comput. Networks 35(6): 611-612 (2001) - [j10]C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli:
Test cases selection from SDL specifications. Comput. Networks 35(6): 693-708 (2001) - [j9]C. Bourhfir, El Mostapha Aboulhamid, Rachida Dssouli, Nathalie Rico:
A test case generation approach for conformance testing of SDL systems. Comput. Commun. 24(3-4): 319-333 (2001) - [c35]Aziz Salah, Rachida Dssouli, Guy Lapalme:
Compiling Real-Time Scenarios into a Timed Automaton.<