| 2009 |
|---|
| 70 | EE | Fatiha Zaïdi,
Emmanuel Bayse,
Ana R. Cavalli:
Network protocol interoperability testing based on contextual signatures and passive testing.
SAC 2009: 2-7 |
| 69 | EE | Ana R. Cavalli,
Stéphane Maag,
Edgardo Montes de Oca:
A passive conformance testing approach for a MANET routing protocol.
SAC 2009: 207-211 |
| 2008 |
|---|
| 68 | EE | Wissam Mallouli,
Bachar Wehbi,
Ana R. Cavalli:
Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking.
ADHOC-NOW 2008: 345-356 |
| 67 | EE | Céline Coma,
Nora Cuppens-Boulahia,
Frédéric Cuppens,
Ana R. Cavalli:
Context Ontology for Secure Interoperability.
ARES 2008: 821-827 |
| 66 | EE | Wissam Mallouli,
Fayçal Bessayah,
Ana R. Cavalli,
Azzedine Benameur:
Security Rules Specification and Analysis Based on Passive Testing.
GLOBECOM 2008: 2078-2083 |
| 65 | EE | Stéphane Maag,
Cyril Grepet,
Ana R. Cavalli:
A formal validation methodology for MANET routing protocols based on nodes' self similarity.
Computer Communications 31(4): 827-841 (2008) |
| 2007 |
|---|
| 64 | EE | Samrat S. Batth,
Elisangela Rodrigues Vieira,
Ana R. Cavalli,
M. Ümit Uyar:
Specification of Timed EFSM Fault Models in SDL.
FORTE 2007: 50-65 |
| 63 | EE | Wissam Mallouli,
Ana R. Cavalli:
Testing Security Rules with Decomposable Activities.
HASE 2007: 149-155 |
| 62 | EE | Elisangela Rodrigues Vieira,
Ana R. Cavalli:
Towards an Automated Test Generation with Delayed Transitions for Timed Systems.
RTCSA 2007: 226-231 |
| 61 | EE | Wissam Mallouli,
Jean-Marie Orset,
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Frédéric Cuppens:
A formal approach for testing security rules.
SACMAT 2007: 127-132 |
| 2006 |
|---|
| 60 | EE | Ana R. Cavalli,
Dario Vieira:
A Reliable Approach for Transport Session Management.
AICT/ICIW 2006: 63 |
| 59 | EE | Ana R. Cavalli,
Dario Vieira:
An Enhanced Passive Testing Approach for Network Protocols.
ICN/ICONS/MCL 2006: 169 |
| 58 | EE | Ana R. Cavalli,
Dario Vieira,
Timothy G. Griffin:
Implementation Analysis of MSP.
ICN/ICONS/MCL 2006: 17 |
| 57 | EE | Baptiste Alcalde,
Ana R. Cavalli:
Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach.
ICN/ICONS/MCL 2006: 42 |
| 56 | EE | Ana R. Cavalli,
Dario Vieira:
Working Around BGP: An Improvement of BGP Session Maintenance.
ICNS 2006: 41 |
| 55 | EE | Jean-Marie Orset,
Ana R. Cavalli:
A Security Model for OLSR MANET Protocol.
MDM 2006: 122 |
| 54 | EE | Bachar Wehbi,
Wissam Mallouli,
Ana R. Cavalli:
Light Client Management Protocol for Wireless Mesh Networks.
MDM 2006: 123 |
| 53 | EE | Ana R. Cavalli,
Stéphane Maag,
Wissam Mallouli,
Mikael Marche,
Yves-Marie Quemener:
Application of Two Test Generation Tools to an Industrial Case Study.
TestCom 2006: 134-148 |
| 2005 |
|---|
| 52 | EE | Ana R. Cavalli,
Timothy G. Griffin,
Dario Vieira:
A Comparison between Two Maintenance Session Protocols.
AICT/SAPIR/ELETE 2005: 230-237 |
| 51 | EE | Jean-Marie Orset,
Baptiste Alcalde,
Ana R. Cavalli:
An EFSM-Based Intrusion Detection System for Ad Hoc Networks.
ATVA 2005: 400-413 |
| 50 | EE | Rita Dorofeeva,
Nina Yevtushenko,
Khaled El-Fakih,
Ana R. Cavalli:
Experimental Evaluation of FSM-Based Testing Methods.
SEFM 2005: 23-32 |
| 49 | EE | Behrouz Tork Ladani,
Baptiste Alcalde,
Ana R. Cavalli:
Passive Testing - A Constrained Invariant Checking Approach.
TestCom 2005: 9-22 |
| 48 | EE | Ana R. Cavalli,
Jean-Marie Orset:
Secure hosts auto-configuration in mobile ad hoc networks.
Ad Hoc Networks 3(5): 656-667 (2005) |
| 47 | | Pierre Combes,
Wei Monin,
Ana R. Cavalli,
Amel Mederreg,
Fatiha Zaïdi,
Richard Castanet,
Marcien MacKaya,
Patrice Laurençot:
Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation.
Annales des Télécommunications 60(5-6): 588-609 (2005) |
| 46 | EE | Emmanuel Bayse,
Ana R. Cavalli,
Manuel Núñez,
Fatiha Zaïdi:
A passive testing approach based on invariants: application to the WAP
Computer Networks 48(2): 235-245 (2005) |
| 45 | EE | Ana R. Cavalli,
Stéphane Maag,
Sofia Papagiannaki,
Georgios Verigakis:
From UML models to automatic generated tests for the dotLRN e-learning platform.
Electr. Notes Theor. Comput. Sci. 116: 133-144 (2005) |
| 2004 |
|---|
| 44 | | Ana R. Cavalli,
Stéphane Maag,
Sofia Papagiannaki,
Georgios Verigakis,
Fatiha Zaïdi:
A Testing Methodology for an Open Software E-learning Platform.
EDUTECH 2004: 165-174 |
| 43 | EE | Baptiste Alcalde,
Ana R. Cavalli,
Dongluo Chen,
Davy Khuu,
David Lee:
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.
FORTE 2004: 150-166 |
| 42 | EE | Ana R. Cavalli,
Cyril Grepet,
Stéphane Maag,
Vincent Tortajada:
A Validation Model for the DSR Protocol.
ICDCS Workshops 2004: 768-773 |
| 41 | EE | Ana R. Cavalli,
Jean-Marie Orset:
Secure Hosts Autoconfiguration in Mobile Ad Hoc Networks.
ICDCS Workshops 2004: 809-814 |
| 40 | EE | Ana R. Cavalli,
Stéphane Maag:
Automated test scenarios generation for an e-barter system.
SAC 2004: 795-799 |
| 39 | EE | Ana R. Cavalli,
Amel Mederreg,
Fatiha Zaïdi,
Pierre Combes,
Wei Monin,
Richard Castanet,
Marcien MacKaya,
Patrice Laurençot:
A Multi-service and Multi-protocol Validation Platform-Experimentation Results.
TestCom 2004: 17-32 |
| 2003 |
|---|
| 38 | EE | Ana R. Cavalli,
Edgardo Montes de Oca,
Manuel Núñez:
TestNet: Let's Test Together!.
TestCom 2003: 258-264 |
| 37 | EE | José Antonio Arnedo,
Ana R. Cavalli,
Manuel Núñez:
Fast Testing of Critical Properties through Passive Testing.
TestCom 2003: 295-310 |
| 36 | EE | Ana R. Cavalli,
Caroline Gervy,
Svetlana Prokopenko:
New approaches for passive testing using an Extended Finite State Machine specification.
Information & Software Technology 45(12): 837-852 (2003) |
| 35 | EE | Ricardo Anido,
Ana R. Cavalli,
Luiz A. Paula Lima Jr.,
Nina Yevtushenko:
Test suite minimization for testing in context.
Softw. Test., Verif. Reliab. 13(3): 141-155 (2003) |
| 2002 |
|---|
| 34 | EE | Ana R. Cavalli,
Stéphane Maag:
A New Algorithm for Service Interaction Detection.
ICFEM 2002: 371-382 |
| 33 | | Cédric Besse,
Ana R. Cavalli,
Myungchul Kim,
Fatiha Zaïdi:
Automated Generation of Interoperability Tests.
TestCom 2002: 169- |
| 32 | | Ana R. Cavalli,
Svetlana Prokopenko,
Nina Yevtushenko:
Fault Detection within a Component of a System of Communicating FSMs.
TestCom 2002: 317- |
| 2001 |
|---|
| 31 | EE | Cédric Besse,
Ana R. Cavalli,
Ferhat Khendek:
Partial Validation of a Design Specification with Respect to Requirements.
APAQS 2001: 131-140 |
| 30 | EE | Atsushi Fukada,
Akio Nakata,
Junji Kitamichi,
Teruo Higashino,
Ana R. Cavalli:
A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs.
ICOIN 2001: 155-162 |
| 29 | EE | Ana R. Cavalli,
Bruno Defude,
Christian Rinderknecht,
Fatiha Zaïdi:
A Service-Component Testing Method and a Suitable CORBA Architecture.
ISCC 2001: 655-660 |
| 2000 |
|---|
| 28 | | Ana R. Cavalli,
Svetlana Prokopenko,
Nina Yevtushenko:
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs.
TestCom 2000: 35- |
| 1999 |
|---|
| 27 | EE | Cédric Besse,
Ana R. Cavalli,
David Lee:
An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol.
ASE 1999: 73-80 |
| 26 | | Ana R. Cavalli,
David Lee,
Christian Rinderknecht,
Fatiha Zaïdi:
Hit-or-Jump: An algorithm for embedded testing with applications to IN services.
FORTE 1999: 41-56 |
| 25 | | Teruo Higashino,
Akio Nakata,
Kenichi Taniguchi,
Ana R. Cavalli:
Generating Test Cases for a Timed I/O Automaton Model.
IWTCS 1999: 197-214 |
| 24 | | Nina Yevtushenko,
Ana R. Cavalli,
Ricardo Anido:
Test Suite Minimization for Embedded Nondeterministic Finite State Machines.
IWTCS 1999: 237-250 |
| 23 | | Ana R. Cavalli:
Different Approaches to Protocol and Service Testing.
IWTCS 1999: 3-18 |
| 22 | EE | Marine Tabourier,
Ana R. Cavalli,
Melania Ionescu:
A GSM-MAP Protocol Experiment Using Passive Testing.
World Congress on Formal Methods 1999: 915-934 |
| 21 | EE | Ana R. Cavalli:
Advanced Topics on SDL and MSC.
Computer Networks 31(17): 1783-1784 (1999) |
| 20 | EE | Marine Tabourier,
Ana R. Cavalli:
Passive testing and application to the GSM-MAP protocol.
Information & Software Technology 41(11-12): 813-821 (1999) |
| 1998 |
|---|
| 19 | | Stanislaw Budkowski,
Ana R. Cavalli,
Elie Najm:
Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France
Kluwer 1998 |
| 18 | EE | Luiz A. Paula Lima Jr.,
Ana R. Cavalli:
Application of Embedded Testing Methods to Service Validation.
ICFEM 1998: 212-221 |
| 17 | | Nina Yevtushenko,
Ana R. Cavalli,
Luiz A. Paula Lima Jr.:
Test Suite Minimization for Testing in Context.
IWTCS 1998: 127-146 |
| 1997 |
|---|
| 16 | | Ana R. Cavalli,
Amardeo Sarma:
SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings
Elsevier 1997 |
| 15 | | Ana R. Cavalli,
Boo-Ho Lee,
Toma Macavei:
Test generation for the SSCOP-ATM networks protocol.
SDL Forum 1997: 277- |
| 1996 |
|---|
| 14 | EE | Ana R. Cavalli,
Byoung-Moon Chin,
Kilnam Chon:
Testing Methods for SDL Systems.
Computer Networks and ISDN Systems 28(12): 1669-1683 (1996) |
| 13 | EE | Ana R. Cavalli,
Jean Philippe Favreau,
Marc Phalippou:
Standardization of Formal Methods in Conformance Testing of Communication Protocols.
Computer Networks and ISDN Systems 29(1): 3-14 (1996) |
| 1994 |
|---|
| 12 | | Hacène Fouchal,
Ana R. Cavalli:
A modal based verification for LOTOS.
FORTE 1994: 215-217 |
| 11 | | Hacène Fouchal,
Ana R. Cavalli:
A Compositional Verification Method for LOTOS.
PODC 1994: 390 |
| 1993 |
|---|
| 10 | | Ana R. Cavalli,
Sung Un Kim,
Patrick Maigron:
Improving Conformance Testing for LOTOS.
FORTE 1993: 367-381 |
| 9 | | Ana R. Cavalli,
Jean Philippe Favreau,
Marc Phalippou:
Formal Methods for Conformance Testing: Results and Perspectives.
Protocol Test Systems 1993: 3-17 |
| 1992 |
|---|
| 8 | | Ana R. Cavalli,
Patrick Maigron,
Sung Un Kim:
Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications.
Protocol Test Systems 1992: 237-248 |
| 1991 |
|---|
| 7 | | Ana R. Cavalli,
Sung Un Kim:
Protocol Conformance Test Generation Using a Graph Rewriting System.
Protocol Test Systems 1991: 285-288 |
| 1988 |
|---|
| 6 | | Ana R. Cavalli,
Etienne Paul:
Exhaustive Analysis and Simulation for Distributed Systems, both Sides of the Same Coin.
Distributed Computing 2(4): 213-225 (1988) |
| 1987 |
|---|
| 5 | | Ana R. Cavalli,
François Horn:
Proof of Specification Properties by Using Finite State Machines and Temporal Logic.
PSTV 1987: 221-233 |
| 1984 |
|---|
| 4 | | Ana R. Cavalli,
Luis Fariñas del Cerro:
A Decision Method for Linear Temporal Logic.
CADE 1984: 113-127 |
| 3 | | Daniel Schwabe,
Ana R. Cavalli:
Temporal Logic Specification of a Virtual Ring LAN Access Protocol.
PSTV 1984: 79-91 |
| 2 | | Ana R. Cavalli,
Luis Fariñas del Cerro:
Specification and Verification of Networks Protocols Using.
Symposium on Programming 1984: 59-73 |
| 1 | EE | Ana R. Cavalli:
A method of automatic proof for the specification and verification of protocols.
Computer Communication Review 14(2): 100-106 (1984) |
