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

1

Digital Twin for IoT Environments: A Testing and Simulation..:

, In: Communications in Computer and Information Science; Quality of Information and Communications Technology,

Nguyen, Luong ; Segovia, Mariana ; Mallouli, Wissam.. - p. 205-219 , 2022

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

2

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..

3

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/..

4

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/..

5

Attack Tolerance for Services-Based Applications in the Clo..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,

Ouffoué, Georges ; Zaïdi, Fatiha ; Cavalli, Ana R. - p. 242-258 , 2019

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

6

Industrial IoT Security Monitoring and Test on Fed4Fire+ Pl..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,

Rivera, Diego ; Montes de Oca, Edgardo ; Mallouli, Wissam... - p. 270-278 , 2019

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

7

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/..

8

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/..

9

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/..

10

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/..

11

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/..

12

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/..

13

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/..

14

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/..

15

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/..