Search the dblp DataBase
Ana R. Cavalli :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ana R. Cavalli , Timothy G. Griffin , Dario Vieira A Comparison between Two Maintenance Session Protocols. [Citation Graph (0, 0)][DBLP ] AICT/SAPIR/ELETE, 2005, pp:230-237 [Conf ] Ana R. Cavalli , Dario Vieira A Reliable Approach for Transport Session Management. [Citation Graph (0, 0)][DBLP ] AICT/ICIW, 2006, pp:63- [Conf ] Cédric Besse , Ana R. Cavalli , Ferhat Khendek Partial Validation of a Design Specification with Respect to Requirements. [Citation Graph (0, 0)][DBLP ] APAQS, 2001, pp:131-140 [Conf ] Jean-Marie Orset , Baptiste Alcalde , Ana R. Cavalli An EFSM-Based Intrusion Detection System for Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] ATVA, 2005, pp:400-413 [Conf ] Ana R. Cavalli , Luis Fariñas del Cerro A Decision Method for Linear Temporal Logic. [Citation Graph (0, 0)][DBLP ] CADE, 1984, pp:113-127 [Conf ] Marine Tabourier , Ana R. Cavalli , Melania Ionescu A GSM-MAP Protocol Experiment Using Passive Testing. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:915-934 [Conf ] Baptiste Alcalde , Ana R. Cavalli , Dongluo Chen , Davy Khuu , David Lee Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. [Citation Graph (0, 0)][DBLP ] FORTE, 2004, pp:150-166 [Conf ] Ana R. Cavalli , Sung Un Kim , Patrick Maigron Improving Conformance Testing for LOTOS. [Citation Graph (0, 0)][DBLP ] FORTE, 1993, pp:367-381 [Conf ] Ana R. Cavalli , David Lee , Christian Rinderknecht , Fatiha Zaïdi Hit-or-Jump: An algorithm for embedded testing with applications to IN services. [Citation Graph (0, 0)][DBLP ] FORTE, 1999, pp:41-56 [Conf ] Hacène Fouchal , Ana R. Cavalli A modal based verification for LOTOS. [Citation Graph (0, 0)][DBLP ] FORTE, 1994, pp:215-217 [Conf ] Ana R. Cavalli , Cyril Grepet , Stéphane Maag , Vincent Tortajada A Validation Model for the DSR Protocol. [Citation Graph (0, 0)][DBLP ] ICDCS Workshops, 2004, pp:768-773 [Conf ] Ana R. Cavalli , Jean-Marie Orset Secure Hosts Autoconfiguration in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] ICDCS Workshops, 2004, pp:809-814 [Conf ] Ana R. Cavalli , Stéphane Maag A New Algorithm for Service Interaction Detection. [Citation Graph (0, 0)][DBLP ] ICFEM, 2002, pp:371-382 [Conf ] Luiz A. Paula Lima Jr. , Ana R. Cavalli Application of Embedded Testing Methods to Service Validation. [Citation Graph (0, 0)][DBLP ] ICFEM, 1998, pp:212-221 [Conf ] Baptiste Alcalde , Ana R. Cavalli Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach. [Citation Graph (0, 0)][DBLP ] ICN/ICONS/MCL, 2006, pp:42- [Conf ] Ana R. Cavalli , Dario Vieira An Enhanced Passive Testing Approach for Network Protocols. [Citation Graph (0, 0)][DBLP ] ICN/ICONS/MCL, 2006, pp:169- [Conf ] Ana R. Cavalli , Dario Vieira , Timothy G. Griffin Implementation Analysis of MSP. [Citation Graph (0, 0)][DBLP ] ICN/ICONS/MCL, 2006, pp:17- [Conf ] Atsushi Fukada , Akio Nakata , Junji Kitamichi , Teruo Higashino , Ana R. Cavalli A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. [Citation Graph (0, 0)][DBLP ] ICOIN, 2001, pp:155-162 [Conf ] Ana R. Cavalli , Stéphane Maag , Sofia Papagiannaki , Georgios Verigakis , Fatiha Zaïdi A Testing Methodology for an Open Software E-learning Platform. [Citation Graph (0, 0)][DBLP ] EDUTECH, 2004, pp:165-174 [Conf ] Ana R. Cavalli , Bruno Defude , Christian Rinderknecht , Fatiha Zaïdi A Service-Component Testing Method and a Suitable CORBA Architecture. [Citation Graph (0, 0)][DBLP ] ISCC, 2001, pp:655-660 [Conf ] Cédric Besse , Ana R. Cavalli , David Lee An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. [Citation Graph (0, 0)][DBLP ] ASE, 1999, pp:73-80 [Conf ] Jean-Marie Orset , Ana R. Cavalli A Security Model for OLSR MANET Protocol. [Citation Graph (0, 0)][DBLP ] MDM, 2006, pp:122- [Conf ] Bachar Wehbi , Wissam Mallouli , Ana R. Cavalli Light Client Management Protocol for Wireless Mesh Networks. [Citation Graph (0, 0)][DBLP ] MDM, 2006, pp:123- [Conf ] Hacène Fouchal , Ana R. Cavalli A Compositional Verification Method for LOTOS. [Citation Graph (0, 0)][DBLP ] PODC, 1994, pp:390- [Conf ] Ana R. Cavalli , Luis Fariñas del Cerro Specification and Verification of Networks Protocols Using. [Citation Graph (0, 0)][DBLP ] Symposium on Programming, 1984, pp:59-73 [Conf ] Ana R. Cavalli , François Horn Proof of Specification Properties by Using Finite State Machines and Temporal Logic. [Citation Graph (0, 0)][DBLP ] PSTV, 1987, pp:221-233 [Conf ] Daniel Schwabe , Ana R. Cavalli Temporal Logic Specification of a Virtual Ring LAN Access Protocol. [Citation Graph (0, 0)][DBLP ] PSTV, 1984, pp:79-91 [Conf ] José Antonio Arnedo , Ana R. Cavalli , Manuel Núñez Fast Testing of Critical Properties through Passive Testing. [Citation Graph (0, 0)][DBLP ] TestCom, 2003, pp:295-310 [Conf ] Cédric Besse , Ana R. Cavalli , Myungchul Kim , Fatiha Zaïdi Automated Generation of Interoperability Tests. [Citation Graph (0, 0)][DBLP ] TestCom, 2002, pp:169-0 [Conf ] Ana R. Cavalli Different Approaches to Protocol and Service Testing. [Citation Graph (0, 0)][DBLP ] IWTCS, 1999, pp:3-18 [Conf ] Ana R. Cavalli , Jean Philippe Favreau , Marc Phalippou Formal Methods for Conformance Testing: Results and Perspectives. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1993, pp:3-17 [Conf ] Ana R. Cavalli , Sung Un Kim Protocol Conformance Test Generation Using a Graph Rewriting System. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1991, pp:285-288 [Conf ] Ana R. Cavalli , Patrick Maigron , Sung Un Kim Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:237-248 [Conf ] Ana R. Cavalli , Stéphane Maag , Wissam Mallouli , Mikael Marche , Yves-Marie Quemener Application of Two Test Generation Tools to an Industrial Case Study. [Citation Graph (0, 0)][DBLP ] TestCom, 2006, pp:134-148 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] TestCom, 2004, pp:17-32 [Conf ] Ana R. Cavalli , Edgardo Montes de Oca , Manuel Núñez TestNet: Let's Test Together!. [Citation Graph (0, 0)][DBLP ] TestCom, 2003, pp:258-264 [Conf ] Ana R. Cavalli , Svetlana Prokopenko , Nina Yevtushenko Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. [Citation Graph (0, 0)][DBLP ] TestCom, 2000, pp:35-0 [Conf ] Ana R. Cavalli , Svetlana Prokopenko , Nina Yevtushenko Fault Detection within a Component of a System of Communicating FSMs. [Citation Graph (0, 0)][DBLP ] TestCom, 2002, pp:317-0 [Conf ] Teruo Higashino , Akio Nakata , Kenichi Taniguchi , Ana R. Cavalli Generating Test Cases for a Timed I/O Automaton Model. [Citation Graph (0, 0)][DBLP ] IWTCS, 1999, pp:197-214 [Conf ] Behrouz Tork Ladani , Baptiste Alcalde , Ana R. Cavalli Passive Testing - A Constrained Invariant Checking Approach. [Citation Graph (0, 0)][DBLP ] TestCom, 2005, pp:9-22 [Conf ] Nina Yevtushenko , Ana R. Cavalli , Ricardo Anido Test Suite Minimization for Embedded Nondeterministic Finite State Machines. [Citation Graph (0, 0)][DBLP ] IWTCS, 1999, pp:237-250 [Conf ] Nina Yevtushenko , Ana R. Cavalli , Luiz A. Paula Lima Jr. Test Suite Minimization for Testing in Context. [Citation Graph (0, 0)][DBLP ] IWTCS, 1998, pp:127-146 [Conf ] Ana R. Cavalli , Stéphane Maag Automated test scenarios generation for an e-barter system. [Citation Graph (0, 0)][DBLP ] SAC, 2004, pp:795-799 [Conf ] Ana R. Cavalli , Boo-Ho Lee , Toma Macavei Test generation for the SSCOP-ATM networks protocol. [Citation Graph (0, 0)][DBLP ] SDL Forum, 1997, pp:277-0 [Conf ] Rita Dorofeeva , Nina Yevtushenko , Khaled El-Fakih , Ana R. Cavalli Experimental Evaluation of FSM-Based Testing Methods. [Citation Graph (0, 0)][DBLP ] SEFM, 2005, pp:23-32 [Conf ] Ana R. Cavalli , Dario Vieira Working Around BGP: An Improvement of BGP Session Maintenance. [Citation Graph (0, 0)][DBLP ] ICNS, 2006, pp:41- [Conf ] Ana R. Cavalli , Jean-Marie Orset Secure hosts auto-configuration in mobile ad hoc networks. [Citation Graph (0, 0)][DBLP ] Ad Hoc Networks, 2005, v:3, n:5, pp:656-667 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Annales des Télécommunications, 2005, v:60, n:5-6, pp:588-609 [Journal ] Ana R. Cavalli A method of automatic proof for the specification and verification of protocols. [Citation Graph (0, 0)][DBLP ] Computer Communication Review, 1984, v:14, n:2, pp:100-106 [Journal ] Emmanuel Bayse , Ana R. Cavalli , Manuel Núñez , Fatiha Zaïdi A passive testing approach based on invariants: application to the WAP [Citation Graph (0, 0)][DBLP ] Computer Networks, 2005, v:48, n:2, pp:235-245 [Journal ] Ana R. Cavalli Advanced Topics on SDL and MSC. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1999, v:31, n:17, pp:1783-1784 [Journal ] Ana R. Cavalli , Byoung-Moon Chin , Kilnam Chon Testing Methods for SDL Systems. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1996, v:28, n:12, pp:1669-1683 [Journal ] Ana R. Cavalli , Jean Philippe Favreau , Marc Phalippou Standardization of Formal Methods in Conformance Testing of Communication Protocols. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:3-14 [Journal ] Ana R. Cavalli , Etienne Paul Exhaustive Analysis and Simulation for Distributed Systems, both Sides of the Same Coin. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 1988, v:2, n:4, pp:213-225 [Journal ] Ana R. Cavalli , Stéphane Maag , Sofia Papagiannaki , Georgios Verigakis From UML models to automatic generated tests for the dotLRN e-learning platform. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:133-144 [Journal ] Ana R. Cavalli , Caroline Gervy , Svetlana Prokopenko New approaches for passive testing using an Extended Finite State Machine specification. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2003, v:45, n:12, pp:837-852 [Journal ] Marine Tabourier , Ana R. Cavalli Passive testing and application to the GSM-MAP protocol. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1999, v:41, n:11-12, pp:813-821 [Journal ] Ricardo Anido , Ana R. Cavalli , Luiz A. Paula Lima Jr. , Nina Yevtushenko Test suite minimization for testing in context. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 2003, v:13, n:3, pp:141-155 [Journal ] Samrat S. Batth , Elisangela Rodrigues Vieira , Ana Cavalli , M. Ümit Uyar Specification of Timed EFSM Fault Models in SDL. [Citation Graph (0, 0)][DBLP ] FORTE, 2007, pp:50-65 [Conf ] Elisangela Rodrigues Vieira , Ana Cavalli Towards an Automated Test Generation with Delayed Transitions for Timed Systems. [Citation Graph (0, 0)][DBLP ] RTCSA, 2007, pp:226-231 [Conf ] Wissam Mallouli , Jean-Marie Orset , Ana R. Cavalli , Nora Cuppens-Boulahia , Frédéric Cuppens A formal approach for testing security rules. [Citation Graph (0, 0)][DBLP ] SACMAT, 2007, pp:127-132 [Conf ] Context Ontology for Secure Interoperability. [Citation Graph (, )][DBLP ] Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking. [Citation Graph (, )][DBLP ] A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. [Citation Graph (, )][DBLP ] Analysis of the OLSR Protocol by Using Formal Passive Testing. [Citation Graph (, )][DBLP ] Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. [Citation Graph (, )][DBLP ] Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. [Citation Graph (, )][DBLP ] Automatic Timed Test Case Generation for Web Services Composition. [Citation Graph (, )][DBLP ] Modeling, Validation, and Verification of PCEP Using the IF Language. [Citation Graph (, )][DBLP ] Testing Security Rules with Decomposable Activities. [Citation Graph (, )][DBLP ] A Statistical Approach to Test Stochastic and Probabilistic Systems. [Citation Graph (, )][DBLP ] Timed Extended Invariants for the Passive Testing of Web Services. [Citation Graph (, )][DBLP ] WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. [Citation Graph (, )][DBLP ] An Automated Passive Testing Approach for the IMS PoC Service. [Citation Graph (, )][DBLP ] A Formal Passive Testing Approach to test a MANET Routing Protocol. [Citation Graph (, )][DBLP ] Observability and Controllability Issues in Conformance Testing of Web Service Compositions. [Citation Graph (, )][DBLP ] A passive conformance testing approach for a MANET routing protocol. [Citation Graph (, )][DBLP ] Network protocol interoperability testing based on contextual signatures and passive testing. [Citation Graph (, )][DBLP ] A Fault Injection Tool for Testing Web Services Composition. [Citation Graph (, )][DBLP ] Security Rules Specification and Analysis Based on Passive Testing. [Citation Graph (, )][DBLP ] Security Protocol Testing Using Attack Trees. [Citation Graph (, )][DBLP ] Transmit and Reserve (TAR): A Coordinated Channel Access for IEEE 802.11 Networks. [Citation Graph (, )][DBLP ] Efficient time synchronization mechanism for wireless multi hop networks. [Citation Graph (, )][DBLP ] A formal approach for specification and verification of fault injection process. [Citation Graph (, )][DBLP ] Testing a probabilistic FSM using interval estimation. [Citation Graph (, )][DBLP ] A formal validation methodology for MANET routing protocols based on nodes' self similarity. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.457secs