Ana Cavalli
Ana Cavalli
Professeur Telecom SudParis
Adresse e-mail validée de it-sudparis.eu - Page d'accueil
TitreCitée parAnnée
FSM-based conformance testing methods: A survey annotated with experimental evaluation
R Dorofeeva, K El-Fakih, S Maag, AR Cavalli, N Yevtushenko
Information and Software Technology 52 (12), 1286-1297, 2010
1372010
A passive testing approach based on invariants: application to the WAP
E Bayse, A Cavalli, M Núñez, F Zaïdi
Computer networks 48 (2), 247-266, 2005
1342005
Generating test cases for a timed I/O automaton model
T Higashino, A Nakata, K Taniguchi, AR Cavalli
Testing of Communicating Systems, 197-214, 1999
1231999
Security attacks and solutions in vehicular ad hoc networks: a survey
VH La, AR Cavalli
1142014
New approaches for passive testing using an extended finite state machine specification
A Cavalli, C Gervy, S Prokopenko
Information and Software Technology 45 (12), 837-852, 2003
972003
Hit-or-Jump: An algorithm for embedded testing with applications to IN services
A Cavalli, D Lee, C Rinderknecht, F Zaïdi
Formal Methods for Protocol Engineering And Distributed Systems, 41-56, 1999
931999
Automatic timed test case generation for web services composition
M Lallali, F Zaidi, A Cavalli, I Hwang
2008 Sixth European Conference on Web Services, 53-62, 2008
642008
An EFSM-based intrusion detection system for ad hoc networks
JM Orset, B Alcalde, A Cavalli
International Symposium on Automated Technology for Verification and …, 2005
642005
An overview of the Eucalyptus toolbox
H Garavel
Proceedings of the COST 247, 76-88, 1996
631996
A decision method for linear temporal logic
AR Cavalli, LFÑ Del Cerro
International Conference on Automated Deduction, 113-127, 1984
611984
Estimation of QoE of video traffic using a fuzzy expert system
J Pokhrel, B Wehbi, A Morais, A Cavalli, E Allilaire
2013 IEEE 10th Consumer Communications and Networking Conference (CCNC), 224-229, 2013
572013
A formal approach for testing security rules
W Mallouli, JM Orset, A Cavalli, N Cuppens, F Cuppens
Proceedings of the 12th ACM symposium on Access control models and …, 2007
552007
Network protocol system passive testing for fault management: A backward checking approach
B Alcalde, A Cavalli, D Chen, D Khuu, D Lee
International Conference on Formal Techniques for Networked and Distributed …, 2004
542004
Defining the wordlength of the fractional interval in interpolation filters
F López, J Vesma, M Renfors
2002 11th European Signal Processing Conference, 1-4, 2002
522002
A pragmatic approach to generating test sequences for embedded systems
LP Lima, AR Cavalli
Testing of Communicating Systems, 288-307, 1997
471997
Timed extended invariants for the passive testing of web services
G Morales, S Maag, A Cavalli, W Mallouli, EM De Oca, B Wehbi
2010 IEEE International Conference on Web Services, 592-599, 2010
462010
Secure hosts auto-configuration in mobile ad hoc networks
A Cavalli, JM Orset
Ad Hoc Networks 3 (5), 656-667, 2005
462005
Secure hosts auto-configuration in mobile ad hoc networks
A Cavalli, JM Orset
Ad Hoc Networks 3 (5), 656-667, 2005
462005
Two complementary tools for the formal testing of distributed systems with time constraints
AR Cavalli, EMD Oca, W Mallouli, M Lallali
Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed …, 2008
442008
Passive testing and application to the GSM-MAP protocol
M Tabourier, A Cavalli
Information and Software Technology 41 (11-12), 813-821, 1999
441999
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20