Publications (after 1984)

Edition of Books

2003
A. Cavalli (Editor), ICNP'2002, IEEE computer society, 2003.
A. Cavalli, M. Riguidel, A. Serhouchni (Editors), CFIP'2003.
2001
A. Cavalli, Réseaux et Télécoms : Ingénierie des protocoles et qualité de service, Hermes, October 2001, France.
1998
S. Budkowski, A. Cavalli, E. Najm (Editors) , Formal Description Techniques and Protocol specification, testing and verification, Kluwer Academic Publishers , 1998.
1997
A. Cavalli, A. Sarma (Editors), SDL'97 Time for Testing SDL, MSC and Trends, North Holland, 1997.
1995
VII Protocols Test Systems, Editors Ana Cavalli and Stanislas Budkowski, Chapman and Hall, 1995.

Chapter of Books

2015
Jeevan Pokhrel, Natalia Kushik, Bachar Wehbi, Nina Yevtushenko and Ana R. Cavalli, “Multimedia quality-of-experiences”, Book chapter in Handbook of Research on Networked Multimedia Communication Systems, IGI-global, 2015.
2014
Antonio Cuadra-Sanchez, Mar Cutanda-Rodriguez, Andreas Aurelius, Kjell Brunnstrom, Jorge E. Lopez De Vergara, Martin Varela, Jukka-Pekka Laulajainen, Anderson Morais, Ana Cavalli, Abdelhamid Mellouk, Brice Augustin and Ismael Perez-Mateos, An Ecosystem for Customer Experience Management. Book chapter in "Quality of Experience Engineering for Customer Added Value Services: From Evaluation to Monitoring". Editors A. Mellouk and A. Cuadra, ISBN: 978-1-84821-672-3, 256 pages, July 2014, Wiley-ISTE.
Pramila Mouttappa, Stephane Maag and Ana Cavalli, Symbolic-based Monitoring for Embedded Applications. Book chapter in "Industry and Research Perspectives on Embedded System Design", IGI Global, To be published mid. 2014.
2011
W. Mallouli, B. Wehbi, A. Cavalli and S. Maag, Formal Supervision of Mobile Ad hoc Networks for Security Flaws Detection. Book chapter in "Security Engineering Techniques and Solutions for Information Systems: Management and Implementation", Editors Pr. Noureddine Boudriga and Pr. Mohamed Hamdi. Publisher: Information Science Reference - IGI Global. ISBN: 9781615208036. Published on 15 May 2011.
2010
A. Cavalli, M. Lallali, S. Maag, G. Morales, and F. Zaidi. Modeling and Testing of Web Based Systems. Book chapter in "Emergent Web Intelligence", Studies in Computational Intelligence. Springer Verlag, 544 pages, ISBN-10 1849960763, Mai 2010
W. Mallouli, B. Wehbi, A. Cavalli and S. Maag, "Formal Supervision of Mobile Ad hoc Networks for Security Flaws Detection". Book chapter in "Security Engineering Techniques and Solutions for Information Systems: Management and Implementation", IGI Global, 26 pages. To be published end 2010.
A. Cavalli, M. Lallali, S. Maag, G. Morales and F. Zaidi. Emergent Web Intelligence, Chapter "Modeling and Testing of Web Based Systems". Studies in Computational Intelligence. Springer Verlag, 544 pages, ISBN-10 1849960763, Mai 2010.
2007
J.M. Orset et A. Cavalli, Chapter Sécurité des protocoles de routage dans les réseaux ad hoc, M. Maknavicius et H. Chaouchi editeurs. "Sécurité des réseaux sans-fil". IC2, Réseaux & Télécoms. Hèrmes, Mars 2007.

Scientific Revues and Acts of International Conferences (by review/selection committees)

