2019 |
[OZC19]
|
Georges Ouffoué, F. Zaïdi and Ana Cavalli.
Attack Tolerance for Services-Based Applications in the Cloud.
In 31st IFIP WG 6.1 International Conference, ICTSS 2019, 242--258, Paris, France, 2019.
|
2018 |
[AMZ18]
|
Jose Alfredo Alvarez Aldana, Stéphane Maag and Fatiha Zaïdi.
MANETs interoperability: Current Trends and Open Research.
In 32nd International Conference on Advanced Information
Networking and Applications Workshops, AINA 2018, 481--487,
Krabow, Poland, May 2018.
|
[CDZ18]
|
Sylvain Conchon, David Declerck and Fatiha Zaïdi.
Cubicle-W: Parameterized Model checking on Weak Memory.
In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, 152-160, Oxford, UK, 2018.
|
[COOSZ18]
|
Ana R. Cavalli, Antonio M. Ortiz, Georges Ouffoué, Cesar A. Sanchez and Fatiha Zaïdi.
Design of a Secure Shield for Internet and Web-Based
Services Using Software Reflection.
In 25th International Conference on Web Services, ICWS 2018,
472--486, Seattle, USA, 2018.
|
2017 |
[AMZ17]
|
Jose Alvarez, Stephane Maag and Fatiha Zaïdi.
Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture.
In 31st IEEE International Conference on Advanced Information Networking and Applications, AINA 2017 , 407--414, Taipei, Taiwan, 2017.
|
[AMZ17]
|
Georges L. A. Ouffoué, Fatiha Zaïdi, Ana R. Cavalli,
Mounir Lallali.
An Attack-Tolerant Framework for Web Services.
In 2017 IEEE International Conference on Services Computing, SCC
2017 , 503--506, Honolulu, HI, USA, 2017.
|
[CDZ17]
|
Sylvain Conchon, David Declerck and Fatiha Zaïdi.
Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W.
In 19th International Conference on Formal Engineering Methods,
ICFEM 2017, 88--104, Xi'an, China, 2017.
|
[OZCL17]
|
Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali.
How Web Services Can Be Tolerant to Intruders through
Diversification.
In 2017 IEEE International Conferene on Web Services, ICWS 2017
, 436-443, Honolulu, USA, 2017.
|
[CDZ17]
|
Sylvain Conchon, David Declerck and Fatiha Zaïdi.
Parameterized Model Checking Modulo Explicit Weak Memory Models.
In Joint Workshop on Handling IMPlicit and EXplicit knowledge
in formal system development (IMPEX) and Formal and Model-Driven
Techniques for Developing Trustworthy Systems (FM&MDD), 48--63, Xi'an,
China, 2017.
|
2016 |
[OOCMDSZ16]
|
Georges Ouffoue, Antonio M. Ortiz, Ana R. Cavalli, Wissam Mallouli,
Josep Domingo-Ferrer, David Sánchez, Fatiha Zaïdi
Intrusion Detection and Attack Tolerance for Cloud Environments.
In 36th IEEE International Conference on Distributed Computing Systems
Workshops, ICDCS Workshops , 61--66, Nara, Japan, 2016.
|
[AMZ16]
|
Jose Alvarez, Stéphane Maag and Fatiha Zaïdi.
MANETs monitoring with a distributed hybrid architecture.
In The 15th IEEE International Symposium on
Network Computing and Applications, NCA 2016, 388--391,
Cambridge, Boston, MA, USA, October 2016.
|
[AMZ16]
|
Huu Nghia Nguyen, Fatiha Zaïdi and Ana Cavalli.
Effectively Testing of Timed Composite Systems using Test Case Prioritization.
In The 28th International Conference on Software Engineering and Knowledge Engineering, SEKE 2016, 408--413, San Francisco Bay, USA, 2016.
|
2015 |
[CMZ15]
|
Sylvain Conchon, Alain Mebsout and Fatiha Zaïdi.
Certificates for Parameterized Model Checking.
In FM 2015 : Formal Methods - 20th International Symposium
126--142, Oslo, Norway, 2015.
|
[XMNZ15]
|
Xiaoping Che, Stephane Maag, Huu Nghia Nguyen and Fatiha Zaïdi.
Guiding Testers' Hands in Monitoring Tools: Application of Testing
Approaches on SIP
In Testing Software and Systems - 27th IFIP WG 6.1
International Conference, ICTSS 2015 , 105--123, Dubai, United
Arab Emirates, 2015.
|
[XMNZ15]
|
Michael J. Butler, Sylvain Conchon and Fatiha Zaïdi.
Formal Methods and Software Engineering - 17th International
Conference on Formal Engineering Methods, ICFEM 2015, Paris, France,
November 3-5, 2015, Proceedings. Lecture Notes in Computer Science
9407, Springer 2015, ISBN 978-3-319-25422-7.
|
2014 |
[NZC14]
|
Huu Nghia Nguyen, Fatiha Zaïdi and Ana Cavalli.
A Framework for Distributed Testing of Timed Composite Systems.
In 21th Asia-Pacific Sotware Engineering Conference, APSEC 2014
47--54, Jeju, South Korea, 2014.
|
2013 |
[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.
|
[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.
|
2012 |
[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.
|
[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.
|
[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, 718-724, Berkeley, USA, 2012.
|
[NPZ12d]
|
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.
|
2011 |
[WZ11]
|
Burkhart Wolff and F. Zaïdi.
In 23rd IFIP WG 6.1 International Conference, ICTSS 2011 , November 7-10, Proceedings Springer 2011.
|
[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.
|
[CMZ11]
|
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.
|
[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.
|
2010 |
[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, ACM, october 2010.
|
[CLMMZ10]
|
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.
|
[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, 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.
|
2009 |
[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.
|
[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.
|
[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.
|
2008 |
[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), pages 53-63, Dublin, November 2008.
|
[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, pages 191-197, Seoul, October 2008. IEEE Computer CS.
|
2007 |
[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.
|
[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.
|
2006 |
[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.
|
[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.
|
[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.
|
2005 |
[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.
|
[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.
|
[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.
|
2004 |
[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.
|
[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.
|
[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.
|
2003 |
[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.
|
[MZCMCML03]
|
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.
|
[Z03]
|
Fatiha Zaïdi.
Platonis - rapport final.
Delivrable, Institut National des Télécommunications, France,
2003.
|
2002 |
[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.
|
[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.
|
2001 |
[Z01A]
|
F. Zaïdi.
Open problems in protocol testing.
Workshop on protocol and dsitributed systems testing, October 2001.
Université de Campinas, Brésil.
|
[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.
|
[D-Z01B]
|
Fatiha Zaïdi.
Test du service rpvm.
Delivrable fc-t222, Institut National des Télécommunications,
France, 2001.
|
2000 |
[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.
|
[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.
|
1999 |
[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.
|
[CDRZ99B]
|
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.
|