E-LIB Suche - Ergebnisse für: Cavalli, Ana R.

1

5Greplay: a 5G Network Traffic Fuzzer - Application to Atta..:

, In: Proceedings of the 16th International Conference on Availability, Reliability and Security,

Salazar, Zujany ; Nguyen, Huu Nghia ; Mallouli, Wissam.. - p. 1-8 , 2021

Link: https://dl.acm.org/doi/1..

2

Cyber-Resilience Evaluation of Cyber-Physical Systems:

, In: 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA),

Segovia, Mariana ; Rubio-Hernan, Jose ; Cavalli, Ana R.. - p. 1-8 , 2020

Link: https://doi.org/10.1109/..

3

A Framework for the Attack Tolerance of Cloud Applications ..:

Ouffoué, Georges ; Zaïdi, Fatiha ; Cavalli, Ana R..
Electronics. 10 (2020) 1 - p. 6 , 2020

Link: https://doi.org/10.3390/..

4

A Framework for Testing and Monitoring Security Policies: A..:

Toumi, Khalifa ; Aouadi, Mohamed ; Cavalli, Ana R...
The Computer Journal. 61 (2018) 8 - p. 1109-1122 , 2018

Link: https://doi.org/10.1093/..

5

A survey on formal active and passive testing with applicat..:

Cavalli, Ana R. ; Higashino, Teruo ; Núñez, Manuel
annals of telecommunications - annales des télécommunications. 70 (2015) 3-4 - p. 85-93 , 2015

Link: https://doi.org/10.1007/..

6

Special issue on formal active and passive testing of distr..:

Cavalli, Ana R. ; Higashino, Teruo ; Núñez, Manuel
annals of telecommunications - annales des télécommunications. 70 (2015) 3-4 - p. 83-84 , 2015

Link: https://doi.org/10.1007/..

7

General Message from the SECTEST 2014 Workshop Chairs:

, In: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops,

Cavalli, Ana R. ; Buchler, Matthias ; Yang, Yafei - p. 1-1 , 2014

Link: https://doi.org/10.1109/..

8

On adaptive experiments for nondeterministic finite state m..:

Kushik, Natalia ; El-Fakih, Khaled ; Yevtushenko, Nina.
International Journal on Software Tools for Technology Transfer. 18 (2014) 3 - p. 251-264 , 2014

Link: https://doi.org/10.1007/..

9

Applying formal methods to PCEP: an industrial case study f..:

Hwang, Iksoon ; Cavalli, Ana R. ; Lallali, Mounir.
Software Testing, Verification and Reliability. 22 (2011) 5 - p. 343-361 , 2011

Link: https://doi.org/10.1002/..

10

FSM-based conformance testing methods: A survey annotated w..:

Dorofeeva, Rita ; El-Fakih, Khaled ; Maag, Stephane..
Information and Software Technology. 52 (2010) 12 - p. 1286-1297 , 2010

Link: https://doi.org/10.1016/..

11

Test suite minimization for testing in context:

Anido, Ricardo ; Cavalli, Ana R. ; Lima Jr, Luiz Paula.
Software Testing, Verification and Reliability. 13 (2003) 3 - p. 141-155 , 2003

Link: https://doi.org/10.1002/..

12

Standardization of formal methods in conformance testing of..:

Cavalli, Ana R. ; Favreau, Jean Philippe ; Phalippou, Marc
Computer Networks and ISDN Systems. 29 (1996) 1 - p. 3-14 , 1996

Link: https://doi.org/10.1016/..

13

Testing methods for SDL systems:

Cavalli, Ana R. ; Chin, Byoung-Moon ; Chon, Kilnam
Computer Networks and ISDN Systems. 28 (1996) 12 - p. 1669-1683 , 1996

Link: https://doi.org/10.1016/..

14

A compositional verification method for LOTOS:

, In: Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing,

Fouchal, Hacéne ; Cavalli, Ana R. - p. 390 ff. , 1994

Link: https://dl.acm.org/doi/1..

15

Exhaustive analysis and simulation for distributed systems,..:

Cavalli, Ana R. ; Paul, Etienne
Distributed Computing. 2 (1988) 4 - p. 213-225 , 1988

Link: https://doi.org/10.1007/..