dblp.uni-trier.dewww.uni-trier.de

Ana R. Cavalli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
75EEIksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère: Modeling, Validation, and Verification of PCEP Using the IF Language. FMOODS/FORTE 2009: 122-136
74EEAna R. Cavalli, Stéphane Maag, Edgardo Montes de Oca, Fatiha Zaïdi: A Formal Passive Testing Approach to test a MANET Routing Protocol. PerCom Workshops 2009: 1-6
73EEFatiha Zaïdi, Emmanuel Bayse, Ana R. Cavalli: Network protocol interoperability testing based on contextual signatures and passive testing. SAC 2009: 2-7
72EEAna R. Cavalli, Stéphane Maag, Edgardo Montes de Oca: A passive conformance testing approach for a MANET routing protocol. SAC 2009: 207-211
2008
71EEWissam Mallouli, Bachar Wehbi, Ana R. Cavalli: Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking. ADHOC-NOW 2008: 345-356
70EECéline Coma, Nora Cuppens-Boulahia, Frédéric Cuppens, Ana R. Cavalli: Context Ontology for Secure Interoperability. ARES 2008: 821-827
69EEWissam Mallouli, Amel Mammar, Ana R. Cavalli: Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. DS-RT 2008: 173-180
68EEAna R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli, Mounir Lallali: Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. DS-RT 2008: 315-318
67EEWissam Mallouli, Fayçal Bessayah, Ana R. Cavalli, Azzedine Benameur: Security Rules Specification and Analysis Based on Passive Testing. GLOBECOM 2008: 2078-2083
66EEBachar Wehbi, Anis Laouiti, Ana R. Cavalli: Efficient time synchronization mechanism for wireless multi hop networks. PIMRC 2008: 1-6
65EESté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
64EESamrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar: Specification of Timed EFSM Fault Models in SDL. FORTE 2007: 50-65
63EEWissam Mallouli, Ana R. Cavalli: Testing Security Rules with Decomposable Activities. HASE 2007: 149-155
62EEElisangela Rodrigues Vieira, Ana R. Cavalli: Towards an Automated Test Generation with Delayed Transitions for Timed Systems. RTCSA 2007: 226-231
61EEWissam 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
60EEAna R. Cavalli, Dario Vieira: A Reliable Approach for Transport Session Management. AICT/ICIW 2006: 63
59EEAna R. Cavalli, Dario Vieira: An Enhanced Passive Testing Approach for Network Protocols. ICN/ICONS/MCL 2006: 169
58EEAna R. Cavalli, Dario Vieira, Timothy G. Griffin: Implementation Analysis of MSP. ICN/ICONS/MCL 2006: 17
57EEBaptiste Alcalde, Ana R. Cavalli: Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach. ICN/ICONS/MCL 2006: 42
56EEAna R. Cavalli, Dario Vieira: Working Around BGP: An Improvement of BGP Session Maintenance. ICNS 2006: 41
55EEJean-Marie Orset, Ana R. Cavalli: A Security Model for OLSR MANET Protocol. MDM 2006: 122
54EEBachar Wehbi, Wissam Mallouli, Ana R. Cavalli: Light Client Management Protocol for Wireless Mesh Networks. MDM 2006: 123
53EEAna 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
52EEAna R. Cavalli, Timothy G. Griffin, Dario Vieira: A Comparison between Two Maintenance Session Protocols. AICT/SAPIR/ELETE 2005: 230-237
51EEJean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli: An EFSM-Based Intrusion Detection System for Ad Hoc Networks. ATVA 2005: 400-413
50EERita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli: Experimental Evaluation of FSM-Based Testing Methods. SEFM 2005: 23-32
49EEBehrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli: Passive Testing - A Constrained Invariant Checking Approach. TestCom 2005: 9-22
48EEAna 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)
46EEEmmanuel 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)
45EEAna 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
43EEBaptiste 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
42EEAna R. Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada: A Validation Model for the DSR Protocol. ICDCS Workshops 2004: 768-773
41EEAna R. Cavalli, Jean-Marie Orset: Secure Hosts Autoconfiguration in Mobile Ad Hoc Networks. ICDCS Workshops 2004: 809-814
40EEAna R. Cavalli, Stéphane Maag: Automated test scenarios generation for an e-barter system. SAC 2004: 795-799
39EEAna 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
38EEAna R. Cavalli, Edgardo Montes de Oca, Manuel Núñez: TestNet: Let's Test Together!. TestCom 2003: 258-264
37EEJosé Antonio Arnedo, Ana R. Cavalli, Manuel Núñez: Fast Testing of Critical Properties through Passive Testing. TestCom 2003: 295-310
36EEAna 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)
35EERicardo 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
34EEAna 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
31EECédric Besse, Ana R. Cavalli, Ferhat Khendek: Partial Validation of a Design Specification with Respect to Requirements. APAQS 2001: 131-140
30EEAtsushi 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
29EEAna 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
27EECé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
22EEMarine Tabourier, Ana R. Cavalli, Melania Ionescu: A GSM-MAP Protocol Experiment Using Passive Testing. World Congress on Formal Methods 1999: 915-934
21EEAna R. Cavalli: Advanced Topics on SDL and MSC. Computer Networks 31(17): 1783-1784 (1999)
20EEMarine 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
18EELuiz 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
14EEAna R. Cavalli, Byoung-Moon Chin, Kilnam Chon: Testing Methods for SDL Systems. Computer Networks and ISDN Systems 28(12): 1669-1683 (1996)
13EEAna 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
4EEAna 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
1EEAna R. Cavalli: A method of automatic proof for the specification and verification of protocols. Computer Communication Review 14(2): 100-106 (1984)

