| 2008 |
|---|
| 27 | Securing Telehealth Applications in a Web-Based e-Health Portal. Qian Liu, Shuo Lu, Yuan Hong, Lingyu Wang, Rachida Dssouli. ARES 2008, 3-9. Web SearchBibTeXDownload |
| 26 | Preserving Privacy in E-health Systems Using Hippocratic Databases. Yuan Hong, Shuo Lu, Qian Liu, Lingyu Wang, Rachida Dssouli. COMPSAC 2008, 692-697. Web SearchBibTeXDownload |
| 2006 |
|---|
| 25 | VAQoS: Architecture for End-to-End QoS Management of Value Added Web Services. Mohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelghani Benharref, Elarbi Badidi. IJIIT (2): 37-56 (2006). Web SearchBibTeXDownload |
| 2005 |
|---|
| 24 | A QoS Broker Based Architecture for Efficient Web Services Selection. Mohamed Adel Serhani, Rachida Dssouli, Abdelhakim Hafid, Houari A. Sahraoui. ICWS 2005, 113-120. Web SearchBibTeXDownload |
| 23 | Toward A new Approach for Web Services Development Life Cycle. Mohamed Adel Serhani, Rachida Dssouli, Houari A. Sahraoui, Abdelhakim Hafid, Abdelghani Benharref. ISWS 2005, 94-103. Web SearchBibTeX |
| 1999 |
|---|
| 22 | Protocol Synthesis for Real-Time Applications. Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli. FORTE 1999, 417-433. Web SearchBibTeX |
| 1998 |
|---|
| 21 | A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli. Computer Networks (30): 777-794 (1998). Web SearchBibTeXDownload |
| 20 | Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW). Erika Madja, Abdelhakim Hafid, Rachida Dssouli, Gregor von Bochmann, Jan Gecsei. MMM 1998, 223. Web SearchBibTeXDownload |
| 1997 |
|---|
| 19 | A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. Zhongping Tao, Gregor von Bochmann, Rachida Dssouli. MONET (2): 259-269 (1997). Web SearchBibTeXDownload |
| 1996 |
|---|
| 18 | Testing in context: framework and test derivation. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli. Computer Communications (19): 1236-1249 (1996). Web SearchBibTeXDownload |
| 1995 |
|---|
| 17 | An efficient method for protocol conversion. Z. P. Tao, Gregor von Bochmann, Rachida Dssouli. ICCCN 1995, 40. Web SearchBibTeXDownload |
| 16 | Verification and diagnosis of testing equivalence and reduction relation. Zhongping Tao, Gregor von Bochmann, Rachida Dssouli. ICNP 1995, 14-21. Web SearchBibTeXDownload |
| 1994 |
|---|
| 15 | Quality of service verification experiments. Abdelhakim Hafid, Jan de Meer, Alex Rennoch, Gregor von Bochmann, Rachida Dssouli. CASCON 1994, 23. Web SearchBibTeXDownload |
| 14 | On distributed multimedia presentational applications: functional and computational architecture and QoS negotiation. Brigitte Kerhervé, Andreas Vogel, Gregor von Bochmann, Rachida Dssouli, Jan Gecsei, Abdelhakim Hafid. Protocols for High-Speed Networks 1994, 21-37. Web SearchBibTeX |
| 13 | On specifying services and synthesizing protocols for real-time applications. Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli. PSTV 1994, 185-200. Web SearchBibTeX |
| 1993 |
|---|
| 12 | Diagnosis of Single Transition Faults in Communicating Finite State Machines. Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli. ICDCS 1993, 157-166. Web SearchBibTeX |
| 11 | Multiple Fault Diagnostics for Finite State Machines. Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli. INFOCOM 1993, 782-791. Web SearchBibTeX |
| 10 | Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi. Protocol Test Systems 1993, 139-153. Web SearchBibTeX |
| 9 | Conformance Relations and Test Derivation. Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli. Protocol Test Systems 1993, 157-178. Web SearchBibTeX |
| 1992 |
|---|
| 8 | Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann. Protocol Test Systems 1992, 105-116. Web SearchBibTeX |
| 1991 |
|---|
| 7 | TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. Martin Dubuc, Rachida Dssouli, Gregor von Bochmann. Protocol Test Systems 1991, 195-206. Web SearchBibTeX |
| 6 | Fault Models in Testing. Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo. Protocol Test Systems 1991, 17-30. Web SearchBibTeX |
| 1990 |
|---|
| 5 | Distributed Observation and FIFO Queues. Rachida Dssouli, Reine Fournier, Gregor von Bochmann. FORTE 1990, 303-310. Web SearchBibTeX |
| 1989 |
|---|
| 4 | Trace Analysis for Conformance and Arbitration Testing. Gregor von Bochmann, Rachida Dssouli, J. R. Zhao. IEEE Trans. Software Eng. (15): 1347-1356 (1989). Web SearchBibTeXDownload |
| 1985 |
|---|
| 3 | Error detection with multiple observers. Rachida Dssouli, Gregor von Bochmann. PSTV 1985, 483-494. Web SearchBibTeX |
| 2 | Use of Prolog for building protocol design tools. Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural. PSTV 1985, 131-147. Web SearchBibTeX |
| 1984 |
|---|
| 1 | Use of Formal Specifications for Protocol Design, Implementation and Testing. Gregor von Bochmann, Eduard Cerny, George Walter Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre. PSTV 1984, 137-144. Web SearchBibTeX |
