Search the dblp DataBase

Publications of Author

1. Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui
   Model-Checking for Real-Time Systems Specified in Lotos. [Citation Graph (0, 0)][DBLP]
   CAV, 1992, pp:288-301 [Conf]
   
2. Omar Cherkaoui, Nathalie Rico, T. Dieu Linh Truong, Halima Elbiaze, Viet Minh Nhat Vo
   A Web Services Signaling Approach over Optical Networks for SAN Applications. [Citation Graph (0, 0)][DBLP]
   DSOM, 2003, pp:197-199 [Conf]
   
3. Rachida Dssouli, Stéphane S. Somé, J.-W. Guillery, Nathalie Rico
   Detection of Feature Interactions with REST. [Citation Graph (0, 0)][DBLP]
   FIW, 1997, pp:271-283 [Conf]
   
4. Nathalie Rico, Omar Cherkaoui, Halima Elbiaze
   A Policy Management Framework for GMPLS Optical Networks. [Citation Graph (0, 0)][DBLP]
   Net-Con, 2003, pp:213-224 [Conf]
   
5. Nathalie Rico, Gregor von Bochmann
   Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. [Citation Graph (0, 0)][DBLP]
   PSTV, 1991, pp:199-213 [Conf]
   
6. C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico
   A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. [Citation Graph (0, 0)][DBLP]
   IWTCS, 1998, pp:275-290 [Conf]
   
7. C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico
   A test case generation tool for conformance testing of SDL systems. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 1999, pp:405-0 [Conf]
   
8. C. Bourhfir, El Mostapha Aboulhamid, Rachida Dssouli, Nathalie Rico
   A test case generation approach for conformance testing of SDL systems. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2001, v:24, n:3-4, pp:319-333 [Journal]
   
9. 
   A policy-based approach for user controlled lightpath provisioning. [Citation Graph (, )][DBLP]