Coauthor Index

1Baptiste Alcalde [43] [49] [51] [57]
2Ricardo Anido [24] [35]
3José Antonio Arnedo [37]
4Samrat S. Batth [64]
5Emmanuel Bayse [46] [73]
6Azzedine Benameur [67]
7Fayçal Bessayah [67]
8Cédric Besse [27] [31] [33]
9Stanislaw Budkowski [19]
10Richard Castanet [39] [47]
11Luis Fariñas del Cerro [2] [4]
12Dongluo Chen [43]
13Byoung-Moon Chin [14]
14Kilnam Chon [14]
15Céline Coma [70]
16Pierre Combes [39] [47]
17Frédéric Cuppens [61] [70]
18Nora Cuppens-Boulahia (Nora Boulahia-Cuppens) [61] [70]
19Bruno Defude [29]
20Rita Dorofeeva [50]
21Khaled El-Fakih [50]
22Jean Philippe Favreau [9] [13]
23Hacène Fouchal [11] [12]
24Atsushi Fukada [30]
25Caroline Gervy [36]
26Cyril Grepet [42] [65]
27Timothy G. Griffin (Timothy Griffin) [52] [58]
28Teruo Higashino [25] [30]
29François Horn [5]
30Iksoon Hwang [75]
31Melania Ionescu [22]
32Ferhat Khendek [31]
33Davy Khuu [43]
34Myungchul Kim [33]
35Sung Un Kim [7] [8] [10]
36Junji Kitamichi [30]
37Behrouz Tork Ladani [49]
38Mounir Lallali [68] [75]
39Anis Laouiti [66]
40Patrice Laurençot [39] [47]
41Boo-Ho Lee [15]
42David Lee [26] [27] [43]
43Luiz A. Paula Lima Jr. [17] [18] [35]
44Stéphane Maag [34] [40] [42] [44] [45] [53] [65] [72] [74]
45Marcien MacKaya [39] [47]
46Toma Macavei [15]
47Patrick Maigron [8] [10]
48Wissam Mallouli [53] [54] [61] [63] [67] [68] [69] [71]
49Amel Mammar [69]
50Mikael Marche [53]
51Amel Mederreg [39] [47]
52Wei Monin [39] [47]
53Elie Najm [19]
54Akio Nakata [25] [30]
55Manuel Núñez [37] [38] [46]
56Edgardo Montes de Oca [38] [68] [72] [74]
57Jean-Marie Orset [41] [48] [51] [55] [61]
58Sofia Papagiannaki [44] [45]
59Etienne Paul [6]
60Marc Phalippou [9] [13]
61Svetlana Prokopenko [28] [32] [36]
62Yves-Marie Quemener [53]
63Christian Rinderknecht [26] [29]
64Amardeo Sarma [16]
65Daniel Schwabe [3]
66Marine Tabourier [20] [22]
67Kenichi Taniguchi [25]
68Vincent Tortajada [42]
69M. Ümit Uyar [64]
70Dominique Verchère [75]
71Georgios Verigakis [44] [45]
72Dario Vieira [52] [56] [58] [59] [60]
73Elisangela Rodrigues Vieira [62] [64]
74Bachar Wehbi [54] [66] [71]
75Nina Yevtushenko [17] [24] [28] [32] [35] [50]
76Fatiha Zaïdi [26] [29] [33] [39] [44] [46] [47] [73] [74]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)