المؤلفون: 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

الإتاحة: https://doi.org/10.1007/978-3-030-32258-8_57Test
http://hdl.handle.net/11568/1047733Test

المؤلفون: Casolare R., Martinelli F., Mercaldo F., Nardone V., Santone A.

المساهمون: Advances in Intelligent Systems and Computing, Casolare, R., Martinelli, F., Mercaldo, F., Nardone, V., Santone, A.

مصطلحات موضوعية: Android, Colluding, Formal method, Malware, Model checking

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-44037-4; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-44038-1; ispartofbook:Advances in Intelligent Systems and Computing; Workshops of the 34th International Conference on Advanced Information Networking and Applications, WAINA 2020; volume:1150; firstpage:776; lastpage:786; numberofpages:11; serie:ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING; http://hdl.handle.net/11695/107195Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85084009138

الإتاحة: https://doi.org/10.1007/978-3-030-44038-1_71Test
http://hdl.handle.net/11695/107195Test

المؤلفون: Bernardeschi C., Mercaldo F., Nardone V., Santone A.

المساهمون: KES, Bernardeschi, C., Mercaldo, F., Nardone, V., Santone, A.

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

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

الإتاحة: https://doi.org/10.1016/j.procs.2019.09.263Test
http://hdl.handle.net/11695/90906Test
http://www.sciencedirect.com/science/journal/18770509Test

المؤلفون: Martinelli F., Mercaldo F., Nardone V., Santone A., Vaglini G.

المساهمون: 13th International Symposium on Intelligent Distributed Computing, Martinelli, F., Mercaldo, F., Nardone, V., Santone, A., Vaglini, G.

مصطلحات موضوعية: Android, Formal method, Malware, Model checking, Security

العلاقة: 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/11695/90571Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075566299; http://www.springer.com/series/7092Test

الإتاحة: https://doi.org/10.1007/978-3-030-32258-8_57Test
http://hdl.handle.net/11695/90571Test
http://www.springer.com/series/7092Test

المؤلفون: Borrelli A., Di Lucca G. A., Nardone V., Santone A.

المساهمون: Proceedings - 2019 IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Borrelli, A., Di Lucca, G. A., Nardone, V., Santone, A.

مصطلحات موضوعية: Formal method, model checking, railway system, safety critical system

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-7281-0676-2; info:eu-repo/semantics/altIdentifier/wos/WOS:000589384600047; ispartofbook:Proceedings - 2019 IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019; 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019; firstpage:249; lastpage:254; numberofpages:6; http://hdl.handle.net/11695/88840Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071689050; http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8790376Test

الإتاحة: https://doi.org/10.1109/WETICE.2019.00060Test
http://hdl.handle.net/11695/88840Test
http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8790376Test

المؤلفون: Martinelli F., Mercaldo F., Nardone V.

المساهمون: ICISSP 2018 - Proceedings of the 4th International Conference on Information Systems Security and Privacy, Martinelli, F., Mercaldo, F., Nardone, V.

مصطلحات موضوعية: Android, Model Checking, Security

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-989-758-282-0; ispartofbook:ICISSP 2018 - Proceedings of the 4th International Conference on Information Systems Security and Privacy; 4th International Conference on Information Systems Security and Privacy, ICISSP 2018; volume:2018-; firstpage:589; lastpage:596; numberofpages:8; https://hdl.handle.net/11695/115420Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85052013552

الإتاحة: https://doi.org/10.5220/0006758105890596Test
https://hdl.handle.net/11695/115420Test

المؤلفون: 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

المؤلفون: Nardone Vittoria, Raucci Domenico, Santone Antonella

المساهمون: Reddy S.M., Gaaloul W., Nardone, Vittoria, Raucci, Domenico, Santone, Antonella

مصطلحات موضوعية: Model checking, Temporal Logic, Action Controls, Management Control Systems, Purchasing Process

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-150901663-1; info:eu-repo/semantics/altIdentifier/wos/WOS:000390313000042; ispartofbook:Enabling Technologies: Infrastructure for Collaborative Enterprises; 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE Workshops 2016; firstpage:199; lastpage:204; numberofpages:6; http://hdl.handle.net/11564/669625Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84983788997; https://ieeexplore.ieee.org/document/7536461/metrics#metricsTest

الإتاحة: https://doi.org/10.1109/WETICE.2016.52Test
http://hdl.handle.net/11564/669625Test
https://ieeexplore.ieee.org/document/7536461/metrics#metricsTest

المؤلفون: Nardone, Roberto, Gentile, Ugo, Benerecetti, Massimo, Peron, Adriano, Vittorini, Valeria, Mazzocca, Nicola, MARRONE, Stefano

المساهمون: aa.vv., Olveczky P.C.,Artho C., Nardone, Roberto, Gentile, Ugo, Benerecetti, Massimo, Peron, Adriano, Vittorini, Valeria, Marrone, Stefano, Mazzocca, Nicola

مصطلحات موضوعية: CRYSTAL, Dynamic state machine, Model checking, Promela, Railway control system, SPIN, Test case generation, Computer Science (all)

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319295091; info:eu-repo/semantics/altIdentifier/wos/WOS:000371403600007; ispartofbook:Communications in Computer and Information Science; 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015; volume:596; firstpage:121; lastpage:136; numberofpages:16; journal:COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE; alleditors:Olveczky P.C.,Artho C.; http://hdl.handle.net/11591/365033Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84959016679; http://www.springer.com/series/7899Test

الإتاحة: https://doi.org/10.1007/978-3-319-29510-7_7Test
http://hdl.handle.net/11591/365033Test
http://www.springer.com/series/7899Test

المؤلفون: Gentile, Ugo, Mele, Gianluca, Nardone, Roberto, Peron, Adriano, MARRONE, Stefano

المساهمون: AA.VV., Gentile, Ugo, Marrone, Stefano, Mele, Gianluca, Nardone, Roberto, Peron, Adriano

مصطلحات موضوعية: ERTMS/ETCS, Model Checking, Model Transformation, Test Case Generation, Test Specification Pattern, Computer Science (all), Theoretical Computer Science

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9783319107011; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014; volume:8718; firstpage:170; lastpage:184; numberofpages:15; journal:LECTURE NOTES IN COMPUTER SCIENCE; http://hdl.handle.net/11591/365134Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84906987359; http://springerlink.com/content/0302-9743/copyright/2005Test/

الإتاحة: https://doi.org/10.1007/978-3-319-10702-8_12Test
http://hdl.handle.net/11591/365134Test
http://springerlink.com/content/0302-9743/copyright/2005Test/