Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Cavalli, Ana R.
49  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
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

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

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

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

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

A method of automatic proof for the specification and verif..:

, In: Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium,
Cavalli, Ana R. - p. 100-106 , 1984
Link: https://dl.acm.org/doi/1..
 
?
9

Contributors:

, In: Coffee in Health and Disease Prevention,
Abramovič, Helena ; Aggarwal, Ramesh Kumar ; Akaffou, Sélastique... - p. xxi-xxviii , 2015
Link: https://doi.org/10.1016/..
 
?
10

Testing techniques to assess impact and cascading effects:

, In: 2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom),
Rios, Valeria Valdes ; Cavalli, Ana Rosa ; Zaidi, Fatiha. - p. 269-272 , 2023
Link: https://doi.org/10.1109/..
 
?
11

A Cyber Digital Twin Framework to Support Cyber-Physical Sy..:

, In: 2023 IEEE Smart World Congress (SWC),
Somma, Alessandra ; Casola, Valentina ; Cavalli, Ana Rosa... - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
12

Cybersecurity, Monitoring, Explainability and Resilience:

, In: 2023 Fourteenth International Conference on Mobile Computing and Ubiquitous Network (ICMU),
Cavalli, Ana Rosa ; Montes De Oca, Edgardo - p. 1-7 , 2023
Link: https://doi.org/10.23919..
 
?
13

Toward Anomaly Detection Using Explainable AI:

, In: CyberSecurity in a DevOps Environment,
Nguyen, Manh-Dung ; La, Vinh-Hoa ; Mallouli, Wissam.. - p. 293-324 , 2023
Link: https://doi.org/10.1007/..
 
?
14

5G SUCI Catcher: Attack and Detection:

, In: 2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom),
Barraud, Lorens ; Caccavale, Francesco ; Peyrat, Jean-Baptiste... - p. 285-290 , 2023
Link: https://doi.org/10.1109/..
 
?
15

The DYNABIC approach to resilience of critical infrastructu..:

, In: Proceedings of the 18th International Conference on Availability, Reliability and Security,
Rios, Erkuden ; Iturbe, Eider ; Rego, Angel... - p. 1-8 , 2023
Link: https://dl.acm.org/doi/1..
 
1-15