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

1

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

Salazar, Zujany ; Nguyen, Huu Nghia ; Mallouli, Wissam..
http://arxiv.org/abs/2304.05719. , 2023

Link: http://arxiv.org/abs/230..

2

Cyber-Resilience Approaches for Cyber-Physical Systems:

Segovia-Ferreira, Mariana ; Rubio-Hernan, Jose ; Cavalli, Ana R.
http://arxiv.org/abs/2302.05402. , 2023

Link: http://arxiv.org/abs/230..

3

Digital twin for IoT environments : a testing and simulatio..:

Nguyen, Luong ; Segovia, Mariana ; Mallouli, Wissam..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-14179-9_14. , 2022

Link: https://hal.science/hal-..

4

NLP-based Testing and Monitoring for Security Checking:

Sadovykh, Andrey ; Salazar, Zujany ; Mallouli, Wissam...
Sadovykh , A , Salazar , Z , Mallouli , W , Cavalli , A R , Truscan , D , Enoiu , E P , Iglesias , R & Hendel , O 2021 , ' NLP-based Testing and Monitoring for Security Checking ' , Proceedings of The 33rd IFIP International Conference on Testing Software and Systems , London , United Kingdom , 10/11/21 .. , 2021

Link: https://research.abo.fi/..

5

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

Salazar, Zujany ; Nguyen, Huu Nghia ; Mallouli, Wissam..
info:eu-repo/semantics/altIdentifier/arxiv/2304.05719. , 2021

Link: https://hal.science/hal-..

6

Switched-based resilient control of cyber-physical systems:

Segovia-Ferreira, Mariana ; Rubio-Hernan, Jose ; Cavalli, Ana R.
info:eu-repo/semantics/altIdentifier/doi/10.1109/ACCESS.2020.3039879. , 2020

Link: https://hal.science/hal-..

7

Industrial IoT security monitoring and test on Fed4Fire+ pl..:

Rivera, Diego ; Montes de Oca, Edgardo ; Mallouli, Wissam...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_17. , 2019

Link: https://inria.hal.scienc..

8

Industrial IoT security monitoring and test on Fed4Fire+ pl..:

Rivera, Diego ; Montes de Oca, Edgardo ; Mallouli, Wissam...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_17. , 2019

Link: https://inria.hal.scienc..

9

Attack tolerance for services-based applications in the clo..:

Ouffoué, Georges ; Zaïdi, Fatiha ; Cavalli, Ana, R
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_15. , 2019

Link: https://inria.hal.scienc..

10

Industrial IoT security monitoring and test on Fed4Fire+ pl..:

Rivera, Diego ; Montes de Oca, Edgardo ; Mallouli, Wissam...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_17. , 2019

Link: https://inria.hal.scienc..

11

Industrial IoT security monitoring and test on Fed4Fire+ pl..:

Rivera, Diego ; Montes de Oca, Edgardo ; Mallouli, Wissam...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_17. , 2019

Link: https://inria.hal.scienc..

12

Attack tolerance for services-based applications in the clo..:

Ouffoué, Georges ; Zaïdi, Fatiha ; Cavalli, Ana, R
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_15. , 2019

Link: https://inria.hal.scienc..

13

Decreasing the Complexity of Deriving Test Suites against N..:

Yenigun, Husnu ; Kushik, Natalia ; Lopez, Jorge..
https://aperta.ulakbim.gov.tr/record/51591. , 2017

Link: https://aperta.ulakbim.g..

14

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

Cavalli, Ana R ; Higashino, Teruo ; Nuñez García, Manuel
ESTuDIo (TIN2012- 36812-C02). , 2015

Link: https://hdl.handle.net/2..

15

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

Cavalli, Ana R ; Higashino, Teruo ; Núñez García, Manuel
doi:10.1007/s12243-015-0459-6. , 2015

Link: https://hdl.handle.net/2..