The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ana R. Cavalli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Ana R. Cavalli, Dario Vieira
    A Reliable Approach for Transport Session Management. [Citation Graph (0, 0)][DBLP]
    AICT/ICIW, 2006, pp:63- [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Ana R. Cavalli, Sung Un Kim, Patrick Maigron
    Improving Conformance Testing for LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:367-381 [Conf]
  9. 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]
  10. Hacène Fouchal, Ana R. Cavalli
    A modal based verification for LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:215-217 [Conf]
  11. 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]
  12. 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]
  13. Ana R. Cavalli, Stéphane Maag
    A New Algorithm for Service Interaction Detection. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:371-382 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. Ana R. Cavalli, Dario Vieira, Timothy G. Griffin
    Implementation Analysis of MSP. [Citation Graph (0, 0)][DBLP]
    ICN/ICONS/MCL, 2006, pp:17- [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Jean-Marie Orset, Ana R. Cavalli
    A Security Model for OLSR MANET Protocol. [Citation Graph (0, 0)][DBLP]
    MDM, 2006, pp:122- [Conf]
  23. 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]
  24. Hacène Fouchal, Ana R. Cavalli
    A Compositional Verification Method for LOTOS. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:390- [Conf]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. Ana R. Cavalli
    Different Approaches to Protocol and Service Testing. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1999, pp:3-18 [Conf]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. Ana R. Cavalli, Dario Vieira
    Working Around BGP: An Improvement of BGP Session Maintenance. [Citation Graph (0, 0)][DBLP]
    ICNS, 2006, pp:41- [Conf]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]

  62. Context Ontology for Secure Interoperability. [Citation Graph (, )][DBLP]


  63. Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking. [Citation Graph (, )][DBLP]


  64. A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. [Citation Graph (, )][DBLP]


  65. Analysis of the OLSR Protocol by Using Formal Passive Testing. [Citation Graph (, )][DBLP]


  66. Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. [Citation Graph (, )][DBLP]


  67. Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. [Citation Graph (, )][DBLP]


  68. Automatic Timed Test Case Generation for Web Services Composition. [Citation Graph (, )][DBLP]


  69. Modeling, Validation, and Verification of PCEP Using the IF Language. [Citation Graph (, )][DBLP]


  70. Testing Security Rules with Decomposable Activities. [Citation Graph (, )][DBLP]


  71. A Statistical Approach to Test Stochastic and Probabilistic Systems. [Citation Graph (, )][DBLP]


  72. Timed Extended Invariants for the Passive Testing of Web Services. [Citation Graph (, )][DBLP]


  73. WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. [Citation Graph (, )][DBLP]


  74. An Automated Passive Testing Approach for the IMS PoC Service. [Citation Graph (, )][DBLP]


  75. A Formal Passive Testing Approach to test a MANET Routing Protocol. [Citation Graph (, )][DBLP]


  76. Observability and Controllability Issues in Conformance Testing of Web Service Compositions. [Citation Graph (, )][DBLP]


  77. A passive conformance testing approach for a MANET routing protocol. [Citation Graph (, )][DBLP]


  78. Network protocol interoperability testing based on contextual signatures and passive testing. [Citation Graph (, )][DBLP]


  79. A Fault Injection Tool for Testing Web Services Composition. [Citation Graph (, )][DBLP]


  80. Security Rules Specification and Analysis Based on Passive Testing. [Citation Graph (, )][DBLP]


  81. Security Protocol Testing Using Attack Trees. [Citation Graph (, )][DBLP]


  82. Transmit and Reserve (TAR): A Coordinated Channel Access for IEEE 802.11 Networks. [Citation Graph (, )][DBLP]


  83. Efficient time synchronization mechanism for wireless multi hop networks. [Citation Graph (, )][DBLP]


  84. A formal approach for specification and verification of fault injection process. [Citation Graph (, )][DBLP]


  85. Testing a probabilistic FSM using interval estimation. [Citation Graph (, )][DBLP]


  86. A formal validation methodology for MANET routing protocols based on nodes' self similarity. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002