2009
2009.bib
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/2009.bib -c 'year = 2009' /users/asspro/zaidi/WWW/zaidi.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib /users/asspro/zaidi/WWW/zaidi.bib zaidi_from_wiki.bib}}
@INPROCEEDINGS{percom,
author = {A. Cavalli and S. Maag and E. Montes de Oca and F. Za\"idi},
title = {A {F}ormal {P}assive {T}esting {A}pproach to test a {MANET} {R}outing {P}rotocol},
booktitle = {7th IEEE International Conference on Pervasive Computing and Communications Percom 2009},
year = 2009,
address = {Texas, USA},
month = {March},
organization = {IEEE},
publisher = {IEEE CS},
note = {Submitted}
}
@INPROCEEDINGS{SAC,
author = {F. Za\"idi and A. Cavalli and E. Bayse},
title = {Network{P}rotocol {I}nteroperability {T}esting based on {C}ontextual},
booktitle = {24th Annual ACM Symposium on Applied on Applied Computing},
year = 2009,
address = {Hawaii, USA},
month = {March},
organization = {ACM},
note = {Submitted}
}
@INPROCEEDINGS{aina,
author = {F. Za\"idi and M. Lallali and S. Maag},
title = {A Component based Testing Technique to Test a MANET Routing Protocol},
booktitle = {The IEEE 23rd International Conference on Advanced Information Networking and Applications (AINA-09)},
year = 2009,
address = {Bradford, UK},
publisher = {IEEE},
note = {Submitted}
}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -c 'author : "Zaidi"' /users/asspro/zaidi/Plan-quadriennal/Plan-quadriannual/publi0508fortesse.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{modifications en dur par MCG}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob fortesse.bib -c year>=2005 /users/asspro/gouraud/WWW/gouraud.bib /users/asspro/mcg/WWW/mcg.bib /users/asspro/oudinet/WWW/oudinet.bib /users/asspro/zaidi/WWW/zaidi.bib /tmp/fayolleAPRES.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/fayolleAPRES.bib -c year>=2007 /users/asspro/fayolle/WWW/fayolle.bib}}
2008
2008.bib
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/2008.bib -c 'year = 2008' /users/asspro/zaidi/WWW/zaidi.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib /users/asspro/zaidi/WWW/zaidi.bib zaidi_from_wiki.bib}}
@ARTICLE{aline,
author = {S. Maag and A. Carneiro Viana and F. Za\"idi},
title = {One step forward: Linking Wireless Self-Organising Networks Validation Techniques with Formal Testing approaches},
journal = {ACM Computing Surveys},
year = 2008,
note = {Submitted, 30 pages}
}
@INBOOK{livre,
author = {A. Cavalli and M. Lallali and S. Maag and G. Morales and F. Zaidi},
title = {Emergent {W}eb {I}ntelligence},
chapter = {Modeling and Testing of Web Based Systems},
publisher = {Springer Verlag},
year = 2008,
series = {Studies in Computational Intelligence},
note = {To appear, 39 pages}
}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -c 'author : "Zaidi"' /users/asspro/zaidi/Plan-quadriennal/Plan-quadriannual/publi0508fortesse.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{modifications en dur par MCG}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob fortesse.bib -c year>=2005 /users/asspro/gouraud/WWW/gouraud.bib /users/asspro/mcg/WWW/mcg.bib /users/asspro/oudinet/WWW/oudinet.bib /users/asspro/zaidi/WWW/zaidi.bib /tmp/fayolleAPRES.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/fayolleAPRES.bib -c year>=2007 /users/asspro/fayolle/WWW/fayolle.bib}}
@INPROCEEDINGS{ECOWS,
author = {M. Lallali and F. Zaidi and A. Cavalli and I. Hwang},
title = {Automatic Timed Test Case Generation for Web Services Composition},
booktitle = {The 6th IEEE European Conference on Web Services (ECOWS'08)},
year = 2008,
editor = {IEEE Computer Society Press},
address = {Dublin},
month = {november},
note = {53--63},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {actes},
x-cle-support = {ECOWS},
pdf = {http://www.lri.fr/~zaidi/pdf_files/ecows08.pdf},
type_digiteo = {conf_isbn}
}
@INPROCEEDINGS{nwesp,
author = {M. Lallali and F. Zaidi and A. Cavalli},
title = {Transforming BPEL into Intermediate Format Language For Web Services Composition Testing},
booktitle = {4th International Conference on Next Generation Web Services Practices},
year = 2008,
address = {Seoul},
month = {october},
publisher = {IEEE Computer CS},
note = {191--197},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {actes},
pdf = {http://www.lri.fr/~zaidi/pdf_files/nwesp08.pdf},
x-cle-support = {[B]},
type_digiteo = {conf_isbn}
}
2007
2007.bib
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/2007.bib -c 'year = 2007' /users/asspro/zaidi/WWW/zaidi.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib /users/asspro/zaidi/WWW/zaidi.bib zaidi_from_wiki.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -c 'author : "Zaidi"' /users/asspro/zaidi/Plan-quadriennal/Plan-quadriannual/publi0508fortesse.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{modifications en dur par MCG}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob fortesse.bib -c year>=2005 /users/asspro/gouraud/WWW/gouraud.bib /users/asspro/mcg/WWW/mcg.bib /users/asspro/oudinet/WWW/oudinet.bib /users/asspro/zaidi/WWW/zaidi.bib /tmp/fayolleAPRES.bib}}
@INPROCEEDINGS{mounir,
author = {M. Lallali and F. Zaidi and A. Cavalli},
title = {Timed Modeling of Web Services Composition for Automatic Testing},
booktitle = {SITIS IEEE/ACM 2007},
type_digiteo = {conf_isbn},
pages = {417--427},
year = 2007,
address = {Shanghai},
month = {December},
publisher = {IEEE Computer Society},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {actes},
pdf = {http://www.lri.fr/~zaidi/pdf_files/SITIS07.pdf},
x-cle-support = {SITIS}
}
@TECHREPORT{rapport-lri,
author = {F. Zaidi and Mounir Lallali},
title = {Use of Verification Techniques for Components Testing},
institution = {LRI, http://www.lri.fr/Rapports-internes},
year = 2007,
number = 1465,
address = {Universit{\'e} Paris-Sud XI},
month = {January},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {rapport}
}
@TECHREPORT{rapport-mounir,
author = {M. Lallali and F. Zaidi and A. Cavalli},
title = {Timed Modeling of Web Services Composition for Automatic Testing},
institution = {GET/INT},
year = 2007,
number = {07008-LOR},
address = {Evry},
month = {September},
note = {Long version},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {rapport}
}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/fayolleAPRES.bib -c year>=2007 /users/asspro/fayolle/WWW/fayolle.bib}}
2006
2006.bib
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/2006.bib -c 'year = 2006' /users/asspro/zaidi/WWW/zaidi.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib /users/asspro/zaidi/WWW/zaidi.bib zaidi_from_wiki.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -c 'author : "Zaidi"' /users/asspro/zaidi/Plan-quadriennal/Plan-quadriannual/publi0508fortesse.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{modifications en dur par MCG}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob fortesse.bib -c year>=2005 /users/asspro/gouraud/WWW/gouraud.bib /users/asspro/mcg/WWW/mcg.bib /users/asspro/oudinet/WWW/oudinet.bib /users/asspro/zaidi/WWW/zaidi.bib /tmp/fayolleAPRES.bib}}
@INPROCEEDINGS{hut,
author = {S. Maag and F. Zaidi},
title = {A Step-Wise Validation Approach for a Wireless Routing Protocol},
booktitle = {IEEE International Conference on Communications and Electronics (ICCE'06)},
year = {2006},
address = {Hanoi, Vietnam},
month = {October},
publisher = {IEEE},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {actes},
x-cle-support = {HUT/ICCE}
}
@INPROCEEDINGS{mswim06,
author = {S. Maag and F. Zaidi},
title = {Testing methodology for an ad hoc routing protocol},
key = {isbn:1-59593-502-9},
booktitle = {PM2HW2N '06: Proceedings of the ACM international workshop on Performance monitoring, measurement, and evaluation of heterogeneous wireless and wired networks},
pages = {48--55},
year = 2006,
address = {Terromolinos, Spain},
publisher = {ACM},
note = {http://doi.acm.org/10.1145/1163653.1163663},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {actes},
pdf = {http://www.lri.fr/~zaidi/pdf_files/mswim06.pdf},
x-cle-support = {PM2HW2N}
}
@TECHREPORT{olsr,
author = {S. Maag and F. Zaidi},
title = { Sp{\'e}cification Formelle pour le Test d'un Protocole de Routage ad hoc},
institution = {GET/INT},
year = 2006,
number = {06009-LOR},
address = {France},
month = {October},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {rapport}
}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/fayolleAPRES.bib -c year>=2007 /users/asspro/fayolle/WWW/fayolle.bib}}
2005
2005.bib
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/2005.bib -c 'year = 2005' /users/asspro/zaidi/WWW/zaidi.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib /users/asspro/zaidi/WWW/zaidi.bib zaidi_from_wiki.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -c 'author : "Zaidi"' /users/asspro/zaidi/Plan-quadriennal/Plan-quadriannual/publi0508fortesse.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{modifications en dur par MCG}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob fortesse.bib -c year>=2005 /users/asspro/gouraud/WWW/gouraud.bib /users/asspro/mcg/WWW/mcg.bib /users/asspro/oudinet/WWW/oudinet.bib /users/asspro/zaidi/WWW/zaidi.bib /tmp/fayolleAPRES.bib}}
@ARTICLE{CMZal,
author = {A. Cavalli and A. Mederreg and F. Zaidi and P. Combes and W. Monin and R. Castanet and M. MacKaya and P. Laurencot},
title = {Une {P}late-forme de {V}alidation {M}ulti-{S}ervices et {M}ulti-{P}rotocoles - {R}{\'e}sultats d'{E}xp{\'e}rimentations},
journal = {Annales des T{\'e}l{\'e}communications},
year = 2005,
volume = 60,
number = {5-6},
pages = {588--609},
month = {June},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {revue},
x-cle-support = {JSAT}
}
@INCOLLECTION{bayse,
author = {E. Bayse and A. Cavalli and M. Nunez and F. Zaidi},
title = {A Passive Testing Approach based on Invariants: application to the WAP},
booktitle = {Computer Networks},
publisher = {Elsevier Science},
year = {2005},
volume = {48},
pages = {247-266},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {revue},
pdf = {http://www.lri.fr/~zaidi/pdf_files/CN05.pdf},
x-cle-support = {TN}
}
@INPROCEEDINGS{notere,
author = {A. Cavalli and S. Maag and F. Zaidi},
title = {Une approche UML pour la validation des services web},
booktitle = {5{\`e}me Colloque international sur les NOuvelles TEchnologies de la REpartition (NOTERE)},
year = 2005,
month = {September},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {actes},
pdf = {http://www.lri.fr/~zaidi/pdf_files/notere05.pdf},
x-cle-support = {NOTERE}
}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/fayolleAPRES.bib -c year>=2007 /users/asspro/fayolle/WWW/fayolle.bib}}
2004
2004.bib
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/2004.bib -c 'year = 2004' /users/asspro/zaidi/WWW/zaidi.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib /users/asspro/zaidi/WWW/zaidi.bib zaidi_from_wiki.bib}}
@INPROCEEDINGS{CMPVZ-edutech04,
author = {A. Cavalli and S. Maag and S. Papagiannaki and G. Vergiakis and F. Za{\"i}di},
title = {A {T}esting {M}ethodology for an {O}pen {S}oftware {E}-{L}earning {P}latform},
booktitle = {18th IFIP World Computer congress-TC10/WG10.5 Workshop Edutech},
pages = {165-174},
year = 2004,
address = {Toulouse, France},
month = {August}
}
@ARTICLE{brasil,
author = {A. Cavalli and A. Mederreg and F. Za{\"i}di},
title = {Application of a formal testing methodology to wireless telephony networks},
journal = {International Journal of the Brazilian Computer Society (JCBS)},
year = 2004,
volume = 10,
number = 2,
pages = {56-68},
month = {November},
note = {ISSN 0104-6500}
}
@INPROCEEDINGS{platonis,
author = {A. Cavalli and A. Mederreg and F. Zaidi and P. Combes and W. Monin and R. Castanet and M. Mackaya and P. Laurencot},
title = {A Multi-Service and Multi-Protocol Validation Platform Experimentation Results},
booktitle = {Testing of Communicating Systems (Testcom'04) },
year = {2004},
editor = {R. Hierons and R. Groz},
series = {LNCS 2978},
month = {March},
pages = {17--19},
organization = {The 16th IFIP International Conference, TestCom},
publisher = {Springer}
}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -c 'author : "Zaidi"' /users/asspro/zaidi/Plan-quadriennal/Plan-quadriannual/publi0508fortesse.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{modifications en dur par MCG}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob fortesse.bib -c year>=2005 /users/asspro/gouraud/WWW/gouraud.bib /users/asspro/mcg/WWW/mcg.bib /users/asspro/oudinet/WWW/oudinet.bib /users/asspro/zaidi/WWW/zaidi.bib /tmp/fayolleAPRES.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/fayolleAPRES.bib -c year>=2007 /users/asspro/fayolle/WWW/fayolle.bib}}
2003
2003.bib
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/2003.bib -c 'year = 2003' /users/asspro/zaidi/WWW/zaidi.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib /users/asspro/zaidi/WWW/zaidi.bib zaidi_from_wiki.bib}}
@INPROCEEDINGS{BCZ_msr03,
author = {C. Besse and A. Cavalli and F. Za{\"i}di},
title = {G{\'e}n{\'e}ration de tests d'interop{\'e}rabilit{\'e} pour le protocole TCP},
booktitle = {4{\`e}me Colloque Francophone sur la Mod{\'e}lisation des Syst{\`e}mes R{\'e}actifs},
year = 2003,
address = {Metz},
month = {October},
publisher = {Herm{\`e}s}
}
@INPROCEEDINGS{CMZ-I2TS03,
author = {A. Cavalli and A. Mederreg and F. Za{\"i}di},
title = {Application of Formal Testing Methodology to Wireless Telephony Networks},
booktitle = {2nd International Information and Telecommunications TEchnologies Symposium, I2TS'2003},
year = 2003,
address = {Florianopolis, Brazil},
month = {October}
}
@INPROCEEDINGS{CMZal-cfip03,
author = {A. Mederreg and F. Za{\"i}di and P. Combes and W. Monin and R. Castanet and M. MacKaya and P. Lauren{\~c}ot},
title = {Une {P}late-forme de {V}alidation {M}ulti-{S}ervices et {M}ulti-{P}rotocoles - {R}{\'e}sultats d'{E}xp{\'e}rimentations},
booktitle = {CFIP'2003 Ing{\'e}nierie des Protocoles},
pages = {135--151},
year = 2003,
editor = {A. Cavalli, M. Riguidel et A. Serhouchni},
address = {Paris},
month = {October},
publisher = {Herm{\`e}s}
}
@TECHREPORT{platonis02v2,
author = { Fatiha Za{\"i}di},
title = {Platonis - rapport final},
year = 2003,
type = {Delivrable},
institution = {Institut National des T{\'e}l{\'e}communications, France}
}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -c 'author : "Zaidi"' /users/asspro/zaidi/Plan-quadriennal/Plan-quadriannual/publi0508fortesse.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{modifications en dur par MCG}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob fortesse.bib -c year>=2005 /users/asspro/gouraud/WWW/gouraud.bib /users/asspro/mcg/WWW/mcg.bib /users/asspro/oudinet/WWW/oudinet.bib /users/asspro/zaidi/WWW/zaidi.bib /tmp/fayolleAPRES.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/fayolleAPRES.bib -c year>=2007 /users/asspro/fayolle/WWW/fayolle.bib}}
2002
2002.bib
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/2002.bib -c 'year = 2002' /users/asspro/zaidi/WWW/zaidi.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib /users/asspro/zaidi/WWW/zaidi.bib zaidi_from_wiki.bib}}
@INPROCEEDINGS{CMZ-sci02,
author = {A. Cavalli and A. Mederreg and F. Za{\"i}di},
title = {Mobiles Services Validation},
booktitle = {The 6th World Conference on Systemics, Cybernics and Informatics},
year = 2002,
editor = {Nagib Callaos and al},
address = {Orlando},
month = {July},
publisher = {IIIS}
}
@INPROCEEDINGS{testcom02,
author = {C{\'e}dric Besse and Ana R. Cavalli and Myungchul Kim and Fatiha Za\"{\i}di},
title = {Automated Generation of Interoperability Tests},
booktitle = {FIP/TC6/WG6.1 Fourteenth International Conference on Testing of Communicating Systems (Testcom 2002)},
year = {2002},
address = {Berlin},
month = {March},
note = {ISBN 0-7923-7695-1},
pages = {169-184},
publisher = {Kluwer Academic}
}
@TECHREPORT{platonis02,
author = { Fatiha Za{\"i}di},
title = {Mise en place du r{\'e}seau d'exp{\'e}rimentations},
year = 2002,
type = {Delivrable PLATONIS-FC-T13/D13},
institution = {Institut National des T{\'e}l{\'e}communications, France}
}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -c 'author : "Zaidi"' /users/asspro/zaidi/Plan-quadriennal/Plan-quadriannual/publi0508fortesse.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{modifications en dur par MCG}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob fortesse.bib -c year>=2005 /users/asspro/gouraud/WWW/gouraud.bib /users/asspro/mcg/WWW/mcg.bib /users/asspro/oudinet/WWW/oudinet.bib /users/asspro/zaidi/WWW/zaidi.bib /tmp/fayolleAPRES.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/fayolleAPRES.bib -c year>=2007 /users/asspro/fayolle/WWW/fayolle.bib}}
2001
2001.bib
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/2001.bib -c 'year = 2001' /users/asspro/zaidi/WWW/zaidi.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib /users/asspro/zaidi/WWW/zaidi.bib zaidi_from_wiki.bib}}
@INPROCEEDINGS{CDRZ-ISCC01,
author = {A. Cavalli and B. Defude and Ch. Rinderknecht and F. Za{\"i}di},
title = {A {S}ervice-{C}omponent {T}esting {Method} adn {S}uitable {CORBA} {A}rchitecture},
booktitle = {Proceedings of the Sixth {IEEE} Symposium on Computers and Communications},
pages = {655--660},
year = 2001,
editor = {IEEE Computer Society},
address = {Tunisia},
month = {July}
}
@MISC{campinas,
author = {F. Za{\"i}di},
title = { Open Problems in protocol testing},
howpublished = {Workshop on protocol and dsitributed systems testing},
month = {October},
year = 2001,
note = { Universit{\'e} de Campinas, Br{\'e}sil}
}
@TECHREPORT{castor01,
author = { Fatiha Za{\"i}di},
title = {Test du Service RPVM},
year = 2001,
type = {Delivrable FC-T222},
institution = {Institut National des T{\'e}l{\'e}communications, France}
}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -c 'author : "Zaidi"' /users/asspro/zaidi/Plan-quadriennal/Plan-quadriannual/publi0508fortesse.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{modifications en dur par MCG}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob fortesse.bib -c year>=2005 /users/asspro/gouraud/WWW/gouraud.bib /users/asspro/mcg/WWW/mcg.bib /users/asspro/oudinet/WWW/oudinet.bib /users/asspro/zaidi/WWW/zaidi.bib /tmp/fayolleAPRES.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/fayolleAPRES.bib -c year>=2007 /users/asspro/fayolle/WWW/fayolle.bib}}
2000
2000.bib
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/2000.bib -c 'year = 2000' /users/asspro/zaidi/WWW/zaidi.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib /users/asspro/zaidi/WWW/zaidi.bib zaidi_from_wiki.bib}}
@INPROCEEDINGS{cfip00,
author = {A. Cavalli and B. Defude and Ch. Rinderknecht and F. Za{\"i}di},
title = {Test de composants de service et ex{\'e}cution de tests sur une plateforme CORBA},
booktitle = {CFIP'2000 Ing{\'e}nierie des protocoles},
pages = {363-378},
year = 2000,
editor = {Patrick S{\'e}nac Jean-Pierre Courtiat, Michel Diaz},
address = {Toulouse},
month = {October},
publisher = {Herm{\`e}s}
}
@MISC{snpd,
author = {F. Za{\"i}di and A. Cavalli},
title = {Tutorial: Automatic embedded test generation. Universit{\'e} de Reims},
howpublished = {International Conference on Software Engineering Applied to Networking and Parallel/Distributed Computing (SNPD'2000)},
month = {May},
year = 2000
}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -c 'author : "Zaidi"' /users/asspro/zaidi/Plan-quadriennal/Plan-quadriannual/publi0508fortesse.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{modifications en dur par MCG}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob fortesse.bib -c year>=2005 /users/asspro/gouraud/WWW/gouraud.bib /users/asspro/mcg/WWW/mcg.bib /users/asspro/oudinet/WWW/oudinet.bib /users/asspro/zaidi/WWW/zaidi.bib /tmp/fayolleAPRES.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/fayolleAPRES.bib -c year>=2007 /users/asspro/fayolle/WWW/fayolle.bib}}
1999
1999.bib
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/1999.bib -c 'year = 1999' /users/asspro/zaidi/WWW/zaidi.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib /users/asspro/zaidi/WWW/zaidi.bib zaidi_from_wiki.bib}}
@INPROCEEDINGS{algo-sirius,
author = {A. Cavalli and D. Lee and C. Rinderknecht and F. Za{\"i}di},
title = {Hit-or-{J}ump: {A}n algorithm for {E}mbedded {T}esting with {A}pplications to {I}n {S}ervices},
booktitle = {Proceeding of {IFIP} {I}nternational conference {FORTE}/{PSTV}'99},
year = {1999},
editor = {Jianping Wu and al.},
pages = {41-56},
address = {Beijing, China},
month = {October}
}
@INPROCEEDINGS{jdir,
author = {Ana Cavalli and David Lee and Christian Rinderknecht and Fatiha Za{\"i}di},
title = {Un algorithme pour le test imbriqu{\'e} avec des applications aux services R.I},
booktitle = {Actes de la 3{\`e}me {\'e}dition des journ{\'e}es Doctorales Informatique et R{\'e}seaux},
pages = {22-24},
year = 1999,
address = {Insitut National des T{\'e}l{\'e}communications, Evry},
month = {November}
}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -c 'author : "Zaidi"' /users/asspro/zaidi/Plan-quadriennal/Plan-quadriannual/publi0508fortesse.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{modifications en dur par MCG}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob fortesse.bib -c year>=2005 /users/asspro/gouraud/WWW/gouraud.bib /users/asspro/mcg/WWW/mcg.bib /users/asspro/oudinet/WWW/oudinet.bib /users/asspro/zaidi/WWW/zaidi.bib /tmp/fayolleAPRES.bib}}
@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob /tmp/fayolleAPRES.bib -c year>=2007 /users/asspro/fayolle/WWW/fayolle.bib}}