-
1
المؤلفون: Vittoria Nardone, Biruk Muse, Mouna Abidi, Foutse Khomh, Massimiliano Di Penta
المصدر: ACM Transactions on Software Engineering and Methodology. 32:1-35
مصطلحات موضوعية: Software
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::0046db180eb15933e56e74496d603f5fTest
https://doi.org/10.1145/3563214Test -
2مؤتمر
مصطلحات موضوعية: EC, H2020, European Training Networks, European Commission
العلاقة: url:https://www.openaccessrepository.it/communities/itmirrorTest; https://www.openaccessrepository.it/record/69958Test
الإتاحة: https://doi.org/10.5220/0006755205620569Test
https://www.openaccessrepository.it/record/69958Test -
3دورية أكاديمية
المؤلفون: Vittoria Nardone, Gigliola Vaglini, Albina Orlando, Antonella Santone, Fabio Martinelli, Francesco Mercaldo
مصطلحات موضوعية: RISE, Research and Innovation action, EC, European Commission, Netherlands Organisation for Scientific Research (NWO), H2020, Electrical and Electronic Engineering, Computer Science Applications, Control and Systems Engineering
العلاقة: url:https://www.openaccessrepository.it/communities/itmirrorTest; https://www.openaccessrepository.it/record/133201Test
الإتاحة: https://doi.org/10.5755/j01.itc.48.2.21724Test
https://www.openaccessrepository.it/record/133201Test -
4
المؤلفون: Giulio Antoniol, Massimiliano Di Penta, Vittoria Nardone, Cyrine Zid
المصدر: SSRN Electronic Journal.
مصطلحات موضوعية: History, Polymers and Plastics, Business and International Management, Industrial and Manufacturing Engineering
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::beefc6e942104b943274fc46868ef26bTest
https://doi.org/10.2139/ssrn.4258139Test -
5
مصطلحات موضوعية: Video games, Bad smells, Q&A Forums, Empirical Study
العلاقة: https://zenodo.org/communities/empirical-software-engineeringTest; https://zenodo.org/record/6720644Test; https://doi.org/10.5281/zenodo.6720644Test; oai:zenodo.org:6720644
الإتاحة: https://doi.org/10.5281/zenodo.6720644Test
https://doi.org/10.5281/zenodo.6327678Test
https://zenodo.org/record/6720644Test -
6
المؤلفون: Fiorella Zampetti, Vittoria Nardone, Massimiliano Di Penta
مصطلحات موضوعية: cyber-physical systems, continuous integration and delivery, empirical study
العلاقة: info:eu-repo/grantAgreement/EC/H2020/957254/; https://zenodo.org/communities/empirical-software-engineeringTest; https://zenodo.org/record/6394133Test; https://doi.org/10.5281/zenodo.6394133Test; oai:zenodo.org:6394133
الإتاحة: https://doi.org/10.5281/zenodo.6394133Test
https://doi.org/10.5281/zenodo.5883236Test
https://zenodo.org/record/6394133Test -
7
المؤلفون: Gerardo Canfora, Corrado Aaron Visaggio, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Vittoria Nardone
المصدر: IEEE Transactions on Software Engineering
IEEE transactions on software engineering 45 (2018): 1230–1252. doi:10.1109/TSE.2018.2834344
info:cnr-pdr/source/autori:Canfora G.; Martinelli F.; Mercaldo F.; Nardone V.; Santone A.; Visaggio C.A./titolo:LEILA: formaL tool for idEntifying mobIle maLicious behAviour/doi:10.1109%2FTSE.2018.2834344/rivista:IEEE transactions on software engineering/anno:2018/pagina_da:1230/pagina_a:1252/intervallo_pagine:1230–1252/volume:45مصطلحات موضوعية: Model checking, Source code, Exploit, Computer science, media_common.quotation_subject, Java bytecode, 02 engineering and technology, computer.software_genre, Computer security, Automata, Tools, Android, Android malware, 0202 electrical engineering, electronic engineering, information engineering, Humanoid robots, Mobile technology, Android (operating system), media_common, computer.programming_language, malware, Payloads, Androids, 020207 software engineering, testing, Malware, model checking, Security, Software, Information sensitivity, Mobile device, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dde16e3fb6b49c6989eada67737e0508Test
https://doi.org/10.1109/tse.2018.2834344Test -
8
المصدر: IEEE Systems Journal. 13:1018-1029
مصطلحات موضوعية: System of systems, Model checking, Flexibility (engineering), 021103 operations research, Correctness, Requirements engineering, Computer Networks and Communications, Computer science, Process (engineering), Distributed computing, 0211 other engineering and technologies, 02 engineering and technology, Computer Science Applications, System requirements, Consistency (database systems), Control and Systems Engineering, Electrical and Electronic Engineering, Information Systems
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1aa0210e509ca957c631bd47776b603dTest
https://doi.org/10.1109/jsyst.2018.2793665Test -
9مؤتمر
المساهمون: Antonella Santone, Francesco Mercaldo, Corrado Aaron Visaggio, Vittoria Nardone, Nardone, Vittoria, Visaggio, CORRADO AARON
العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000413241700072; ispartofbook:Proceedings of the 3rd International Conference on Information Systems Security and Privacy, ICISSP 2017; the 3rd International Conference on Information Systems Security and Privacy, ICISSP 2017; firstpage:663; lastpage:672; numberofpages:10; https://hdl.handle.net/11695/131311Test; https://doi.org/10.5220/0006287506630672Test
-
10
المؤلفون: Aniello Cimitile, Francesco Mercaldo, Antonella Santone, Arun Kumar Sangaiah, Fabio Martinelli, Vittoria Nardone
المصدر: Journal of parallel and distributed computing
119 (2018): 203–218. doi:10.1016/j.jpdc.2018.04.008
info:cnr-pdr/source/autori:Martinelli F.; Mercaldo F.; Nardone V.; Santone A.; Sangaiah A.K.; Cimitile A./titolo:Evaluating model checking for cyber threats code obfuscation identification/doi:10.1016%2Fj.jpdc.2018.04.008/rivista:Journal of parallel and distributed computing (Print)/anno:2018/pagina_da:203/pagina_a:218/intervallo_pagine:203–218/volume:119
Journal of Parallel and Distributed Computingمصطلحات موضوعية: Android, Formal methods, Malware, Model checking, Obfuscation, Software, Theoretical Computer Science, Hardware and Architecture, Computer Networks and Communications, Artificial Intelligence, Computer science, 0211 other engineering and technologies, ComputingMilieux_LEGALASPECTSOFCOMPUTING, 02 engineering and technology, Computer security, computer.software_genre, 0202 electrical engineering, electronic engineering, information engineering, Android (operating system), 021110 strategic, defence & security studies, business.industry, 020207 software engineering, Obfuscation (software), ComputingMilieux_MANAGEMENTOFCOMPUTINGANDINFORMATIONSYSTEMS, business, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1563ff4eb1e2c899ca1e58c7cad50d1cTest
https://doi.org/10.1016/j.jpdc.2018.04.008Test