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 ]
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 ]


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 ]
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 ]
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, 718-724, Berkeley, USA, 2012. [ bib ]
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 ]


Burkhart Wolff and F. Zaïdi. In 23rd IFIP WG 6.1 International Conference, ICTSS 2011 , November 7-10, Proceedings Springer 2011. [ bib ]
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 ]
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 ]
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 ]


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, ACM, october 2010.
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, à paraître juin 2010.
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, IEEE Computer Society, may 2010, Tunisia.
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.


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.
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.
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.


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), pages 53-63, Dublin, November 2008.
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, pages 191-197, Seoul, October 2008. IEEE Computer CS.


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.
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.
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.


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 ]
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 ]
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 ]


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 ]
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 ]
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 ]


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 ]
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 ]
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 ]


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 ]
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. In M. Riguidel et A. Serhouchni A. Cavalli, editor, CFIP'2003 Ingénierie des Protocoles, pages 135-151, Paris, October 2003. Hermès. [ bib ]
Fatiha Zaïdi. Platonis - rapport final. Delivrable, Institut National des Télécommunications, France, 2003. [ bib ]


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 ]
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 ]


F. Zaïdi. Open problems in protocol testing. Workshop on protocol and dsitributed systems testing, October 2001. Université de Campinas, Brésil. [ bib ]
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 ]
Fatiha Zaïdi. Test du service rpvm. Delivrable fc-t222, Institut National des Télécommunications, France, 2001. [ bib ]


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 ]
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 ]


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 ]
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 ]

Co-authors & co-editors

Ana Cavalli   Télécom\& Management Sud-Paris, France
Emmanuel Bayse   Stéria, France
Cédric Besse   LIP6, University of Paris 6, France
Richard Castanet   LaBRI, University of Bordeaux, France
Pierre Combes   FT R\& D, France
Bruno Defude   Télécom\& Management Sud-Paris, France
Iksoon Hwang   Télécom\& Management Sud-Paris, France
Myungchul Kim  ICU, Korea
Mounir Lallali   Télécom\& Management Sud-Paris, France
Patrice Laurencot F.png  LIMOS, University of Clermont-Ferrand, , France
David Lee   Ohio state University, USA
Stéphane Maag Télécom\& Management Sud-Paris, France
M. Mackaya
Amel Mederreg  PRISMA , France
Wei Monin   FT R\& D, Grenoble, France
M. Núñez   Universidad Complutense de Madrid, Spain

Copyright notice. The documents available from this site are provided as a means to ensure timely dissemination of technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder (Springer-Verlag for works appeared in the LNCS series, ACM-SIAM, IEEE, etc.). Permission to make digital or hard copies of part or all of these works for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. The electronic version of some of the works available from this site may differ from the definitive published version. Copyright of works submitted for publication may be transferred without further notice and this version may no longer be accessible.