المؤلفون: Mastropaolo, Antonio, Nardone, Vittoria, Bavota, Gabriele, Di Penta, Massimiliano

مصطلحات موضوعية: Computer Science - Software Engineering

الوصول الحر: http://arxiv.org/abs/2404.17896Test

المؤلفون: Varriano, Giulia, Nardone, Vittoria, Correra, Simona, Mercaldo, Francesco, Santone, Antonella

المصدر: Comput Med Imaging Graph ; ISSN:1879-0771 ; Volume:116

مصطلحات موضوعية: COVID-19, DICOM, Formal methods, Localization, Radiomics

العلاقة: https://doi.org/10.1016/j.compmedimag.2024.102411Test; https://pubmed.ncbi.nlm.nih.gov/38924800Test

الإتاحة: https://doi.org/10.1016/j.compmedimag.2024.102411Test
https://pubmed.ncbi.nlm.nih.gov/38924800Test

المؤلفون: Bosco, Matteo, Cavoto, Pasquale, Ungolo, Augusto, Muse, Biruk Asmare, Khomh, Foutse, Nardone, Vittoria, Di Penta, Massimiliano

المصدر: 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC)

الإتاحة: https://doi.org/10.1109/icpc58990.2023.00033Test
http://xplorestaging.ieee.org/ielx7/10173929/10173943/10174134.pdf?arnumber=10174134Test

المؤلفون: Bernardeschi, Cinzia, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella

المساهمون: Bernardeschi, Cinzia, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella

مصطلحات موضوعية: malware, botnet, Android, model checking, formal methods, temporal logic, security

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000571151500099; volume:159; firstpage:963; lastpage:972; numberofpages:10; journal:PROCEDIA COMPUTER SCIENCE; http://hdl.handle.net/11568/1016574Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85076259247; https://www.sciencedirect.com/science/article/pii/S1877050919314590Test

الإتاحة: https://doi.org/10.1016/j.procs.2019.09.263Test
http://hdl.handle.net/11568/1016574Test
https://www.sciencedirect.com/science/article/pii/S1877050919314590Test

المؤلفون: Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Orlando, Albina, Santone, Antonella

مصطلحات موضوعية: EC, H2020, European Training Networks, European Commission

العلاقة: url:https://www.openaccessrepository.it/communities/itmirrorTest; https://www.openaccessrepository.it/record/69930Test

الإتاحة: https://doi.org/10.5220/0006633403670372Test
https://www.openaccessrepository.it/record/69930Test

المؤلفون: Nardone, Vittoria, Muse, Biruk Asmare, Abidi, Mouna, Khomh, Foutse, Di Penta, Massimiliano

العلاقة: Nardone, V., Muse, B. A., Abidi, M., Khomh, F., & Di Penta, M. (2023). Video Game Bad Smells: What They Are and How Developers Perceive Them. ACM Transactions on Software Engineering and Methodology, 32(4), 1-35.

الإتاحة: https://doi.org/10.1145/3563214Test
https://publications.polymtl.ca/54833Test/

المؤلفون: Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Orlando, Albina, Santone, Antonella, Vaglini, Gigliola

المصدر: Information Technology and Control ; Vol. 48 No. 2 (2019); 278-298 ; 2335-884X ; 1392-124X

وصف الملف: application/pdf

العلاقة: https://itc.ktu.lt/index.php/ITC/article/view/21724/12638Test; https://itc.ktu.lt/index.php/ITC/article/view/21724Test

الإتاحة: https://itc.ktu.lt/index.php/ITC/article/view/21724Test

المؤلفون: Zampetti, Fiorella, Nardone, Vittoria, Di Penta, Massimiliano

المساهمون: European Commission

المصدر: Proceedings of the 19th International Conference on Mining Software Repositories

الإتاحة: https://doi.org/10.1145/3524842.3527948Test

المؤلفون: Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Visaggio, Corrado

المساهمون: University of Sannio Benevento, Elvira Albert, Ivan Lanese, TC 6, WG 6.1

المصدر: Lecture Notes in Computer Science ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://hal.inria.fr/hal-01432919Test ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩

مصطلحات موضوعية: Malware, Android, Security, Formal methods, Temporal logic, [INFO]Computer Science [cs], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

جغرافية الموضوع: Heraklion, Greece

العلاقة: hal-01432919; https://hal.inria.fr/hal-01432919Test; https://hal.inria.fr/hal-01432919/documentTest; https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest

الإتاحة: https://doi.org/10.1007/978-3-319-39570-8_14Test
https://hal.inria.fr/hal-01432919Test
https://hal.inria.fr/hal-01432919/documentTest
https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest

المؤلفون: Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella

العلاقة: url:https://www.openaccessrepository.it/communities/itmirrorTest; https://www.openaccessrepository.it/record/38648Test

الإتاحة: https://doi.org/10.1016/j.procs.2017.08.193Test
https://www.openaccessrepository.it/record/38648Test