-
1Academic Journal
Subject Terms: мобильные приложения, информационная безопасность, безопасность мобильных систем, код мобильных приложений, статический анализ кода, статическое тестирование безопасности приложений
File Description: application/pdf
Access URL: https://elib.belstu.by/handle/123456789/59575
-
2Academic Journal
Authors: H.K. Aslanyan, G.S. Ivanov, V.G. Vardanyan, Arutyun Avetisyan, M.S. Arutunian, Sh.F. Kurmangaleev
Source: Труды Института системного программирования РАН, Vol 31, Iss 1, Pp 49-58 (2019)
Subject Terms: анализ исполняемого кода, Electronic computers. Computer science, клоны кода, QA75.5-76.95, статический анализ кода, анализ изменений
-
3Academic Journal
Source: Труды Института системного программирования РАН, Vol 31, Iss 3, Pp 177-190 (2019)
Subject Terms: 03 medical and health sciences, 0302 clinical medicine, Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, уязвимости, QA75.5-76.95, 02 engineering and technology, статический анализ кода, анализ помеченных данных
Access URL: https://ispranproceedings.elpub.ru/jour/article/download/1186/946
https://doaj.org/article/4d6b192a7eb04549b59350f0f35223da
https://ispranproceedings.elpub.ru/jour/article/view/1186
https://ispranproceedings.elpub.ru/jour/article/download/1186/946
https://cyberleninka.ru/article/n/vulnerabilities-detection-via-static-taint-analysis -
4Academic Journal
Authors: N. Y. Viuginov, V. S. Fondaratov
Source: Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 7-20 (2018)
Subject Terms: ruby, динамически типизированные языки, ruby vm, yarv, сигнатура метода, наследование типов, статический анализ кода, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
-
5Academic Journal
Authors: V. S. Mutilin, E. M. Novikov, A. V. Strakh, A. V. Khoroshilov, P. E. Shved
Source: Труды Института системного программирования РАН, Vol 20, Iss 0 (2018)
Subject Terms: статический анализ кода, правила корректности, верификация драйверов устройств, моделирование окружения драйвера, аспектно-ориентированное программирование, верификатор достижимости, визуализация трассы ошибки, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
-
6Academic Journal
Authors: Жиляк, Надежда Александровна
Subject Terms: мобильные приложения, код мобильных приложений, информационная безопасность, безопасность мобильных систем, статический анализ кода, статическое тестирование безопасности приложений
File Description: application/pdf
Relation: https://elib.belstu.by/handle/123456789/59575; 004.41.42
Availability: https://elib.belstu.by/handle/123456789/59575
-
7Academic Journal
Authors: Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela, Larisa Safina, Alexander Tchitchigin, Nikolay Troshkov, Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков
Source: Modeling and Analysis of Information Systems; Том 24, № 6 (2017); 704-717 ; Моделирование и анализ информационных систем; Том 24, № 6 (2017); 704-717 ; 2313-5417 ; 1818-1015
Subject Terms: язык программирования Jolie, static analysis, Jolie programming language, статический анализ кода
File Description: application/pdf
Relation: https://www.mais-journal.ru/jour/article/view/608/472; Akentev E., Tchitchigin A., Safina L., Mazzara M., “Verified type checker for Jolie programming language”, https://arxiv.org/pdf/1703.05186.pdf.; Bandura A., Kurilenko N., Mazzara M., Rivera V., Safina L., Tchitchigin A., “Jolie Community on the Rise”, 9th IEEE International Conference on Service-Oriented Computing and Applications, SOCA, 2016.; Barrett C., Stump A., Tinelli C., “The SMT-LIB Standard. Version 2.0”, Proceedings of the 8th international workshop on satisfiability modulo theories, Edinburgh, England, 2010.; Cardelli L., “Type Systems”, ACM Computing Surveys, 28 (1996), 263–264.; Dragoni N., Dustdar S., Larsen S. T., Mazzara M., “Microservices: Migration of a Mission Critical System”, https://arxiv.org/abs/1704.04173.; Dragoni N., Giallorenzo S., Lluch-Lafuente A., Mazzara M., Montesi F., Mustafin R., Safina L., “Microservices: yesterday, today, and tomorrow”, Present and Ulterior Software Engineering, ed. Bertrand Meyer, Manuel Mazzara, Springer, 2017, 195–216.; Dragoni N., Lanese I., Larsen S. T., Mazzara M., Mustafin R., Safina L., “Microservices: How To Make Your Application Scale”, A.P. Ershov Informatics Conference (the PSI Conference Series, 11th edition), Lecture Notes in Computer Science, Springer, 2017.; Gmehlich R., Grau K., Loesch F., Iliasov A., Jackson M., Mazzara M., “Towards a formalism-based toolkit for automotive applications”, 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE 2013), IEEE Computer Society, 2013, 36–42.; Guidi C., Lanese I., Mazzara M., Montesi F., “Microservices: a Language-based Approach”, Present and Ulterior Software Engineering, ed. Bertrand Meyer, Manuel Mazzara, Springer, 2017, 217–225.; Hoare C. A. R., “An Axiomatic Basis for Computer Programming”, Communications of the ACM, 12 (1969), 576–583.; Jhala R., “Liquid Haskell”, https://ucsd-progsys.github.io/liquidhaskell-blog/.; MacKenzie M. C., Laskey K., McCabe F., Brown P. F., Metz R., “Reference model for service oriented architecture 1.0”, OASIS Standard, 12 (2006).; Mazzara M., Towards Abstractions for Web Services Composition, Ph.D. Thesis, University of Bologna, 2006, http://www.informatica.unibo.it/it/ricerca/technical-report/ 2006/UBLCS-2006-08.; Mazzara M., Abouzaid F., Dragoni N., Bhattacharyya A., “Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations – A Process Algebra Perspective”, Web Services and Formal Methods, 8th International Workshop, WS-FM 2011, Lecture Notes in Computer Science, 7176, 2011, 64–78.; Mazzara M., Abouzaid F., Dragoni N., Bhattacharyya A., “Design, Modelling and Analysis of a Workflow Reconfiguration”, Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20–21, 2011, 10–24.; Mazzara M., Biselli L., Greco P. P., Dragoni N., Marra˙a A., Qamar N., Simona de Nicola, “Social networks and collective intelligence: a return to the agora”, Social Network Engineering for Secure Web Data and Services, IGI Global, 2013.; Mazzara M., Mustafin R., Safina L., Lanese I., “Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing”, https://arxiv.org/pdf/1610. 01778.pdf.; Milner R., Communication and concurrency, Prentice Hall International (UK) Ltd., 1995.; Milner R., Communicating and Mobile Systems: The ˇ-calculus, Cambridge University Press, 1999.; Montesi F., Guidi C., Zavattaro G., “Service-Oriented Programming with Jolie”, Web Services Foundations, Springer, 2014, 81–107.; Moura de L., Bjørner N., “Z3: An E˚cient SMT Solver”, Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 (Budapest, Hungary, March 29–April 6, 2008), Lecture Notes in Computer Science, 4963, Springer, 2008, 337–340.; Moura de L., Bjørner N., “Satisfiability modulo theories: An appetizer”, Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Lecture Notes in Computer Science, 5902, Springer, 2009, 23–36.; Nalin M., Baroni I., Mazzara M., “A Holistic Infrastructure to Support Elderlies’ Independent Living”, Encyclopedia of E-Health and Telemedicine, IGI-Global, 2016, 591–605.; Newman S., Building microservices, O’Reilly Media, Inc., 2015.; Nielsen J. M., A Type System for the Jolie Language, Master thesis, Technical University of Denmark, 2013.; Rice H. G., “Classes of Recursively Enumerable Sets and Their Decision Problems”, Trans. Amer. Math. Soc., 74 (1953), 358–366.; Rondon P. M., Kawaguci M., Jhala R., “Liquid Types”, SIGPLAN Not., 43:6 (2008), 159– 169.; Safina L., Mazzara M., Montesi F., Rivera V., “Data-driven Workflows for Microservices (genericity in Jolie)”, Proc. of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA 2016), 2016.; Salikhov D., Khanda K., Gusmanov K., Mazzara M., Mavridis N., “Microservice-based IoT for Smart Buildings”, Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA), 2017.; Salikhov D., Khanda K., Gusmanov K., Mazzara M., Mavridis N., “Jolie Good Buildings: Internet of things for smart building infrastructure supporting concurrent apps utilizing distributed microservices”, Proceedings of the 1st International conference on Convergent Cognitive Information Technologies, 2016.; Tchitchigin A., Safina L., Mazzara M., Elwakil M., Montesi F., Rivera V., “Refinement types in Jolie”, Spring/Summer Young Researchers Colloquium on Software Engineering, SYRCoSE, 2016.; Vallverdú J., Talanov M., Distefano S., Mazzara M., Tchitchigin A., Nurgaliev I., “A cognitive architecture for the implementation of emotions in computing systems”, Biologically Inspired Cognitive Architectures, 15 (2016), 34 – 40.; “Z3”, https://github.com/Z3Prover/z3.; “OASIS. Web Services Business Process Execution Language”, http://docs.oasis-open. org/wsbpel/2.0/wsbpel-specification-draft.html.; “Agda”, http://wiki.portal.chalmers.se/agda/pmwiki.php.; “F*”, https://www.fstar-lang.org/.
-
8Academic Journal
-
9Academic Journal
Authors: Чернышов, Михаил, Абасов, Николай, Осипчук, Евгений
Subject Terms: ТЕХНОЛОГИИ ВЫЧИСЛИТЕЛЬНОГО МОДЕЛИРОВАНИЯ, СОДЕРЖАТЕЛЬНЫЙ АНАЛИЗ ТЕКСТОВ ПРОГРАММ, РЕСТРУКТУРИРОВАНИЕ ТЕКСТОВ ПРОГРАММ, СТАТИЧЕСКИЙ АНАЛИЗ КОДА, ГРАФЫ СВЯЗЕЙ
File Description: text/html
-
10Academic Journal
Authors: Мутилин, В., Новиков, Е., Страх, А., Хорошилов, А., Швед, П.
File Description: text/html
-
11Academic Journal
Source: Вестник Бурятского государственного университета.
File Description: text/html
-
12Academic Journal
Source: Труды Института системного программирования РАН.
Subject Terms: 0209 industrial biotechnology, 0202 electrical engineering, electronic engineering, information engineering, СТАТИЧЕСКИЙ АНАЛИЗ КОДА,ПРАВИЛА КОРРЕКТНОСТИ,ВЕРИФИКАЦИЯ ДРАЙВЕРОВ УСТРОЙСТВ,МОДЕЛИРОВАНИЕ ОКРУЖЕНИЯ ДРАЙВЕРА,АСПЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ВЕРИФИКАТОР ДОСТИЖИМОСТИ,ВИЗУАЛИЗАЦИЯ ТРАССЫ ОШИБКИ, 02 engineering and technology
File Description: text/html
-
13
Contributors: Шеметова Екатерина Николаевна, Semetova Ekaterina Nikolaevna, Григорьев Семен Вячеславович, Grigorev Semen Vaceslavovic
Subject Terms: контекстно-свободная достижимость, поиск путей с контекстно-свободными ограничениями, контекстно-свободная грамматика, достижимость с ограничениями, анализ графов, разреженные матрицы, статический анализ кода, графовые базы данных, context-free language reachability, context-free path querying, context-free grammar, constrained reachability, GraphBLAS, CFPQ, graph analysis, sparse matrices, static code analysis, graph databases
Relation: 086862; http://hdl.handle.net/11701/46282
Availability: http://hdl.handle.net/11701/46282
-
14
Authors: Вьюгинов Николай Юрьевич, Viuginov Nickolai
Contributors: Булычев Дмитрий Юрьевич, Кириленко Яков Александрович, Kirilenko Iakov Аleksаndrovich
Subject Terms: Ruby, Динамически типизированные языки, Виртуальная машина Ruby, Сигнатура метода, Выделение типов, Статический анализ кода, Dynamically typed languages, Ruby VM, Method signature, Type inference, Static code analysis
Relation: 034424; http://hdl.handle.net/11701/11358
Availability: http://hdl.handle.net/11701/11358
-
15
Authors: Лашук, Т. А.
Subject Terms: материалы конференций, статический анализ кода, автоматизация тестирования
Relation: Лашук, Т. А. Сравнение инструментов статического анализа кода / Т. А. Лашук // Компьютерное проектирование и технология производства электронных систем: сборник тезисов 53 научной конференции аспирантов, магистрантов и студентов (Минск, 2–6 мая 2017 года) / отв. ред. Раднёнок А. Л. – Минск : БГУИР, 2017. – С. 178.; https://openrepository.ru/article?id=217022
Availability: https://openrepository.ru/article?id=217022
-
16Electronic Resource
