-
1دورية أكاديمية
المساهمون: 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 -
2مؤتمر
المؤلفون: Martinelli F., Mercaldo F., Nardone V., Santone A., Vaglini G.
المساهمون: Martinelli, F., Mercaldo, F., Nardone, V., Santone, A., Vaglini, G.
مصطلحات موضوعية: Android, Formal method, Malware, Model checking, Security
وصف الملف: STAMPA
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32257-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32258-8; info:eu-repo/semantics/altIdentifier/wos/WOS:000570007800057; ispartofbook:Studies in Computational Intelligence; 13th International Symposium on Intelligent Distributed Computing, IDC 2019; volume:868; firstpage:485; lastpage:494; numberofpages:10; serie:STUDIES IN COMPUTATIONAL INTELLIGENCE; http://hdl.handle.net/11568/1047733Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075566299
-
3دورية أكاديمية
المؤلفون: Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
المساهمون: Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Vaglini, Gigliola
مصطلحات موضوعية: Model checking, Formal methods, Machine learning, Malware, AndroidSecurity
وصف الملف: STAMPA
العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000571444500004; volume:105; firstpage:1; lastpage:11; numberofpages:11; journal:SIMULATION MODELLING PRACTICE AND THEORY; http://hdl.handle.net/11568/1051170Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85089545808
-
4مؤتمر
المؤلفون: Cimitile, Aniello, Mercaldo, Francesco, Martinelli, Fabio, Nardone, Vittoria, Santone, Antonella, VAGLINI, GIGLIOLA
المساهمون: Cimitile, Aniello, Mercaldo, Francesco, Martinelli, Fabio, Nardone, Vittoria, Santone, Antonella, Vaglini, Gigliola
مصطلحات موضوعية: security, malware, evolution, phylogenesy, model checking
وصف الملف: STAMPA
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-153860422-9; info:eu-repo/semantics/altIdentifier/wos/WOS:000427065300005; ispartofbook:Proceedings - 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017; 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017; firstpage:24; lastpage:30; numberofpages:7; http://hdl.handle.net/11568/870836Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85027441414; https://ieeexplore.ieee.org/document/7967989Test
الإتاحة: https://doi.org/10.1109/FormaliSE.2017.4Test
http://hdl.handle.net/11568/870836Test
https://ieeexplore.ieee.org/document/7967989Test