| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | May El Barachi, Nadjia Kara, Rachida Dssouli |
Open virtual playground: Initial architecture and results.  |
CCNC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli |
An overlay network for autonomous information discovery in the post-composition registries of ambient networks. |
J. Network and Computer Applications |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | May El Barachi, Roch H. Glitho, Rachida Dssouli |
Control-level call differentiation in IMS-based 3G core networks. |
IEEE Network |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb |
Performance Evaluation of Mobile Web Services. |
ECOWS |
2011 |
DBLP DOI BibTeX RDF |
Web Services, Performance, Mobile Devices |
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
Model Checking Commitment Protocols. |
IEA/AIE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Mohamed Adel Serhani, Rachida Dssouli, Abdelghani Benharref, Ikbal Taleb |
On the Performance of Hosting Web Services on Mobile Devices. |
IEEE SCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli |
On the verification of social commitments and time. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 Communications Magazine |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
An evaluation of timed scenario notations. |
Journal of Systems and Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Adel Serhani, Rachida Dssouli |
Case Study: Master of Science in Service Computing (Msc SC). |
SERVICES |
2010 |
DBLP DOI BibTeX RDF |
Service computing curriculum, Master of Science in Service Computing, Service, Service computing |
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
Symbolic Model Checking Commitment Protocols Using Reduction. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. |
KES-AMSTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli |
Symbolic model checking for agent interactions. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | May El Barachi, Roch H. Glitho, Rachida Dssouli |
A Case Study on Multiparty Calls Differentiation in the IP Multimedia Subsystem. |
VTC Spring |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Use Case Maps as a property specification language. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification |
| 1 | Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli |
Media handling for multimedia conferencing in multihop cellular networks. |
IEEE Network |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Roch H. Glitho |
Efficient traces' collection mechanisms for passive testing of Web Services. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
A New Semantics of Social Commitments Using Branching Space-Time Logic. |
Web Intelligence/IAT Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
Verifiable Semantic Model for Agent Interactions Using Social Commitments. |
LADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
Enhancing Engineering Methodology for Communities of Web Services. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli |
An Integrated Semantics of Social Commitments and Associated Operations. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli |
Ambient network composition. |
IEEE Network |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Slimane Bah, Roch H. Glitho, Rachida Dssouli |
An Overlay Network for a SIP Servlet-Based Service Execution Environment in Stand Alone MANETs. |
NTMS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli |
Preserving Privacy in E-health Systems Using Hippocratic Databases. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Liu, Shuo Lu, Yuan Hong, Lingyu Wang, Rachida Dssouli |
Securing Telehealth Applications in a Web-Based e-Health Portal. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli |
Merging partial system behaviours: composition of use-case automata. |
IET Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli |
An IETF NSIS-Based Signaling Framework for Negotiating Registry Composition in Ambient Networks. |
ICON |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli |
A Novel Overlay-Based Failure Detection Architecture for MANET Applications. |
ICON |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
EFSM-based passive testing, Web Services testing |
| 1 | Rabeb Mizouni, Aziz Salah, Rachida Dssouli |
Using Formal Composition of Use Cases in Requirements Engineering. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli |
A Negotiation Framework for the Composition of Registries in Ambient Networks. |
ISCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | May El Barachi, Roch H. Glitho, Rachida Dssouli |
Context-Aware Signaling for Call Differentiation in IMS-Based 3G Networks. |
ISCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Formal Verification of Use Case Maps with Real Time Extensions. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
IJIIT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli |
Media handling aspects of multimedia conferencing in broadband wireless ad hoc networks. |
IEEE Network |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli |
Composition of Use Cases Using Synchronization and Model Checking. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
synchronized product, model checking, Use cases, composition operators |
| 1 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Timed Use Case Maps. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
timing aspects, timed UCM, Clocked Transition Systems, performance, User Requirements Notation, Use Case Maps |
| 1 | Abdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani |
Towards the Testing of Composed Web Services in 3rd Generation Networks. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
IJWIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Abstract Operational Semantics for Use Case Maps. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps |
| 1 | Ferhat Khendek, Rachida Dssouli (eds.) |
Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings |
TestCom |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
An ASM Operational Semantics for Use Case Maps. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelhakim Hafid, Abdelghani Benharref |
Toward A new Approach for Web Services Development Life Cycle. |
ISWS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Abdelghani Benharref, Roch H. Glitho, Rachida Dssouli |
Mobile Agents for Testing Web Services in Next Generation Networks. |
MATA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Adel Serhani, Rachida Dssouli, Abdelhakim Hafid, Houari A. Sahraoui |
A QoS Broker Based Architecture for Efficient Web Services Selection. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux |
Formal Composition of Distributed Scenarios. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
Scenario-based approach, Scenario composition, Distributed systems, Formal specification, Use case, FSM |
| 1 | Jameleddine Hassine, Rachida Dssouli, Juergen Rilling |
Applying Reduction Techniques to Software Functional Requirement Specifications. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps |
| 1 | Aziz Salah, Rachida Dssouli, Guy Lapalme |
Implicit integration of scenarios into a reduced timed automaton. |
Information & Software Technology |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachida Dssouli, Ferhat Khendek |
Preface. |
Information & Software Technology |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachida Dssouli, Ferhat Khendek |
Preface. |
Information & Software Technology |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdeslam En-Nouaary, Rachida Dssouli |
A Guided Method for Testing Timed Input Output Automata. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
Timed Input Output Automata, Real-Time Systems, Testing, Test Purposes |
| 1 | Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek |
Timed Wp-Method: Testing Real-Time Systems. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
real-time systems, Testing, specification, implementation, fault coverage, timed automaton |
| 1 | Charles Hélou, Rachida Dssouli, Teodor Gabriel Crainic |
Performance testing of a negotiation platform. |
Information & Software Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachida Dssouli |
Preface. |
Information & Software Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Bourhfir, El Mostapha Aboulhamid, Rachida Dssouli, Nathalie Rico |
A test case generation approach for conformance testing of SDL systems. |
Computer Communications |
2001 |
DBLP BibTeX RDF |
|
| 1 | C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli |
Test cases selection from SDL specifications. |
Computer Networks |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachida Dssouli, Yair Lahav |
MSC and SDL in project life cycles. |
Computer Networks |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Aziz Salah, Rachida Dssouli, Guy Lapalme |
Compiling Real-Time Scenarios into a Timed Automaton. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger |
An Approach for Testing Real Time Protocol Entities. |
TestCom |
2000 |
DBLP BibTeX RDF |
|
| 1 | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
Testing embedded real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product |
| 1 | Rachida Dssouli, Kassem Saleh, El Mostapha Aboulhamid, Abdeslam En-Nouaary, C. Bourhfir |
Test development for communication protocols: towards automation. |
Computer Networks |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachida Dssouli, Kamel Karoui, Kassem Saleh, Omar Cherkaoui |
Communications software design for testability: specification transformations and testability measures. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachida Dssouli, Stéphane S. Somé, Jean G. Vaucher, Aziz Salah |
A service creation environment based on scenarios. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli |
Protocol Synthesis for Real-Time Applications. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
Fault Coverage in Testing Real-Time Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Testing, Specification, Implementation, Timed Automata, Fault Coverage |
| 1 | Kamel Karoui, Abderrazak Ghedamsi, Rachida Dssouli |
A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs. |
ISCC |
1999 |
DBLP DOI BibTeX RDF |
Design, Controllability, Abstraction, Fuzziness, Testability, Diagnostics, Distinguishability |
| 1 | C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico |
A test case generation tool for conformance testing of SDL systems. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
| 1 | Rachida Dssouli, Gregor von Bochmann, Yair Lahav (eds.) |
SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
| 1 | Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek |
From timed scenarios to SDL: specification, implementation and testing of real-time systems. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
| 1 | Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli |
A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. |
Computer Networks |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). (PDF / PS) |
MMM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, A. Elqortobi |
Timed Test Cases Generation Based on State Characterization Technique. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhongping Tao, Gregor von Bochmann, Rachida Dssouli |
A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. |
MONET |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachida Dssouli, Stéphane S. Somé, J.-W. Guillery, Nathalie Rico |
Detection of Feature Interactions with REST. |
FIW |
1997 |
DBLP BibTeX RDF |
|
| 1 | Kamel Karoui, Rachida Dssouli, Nina Yevtushenko |
Design for testability of communication protocols based on SDL language. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
| 1 | Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli |
Testing in context: framework and test derivation. |
Computer Communications |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor von Bochmann, Rachida Dssouli, Omar Rafiq (eds.) |
Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 |
FORTE |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher |
From Scenarios to Timed Automata: Building Specifications from Users Requirements. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
Requirements Engineering, Synthesis, Scenarios, Timed automata, Timing constraints |
| 1 | Zhongping Tao, Gregor von Bochmann, Rachida Dssouli |
Verification and diagnosis of testing equivalence and reduction relation. |
ICNP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Z. P. Tao, Gregor von Bochmann, Rachida Dssouli |
An efficient method for protocol conversion. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
optimized protocol converters, heterogeneous computer networks, message sequences, deterministic service specification, modified channel specifications, internetworking system, protocols, interoperability, efficient algorithm, protocol specifications, observation equivalence, protocol conversion |
| 1 | Abdelhakim Hafid, Rachida Dssouli |
A Negotiation Model for Distributed Multimedia Applications. |
MMNET |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli |
On specifying services and synthesizing protocols for real-time applications. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Abdelhakim Hafid, Jan de Meer, Alex Rennoch, Gregor von Bochmann, Rachida Dssouli |
Quality of service verification experiments. |
CASCON |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor von Bochmann, Rachida Dssouli, Anindya Das (eds.) |
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 |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli |
Conformance Relations and Test Derivation. |
Protocol Test Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Alexandre Petrenko, Rachida Dssouli, Hartmut König |
On Evaluation of Testability of Protocol Structures. |
Protocol Test Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli |
Multiple Fault Diagnostics for Finite State Machines. |
INFOCOM |
1993 |
DBLP BibTeX RDF |
|
| 1 | Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli |
Diagnosis of Single Transition Faults in Communicating Finite State Machines. |
ICDCS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann |
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
| 1 | Martin Dubuc, Rachida Dssouli, Gregor von Bochmann |
TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
| 1 | Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo |
Fault Models in Testing. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
| 1 | Rachida Dssouli, Reine Fournier, Gregor von Bochmann |
Distributed Observation and FIFO Queues. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")