Ana Cavalli

发表

Ana Cavalli, Stan Budkowski, 1996, IFIP — The International Federation for Information Processing.

César Andrés, Ana Cavalli, Mohamed H. E. Aouadi, 2015 .

An Ecosystem for Customer Experience Management

Brice Augustin, Anderson Morais, Jorge E. López de Vergara, 2014 .

Performance evaluation of video transmission over 802.11n wireless network: A MAC layer perspective

Badii Jouaber, Ana Cavalli, Jeevan Pokhrel, 2014, 2014 International Conference on Smart Communications in Network Technologies (SaCoNeT).

Generating attack scenarios for the system security validation

Anderson Morais, Eliane Martins, Ana Cavalli, 2013 .

Modeling and Testing SecureWeb Applications

Amel Mammar, Wissam Mallouli, Ana Cavalli, 2010 .

Extended Finite State Machine based test derivation strategies for telecommunication protocols

Nina Yevtushenko, Ana Cavalli, Natalia Kushik, 2014 .

Test execution of telecommunications services using CORBA

Ana Cavalli, L. Paula Lima, A. Cavalli, 1997 .

Protocol test systems, VIII : proceedings of the IFIP WG6.1 TC6 eighth International Workshop on Protocol Test Systems, September 1995

Ana Cavalli, Stan Budkowski, 1996 .

Intrusion Detection and Tolerance for 6LoWPAN-Based WSNs Using MMT

Ana Cavalli, Vinh Hoa La, 2017 .

An integrated tool for LOTOS development

Patrick Maigron, Sung Un Kim, Hacène Fouchal, 1996 .

A study of intrusion-tolerant routing in Wireless sensor Networks

Ana Cavalli, Vin Hoa La, 2014 .

On modeling and testing components of the European Train Control System

Nina Yevtushenko, João Rodrigo Santos, Rui Abreu, 2014 .

Modeling and testing secure web applications

Amel Mammar, Wissam Mallouli, Ana Cavalli, 2010 .

An Incremental Authentication Study using SIM-IP Cards for IEEE 802.11 Wireless LANs

Ana Cavalli, Bachar Zouari, Myriam Kallel, 2007 .

Modeling and Testing of Web-Based Systems

Fatiha Zaïdi, Ana Cavalli, Stephane Maag, 2010 .

Finite state models for evaluating quality of business for the over the top services

Nina Yevtushenko, Ana Cavalli, Natalia Kushik, 2014 .

Multimedia Quality of Experience

Nina Yevtushenko, Ana Cavalli, Natalia Kushik, 2016 .

Cost effective cross-layer protocol testing : a case study

Ana Cavalli, Stephane Maag, Jose Pablo Escobedo, 2011 .

Testing software and systems - 29th IFIP WG 6.1 International Conference (ICTSS 2017)

Nina Yevtushenko, Hüsnü Yenigün, Ana Cavalli, 2017 .

A TEFSM-based Framework for QoE Evaluation of OTT Services

Nina Yevtushenko, Ana Cavalli, Natalia Kushik, 2014 .

Verifying and testing ETCS Train Implementations based on IF specifications

Nina Yevtushenko, Ana Cavalli, Natalia Kushik, 2014 .

USING FINITE STATE MODELS FOR QUALITY EVALUATION AT WEB SERVICE DEVELOPMENT STEPS

Nina Yevtushenko, Ana Cavalli, Natalia Kushik, 2013 .

General Message from the SECTEST 2014 Workshop Chairs

Matthias Büchler, Ana Cavalli, Yafei Yang, 2014, ICSTW 2014.

Managing Customer Experience through Service Quality Monitoring

Brice Augustin, Anderson Morais, Said Hoceini, 2012 .

Security Engineering Techniques and Solutions for Information Systems: Management and Implementation

Wissam Mallouli, Ana Cavalli, Bachar Wehbi, 2010 .

A Pragmatic Approach to Generating Test Sequences for Embedded Systems

Ana Cavalli, Luiz Paula Lima, 1997 .

Symbolic-Based Monitoring for Embedded Applications

Ana Cavalli, Stephane Maag, Pramila Mouttappa, 2014 .

Erratum to: Formal Description Techniques and Protocol Specification, Testing and Verification

Elie Najm, Ana Cavalli, Stan Budkowski, 1998 .

Test Suite Minimization for Testing in Context

Nina Yevtushenko, Ana Cavalli, L. P. Lima, 1998 .

Security in Ad Hoc Networks

Jean-Marie Orset, Ana Cavalli, 2010 .

Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines

Nina Yevtushenko, Ana Cavalli, Natalia Kushik, 2016 .

Un Modèle de validation pour le protocole de routage DSR

Ana Cavalli, Stephane Maag, Cyril Grepet, 2005 .

A Passive Testing Approach for Security Checking and its Practical Usage for Web Services Monitoring

Keqin Li, Azzedine Benameur, Wissam Mallouli, 2013 .

Guaranteeing full fault coverage for UIO-based testing methods

Ana Cavalli, Ricardo de Oliveira Anido, 1996 .

SANCUS: Multi-layers Vulnerability Management Framework for Cloud-native 5G networks

Dimitrios Klonidis, Qiang Ni, Charalambos Klitis, 2021, ARES.

Generating attack scenarios for the validation of security protocol implementations

Anderson Morais, Eliane Martins, Ana Cavalli, 2008 .

WSInject : A Fault Injection Tool for Web Services Technical Report 1 . 0

Eliane Martins, Ana Cavalli, Fayçal Bessayah, 2010 .

Control Model in Multi-Organization Environments

Ana Cavalli, Khalifa Toumi, A. Cavalli, 2012 .