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