Manuscript de thèse |
[Zai01] |
F. Zaïdi. Une Méthode de génération de tests pour les composants de service. Application aux services de réseau intelligent. Doctorat, INT - Université d'Evry. Novembre 2001 |
Articles de journaux |
[CMZ09]
|
A. Carneiro Viana, S. Maag, and F. Zaïdi.
One step forward: Linking wireless self-organising networks
validation techniques with formal testing approaches.
ACM Computing Survey, Volume 43, Number 2, january 2011.
[ bib ]
|
[CMZCMCML05]
|
A. Cavalli, A. Mederreg, F. Zaïdi, P. Combes, W. Monin, R. Castanet,
M. MacKaya, and P. Laurencot.
Une Plate-forme de Validation Multi-Services et
Multi-Protocoles - Résultats d'Expérimentations.
Annales des Télécommunications, 60(5-6):588-609, June
2005.
[ bib ]
|
[BCNZ05]
|
E. Bayse, A. Cavalli, M. Núñez, and F. Zaïdi.
A passive testing approach based on invariants: application to the
wap.
In Computer Networks, volume 48, pages 247-266. Elsevier
Science, 2005.
[ bib ]
|
[CMZ04]
|
A. Cavalli, A. Mederreg, and F. Zaïdi.
Application of a formal testing methodology to wireless telephony
networks.
International Journal of the Brazilian Computer Society (JCBS),
10(2):56-68, November 2004.
ISSN 0104-6500.a
[ bib ]
|
Chapitre de livre |
[CLMMZ08]
|
A. Cavalli, M. Lallali, S. Maag, G. Morales, and F. Zaidi.
Emergent Web Intelligence, chapter Modeling and Testing of
Web Based Systems.
series: Advanced Information and Knowledge Processing. Springer Verlag, ISBN: 978-1-84996-076-2,39 pages 355-392, Avril 2010.
|
Conférences et workshops |
[NPZ13]
|
Huu Nghia Nguyen, P. Poizat and F. Zaïdi.
Automatic Skeleton Generation for Data-Aware Service Choreographies
In 24th IEEE International Symposium on Software Reliability Engineering, ISSRE 2013, accepted for publication, Pasadena, CA, USA, 2013.
[ bib ]
|
[CGKMZ13]
|
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout and F. Zaïdi.
Invariants for Finite Instances ... and Beyond.
In Formal Methods in Computer-Aided Design, FMCAD 2013, accepted for publication, Portland, OR, USA, 2013.
[ bib ]
|
[NPZ12a]
|
Huu Nghia Nguyen, P. Poizat and F. Zaïdi.
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing
In 14th IEEE International High Assurance Systems Engineering Symposium (HASE 12), 106-113, Nebraska, USA, 2012.
[ bib ]
|
[NPZ12b]
|
Huu Nghia Nguyen, P. Poizat and F. Zaïdi.
A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies
In International Conference on Service Oriented Computing (ICSOC 12), 525-532, Shanghai, 2012.
[ bib ]
|
[CGKMZ]
|
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout and F. Zaïdi.
Cubicle: A Parallel SMT-based Model-Checker for Parameterized Systems.
In Computer Aided Verification, CAV 2012, To appear, Berkeley, USA, 2012.
[ bib ]
|
[NPZ12c]
|
Huu Nghia Nguyen, P. Poizat and F. Zaïdi.
Passive Conformance Testing of Service Choreographies
In 27th ACM Symposium on Applied Computing (SAC 2012), 1528-1535, Trento, Italy, 2012.
[ bib ]
|
[WZ11]
|
Burkhart Wolff and F. Zaïdi.
In 23rd IFIP WG 6.1 International Conference, ICTSS 2011 , November 7-10, Proceedings Springer 2011.
[ bib ]
|
[MCHZ11]
|
Mazen El Maarabani, A. Cavalli, I. Hwang and F. Zaïdi.
Verification of Interoperability Security Policies by Model Checking.
In 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, 376-381, USA, 2011.
[ bib ]
|
[BPZ01]
|
L. Bentakouk, P. Poizat and F. Zaïdi.
Checking The Behaviroal Conformance of Web Services with Symbolic Testing and an SMT Solver.
In Test and Proof conference, TAP, 33-50, Zurich, 2011.
[ bib ]
|
[CHLPZ10]
|
A. Carneiro Viana, T. Herault, T. Largillier, S. Peyronnet, F. Zaidi.
Supple: A Flexible Probabilistic Data Dissemination Protocol for Wireless Sensor Networks.
In MSWIM'2010 - The 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems,pages 385-393, ACM, october 2010.
|
[ZLM10]
|
F. Zaidi, M. Lallali, S. Maag.
A Component based Testing Technique for a Manet Routing Protocol.
In AICCSA'2010 - ACS/IEEE International Conference on Computer Systems and Applications, pages 377-384, IEEE Computer Society, may 2010, Tunisia.
|
[CCMMSSZ10]
|
A. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sebastien Salva, F. Zaïdi.
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services.
In ICWS 2010 - IEEE International Conference on Web Services, pages 377-384, IEEE Computer Society, july 2010, Miami.
|
[PBZ09]
|
L. Bentakouk, P. Poizat and F. Zaïdi.
A Formal Framework for Service Orchestration Testing based on Symbolic Transition Systems.
In TESTCOM/FATES 2009 - 21th IFIP International Conference on Testing of Communicating Systems, Lecture Notes in Computer Science (LNCS), 5826:16-32, Springer, 2009, Eindhoven.
|
[ZCB09]
|
F. Zaïdi, A. Cavalli, and E. Bayse.
Network Protocol Interoperability Testing based on Contextual Signatures and Passive Testing.
In 24th Annual ACM Symposium on Applied Computing, pages 2-7, Hawaii, USA, March 2009. ACM.
|
[CMMZ09]
|
A. Cavalli, S. Maag, E. Montes de Oca, and F. Zaïdi.
A Formal Passive Testing Approach to test a MANET Routing
Protocol.
In PWN 2009 5th IEEE Percom Worshop on Pervasive Wireless Networking, pages 1-6, Texas, USA, March 2009. IEEE, IEEE CS.
|
[LZCH08]
|
M. Lallali, F. Zaidi, A. Cavalli, and I. Hwang.
Automatic Timed Test Case Generation for Web Services
composition.
In IEEE Computer Society Press, editor, The 6th IEEE European
Conference on Web Services (ECOWS'08), Dublin, November 2008.
pages 53-63.
|
[LZC08]
|
M. Lallali, F. Zaidi, and A. Cavalli.
Transforming bpel into intermediate format language for web services
composition testing.
In 4th International Conference on Next Generation Web Services
Practices, Seoul, October 2008. IEEE Computer CS. pages 191--197.
|
[LZC07]
|
M. Lallali, F. Zaïdi, and A. Cavalli.
Timed modeling of web services composition for automatic testing.
In SITIS IEEE/ACM 2007, pages 417-426, Shanghai, December
2007. IEEE Computer Society.
|
[MZ06A]
|
S. Maag and F. Zaidi.
A step-wise validation approach for a wireless routing protocol.
In IEEE International Conference on Communications and
Electronics (ICCE'06), Hanoi, Vietnam, October 2006. IEEE.
[ bib ]
|
[MZ06B]
|
Stéphane Maag and Fatiha Zaidi.
Testing methodology for an ad hoc routing protocol.
In PM2HW2N '06: Proceedings of the ACM international workshop on
Performance monitoring, measurement, and evaluation of heterogeneous wireless
and wired networks, pages 48-55, Terromolinos, Spain, 2006. ACM.
http://doi.acm.org/10.1145/1163653.1163663.
[ bib ]
|
[CMZ05]
|
A. Cavalli, S. Maag, and F. Zaidi.
Une approche uml pour la validation des services web.
In 5ème Colloque international sur les NOuvelles
TEchnologies de la REpartition (NOTERE), September 2005.
[ bib ]
|
[CMZCMCML05]
|
A. Cavalli, A. Mederreg, F. Zaïdi, P. Combes, W. Monin, R. Castanet,
M. MacKaya, and P. Laurencot.
Une Plate-forme de Validation Multi-Services et
Multi-Protocoles - Résultats d'Expérimentations.
Annales des Télécommunications, 60(5-6):588-609, June
2005.
[ bib ]
|
[CMPV04]
|
A. Cavalli, S. Maag, S. Papagiannaki, G. Vergiakis, and F. Zaïdi.
A Testing Methodology for an Open Software E-Learning
Platform.
In 18th IFIP World Computer congress-TC10/WG10.5 Workshop
Edutech, pages 165-174, Toulouse, France, August 2004.
[ bib ]
|
[CMZCMCML04]
|
A. Cavalli, A. Mederreg, F. Zaidi, P. Combes, W. Monin, R. Castanet,
M. Mackaya, and P. Laurencot.
A multi-service and multi-protocol validation platform
experimentation results.
In R. Hierons and R. Groz, editors, Testing of Communicating
Systems (Testcom'04), LNCS 2978, pages 17-19. The 16th IFIP International
Conference, TestCom, Springer, March 2004.
[ bib ]
|
[CMZ03]
|
A. Cavalli, A. Mederreg, and F. Zaïdi.
Application of formal testing methodology to wireless telephony
networks.
In 2nd International Information and Telecommunications
TEchnologies Symposium, I2TS'2003, Florianopolis, Brazil, October 2003.
[ bib ]
|
[BCKZ02]
|
Cédric Besse, Ana R. Cavalli, Myungchul Kim, and Fatiha Zaïdi.
Automated generation of interoperability tests.
In FIP/TC6/WG6.1 Fourteenth International Conference on Testing
of Communicating Systems (Testcom 2002), pages 169-184, Berlin, March 2002.
Kluwer Academic.
ISBN 0-7923-7695-1.
[ bib ]
|
[CDRZ01]
|
A. Cavalli, B. Defude, Ch. Rinderknecht, and F. Zaïdi.
A Service-Component Testing Method adn Suitable CORBA
Architecture.
In IEEE Computer Society, editor, Proceedings of the Sixth
IEEE Symposium on Computers and Communications, pages 655-660, Tunisia,
July 2001.
[ bib ]
|
[CDRZ00]
|
A. Cavalli, B. Defude, Ch. Rinderknecht, and F. Zaïdi.
Test de composants de service et exécution de tests sur une
plateforme corba.
In Michel Diaz Patrick Sénac Jean-Pierre Courtiat, editor,
CFIP'2000 Ingénierie des protocoles, pages 363-378, Toulouse, October
2000. Hermès.
[ bib ]
|
[CLRZ99A]
|
Ana Cavalli, David Lee, Christian Rinderknecht, and Fatiha Zaïdi.
Un algorithme pour le test imbriqué avec des applications aux
services r.i.
In Actes de la 3ème édition des journées Doctorales
Informatique et Réseaux, pages 22-24, Insitut National des
Télécommunications, Evry, November 1999.
[ bib ]
|
[CDRZ00B]
|
A. Cavalli, D. Lee, C. Rinderknecht, and F. Zaïdi.
Hit-or-Jump: An algorithm for Embedded Testing with
Applications to In Services.
In Jianping Wu and al., editors, Proceeding of IFIP
International conference FORTE/PSTV'99, pages 41-56, Beijing, China,
October 1999.
[ bib ]
|
Rapports techniques (et versions longues) |
[RR-LZC07]
|
M. Lallali, F. Zaïdi, and A. Cavalli.
Timed modeling of web services composition for automatic testing.
Technical Report 07008-LOR, GET/INT, Evry, September 2007.
Long version.
|
[RR-ZL07]
|
F. Zaidi and Mounir Lallali.
Use of verification techniques for components testing.
Technical Report 1465, LRI, http://www.lri.fr/Rapports-internes,
Université Paris-Sud XI, January 2007.
|
[RR-MZ06]
|
S. Maag and F. Zaïdi.
Spécification formelle pour le test d'un protocole de routage ad
hoc.
Technical Report 06009-LOR, GET/INT, France, October 2006.
[ bib ]
|
[Z03]
|
Fatiha Zaïdi.
Platonis - rapport final.
Delivrable, Institut National des Télécommunications, France,
2003.
[ bib ]
|
[D-Z02]
|
Fatiha Zaïdi.
Mise en place du réseau d'expérimentations.
Delivrable platonis-fc-t13/d13, Institut National des
Télécommunications, France, 2002.
[ bib ]
|
[D-Z01B]
|
Fatiha Zaïdi.
Test du service rpvm.
Delivrable fc-t222, Institut National des Télécommunications,
France, 2001.
[ bib ]
|
Autres |
[ZC00]
|
F. Zaïdi and A. Cavalli.
Tutorial: Automatic embedded test generation. université de
reims.
International Conference on Software Engineering Applied to
Networking and Parallel/Distributed Computing (SNPD'2000), May 2000.
[ bib ]
|
[Z01A]
|
F. Zaïdi.
Open problems in protocol testing.
Workshop on protocol and dsitributed systems testing, October 2001.
Université de Campinas, Brésil.
[ bib ]
|