default search action
Rachida 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
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
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
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
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
From use case maps to executable test procedures: a scenario-based approach. Softw. Syst. Model. 18(2): 1543-1570 (2019) - [c101]Ikbal Taleb
Big Data Quality: A Data Quality Profiling Model. SERVICES 2019: 61-77 - 2018
- [j45]Hadeel T. El Kassabi, Mohamed Adel Serhani
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
Big Data Quality: A Survey. BigData Congress 2018: 166-173 - [c98]Ikbal Taleb
Big Data Quality Assessment Model for Unstructured Data. IIT 2018: 69-74 - [c97]Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar
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
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
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
Trust Assessment-Based Multiple Linear Regression for Processing Big Data Over Diverse Clouds. AFRICATEK 2017: 99-109 - [c95]Mounia Elqortobi, Jamal Bentahar
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
Policy-Based QoS Enforcement for Adaptive Big Data Distribution on the Cloud. BigDataService 2016: 225-233 - [c92]Sleiman Rabah, Fatna Belqasmi
An Elastic Hybrid Sensing Platform: Architecture and Research Challenges. FNC/MobiSPC 2016: 113-120 - [c91]Ikbal Taleb
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
Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intell. Syst. 30(2): 36-44 (2015) - [j40]Omar Marey
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
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
Computational logics and verification techniques of multi-agent commitments: survey. Knowl. Eng. Rev. 30(5): 564-606 (2015) - [c90]Ikbal Taleb
Big Data Pre-processing: A Quality Framework. BigData Congress 2015: 191-198 - [c89]Mohab Aly
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
Real-Time Conditional Commitment Logic. PRIMA 2015: 547-556 - 2014
- [j37]Omar Marey
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
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
Conditional Commitments: Reasoning and Model Checking. ACM Trans. Softw. Eng. Methodol. 24(2): 9:1-9:49 (2014) - [c87]Omar Marey
Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation. ANT/SEIT 2014: 61-68 - [c86]Saed Alrabaee, Ahmed Saleh Bataineh, Fawaz Ali Khasawneh
Using model checking for Trivial File Transfer Protocol validation. COMNET 2014: 1-7 - [c85]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar
Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. ICWS 2014: 49-56 - 2013
- [j34]Mohamed El-Menshawy, Jamal Bentahar
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
Verifying conformance of multi-agent commitment-based protocols. Expert Syst. Appl. 40(1): 122-138 (2013) - [j32]Slimane Bah, Roch H. Glitho
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
A multi-service multi-role integrated information model for dynamic resource discovery in virtual networks. WCNC 2013: 4777-4782 - 2012
- [j31]Jamal Bentahar
Communicative commitments: Model checking and complexity analysis. Knowl. Based Syst. 35: 21-34 (2012) - [j30]Benjamin C. M. Fung
Service-Oriented Architecture for High-Dimensional Private Data Mashup. IEEE Trans. Serv. Comput. 5(3): 373-386 (2012) - [c81]May El Barachi
Open virtual playground: Initial architecture and results. CCNC 2012: 576-581 - 2011
- [j29]Fatna Belqasmi
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
Control-level call differentiation in IMS-based 3G core networks. IEEE Netw. 25(1): 20-28 (2011) - [c80]Rabeb Mizouni
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
Performance Evaluation of Mobile Web Services. ECOWS 2011: 184-191 - [c77]Mohamed El-Menshawy, Jamal Bentahar
Model Checking Commitment Protocols. IEA/AIE (2) 2011: 37-47 - 2010
- [j27]May El Barachi
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
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
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
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
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
Media handling for multimedia conferencing in multihop cellular networks. IEEE Netw. 23(2): 35-42 (2009) - [j23]Jameleddine Hassine
Use Case Maps as a property specification language. Softw. Syst. Model. 8(2): 205-220 (2009) - [c70]Mohamed El-Menshawy, Jamal Bentahar
A New Semantics of Social Commitments Using Branching Space-Time Logic. Web Intelligence/IAT Workshops 2009: 492-496 - [c69]Mohamed El-Menshawy, Jamal Bentahar
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
The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking. VTC Spring 2009 - 2008
- [j22]Fatna Belqasmi
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
Enhancing the QoS and Resource Management Aspects of the 3GPP IMS Emergency Service Architecture. CCNC 2008: 112-116 - [c63]Slimane Bah, Roch H. Glitho
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
An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETs. NTMS 2008: 1-5 - [c60]May El Barachi
An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem. VTC Spring 2008: 2784-2788 - [c59]May El Barachi
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
Merging partial system behaviours: composition of use-case automata. IET Softw. 1(4): 143-160 (2007) - [c58]Fatna Belqasmi
An Overlay Architecture for Information Publication and Discovery After the Composition of Registries in Ambient Networks. CCNC 2007: 105-109 - [c57]Fatna Belqasmi
An Architecture for Composing Registries when Ambient Networks Compose. CCNC 2007: 503-507 - [c56]Roch H. Glitho
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
A Novel Overlay-Based Failure Detection Architecture for MANET Applications. ICON 2007: 130-135 - [c54]Fatna Belqasmi
An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient Networks. ICON 2007: 272-277 - [c53]May El Barachi
Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks. ISCC 2007: 789-796 - [c52]Fatna Belqasmi
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
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
Towards the Testing of Composed Web Services in 3rd Generation Networks. TestCom 2006: 118-133 - [c46]Jameleddine Hassine
Timed Use Case Maps. SAM 2006: 99-114 - 2005
- [j18]May El Barachi
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
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
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
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
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. FORTE 2001: 135-150 - 2000
- [c34]Ahmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger:
An Approach for Testing Real Time Protocol Entities. TestCom 2000: 281-300 - [c33]Abdeslam En-Nouaary, Ferhat Khendek
Testing embedded real-time systems. RTCSA 2000: 417-424
1990 – 1999
- 1999
- [j8]Rachida Dssouli, Kassem Saleh, El Mostapha Aboulhamid, Abdeslam En-Nouaary, C. Bourhfir:
Test development for communication protocols: towards automation. Comput. Networks 31(17): 1835-1872 (1999) - [j7]Rachida Dssouli, Stéphane S. Somé, Jean G. Vaucher, Aziz Salah:
A service creation environment based on scenarios. Inf. Softw. Technol. 41(11-12): 697-713 (1999) - [j6]Rachida Dssouli, Kamel Karoui
Communications software design for testability: specification transformations and testability measures. Inf. Softw. Technol. 41(11-12): 729-743 (1999) - [c32]Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli:
Protocol Synthesis for Real-Time Applications. FORTE 1999: 417-433 - [c31]Kamel Karoui
A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs. ISCC 1999: 109-115 - [c30]Abdeslam En-Nouaary, Ferhat Khendek
Fault Coverage in Testing Real-Time Systems. RTCSA 1999: 150-157 - [c29]Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek:
From timed scenarios to SDL: specification, implementation and testing of real-time systems. SDL Forum 1999: 67- - [c28]C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico:
A test case generation tool for conformance testing of SDL systems. SDL Forum 1999: 405- - [c27]Youssef Iraqi
Statistical properties of MPEG video traffic and their impact on bandwidth allocation in wireless ATM networks. WCNC 1999: 998-1002 - [e3]Rachida Dssouli, Gregor von Bochmann, Yair Lahav:
SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings. Elsevier 1999 [contents] - 1998
- [j5]Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli:
A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. Comput. Networks 30(8): 777-794 (1998) - [c26]Erika Madja, Abdelhakim Hafid, Rachida Dssouli, Gregor von Bochmann, Jan Gecsei:
Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW). MMM 1998: 223- - [c25]C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico:
A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. IWTCS 1998: 275-290 - [c24]Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, Abdelkader Elqortobi:
Timed Test Cases Generation Based on State Characterization Technique. RTSS 1998: 220-229 - 1997
- [j4]Gregor von Bochmann, Rachida Dssouli, Omar Rafiq:
Forte '95. Comput. Networks ISDN Syst. 29(7): 731-733 (1997) - [j3]Zhongping Tao, Gregor von Bochmann, Rachida Dssouli:
A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. Mob. Networks Appl. 2(3): 259-269 (1997) - [c23]Rachida Dssouli, Stéphane S. Somé, J.-W. Guillery, Nathalie Rico:
Detection of Feature Interactions with REST. FIW 1997: 271-283 - [c22]Kamel Karoui, Rachida Dssouli, Nina Yevtushenko:
Design for testability of communication protocols based on SDL language. SDL Forum 1997: 151- - 1996
- [j2]Alexandre Petrenko
Testing in context: framework and test derivation. Comput. Commun. 19(14): 1236-1249 (1996) - [e2]Gregor von Bochmann, Rachida Dssouli, Omar Rafiq:
Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. IFIP Conference Proceedings 43, Chapman & Hall 1996, ISBN 0-412-73270-X [contents] - 1995
- [c21]Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher:
From Scenarios to Timed Automata: Building Specifications from Users Requirements. APSEC 1995: 48-57 - [c20]Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher:
A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. FORTE 1995: 287-294 - [c19]Z. P. Tao, Gregor von Bochmann, Rachida Dssouli:
An efficient method for protocol conversion. ICCCN 1995: 40 - [c18]Zhongping Tao, Gregor von Bochmann, Rachida Dssouli:
Verification and diagnosis of testing equivalence and reduction relation. ICNP 1995: 14-21 - [c17]Abdelhakim Hafid, Rachida Dssouli:
A Negotiation Model for Distributed Multimedia Applications. MMNET 1995: 142-151 - 1994
- [c16]Abdelhakim Hafid, Jan de Meer, Axel Rennoch, Gregor von Bochmann, Rachida Dssouli:
Quality of service verification experiments. CASCON 1994: 23 - [c15]Brigitte Kerhervé, Andreas Vogel, Gregor von Bochmann, Rachida Dssouli, Jan Gecsei, Abdelhakim Hafid:
On distributed multimedia presentational applications: functional and computational architecture and QoS negotiation. Protocols for High-Speed Networks 1994: 21-37 - [c14]Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli:
On specifying services and synthesizing protocols for real-time applications. PSTV 1994: 185-200 - 1993
- [c13]Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli:
Diagnosis of Single Transition Faults in Communicating Finite State Machines. ICDCS 1993: 157-166 - [c12]Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli:
Multiple Fault Diagnostics for Finite State Machines. INFOCOM 1993: 782-791 - [c11]Alexandre Petrenko, Rachida Dssouli, Hartmut König:
On Evaluation of Testability of Protocol Structures. Protocol Test Systems 1993: 111-124 - [c10]Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi:
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. Protocol Test Systems 1993: 139-153 - [c9]Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli:
Conformance Relations and Test Derivation. Protocol Test Systems 1993: 157-178 - [e1]Gregor von Bochmann, Rachida Dssouli, Anindya Das:
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. IFIP Transactions C-11, North-Holland 1993, ISBN 0-444-89980-4 [contents] - 1992
- [c8]Mohammed Erradi, Gregor von Bochmann, Rachida Dssouli:
A framework for dynamic evolution of object-oriented specifications. ICSM 1992: 96-104 - [c7]Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann:
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. Protocol Test Systems 1992: 105-116 - 1991
- [c6]Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo:
Fault Models in Testing. Protocol Test Systems 1991: 17-30 - [c5]Martin Dubuc, Rachida Dssouli, Gregor von Bochmann:
TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. Protocol Test Systems 1991: 195-206 - 1990
- [c4]Rachida Dssouli, Reine Fournier, Gregor von Bochmann:
Distributed Observation and FIFO Queues. FORTE 1990: 303-310
1980 – 1989
- 1989
- [j1]Gregor von Bochmann, Rachida Dssouli, J. R. Zhao:
Trace Analysis for Conformance and Arbitration Testing. IEEE Trans. Software Eng. 15(11): 1347-1356 (1989) - 1985
- [c3]Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural:
Use of Prolog for building protocol design tools. PSTV 1985: 131-147 - [c2]Rachida Dssouli, Gregor von Bochmann:
Error detection with multiple observers. PSTV 1985: 483-494 - 1984
- [c1]Gregor von Bochmann, Eduard Cerny, George Walter Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre:
Use of Formal Specifications for Protocol Design, Implementation and Testing. PSTV 1984: 137-144
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: