| A passive testing approach based on invariants: application to the WAP E Bayse, A Cavalli, M Nunez, F Zaidi Computer networks 48 (2), 247-266, 2005 | 168 | 2005 |
| Cubicle: a parallel SMT-based model checker for parameterized systems: tool paper S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 137 | 2012 |
| Hit-or-Jump: An algorithm for embedded testing with applications to IN services A Cavalli, D Lee, C Rinderknecht, F Zaïdi International Conference on Protocol Specification, Testing and Verification …, 1999 | 115 | 1999 |
| Automatic timed test case generation for web services composition M Lallali, F Zaidi, A Cavalli, I Hwang 2008 Sixth European Conference on Web Services, 53-62, 2008 | 73 | 2008 |
| A formal framework for service orchestration testing based on symbolic transition systems L Bentakouk, P Poizat, F Zaïdi Testing of Software and Communication Systems, 16-32, 2009 | 63 | 2009 |
| Invariants for finite instances and beyond S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi 2013 Formal Methods in Computer-Aided Design, 61-68, 2013 | 58 | 2013 |
| Timed modeling of web services composition for automatic testing M Lallali, F Zaidi, A Cavalli 2007 Third International IEEE Conference on Signal-Image Technologies and …, 2007 | 41 | 2007 |
| Webmov: A dedicated framework for the modelling and testing of web services composition A Cavalli, TD Cao, W Mallouli, E Martins, A Sadovykh, S Salva, F Zaidi 2010 IEEE International Conference on Web Services, 377-384, 2010 | 35 | 2010 |
| Checking the behavioral conformance of web services with symbolic testing and an SMT solver L Bentakouk, P Poizat, F Zaïdi International Conference on Tests and Proofs, 33-50, 2011 | 30 | 2011 |
| Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks A Carneiro Viana, T Herault, T Largillier, S Peyronnet, F Zaïdi Proceedings of the 13th ACM international conference on Modeling, analysis …, 2010 | 28 | 2010 |
| Two methods for interoperability tests generation: An application to the tcp/ip protocol C Besse, A Cavalli, M Kim, F Zaidi | 27* | 2002 |
| Network protocol interoperability testing based on contextual signatures and passive testing F Zaidi, E Bayse, A Cavalli Proceedings of the 2009 ACM symposium on Applied Computing, 2-7, 2009 | 25 | 2009 |
| A symbolic framework for the conformance checking of value-passing choreographies HN Nguyen, P Poizat, F Zaïdi International Conference on Service-Oriented Computing, 525-532, 2012 | 24 | 2012 |
| Transforming bpel into intermediate format language for web services composition testing M Lallali, F Zaidi, A Cavalli 2008 4th International Conference on Next Generation Web Services Practices …, 2008 | 24 | 2008 |
| One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches AC Viana, S Maag, F Zaidi ACM Computing Surveys (CSUR) 43 (2), 7, 2011 | 23 | 2011 |
| Certificates for parameterized model checking S Conchon, A Mebsout, F Zaïdi FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 21 | 2015 |
| Automatic skeleton generation for data-aware service choreographies HN Nguyen, P Poizat, F Zaidi 2013 IEEE 24th International Symposium on Software Reliability Engineering …, 2013 | 20 | 2013 |
| Passive conformance testing of service choreographies HN Nguyen, P Poizat, F Zaïdi Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1528-1535, 2012 | 20 | 2012 |
| Online verification of value-passing choreographies through property-oriented passive testing HN Nguyen, P Poizat, F Zaïdi 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012 | 18 | 2012 |
| Testing methodology for an ad hoc routing protocol S Maag, F Zaidi Proceedings of the ACM international workshop on Performance monitoring …, 2006 | 18 | 2006 |
Ana CavalliProfesseur Telecom SudParisE-mail confirmado em it-sudparis.eu
