Zobrazeno 1 - 10
of 102
pro vyhledávání: '"Rosa Cavalli"'
Autor:
Zujany Salazar, Fatiha Zaidi, Huu-Nghia Nguyen, Wissam Mallouli, Ana Rosa Cavalli, Edgardo Montes De Oca
Publikováno v:
IEEE Access, Vol 11, Pp 43925-43944 (2023)
This paper presents an ontology based on mutation techniques for the modelling of cybersecurity attacks and its application to 5G networks. Main concepts of network protocols, mutation operators, flow of network packets and network traffic are introd
Externí odkaz:
https://doaj.org/article/6419c5961a5c4791907ca196882ef631
Publikováno v:
IEEE Access, Vol 8, Pp 212194-212208 (2020)
We present a control-theoretic approach to achieve Cyber-Physical Systems (CPS) resilient designs. We assume situations in which the CPS must maintain the correct operation of a set of crucial functionalities despite ongoing adversarial misbehavior.
Externí odkaz:
https://doaj.org/article/ac6ba6c2f10f4a2f88ce844e4c36fe34
Autor:
Rodríguez-Valdés, O., Vos, T.E.J., Aho, P.K., Marín, Beatriz, Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins, Ricardo Pérez-Castillo
Publikováno v:
Quality of Information and Communications Technology: 14th International Conference, 473-488
ISSUE=1;STARTPAGE=473;ENDPAGE=488;TITLE=Quality of Information and Communications Technology
Rodríguez-Valdés, O, Vos, T E J, Aho, P K & Marín, B 2021, 30 Years of Automated GUI Testing : A Bibliometric Analysis . in Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins & Ricardo Pérez-Castillo (eds), Quality of Information and Communications Technology : 14th International Conference . 1 edn, Springer, Cham, Communications in Computer and Information Science, vol. 1439, pp. 473-488, International Conference on the Quality of Information and Communications Technology, Algarve, Portugal, 8/09/21 . https://doi.org/10.1007/978-3-030-85347-1_34
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
Communications in Computer and Information Science ISBN: 9783030853464
QUATIC
ISSUE=1;STARTPAGE=473;ENDPAGE=488;TITLE=Quality of Information and Communications Technology
Rodríguez-Valdés, O, Vos, T E J, Aho, P K & Marín, B 2021, 30 Years of Automated GUI Testing : A Bibliometric Analysis . in Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins & Ricardo Pérez-Castillo (eds), Quality of Information and Communications Technology : 14th International Conference . 1 edn, Springer, Cham, Communications in Computer and Information Science, vol. 1439, pp. 473-488, International Conference on the Quality of Information and Communications Technology, Algarve, Portugal, 8/09/21 . https://doi.org/10.1007/978-3-030-85347-1_34
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
Communications in Computer and Information Science ISBN: 9783030853464
QUATIC
[EN] Context: Over the last 30 years, GUIs have changed considerably, becoming everyday part of our lives through smart phones and other devices. More complex GUIs and multitude of platforms have increased the challenges when testing software through
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b15a0b25b8daa4c4b6ec095d64211df7
https://doi.org/10.1007/978-3-030-85347-1_34
https://doi.org/10.1007/978-3-030-85347-1_34
Resumo A partir do trabalho como psicólogos do Tribunal de Justiça de São Paulo, foram feitas avaliações psicológicas com pessoas trans que buscaram o judiciário para a alteração do nome próprio e do registro do gênero em seus documentos p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e44de8b45eac58caec1bf5d6da2f5aea
Publikováno v:
Software Quality Journal. 30:953-954
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb86622491067698e4a6e8aebcc5991a
https://doi.org/10.1007/s11219-022-09608-y
https://doi.org/10.1007/s11219-022-09608-y
Autor:
Zujany Salazar, Ana Rosa Cavalli, Wissam Mallouli, Filip Sebek, Fatiha Zaidi, Monika Ewa Rakoczy
Publikováno v:
2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6fca7530b4cc00bbe369a4ca7f1b8fe3
https://doi.org/10.1109/icstw55395.2022.00021
https://doi.org/10.1109/icstw55395.2022.00021
Publikováno v:
IEEE Access
IEEE Access, IEEE, 2020, 8, pp.212194-212208. ⟨10.1109/ACCESS.2020.3039879⟩
IEEE Access, Vol 8, Pp 212194-212208 (2020)
IEEE Access, IEEE, 2020, 8, pp.212194-212208. ⟨10.1109/ACCESS.2020.3039879⟩
IEEE Access, Vol 8, Pp 212194-212208 (2020)
International audience; We present a control-theoretic approach to achieve Cyber-Physical Systems (CPS) resilient designs. We assume situations in which the CPS must maintain the correct operation of a set of crucial functionalities despite ongoing a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2db1a33958af131150562032159a1c80
https://doi.org/10.1109/access.2020.3039879
https://doi.org/10.1109/access.2020.3039879
Publikováno v:
Sensors, Vol 8, Iss 2, Pp 1278-1296 (2008)
This paper describes a fast procedure for evaluating asphalt pavement surface defects using airborne emissivity data. To develop this procedure, we used airborne multispectral emissivity data covering an urban test area close to Venice (Italy).For th
Externí odkaz:
https://doaj.org/article/f3448514417947439573dbbf87fc84d8
Autor:
Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book w