2017
Georges L. A. Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali: An Attack-Tolerant Framework for Web Services. SCC 2017: 503-506
Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali: Model-Based Attack Tolerance. AINA Workshops 2017: 68-73
Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli: A Platform for Security Monitoring of Multi-cloud Applications. Ershov Informatics Conference 2017: 59-71
Hüsnü Yenigün, Natalia Kushik, Jorge López, Nina Yevtushenko, Ana R. Cavalli: Decreasing the complexity of deriving test suites against nondeterministic finite state machines. EWDTS 2017: 1-4
Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli, Erkuden Rios: Multi-cloud Applications Security Monitoring. GPC 2017: 748-758
Pamela Carvallo, Ana R. Cavalli, Natalia Kushik: Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection. ICSOFT 2017: 480-487
Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali: How Web Services Can Be Tolerant to Intruders through Diversification. ICWS 2017: 436-443
2016
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli: On adaptive experiments for nondeterministic finite state machines. STTT 18(3): 251-264 (2016)
Diego Rivera, Ana R. Cavalli, Natalia Kushik and Wissam Mallouli, An Implementation of a QoE Evaluation Technique Including Business Model Parameters, 11th International Joint on Software Technologies (ICSOFT) 2016, 24-26 July 2016, Lisbon, Portugal.
Khalifa Toumi, César Andrés, Ana R. Cavalli: Formal framework for defining trust in multi-organisation environment. IJAACS 9(1/2): 164-178 (2016).
Huu Nghia Nguyen, Fatiha Zaidi and Ana Cavalli, Effectively Testing of Timed Composite Systems using Test Case Prioritization, SEKE, June 30-July 3, San Francisco, USA, 2016.
Jorge Visca and Raul Fuentes and Ana R. Cavalli and Javier Baliosian, Opportunistic media sharing for mobile networks, IEEE/IFIP Network Operations and Management Symposium (NOMS), April 25-29 2016, Istanbul, Turkey.
Raul Fuentes-Samaniego and Ana R. Cavalli and Juan A. Nolazco-Flores, An analysis of secure M2M communication in WSNs using DTLS, Second IEEE International Workshop on Security Testing and Monitoring (STAM) 2016, June 27, Nara, Japan.
Vinh Hoa La and Ana Cavalli, A misbehavior node detection algorithm for 6LoWPAN Wireless Sensor Networks, Second IEEE International Workshop on Security Testing and Monitoring (STAM) 2016, June 27, Nara, Japan.
Georges Ouffoué, Antonio M. Ortiz, Ana Cavalli, Wissam Mallouli, Josep Domingo-Ferrer, David Sánchez and Fatiha Zaidi, Intrusion detection and attack tolerance for cloud environments: the CLARUS approach, Second IEEE International Workshop on Security Testing and Monitoring (STAM) 2016, June 27, Nara, Japan.
Vinh Hoa LA, Raul FUENTES, Ana R. CAVALLI, Network Monitoring using MMT: An application based on the User-Agent field in HTTP headers. The 30th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016), Crans-Montana, Switzerland, March 23-25, 2016.
Diego Rivera, Ana R. Cavalli: QoE-Driven Service Optimization Aware of the Business Model. AINA Workshops 2016: 725-730
2015
Javier Baloisian and Ana Cavalli, An Abstraction for the Interoperability Analysis of Security Policies, NSS, November 3-5, 2015,New York City, USA.
Raul Fuentes, Ana Cavalli, Wissam Mallouli, Javier Baliosian, Monitoring-based Validation of Functional and Performance Aspects of a Greedy Ant Colony Optimization Protocol, LANOMS 2015, 8th Latin American Network Operations and Management Symposium (LANOMS 2015)
Ana R. Cavalli, Teruo Higashino, Manuel Núñez: Special issue on formal active and passive testing of distributed and networked systems. Annales des Télécommunications 70(3-4): 83-84 (2015)
Felipe Barbosa Abreu, Anderson Nunes Paiva Morais, Ana R. Cavalli, Bachar Wehbi, Edgardo Montes de Oca, Wissam Mallouli: An effective attack detection approach in wireless mesh networks. IJSSC 5(2): 89-99 (2015)
Jorge López, Stephane Maag, Cecilia Saint-Pierre, Javier Bustos, Ana R. Cavalli: Process Mining for Trust Monitoring. AINA Workshops 2015: 605-610
Mohamed H.E. Aouadi, Khalifa Toumi and Ana Cavalli,"An Active Testing Tool for Security Testing of Distributed Systems", STAM'2015, the First International Workshop on Security Testing And Monitoring, 2015, Toulouse, France.
Diego Rivera, Natalia Kushik, Camila Fuenzalida, Ana Cavalli and Nina Yevtushenko, “QoE Evaluation based on QoS and QoBiz Parameters applied to an OTT service”, IEEE International Conference on Web Services, ICWS 2015, June 27 - July 2, 2015, New York, USA.
R. Fuentes Samaniego, A. Cavalli, J. Nolasco-Flores and J. Bailoisian, A Survey on Wireless Sensors Networks Security based on a Layered Approach, WWIC'2015, 13th International Conference on Wired & Wireless Internet Communications, May 25-27th , 2015, Malaga, Spain.
Ana R. Cavalli, Teruo Higashino & Manuel Núñez, “A survey on formal active and passive testing with applications to the cloud”, Special issue on formal active and passive testing of distributed and networked systems. Annals of Telecommunications. Volume 70 Number 3-4, 2015.
2014
Mohamed H.E. AOUADI, Cesar Andrés, Ana Cavalli, “A Short Survey of Access Control Models”, The Asian Conference on Technology, Information, & Society (ACTIS 2014), Nov. 20- 23, 2014, Osaka, Japan.
Mohamed H.E. Aouadi, Khalifa Toumi and Ana Cavalli, "Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study", International Journal of Computer Science Issues (IJCSI) Volume 11, Issue 5, September 2014.
Indira Paudel , Jeevan Pokhrel, Bachar Wehbi, Ana Cavalli, Badii Jouaber, “Estimation of video QoE from MAC parameters in wireless network: A Random Neural Network approach”, 14 th International Symposium on Communications and Information Technologies (ISCIT 2014), Sept. 24- 26, 2014, Incheon, Korea.
Natalia Kushik, Nina Yevtushenko , Ana Cavalli, “On testing against partial non-observable specifications”, QUATIC 2014 : 9th International Conference on the Quality of Information and Communications Technology, Sept. 23- 26, 2014, Guimarães, Portugal.
Toumi, K., Mallouli W., Montes de Oca E., Cavalli, A., Andrés, C., " How to Evaluate Trust Using MMT", NSS 2014, October 15-17, 2014, Xi'an, China.
Toumi, K., Cavalli, A., & Andrés, C. (2014). Validation of a Trust Approach in Multi-Organization Environments. International Journal of Secure Software Engineering (IJSSE), 5(1), 1-18. doi:10.4018/ijsse.2014010101.
Kondratyeva O.V., Yevtushenko N.V., Cavalli Ana R., “Parallel composition of nondeterministic Finite State Machines with Timeouts” , Journal of Control and Computer Science, Tomsk State University, 2 (27), Russia, 2014.
Jeevan Pokhrel, Indira Paudel, Bachar Wehbi, Ana R. Cavalli and Badii Jouaber, “Performance Evaluation of Video transmission over 802.11n wireless network: A MAC layer perspective”, SaCoNeT - IWQM 2014, June 18-20 2014, Vilanova I la Geltrù, Spain.
Huu Nghia Nguyen and Ana R. Cavalli, “Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System”, SEKE 2014, July 1-3, 2014, Vancouver, Canada.
Xiaoping Che, Stephane Maag, Jorge Lopez and Ana R. Cavalli, “Testing Network Protocols: formally, at runtime and online”, SEKE 2014, July 1-3, 2014, Vancouver, Canada.
M. Graa, N. Cuppens-Boulahia, F. Cuppens and Ana R. Cavalli, “Protection against Code Obfuscation Attacks based on control dependencies in Android Systems”. 8th International Workshop on Trustworthy Computing, San Francisco, USA, June 2014.
Vinh Hoa La and Ana R. Cavalli, “Security Attacks and Solutions in Vehicular Ad Hoc Networks: A Survey”, International Journal on AdHoc Networking systems (IJANS), April 2014, Volume 4, Number 2. Published on line: http://airccse.org/journal/ijans/current2014.html.
Natalia Kushik, Anton Kolomeez, Ana R. Cavalli and Nina Yevtushenko, "Extended Finite State Machine based Test Derivation Strategies for Telecommunication Protocols”, SYRCoSE 2014, 29-31 May 2014, Saint Petersburg, Russia.
Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens and Ana R. Cavalli, « Détection de flux de contrôle illégaux dans les Smartphones », 32e édition INFORSID 2014, 20-23 mai, Lyon, France.
César Andrés, Ana R. Cavalli, Nina Yevtushenko, João Santos and Rui Abreu,“On Modeling and Testing Components of the European Train Control System”, The International Conference on Advances in Information Processing and Communication Technology- IPCT 2014. June 07-08, 2014, Rome, Italy.
Mohamed H. E. Aouadi, Khalifa Toumi and Ana R. Cavalli, “On Modeling and Testing Security Properties of Vehicular Networks”, IEEE SECTEST workshop, March 31 2014, Cleveland, USA.
Olga Kondratyeva, Natalia Kushik, Ana R. Cavalli, Nina Yevtushenko, "Using Finite State Models for Quality Evaluation at Web Service Develoment Steps", International Journal of Services Computing (IJSC), ISSN 2330-4472, 1(2), pp. 1-12, 2014.
Natalia Kushik, Nina Yevtushenko, Ana R. Cavalli, Wissam Mallouli and Jeevan Pokhrel, ''Evaluating web service QoE by learning logic networks'', WEBIST 2014 - 10th International Conference on Web Information Systems and Technologies, 3 - 5 Apr 2014, Barcelona, Spain.
Jeevan Pokhrel, Felipe Lalanne, Ana R. Cavalli and Wissam Mallouli, “QoE estimation for web service selection using a Fuzzy-Rough hybrid expert system”, The 28th IEEE International Conference on Advanced Information Networking and Applications (AINA-2014) Victoria, Canada, May 13-16, 2014.
2013
Mariem Graa, Nora Cuppens, Fréderic Cuppens and Ana Cavalli, "Formal Characterization of Illegal Control Flow in Android System", SITIS 2013, December 2-5, 2013, Kyoto, Japan.
Khalifa Toumi, César Andrés and Ana Cavalli, "Trust Ontology Based on Access Control Parameters in Multi-Organization Environments", SITIS 2013 December 2-5, 2013, Kyoto, Japan.
Khalifa Toumi, César Andrés and Ana Cavalli, "Security Properties in Virtual Organizations", 15th IEEE International Conference on High Performance Computing and Communication (HPCC),Zhangjiajie, China, November 13-15, 2013.
Anderson Morais and Ana Cavalli, "A Distributed and Collaborative Intrusion Detection Architecture for Wireless Mesh Networks", Mobile Networks and Applications, 2013.
Pramila Mouttappa, Stephane Maag and Ana Cavalli, "Using Passive Testing based on Symbolic Execution and Slicing techniques: Application to the Validation of Communication Protocols", Computer Networks, to be published in 2013.
Olga Kondratyeva, Natalia Kushik, Ana Cavalli and Nina Yevtushenko, "Evaluating Web Service Quality using Finite State Models", 13th International Conference on Quality Software (QSIC 2013), July 29-30, 2013, Nanjing, China.
Olga Kondratyeva, Natalia Kushik, Ana Cavalli and Nina Yevtushenko, "Evaluating Quality of Web Services: a Short Survey", IEEE 20th International Conference on Web Services (ICWS), June 27-July 2, 2013, Santa Clara Marriott, CA, USA (Center of Silicon Valley).
A. Cuadra, M. Cutanda, A. Aurelius, K. Brunnström, J.E. Lopez de Vergara, M. Varela, J-P Laulajainen, A. Morais, A. Cavalli, I. Perez-Mateos, "Ecosystem for Customer Experience Assurance", First International Workshop on Quality Monitoring (IWQM 2013), Paris, France, 17-19 June, 2013.
P. Mouttappa, S. Maag, and A. Cavalli, "Monitoring based on IOSTS for testing functional and security properties: application to an Automotive case study", 37th Annual IEEE International Computer Software & Applications Conference (COMPSAC 2013), Kyoto, Japan, July 22-26 2013.
Felipe Barbosa Abreu, Anderson Morais, Ana Cavalli, Bachar Wehbi, and Edgardo Montes de Oca, "An Effective Attack Detection Approach in Wireless Mesh Networks", International Workshop on Network Management and Monitoring (NetMM 2013), Barcelona, Spain, March 25-28, 2013.
Jeevan Pokhrel, Bachar Wehbi, Anderson Morais, Ana R.Cavalli, and Eric Allilaire, "Estimation of QoE of Video Traffic using a Fuzzy Expert System", 10th Annual IEEE CCNC- Multimedia Networking & Services & Applications, Las Vegas, USA, January 11-14 2013.
2012
Anderson Morais, Iksoon Hwang, Ana Cavalli, and Eliane Martins, "Generating Attack Scenarios for the System Security Validation", Networking Science, Vol. 2, Issue 3-4, pp. 69-80, July 2013.
Felipe Lalanne, Ana R. Cavalli and Stephane Maag, "Quality of Experience as a selection criteria for Web Services", IEEE SITIS 2012, Sorrento-Naples, Italy, November 25-29 2012.
Anderson Morais and Ana R. Cavalli, "An Event-Based Packet Dropping Detection Scheme for Wireless Mesh Networks", 4th International Symposium on Cyberspace Safety and Security (CSS 2012), Melbourne, Australia, December 12-13, 2012.
Mariem Graa-Ben Abdallah, Nora Cuppens-Boulahia, Frederic Cuppens and Ana R. Cavalli, "Detecting control flow in Smarphones: Combining static and dynamic analysis", 4th International Symposium on Cyberspace Safety and Security (CSS 2012), Melbourne, Australia, December 12-13, 2012.
César Andrés and Ana Cavalli, "How to Reduce the Cost of Passive Testing", 14th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2012), Nebraska, USA, October 25-27, 2012.
Khalifa Toumi, César Andrés and Ana Cavalli. "Trust-OrBAC: A Trust Access Control Model in Multi-Organization Environments", 8th International Conference on Information Systems Security (ICISS), Guwahati, India, 15-19 December 2012.
Khalifa Toumi, César Andrés and Ana Cavalli. "Setting trust evaluations with fuzzy logic in MOE", 9th Workshop on System Testing And Validation, Paris, France, October 24th, 2012.
Pramila Mouttappa, Stephane Maag and Ana Cavalli, "Improving Protocol Validation by an IOSTS-based Passive Testing approach", 9th Workshop on System Testing and Validation, Paris, France, October 24th, 2012.
Khalifa Toumi, César Andrés, Ana Cavalli and Mazen El Maarabani, "A Vector Based Model Approach for Defining Trust in Multi-Organization Environments", 7th International Conference on Risks and Security of Internet and Systems (CRiSIS 2012), Cork, Ireland, October 10-12, 2012.
Iksoon Hwang, Ana R. Cavalli, Mounir Lallali and Dominique Verchere, "Applying formal methods to PCEP: an industrial case study from modeling to test generation", Software Testing, Verification and Reliability, Vol. 22, No. 5 (2012), pp. 343-361.
Pramila Mouttappa, Stephane Maag and Ana Cavalli, "An IOSTS based Passive Testing approach for the Validation of data-centric Protocols", 12th International Conference on Quality Software (QSIC 2012), X’ian, China, 27th-29th August 2012.
Khalifa Toumi, Ana R. Cavalli, Mazen El Maarabani, "Role based interoperability security policies in collaborative systems". (CTS 2012). IEEE Computer Society Press.
Mazen EL Maarabani, César Andrés and Ana Cavalli, "Testing Interoperability Security Policies", 24th International Conf. on Software Engineering and Knowledge Engineering (SEKE 2012), July 1-3 2012, San Francisco, USA.
Nahid Shahmehri, Amel Mammar, Edgardo Montes de Oca, David Byers, Ana Cavalli, Shanai Ardi and Willy Jimenez, "An Advanced Approach for Modeling and Detecting Software Vulnerabilities", Journal Information and Software Technology, vol 54, issue 9, September 2012.
Anderson Morais, Ana Cavalli, et al., "Managing Customer Experience through Service Quality Monitoring", Future Network and Mobile Summit 2012, July 04-06, 2012, Berlin, Germany.
Iksoon Hwang, Nina Yetvushenko and Ana Cavalli, "Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs", Information Processing Letters, vol 112, issue 7, 31 March 2012, pp. 298--301, Elsevier
Anderson Morais and Ana Cavalli, "A Distributed Intrusion Detection Scheme for Wireless Ad Hoc Networks", 27th Annual ACM Symposium on Applied Computing (SAC'12), March 25-29, 2012, Riva del Garda (Trento), Italy
Fátima Mattiello-Francisco, Eliane Martins, Ana Cavalli and Edgar Toshiro Yano, "InRob: An approach for testing interoperability and robustness of real-time embedded software". Journal of Systems and Software, volume 85, issue 1, January 2012, pp. 3-15
Amel Mammar, Willy Mallouli and Ana Cavalli, "A Systematic Approach to Integrate Common Timed Security Rules within a TEFSM-Based System Specification, Information and Software Technology" , vol 54, issue 1, January 2012, pp. 87 - 98.
2011
Anderson Morais, Ana Cavalli and Eliane Martins, "A Model-Based Attack Injection Approach for Security Validation", 4th International Conference on Security of Information and Networks (SIN 2011), 14-19 November 2011, Sydney, Australia
Mazen El Maarabani, Ana Cavalli, Iksoon Hwang and Fatiha Zaïdi, "Verification of Interoperability Security Policies by Model Checking", 13th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2011), Boca Raton, USA, November 10-12, 2011.
Amel Mammar, Ana Cavalli, Willy Jimenez, W. Mallouli and Edgardo Montes de Oca, "Using testing techniques for vulnerability detection in C programs", 23th IFIP Int. Conference on Testing Software and Systems (ICTSS) 2011, November 7-10, Paris, France. Best Paper Award.
Mariem Graa, Nora Cuppens-Boulahia, Fabien Autrel, Hanieh Azkia, Frédéric Cuppens, Gouenou Coatrieux, Ana Cavalli and Amel Mammar, "Using Requirements Engineering in an Automatic Security Policy Derivation Process", Data Privacy Management and Autonomous Spontaneus Security - 6th International Workshop (DPM 2011), Leuven, Belgium, September 15-16, 2011.
Amel Mammar, Ana Cavalli, Natalia Kushik, Willy Jimenez, Nina Yevtushenko and Edgardo Montes de Oca, "A SPIN-based Approach for Detecting Vulnerabilities in C Programs", Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011) ST-Petersburg, Russia, July 12-13, 2011.
Maxim Zhigulin, Stephane Maag, Ana Cavalli and Nina Yevtushenko, "FSM-based test derivation strategies for systems with time-outs", 11th International Conference On Quality Software (QSIC 2O11), Madrid, Spain, July 13-14, 2011.
Anderson Morais and Ana Cavalli, "A Quality of Experience based Approach for Wireless Mesh Networks", Invited paper, 9th International Conference on Wired/Wireless Internet Communications (WWIC 2011), Vilanova i la Geltrú, Barcelona, Spain, June 15-17, 2011
Anderson Morais and Ana Cavalli, "Detection of Attacks in Wireless Mesh Networks", 5th Latin-American Symposium on Dependable Computing (LADC 2011), Sao Jose dos Campos, Brazil, April 25-29, 2011.
Anderson Morais and Ana Cavalli, "Route Manipulation Attack in Wireless Mesh Networks", 25th IEEE International Conference on Advanced Information Networking and Applications (AINA 2011), Singapore, March 22-25, 2011.
2010
Mazen El Maarabani, Iksoon HWANG and Ana CAVALLI, A Formal Approach for Interoperability Testing of Security Rules, ACM/IEEE 6th International Conference on Signal-Image Technology and Internet-Based Applications, SITIS 2010, December 2010, Kuala Lumpur, Malaysia.
Rita Dorofeeva, Khaled El-Fakih, Stephane Maag, Ana Cavalli and Nina Yevtushenko, FSM-based Conformance Testing Methods: a Survey annotated with Experimental Evaluation, in Elsevier Journal of Information and Software Technology, Volume 52 Issue 12, p.1286-1297, December, 2010 .
Anderson Morais, Ana Cavalli, Eliane Martins, Génération de scripts d'attaque pour la validation de la sécurité, Génie Logiciel, GL & IS, Meudon - France, Vol. 94, p. 39-44, Septembre 2010.
Fayçal Bessayah, Ana Cavalli, Willian Maja, Eliane Martins and Andre Willik Valenti , A Fault Injection Tool for Testing Web Services Composition, TAIC PART 2010, Windsor, UK, September 2010
Fayçal Bessayah, Ana Cavalli, A Formal Passive Testing Approach For Checking Real Time Constraints, 7th International Conference on the Quality of Information and Communications Technology, September 29th 2010, Porto, Portugal.
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall and Ana Cavalli, Testing Web Service Compositions in context: a symbolic approach, SEFM 2010, September 13-18 2010, Pisa, Italy.
Gerardo Morales, Stephane Maag, Ana Cavalli, Wissam Mallouli, Edgardo Montes de Oca and Bachar Wehbi. Timed Extended Invariants for the Passive Testing of Web Services. The 8th International Conference on Web Services (ICWS 2010), Miami, Florida, USA, July 5-10, 2010.
Ana Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins andrey Sadovykh, Sebastien Salva and Fatiha Zaidi, WebMov: A dedicated framework for the modelling and testing of Web Services composition. The 8th International Conference on Web Services (ICWS 2010), Miami, Florida, USA, July 5-10, 2010.
Iksoon Hwang, Ana Cavalli, Testing a probabilistic FSM using interval estimation, Computer Networks, Volume 54, Issue 7, May 2010, Pages 1108-1125.
Anderson Morais, Ana Cavalli, Eliane Martins, Attack scripts generation for security validation, Sécurité des Systèmes d'Information et les Environnements Collaboratifs (SEC-SY), joint with INFORSID 2010, 25 May 2010, Marseille, France.
Bachar Wehbi, Anis Laouiti, Ana Cavalli, Transmit And Reserve (TAR): a Coordinated Channel Access for IEEE 802.11 Networks, WCNC 2010, Sidney, Australia, April 18-21 2010.
2009
César Andrés, Stephane Maag, Ana Cavalli, Mercedes G. Merayo, Manuel Nunez, "Analysis of the OLSR Protocol by using formal passive testing", APSEC 2009, December 2009, Penang, Malaysia.
Wissam Mallouli, Amel Mammar, Ana Cavalli, A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification, APSEC 2009, December 2009, Penang, Malaysia.
Mercedes Merayo, Iksoon Hwang, Manuel Nunez and Ana Cavalli, A statistical approach to test stochastic and probabilistic systems, ICFEM 2009, December 2009, Brazil.
Felipe Lalanne, Stephane Maag, Edgardo Montes de Oca, Ana Cavalli, Wissam Mallouli and Arnaud Gonguet , An Automated Passive Testing Approach for the IMS PoC Service, 24th ACM/IEEE International Conference on Automated Software Engineering, November 2009, Auckland, New Zealand.
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall and Ana Cavalli, Observability and Controllability Issues in Conformance Testing of Web Service Compositions, TESTCOM 2009, November 2009, Eindhoven, The Netherlands.
I. Hwang, M. Lallali, A. Cavalli and D. Verchere. Modeling, Validation and Verification of PCEP Using the IF Language. Formal Techniques for Distributed Systems, pages 122–136, 2009.
F. Bessayah, A. Cavalli and E. Martins, A Formal Approach for Specification and Verification of Fault Injection Process, ACM ICCIT 2009, Seoul, Korea, November 2009.
Wissam Mallouli, Amel Mammar, Ana Cavalli, Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d'un Système, CFIP 2009, Octobre 2009, Strasbourg, France.
Anderson Morais, Eliane Martins, Ana Cavalli, Willy Jimenez, Security Protocol Testing Using Attack Trees, IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom-09), August 29-31, 2009, Vancouver, Canada.
Eliane Martins, Ana Cavalli, Jean Arlat, Regina Moraes, Taisy Weber, "RobustWeb: Development and Validation of SOA Applications based on Web Services", Colloquium of Computation: Brazil / INRIA, Cooperations, Advances and Challenges, 22-23 juillet 2009, Bento Gonçalves (Rio Grande do Sul, Brésil).
Ana Rosa Cavalli, Azzedine Benameur, Wissam Mallouli, Keqin Li, A Passive Testing Approach for Security Checking and its Practical Usage for Web Services Monitoring, invited paper, NOTERE 2009, 29-June 3-July, 2009, Montréal, Canada.
Willy Jimenez , Amel Mammar, Ana R. Cavalli, Software Vulnerabilities, Prevention and Detection Methods: A Review, SEC-MDA workshop, 24-June 2009, Enschede, The Netherlands.
Mazen El Maarabani, Asma Adala, Iksoon Hwang and Ana Cavalli, Interoperability testing of presence service on IMS platform, Open NGN and IMS Testbeds Workshop 2009, April 2009, Washington D.C., USA.
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.
A. Cavalli, S. Maag, E. Montes de Oca and F. Zaïdi. A Formal Passive Testing Approach to test a MANET Routing Protocol. In 7th IEEE International Conference on Pervasive Computing and Communications Percom 2009/PWN, pages 1-6, Texas, USA, March 2009. IEEE, IEEE CS.
Fatiha Zaidi, Ana Cavalli and Emmanuel Bayse, NetworkProtocol Interoperability Testing based on Contextual Signatures, The 24th Annual ACM Symposium on Applied Computing SAC'09, March 9-12 2009, Hawaii, USA.
Ana Cavalli, Stephane Maag and Edgardo Montes de Oca, A Passive Conformance Testing Approach for a Manet Routing Protocol, The 24th Annual ACM Symposium on Applied Computing SAC'09, March 9-12 2009, Hawaii, USA.
2008
Wissam Mallouli, Mounir Lallali, Gerardo Morales and Ana Cavalli, Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study, The Fourth ACM/IEEE International Conference on Signal Image Technology and Internet Based Systems SITIS '08, pages 128-136, Nov. 30 2008 - Dec. 3 2008, Bali, Indonesia.
Mounir Lallali, Fatiha Zaidi and Ana Cavalli, Transforming BPEL into Intermediate Format Language for Web Services Composition Testing, The 4th IEEE International Conference on Next Generation Web Services Practices (NWeSP'08), October 2008, Seoul, South Korea.
Mounir Lallali, Fatiha Zaidi, Ana Cavalli and Iksoon Hwang, Automatic Timed Test Case Generation for Web Services Composition, The 6th IEEE European Conference on Web Services (ECOWS'08), November 2008, Dublin, Ireland.
Anderson Morais, Eliane martins and Ana Cavalli, Generating Attack Scenarios for the Validation of Security Protocol Implementations, The 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES 2008 -SAST), October 2008, Brazil.
Wissam Mallouli, Amel Mammar, Ana R. Cavalli, Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines, The 12-th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2008), October 27-29, Vancouver, Canada.files/dsrt2008.pdf
Ana R. Cavalli, Edgardo Montes De Oca, Wissam Mallouli, Mounir Lallali, Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints, The 12-th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2008), October 27-29, Vancouver, Canada.
Wissam Mallouli, Fayçal Bessayah, Ana R. Cavalli, Azzedine Benameur, Security Rules Specification and Analysis Based on Passive Testing, The IEEE Global Communications Conference (GLOBECOM 2008), November 30 - December 04, New Orleans, USA.
Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli, Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking, The 7th International Conference on AD-HOC Networks & Wireless (ADHOC-Now 2008), September 10-12, Sophia Antipolis, France.
Bachar Wehbi, Anis Laouiti, Ana R. Cavalli, Efficient Time Synchronization Mechanism for Wireless Multi Hop Networks, The 19th annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2008), September 15-18, Cannes, France.
Stéphane Maag, Cyril Grepet, Ana R. Cavalli, A Formal Validation Methodology for MANET Routing Protocols Based on Nodes' Self Similarity, Computer Communications Journal 31(4): 827-841.
Céline Coma, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli, Context Ontology for Secure Interoperability, Third IEEE International Conference on Availability, Reliability and Security ARES 2008, March 4-7, Barcelona, Spain.
A. Cavalli, E. Martins, A. Morais et B.C. Moreira, Une approche de test de robustesse basée sur l'injection de fautes et le monitorage, CFIP 2008, 25-28 Mars 2008, Les Arcs, France.
B. Wehbi, A. Laouiti and A. Cavalli, A Reactive Wireless Mesh Network Architecture, Med-Hoc-Net, June 23-27, Palma de Mallorca, Spain.
A. Cavalli, Eliane Martins and Anderson Morais, Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations, A-MOST, April 9-11, Lillehammer, Norway.
W. Mallouli, G. Morales and A. Cavalli, Testing Security Policies for Web Applications , SECTEST, April 09, Lillehammer, Norway.
2007
Wissam Mallouli and Ana Cavalli, Testing Security Rules with Decomposable Activities, 10th IEEE HASE 2007, November 14-16 2007, Dallas, Texas.
Mounir Lallali, Fatiha Zaidi, Ana Cavalli, Timed Modeling of Web Services Composition for Automatic Testing, 3rd ACM / IEEE International Conference on Signal-Image Technology and Internet-Based Systems (SITIS'07), December 2007, Shangai, China.
Ana Cavalli, Stephane Maag and Gerardo Morales, Regression and Performance Testing of an e-learning Web application: dotLRN , 3rd ACM / IEEE International Conference on Signal-Image Technology and Internet-Based Systems (SITIS'07), Shangai, China, December 2007.
CARRIOCAS project: An experimental high bit rate optical network tailored for computing and data intensive distributed applications, Audouin O, Cavalli A , Chiosi A , Leclerc O, Mouton C , Oksman J , Pasin M , Rodrigues D , Thual L , Conference on Optical Transmission, Switching and Subsystems, V Wuhan, CHINA, NOV 02-05, 2007.
E. Rodrigues Vieira and A. Cavalli. Towards an Automated Test Generation with Delayed Transitions for Timed Systems, the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07), Korea, August, 2007.
W. Mallouli, J-M. Orset, A. Cavalli, N. Cuppens and F. Cuppens, A Formal Approach for Testing Security Rules, the 12th ACM symposium on access control models and technologies (SACMAT'07), SAP Labs, Sophia Antipolis, France, June 20-22, 2007.
B. Wehbi, A. Laouiti, W. Mallouli and A. Cavalli, Mécanisme de Synchronisation pour les Réseaux Sans Fil Multi-Sauts, 7ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition (NOTERE'07), Marrakech, Maroc, Juin 4-8, 2007.
Bachar Zouari, Myriam Kallel and Ana Cavalli, An Incremental Authentication Study using SIM-IP Cards for IEEE 802.11 Wireless LANs, 4th International Conference: Sciences of Electronic, Technologies of Information and Telecommunications, SETIT 2007, March, TUNISIA.
S. S. Batth, E. R. Vieira, A. Cavalli and M. U. Uyar, Specification of Timed EFSM Fault Models in SDL, FORTE 2007, June, Tallinn, Estonia.
E. Rodrigues Vieira and A. Cavalli, Automatic Test Generation applied to a Vocal Service, 2nd International Conference on Systems IEEE ICONS07, Martinique, April 22 - 28, 2007.
J.M. Orset, B. Alcalde and A. Cavalli. A formal approach for detecting attacks in ad hoc networks. International Journal of Network Security, 2(2: 141-149, 2007.
2006
A. Cavalli and D. Vieira, Vérification et analyse de Performance d'un Protocole de Gestion de Session, Colloque Francophone sur l'Ingénierie des Protocoles (CFIP), Tozeur, Tunisie, Octobre 2006.
A. Cavalli, T. G. Griffin and D. Vieira, MSP: A Novel Session Maintenance Protocol, 14th IEEE International Conference on Networks (ICON2006), Singapore, September 14-15, 2006.
A. Cavalli and D. Vieira, Working Around BGP: An Improvement of BGP Session Maintenance, IEEE International Conference on Networking and Services, Silicon Valley, USA, July 2006.
B. Alcalde, A. Cavalli, Test passif de protocoles en temps-réel grâce au parallélisme, NOTERE 2006, Toulouse, France, juin 06-09, 2006.
A. Cavalli, S. Maag, W. Mallouli and Y.M. Quemener, Application of Two Test Generation Tools to an Industrial Case Study, The 18th IFIP International Conference on Testing Communicating Systems (TestCom 2006), New York, USA, May 2006.
J. M. Orset and A. Cavalli, A Security Model for OLSR Manet Protocol, Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT), May 2006, Nara, Japan.
B. Wehbi, W. Mallouli and A. Cavalli, Light Client Management Protocol for Wireless Mesh Networks, Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT), May 2006, Nara, Japan.
A. Cavalli and D. Vieira, An Enhanced Passive Testing Approach for Network Protocols, IEEE International Conference on Systems (ICONS 2006), April 2006, Mauritius.
B. Alcalde, A. Cavalli, Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach, IEEE ICN 2006, April 2006, Mauritius.
A. Cavalli, T. G. Griffin and D. Vieira, Implementation Analysis of MSP, IEEE ICN 2006, Mauritius, April 2006.
A. Cavalli and D. Vieira, A Reliable Approach for Transport Session Management, IEEE AICT 2006, Guadeloupe, February 2006, French Caribbean.
2005
A. Cavalli and E. Rodrigues Vieira, A Formal Approach of Interoperability Test Cases Generation Applied to Real Time Domain, IEEE I2TS 05, Florianópolis, SC, Brazil, December 2005.
A. Cavalli, T. G. Griffin and D. Vieira, Formal Verification of the Managed Session Protocol, IEEE I2TS 05, Florianópolis, SC, Brazil, December 2005.
A. Cavalli and E. Rodrigues Vieira, Test Case Generation based on Timed Constraints, IEEE ICESS 2005, Xian, China, December 2005.
J.-M. Orset, B. Alcalde and A. Cavalli, An EFSM-Based Intrusion Detection System for Ad Hoc Networks, ATVA 05, Taipei, Taiwan, October 2005.
R. Dorofeeva, K. El-Fakih, S. Maag, A. Cavalli and N. Yevtushenko, Experimental Evaluation of FSM-Based Testing Methods, SEFM 2005, Koblenz, Germany.
A. Cavalli, S. Maag and F. Zaidi, Une approche UML pour la validation des services web, NOTERE 2005, Gatineau, Quebec, Sept. 2005.
A. Cavalli, T. Griffin and D. Vieira, A Comparison Between Two Session Maintenance Protocols, AICT/SAPIR/ELETE 2005, July, Lisbon, Portugal.
E. Rodrigues Vieira, A. Cavalli, Test Generation for Real-Time Systems, 11th Open European Summer School, Colmenarejo, Madrid, Spain, July 2005.
B.T. Ladani, B. Alcalde and A. Cavalli, Passive Testing - A Constrained Invariant Checking Approach, TESTCOM 2005, May-June, Montréal, Canada.
A. Cavalli, C. Grepet and S. Maag, A validation model for the DSR protocol, to be published in special issue on 'wireless Ad Hoc Networking' of the International Journal of Wireless and Mobile Computing (IJWMC).
E. Bayse, A. Cavalli, M. Nunez and F. Zaidi, A Passive Testing Approach based on Invariants: Application to the WAP, to be published in Journal of Computer network.
R. Castanet, A. Cavalli, P. Combes, P. Laurençot, M. Mackaya, A. Mederreg, W. Monin, F. Zaidi, Une plate-forme de validation multi-protocoles et multi-services. Résultats d'expérimentation, to be published in Annales des Télécommunications.
S. Maag, C. Grepet and A. Cavalli, Un modèle de validation pour le protocole DSR, CFIP 2005, March-April, Bordeaux, France.
2004
A. Cavalli, A. Mederreg and F. Zaidi, Application of a Formal Testing Methodology to Wireless Telephony Networks, Journal of the Brazilian Computer Society, Number 2, Vol. 10, pp 56-68, November 2004.
A. Cavalli and J.-M. Orset, Secure hosts autoconfiguration in mobile ad hoc networks, Special issue of Ad hoc Networks Journal (Elsevier) on 'Data communication and topology control in ad hoc networks'. Available on line 30. November 2004.
B. Alcalde, A. Cavalli, D. Chen, D. Khuu and D. Lee, Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach, FORTE 2004, LNCS 3235, September, Madrid, Spain.
A. Cavalli, S. Maag, S. Papagiannaki, G. Verigakis, F. Zaidi, A Testing Methodology for an Open Software E-Learning Platform, EDUTECH'2004, August 2004, Toulouse (France).
A. Cavalli, S. Maag, S. Papagiannaki, G. Verigakis, From UML models to automatic generated tests for the dotLRN e-learning platform, TACOS'2004, March-April 2004, Barcelona (Spain).
A. Cavalli and S. Maag, Automated Test Scenarios Generation for an E-barter System, ACM SAC 2004, March 2004, Nicosia (Cyprus).
R. Castanet, A. Cavalli, P. Combes, P. Laurencot, M. MacKaya, A. Mederreg, W. Monin and F. Zaidi, A Multi-Service and Multi-Protocol Validation Platform - Experimentation Results, TESTCOM 2004, Oxford (United Kingdom).
A. Cavalli, C. Grepet and S. Maag, A validation Model for the DSR Protocol, ICDCS'2004, March 2004, Tokyo (Japan).
A. Cavalli, J.M. Orset, Secure Hosts Autoconfiguration in Mobile Ad Hoc Networks, ICDCS'2004, March 2004, Tokyo (Japan).
2003
A. Cavalli, C. Gervy and S. Prokopenko, New Approaches for Passive Testing Using an Extended Finite State Machine Specification, Journal of Information and Software Technology, 45:837-852, 2003.
A. Cavalli, A. Mederreg and F. Zaidi, Application of Formal Testing Methodology to Wireless Telephony Networks, IEEE I2TS'2003, October 2003, Brazil.
C. Besse, A. Cavalli and F. Zaidi, Deux méthodes de test d'intéropérabilité, 4ème Colloque Francophone sur la Modélisation des Systémes Réactifs, October 2003, Metz (France).
R. Anido, A. Cavalli, L. Paula Lima, N. Yetvushenko, Test suite minimization for testing in context, Journal of Software Testing, Verification and Reliability, September 2003.
J. Antonio Arnedo, A. Cavalli and M. Nunez, Fast Testing of Critical Properties through Passive Testing, TESTCOM 2003, May 2003, Sophia Antipolis (France).
A. Cavalli, TestNet : let's test Together, keynote Speaker, TESTCOM 2003, May 2003, Sophia Antipolis (France).
A. Mederreg, A. Cavalli, M. Mackaya and R. Castanet, Test de services basés sur la localisation, GRES'2003, February 2003, Fortaleza, Ceara (Brazil).
2002
A. Cavalli, D. Lee and S. Maag, A Scenario-based Approach for Feature Interaction Detection of Communication Software Systems, SEA 2002, November 2002, MIT, Cambridge (USA).
A. Cavalli and S. Maag, A new Algorithm for Service Interaction Detection, ICFEM 2002, October 2002, Shanghai (China).
A. Cavalli and S. Prokopenko, Passive testing using configuration distinguishability, ICAM'02, September 2002, Tomsk (Russia).
A. Cavalli, A. Mederreg and F. Zaidi -Best paper prize - Mobile services validation, SCI 2002, July 2002, Orlando (Floride/USA).
R. Castanet and A. Cavalli, Méthodologies de tests, Applications aux réseaux sans fil, CFIP'2002, May 2002, Montréal (Canada).
A. Mederreg and A. Cavalli, Description en LDS des services basés sur la localisation, JDIR 2002, March 2002, Toulouse (France).
C. Besse, A. Cavalli, M. Kim and F. Zaidi, Two methods for interoperability testing. Application to TCP/IP protocol, TestCom'2002, March 2002, Berlin.
A. Cavalli, S. Prokopenko and N. Yetvushenko, Fault detection within a component of a system of communicating FSMs, TestCom'2002, March 2002, Berlin.
2001
C. Besse, A. Cavalli and F. Khendek, Validation of a system specification using MSC vues, IEEE APAQS'2001, Hong Kong, December 2001.
A. Cavalli, C. Gervy and S. Prokopenko, New approaches for passive testing using an Extended Finite State Machine specification, Concordia Prestigious Workshop on Communication Software Engineering, September 2001, Montreal.
A. Cavalli, B.Defude, Christian Rinderknecht and Fatiha Zaidi, A method for Component Testing and a CORBA test architecture, IEEE ISCC International Conference, July 2001, Tunis.
A. Cavalli, I. Hwang, A. Mederreg and C. Rinderknecht, The Platonis Project : a platform for validation and experimentation of of protocols and services, IEEE Workshop on Services & Applications in the Wireless Public Infrastructure, July 2001, Evry (France), pp251-263.
A. Fukada, A. Nakata, J. Kitamichi, T. Higashino and A. Cavalli, A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs, IEEE ICOIN Conference, February 2001, Japan .
2000
A.Cavalli, S.Prokopenko and N. Yetvushenko, Fault Detection for a Widely Used Test Suite for a System of Communicating FSMs, TestCom 2000, September 2000, Ottawa, Canada.
A. Cavalli, B.Defude, Christian Rinderknecht and Fatiha Zaidi, Test de composants de service et execution de tests sur une plate-forme CORBA, CFIP'2000, Toulouse.
1999
Guest Editor : Ana Cavalli has been the guest editor of ¡í the Special Issue of CN&ISDN Systems dedicated to Advanced Topics of the SDL language ¡í , 1999.
Marine Tabourier et Ana Cavalli , Passive Testing and application to the GSM-MAP Protocol, Journal of Information and Software Technology Special issue on Communications Software Engineering, December 1999.
Ana Cavalli, Melania Ionescu , Validation of the GSM-MAP protocol, Journal Annales des Telecom, Decembre 1999.
Ana Cavalli, David Lee, Christian Rinderknecht and Fatiha Zaidi , Hit-or-Jump an algorithm for Embedded Testing with applications to In services, Proceeding of IFIP International conference FORTE/PSTV'99, Beijing (Chine), 5-8 October 1999.
Cedric Besse, Ana Cavalli and David Lee , Optimization Techniques and Automatic Test Generation for TCP Protocols, IEEE Automated Software Engineering, Conference ASE'99, Cocoa Beach, Florida (USA), October 1999.
Ana Cavalli , Different Approaches to Protocol and Service Testing, Invited Paper IFIP , IWTCS'99, Budapest , September 1999.
Nina Yetvushenko, Ana Cavalli and Ricardo Anido , Test Suite Minimization for Embedded Nondeterministic Finite State machines, IFIP IWTCS' 99, Budapest, September 1999.
Teruo Higashino, Akio Nakata, Kenichi Taniguchi, et Ana Cavalli , Generating Test Cases for a Timed I/O Automaton Model, IFIP IWTCS'99, Budapest , September 1999.
Melania Ionescu et Ana Cavalli , Embedded Testing of the MAP-GSM Protocol using a Trace-Keeping composition Protocol, Workshop on Formal methods Telecommunications Systems, Zaragoza (Espagne), 6-10 September 1999.
Marine Tabourier, Ana Cavalli and Melania Ionescu , A GSM-MAP Protocol Experiment Using Passive Testing, Proceeding of FM'99 (World Congress on Formal methods in development of Computing Systems), Toulouse (France), 20-24 September 1999 .
Melania Ionescu, Ana Cavalli , Test imbrique du protocole MAP-GSM, Proceedings of CFIP'99 / Colloque Francophone sur L'Ingenierie des protocoles , Nancy, (France) 26-29 April 1999.
1998
L. Luiz Paula lima, A. Cavalli, Application of embedded testing methods to service validation, Proceeding of ICFEM'98, IEEE International Conference On formal Engineering Methods , Brisbane, (Australie) 9-11 December 1998.
N. Yevtushenko, A.R. Cavalli, L. Paula Lima , Test suite minimization for testing in context, Proceeding of IWTCS'98 The IFIP 11th International Workshop on Testing of Communicating Systems , Tomsk, (Russie) September 1998.
M. Tabourier and A. Cavalli , Validation of object-oriented distributed, 4 th EUNICE (European Network of Universities and Companies, in information and communication Engineering) Summer School) , Munich (Allemagne), August 1998.
C. Besse and A. Cavalli , Modelling and test of services for a distributed telecommunications network architecture, 4 th EUNICE (European Network of Universities and Companies, in information and communication Engineering) Summer School, Munich (Allemagne), August 1998.
A. Cavalli, C.Besse, L'evolution du reseau intelligent et la validation des services, Tutorial, NOTERE'98, Montreal, Canada, october 1998.
M. Tabourier et A. Cavalli, Validation des systemes orientes objet de type ODP, JDIR'98 , ENST Paris, april 1998.
1997
L. Paula Lima, A. Cavalli, Exécution de tests de services sur une plate-forme distribuée, Proceeding of NOTERE' 97/ Les NOuvelles Technologies de la REpartition Pau, (France) 4-6 november 1997.
L. Paula Lima, A. Cavalli , A pragmatic approach to generating test sequences for embedded systems, Proceeding of IWTCS'97/ 10th internationa IFIP TC6 /WG6.1 Workshop on Testing of Communication Systems Cheju Island, (Coree) 8-10 september 1997 .
L. Paula Lima, A. Cavalli , Test execution of telecommunications services using CORBA, Proceeding of FMOODS'97/IFIP International Conference on Formal Methods Open Object based Distributed Systems Canterbury (Grande Bretagne) 21-23 July 1997.
A.Cavalli, B. Lee and T. Macavei, Test Generation for SSCOP-ATM networks protocol, SDL'97 Forum, Evry, France, 1997.
1996
A.Cavalli, J.P. Favreau and M. Phalippou, Standardization of Formal Methods in Conformance Testing of Communication Protocols, Computer Networks & ISDN Systems 29 (1996)3 14. Special. Issue dedicated to conformance testing October 96 .
R. Anido, A. Cavalli, T. Macavei, L. Paula Lima, M. Clatin, M. Phalippou , Engendrer des tests pour un vrai protocole grâce à des techniques éprouvées de vérification, Proceeding of CFIP'96 / Cinquieme Colloque Francophone sur L'Ingénierie des Protocoles ENSIAS, Rabat, (Maroc) 14-17 october 1996.
A. Cavalli, B.M. Chin and K. Chon, Testing Methods for SDL Systems, Computer Networks and ISDN Systems 28 (1996) 1669- 1683 July 1996.
L. Paula Lima, A. Cavalli , Service Validation (An Embedded testing Approach), Proceeding of EUNICE '96 /European Network of Universities and Companies in Information and Communication Engineering) Summer School on Telecommunications services , Lausanne, (Suisse) 23-27 september 1996.
R. Anido, A. Cavalli, T. Macavei, L. Paula Lima, M. Clatin, M. Phalippou , Testing a real protocol with the aid of verification techniques, Invited Speaker, published by the "Hungarian Academy of Sciences Central Research Institute for Physics Budapest" . Presented at Cost 247 Conformance Testing, Darmstadt, (Allemagne) July 1996.
1995
Cavalli and B.M. Chin, Testing Methods for SDL Systems, Tutorial, Proceedings SDL Forum 95, pp 107-127, Oslo, 1995.
A. Cavalli and B.M. Chin, Test Generation from SDL and Input/Output Finite State Machines, 2th International Conference on Computer Communication, Seoul, Koree, 1995.
A. Cavalli and H. Fouchal, An Integrated Tool for LOTOS Development, 12th International Conference on Computer Communication, Seoul, Coree, 1995.
R. Anido and A. Cavalli, Guaranteeing full fault coverage for UIO-based testing methods, IFIP IWPTS'95, Evry, France, 1995.
1994
A. Cavalli, H. Fouchal, P. Maigron, Un environnement de programmation et de verification pour LDS et LOTOS, MCSEAI'94, Rabat, Maroc, 1994.
A. Cavalli and H. Fouchal, A compositional proof method for LOTOS, PODC (Principles of Distributed Computing), Position Statement ACM, Los Angeles, USA, 1994.
A. Cavalli and H. Fouchal, Modal verification for LOTOS, FORTE'94, Berne, Switzerland, 1994.
A. Cavalli, H. Fouchal and P. Maigron, Lotos Development Tool under Concerto, ISACC'94 (Second International Symposium on Applied Corporate Computing), Monterrey, Mexico, 1994.
A. Cavalli and M. Phalippou, Some Issues in Testing Theory and its Applications, IFIP IWPTS, Tokyo, Japan, 1994.
1993
A. Cavalli, S.U. Kim, P. Maigron, Improving Conformance Testing for LOTOS, FORTE' 93, Boston, October 1993.
A. Cavalli, J.P. Favreau, M. Phalippou, Formal Methods for Conformance Testing: results and perspectives, Invited Paper, IWPTS 93, Pau, September 1993.
A. Cavalli, S.U. Kim, Automated Protocol Conformance Test Sequence Generation and Fault Coverage Estimation, IEEE Asia -Pacific Conference on Communications, Taejon, Koree, August 1993.
1992
A. Cavalli, S.U. Kim, P. Maigron, Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications, in G. Bochmann and R. Dssouli editors, IFIP Protocol Test Systems, Lecture Notes in Computer Sciences, Springer Verlag, Montreal, Canada, 1992.
T. Carvalho, A. Cavalli, S. M. Martin, Defining a Verification Methodology for Distributed Algorithms, Proceedings of Tenth SBRC, Recife, Brazil, April 1992.
1991
A. Cavalli, Sung U. Kim, Protocol Conformance Test Generation using a Graph Rewriting System, Proceedings of the IFIP 4th International Workshop on Protocol Test Systems, Leidschendam Netherlands, 1991.
1990
A. Cavalli, Specification languages and verification tools, Invited paper, 8th Simposio Brasileiro de Redes de Computadores, 9-11 avril, Campinas, 1990.
1988
A. Cavalli, E. Paul, Automated protocol validation based on complementary approaches, Proceedings of the 2nd International Symposium on Interoperable Information Systems, ISIIS 88, Tokyo, Japon, 1988.
A. Cavalli, E. Paul, Exhaustive analysis and simulation for distributed systems, both sides of the same coin, Distributed Computing Review, Vol 2, Springer Verlag, 1988. Egalement dans Actes CGL4-AFCET, Genie Logiciel- 4eme Colloque-Exhibition, Octobre 1988, Paris.
1987
A. Cavalli, F. Horn, Proof of specifications properties by using finite state machines and temporal logic, Proceedings of IFIP VII Protocol Symposium on Protocol Specification, Testing and Verification, Zurich, North-Holland,1987.
A. Cavalli, Evaluation des spécifications LDS à l'aide d'automates et de la Logique Temporelle, Actes Journées AFCET-GROPLAN: Les langages de spécification, Aix-en- Provence, 1987.
A. Cavalli and al, The SPECS Architecture: towards an integrated specification Environment, Proceedings Third CCITT SDL Forum, The Hague, 1987.
1986
A. Cavalli, A Prolog implementation of temporal operators, Actes Colloque Logique 1986, Reunion Europeenne de l'Association for Symbolic Logic, Hull University, England, 1986.
1985
A. Cavalli, Application de la Logique temporelle à la spécification et vérification des protocoles de communication, Actes Colloque Logique 1985, Réunion Europeenne Association for Symbolic Logic, Paris, 1985.
A. Cavalli, Resolucion y tableaux semanticos para la logica temporal: una comparacion, Proceedings of the XI Conferencia Latinoamericana de Informatica, Porto Alegre, Brasil, 1985.
1984
A. Cavalli, D. Schwabe, Temporal logic Specification of a Virtual Ring LAN Acces Protocol, Proceedings of the IFIP, IV International Workshop on Protocol Specification, Testing and Verification, Skytop, USA, 1984.
A. Cavalli, A method of automatic proof for the specification and verification of protocols, Revue: Computer Communication Review, Vol 14, N° 2, 1984. Also in Proceedings of ACM SIGCOMM' 84 Symposium on Communications, Architectures and Protocols, June 1984, PA, USA.

CNET Technical Reports and University Reports

2006
Lassaad Ismail et Ana Cavalli, Etudes des techniques de monitoring. Application aux réseaux adhoc, Rapport de stage Master recherche Université Paris VI-INT, Septembre 2006.
1997
A.Cavalli, R. Anido, Verification and testing techniques based on the finite state machine model, Rapport de recherche n°97 09 02, septembre 1997
1996
A.Cavalli, T.Macavei, E.Cantu, B.Lee, Research on the Test Sequences Generation from Object-Oriented SDL Specifications, INT/ETRI (Electronics & Telecommunications Research Institute), 1996.
A.Cavalli, Industrial applications of testing methods, Arbeitspaiere der GMD 1038, GMD, Darmstadt, December 1996.
1990
A. Cavalli, A proof system for Basic Lotos, Rapport LITP, Universite de Paris VII, 1990.
1987
A. Cavalli, E. Paul, Deux exemples analyses par OVAL: le Niveau 2 du Protocole de l'Interface Radio du Réseau Expérimental Marathon et l'Interfonctionnement des Systèmes de Signalisation N5 et R2, Note Technique CNET NT/PAA/CLC/LSC/2049, 1987.
1986
A. Cavalli, F. Horn, Evaluation des spécifications LDS à l'aide d'automates et de la logique temporelle, Rapport LITP- Université de Paris VII, 1986.
A. Cavalli, F.Horn, Un évaluateur des formules de Logique Temporelle, Note Technique PAA/CLC/LSC/1858, Octobre 1986.

Research Reports INT

2001
C. Besse, A. Cavalli, M. Kim and F. Zaidi, Two methods for interoperability tests generation. An application to the TCP/IP protocol, 2001, [01002-LOR].
C. Besse, A. Cavalli, F. Khendek, Partial validation of a design specification with respect to requirements, 2001, [01003-LOR].
A. Cavalli, I. Hwang, A. W. Mederreg, C. Rinderknecht, P. Combes, F. Dubois, W. Monin, R. Castanet, M. Mackaya, E. Salomé, P. Laurençot Limos, The Platonis project, 2001, [01004-LOR].
2000
Ana Cavalli, Bruno Defude, Christian Rinderknecht, Fatiha Zaidi , Test de composants de service et execution de tests sur une plate-forme CORBA, 2000, [00002-LOR] .
1999
Marine Tabourier, Ana Cavalli, Melania Ionescu , A GSM-MAP Protocol Experiment Using Passive Testing, 1999, [99002-LOR] .
Melania Ionescu, Ana Cavalli , Test imbrique du protocole MAP-GSM, 1999, [99003-LOR]
Ana Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaidi, Hit-or-Jump: un algorithme pour le test imbrique avec des applications aux services R.I., 1999, [99005-LOR].
Cedric Besse, Ana Cavalli, David Lee , Techniques d'optimisation et de generation automatique de tests pour le protocole TCP/IP, 1999, [99006].
1997
L.PaulaLima,A.Cavalli, Execution de tests de services sur une plate-forme distribuee, Rapport de recherche n°97 09 03, september 1997
A.Cavalli, R. Anido, Verification and testing techniques based on the finite state machine model, Rapport de recherche n°97 09 02, september 1997.
R. Anido, A. Cavalli, T. Macavei, L. Paula lima, M. Clatin, M. Phalippou , Testing a real protocol with the aid of verification techniques, Rapport de recherche n°97 09 04, september 1997.
L. Paula Lima, A. Cavalli, Test execution of telecommunications services using CORBA, Rapport de recherche n°97 09 05, september 1997.
L. Paula Lima, A. Cavalli , Application of embedded testing methods to service validation, Rapport de recherche n°97 09 06, september 1997.
L. Paula Lima, A. Cavalli , A pragmatic approach to generating test sequences for embedded systems, Rapport de recherche n°97 09 07, september 1997.
1993
A. Cavalli, H. Fouchal, P. Maigron, Un environnement de vérification pour LDS et LOTOS, Rapport interne de recherche N° 93-01-01, January 93.
A. Cavalli, P. Maigron, A Software Factory Environnement for SDL, Rapport interne de recherche N° 93-01-02, February 93. Also appeared in Tools' Presentation , SDL Forum 93, October 1993.
A. Cavalli, S.U. Kim et P. Maigron, Improving Conformance Testing for LOTOS, Rapport interne de recherche N° 93-05-01, May 93.
1992
A. Cavalli, H. Fouchal, Les outils LOTOS, Rapport interne de recherche N° 92-01-01, January 1992
A. Cavalli, S.U. Kim et P. Maigron, A protocol Test Sequence Generation Technique and its Application to the Inres Protocol, Rapport interne de recherche N° 92-05-05, May 92.
A. Cavalli, S.U. Kim et P. Maigron, Automated Protocol Conformance Test Generation based on Formal Methods for LOTOS Specifications, Rapport interne de recherche N° 92- 05-06, May 92.
1991
T. Carvallo, A. Cavalli, S. Montreal, Verifying a fault tolerant algorithm by simulation, Rapport interne de recherche N° 91-07-11, July 1991.
A. Cavalli, H. Fouchal, Conception et réalisation d'un outil de vérification pour LOTOS, Rapport interne de recherche, September 91.

Reports European Projects

Publications of Specs-RACE European projects:

1987
A feasible IBC Software Specifications Environment, 1987.
1986
Requirements for IBC Software Specification Environment, D3, SPECS Consortium, 1986.
IBC View of Existing Specification Methods and Tools, Part I: State of the Art, D4A, SPECS Consortium, 1986.
IBC View of Existing Specification Methods and Tools, Part II: Critical Evaluation, 1986.

Valid HTML 4.01 Strict Valid CSS!