المؤلفون: Riouak, Idriss, Fors, Niklas, Öqvist, Jesper, Hedin, Görel, Reichenbach, Christoph

المصدر: 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE),,Pasadena, United States,-- SLE '24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering. :56-69

مصطلحات موضوعية: Attribute Grammars, Circular Attributes, Static Analysis, Demand Analysis, Fixpoint Computations, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science

URL الوصول: https://lup.lub.lu.se/record/a5fac70c-4615-4cf2-9bc5-faa497d3c834
http://dx.doi.org/10.1145/3687997.3695644

المؤلفون: Xu, Minglong, Xue, Song, Wang, Qionghua, He, Shaoxiang, Deng, Rui, Li, Zenong, Zhang, Ying, Li, Qiankun, Li, Rongchao

المصدر: Industrial Robot: the international journal of robotics research and application, 2024, Vol. 52, Issue 1, pp. 94-105.

URL الوصول: http://www.emeraldinsight.com/doi/10.1108/IR-04-2024-0173

المؤلفون: Shuaichao YUAN, Jianfeng WANG, Yuhang DUAN, Lujing HAO, Xiaohong ZHAN

المصدر: 工程科学学报, Vol 47, Iss 1, Pp 56-65 (2025)

مصطلحات موضوعية: topology optimization, static analysis, additive manufacturing, lightweight design, structure design, Mining engineering. Metallurgy, TN1-997, Environmental engineering, TA170-171

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2095-9389

URL الوصول: https://doaj.org/article/66d9f9270efa4f5888754fcec2cd9889

المؤلفون: Paulo Nunes, Jose Fonseca, Marco Vieira

المصدر: IEEE Access, Vol 13, Pp 3139-3153 (2025)

مصطلحات موضوعية: Static analysis, dynamic analysis, vulnerability detection, execution traces, SQLi, blend analysis, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10813334/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/f3009e1a914348b6a3fbfdee09a50449

المؤلفون: Andi Abdullah Ghyferi, Aldias Bahatmaka, Muhammad Yusuf Wibowo, Ahmad Anwar, Ayyub Ridananda, Anggi Vandika

المصدر: Rekayasa Mesin, Vol 15, Iss 3, Pp 1437-1450 (2024)

مصطلحات موضوعية: deformation, equivalent elastic strain, safety factor, bracket calliper, static analysis, Mechanical engineering and machinery, TJ1-1570

وصف الملف: electronic resource

Relation: https://rekayasamesin.ub.ac.id/index.php/rm/article/view/1700; https://doaj.org/toc/2338-1663; https://doaj.org/toc/2477-6041

URL الوصول: https://doaj.org/article/41f334d82c0d4e0a82a6475bfb72f07b

المؤلفون: Francesco Fabbrocino, Carlo Olivieri, Raimondo Luciano, Generoso Vaiano, Giuseppe Maddaloni, Antonino Iannuzzo

المصدر: Alexandria Engineering Journal, Vol 109, Iss , Pp 359-375 (2024)

مصطلحات موضوعية: Seismic vulnerability assessment, Historical masonry buildings, Nonlinear static analysis, Equivalent frame model (EFM), 3Muri, Limit analysis, Engineering (General). Civil engineering (General), TA1-2040

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S1110016824009311; https://doaj.org/toc/1110-0168

URL الوصول: https://doaj.org/article/a046f53a2ffc4ba2ad856cb902a9fd10

المؤلفون: Mohammad Mohammadi, Seyed Mohammad Reza Nazemosadat, Ahmad Afsari

المصدر: Biomechanism and Bioenergy Research, Vol 3, Iss 2, Pp 75-87 (2024)

مصطلحات موضوعية: detss, abaqus, inventor, modal analysis, static analysis, fem, Agriculture

وصف الملف: electronic resource

Relation: https://bbr.uk.ac.ir/article_4569_7df6e5bb764a80a7b052aeafa9ae6da3.pdf; https://doaj.org/toc/2821-1855

URL الوصول: https://doaj.org/article/1c2768aa6a824e5aab18ebc4d3875050

المؤلفون: Dura, Alexandru, Reichenbach, Christoph

المساهمون: Rodriguez, Gabriel, Editor, Sadayappan, P., Editor, Sukumaran-Rajam, Aravind, Editor

المصدر: 33rd ACM SIGPLAN International Conference on Compiler Construction, CC 2024,Edinburgh, United Kingdom,-- CC 2024 - Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction ELLIIT: the Linköping-Lund initiative on IT and mobile communication. :186-197

مصطلحات موضوعية: Datalog, Static Analysis Frameworks, Syntactic Patterns, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Programvaruteknik, Natural Sciences, Computer and Information Science, Software Engineering

URL الوصول: https://lup.lub.lu.se/record/99e3fdd2-8a10-4910-9e63-e1bf0eb5fcb7
http://dx.doi.org/10.1145/3640537.3641579

المؤلفون: Lundén, Daniel, Hummelgren, Lars, Kudlicka, Jan, Eriksson, Oscar, Broman, David, 1977

المصدر: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings Lecture Notes in Computer Science. :302-330

مصطلحات موضوعية: Continuation-passing style, Probabilistic programming, Static analysis

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-346543
https://doi.org/10.1007/978-3-031-57267-8_12

المؤلفون: Huang, Kaiming, Payer, Mathias, Qian, Zhiyun, Sampson, Jack, Tan, Gang, Jaeger, Trent

المصدر: IEEE Security & Privacy. 22(4)

مصطلحات موضوعية: Information and Computing Sciences, Cybersecurity and Privacy, Patient Safety, Safety, Runtime, Memory management, Protection, Costs, Static analysis, Software, Computation Theory and Mathematics, Computer Software, Data Format, Strategic, Defence & Security Studies, Cybersecurity and privacy

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

URL الوصول: https://escholarship.org/uc/item/0z839098
https://escholarship.org/content/qt0z839098/qt0z839098.pdf

المؤلفون: Sanjaya Kunwar, Deepak Thapa, Achyut Paudel, Aayush Shrestha

المصدر: Discover Civil Engineering, Vol 1, Iss 1, Pp 1-18 (2024)

مصطلحات موضوعية: Comparative study, Himalayan belt, Seismic codes, Reinforced concrete, Seismic responses, Linear static analysis, Engineering (General). Civil engineering (General), TA1-2040

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2948-1546

URL الوصول: https://doaj.org/article/c1be091193ce4a60b69b0df2d31d807d

المؤلفون: Amarjyoti Pathak, Th. Shanta Kumar, Utpal Barman

المصدر: EURASIP Journal on Information Security, Vol 2024, Iss 1, Pp 1-12 (2024)

مصطلحات موضوعية: Android malware detection, Static analysis, Permission feature extraction, Feature engineering, Machine learning, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2510-523X

URL الوصول: https://doaj.org/article/335c67178cc94b919af15c829baeba12

المؤلفون: Zsófia Erdei, Melinda Tóth, István Bozó

المصدر: Acta Universitatis Sapientiae: Informatica, Vol 16, Iss 1, Pp 44-61 (2024)

مصطلحات موضوعية: static analysis, fault localization, symbolic execution, erlang, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://acta.sapientia.ro/content/docs/info16-1-04-721457.pdf; https://doaj.org/toc/2066-7760

URL الوصول: https://doaj.org/article/fef442f913c849e986f1c346efa569f8

المؤلفون: Reza Fathi, Mehdi Kia, Meisam Qorbani Fouladi

المصدر: Numerical Methods in Civil Engineering, Vol 9, Iss 1, Pp 93-102 (2024)

مصطلحات موضوعية: ductility reduction factor, nonlinear static analysis, prescriptive requirements, ductility capacity, seismic design codes, Engineering (General). Civil engineering (General), TA1-2040

وصف الملف: electronic resource

Relation: https://nmce.kntu.ac.ir/article_208237_76942928b6b93f8e981c1afffb676ddb.pdf; https://doaj.org/toc/2345-4296; https://doaj.org/toc/2783-3941

URL الوصول: https://doaj.org/article/6994cc96ac4b40829d4552af45bbd09b

المؤلفون: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine

المساهمون: Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires (SYCOMORES), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 1433-2779.

مصطلحات موضوعية: static analysis, abstract interpretation, Software engineering, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2407.12499; ARXIV: 2407.12499

الاتاحة: https://inria.hal.science/hal-04652657
https://inria.hal.science/hal-04652657v2/document
https://inria.hal.science/hal-04652657v2/file/sttt_mopsa_maintenance-revised.pdf
https://doi.org/10.1007/s10009-024-00770-1

المؤلفون: Ashrafun Naher Pinky, Thomas Ebel, Samaneh Sharbati

المصدر: Power Electronic Devices and Components, Vol 10, Iss , Pp 100075- (2025)

مصطلحات موضوعية: Gallium nitride, Gan vertical transistor, Optimization, Static analysis, Current-voltage characteristics, Capacitance-voltage characteristics, Electric apparatus and materials. Electric circuits. Electric networks, TK452-454.4

Relation: http://www.sciencedirect.com/science/article/pii/S2772370424000208; https://doaj.org/toc/2772-3704; https://doaj.org/article/2c2dd8b2473d4f53a39bea72f4d7649b

الاتاحة: https://doi.org/10.1016/j.pedc.2024.100075
https://doaj.org/article/2c2dd8b2473d4f53a39bea72f4d7649b

المؤلفون: Ferreira, Jorge Lopes

المساهمون: Paulino, Hervé, Ravara, António, RUN

مصطلحات موضوعية: program analysis, points-to analysis, static analysis, data race, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

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

الاتاحة: http://hdl.handle.net/10362/176239

المؤلفون: Dazhi Zhan, Yanyan Zhang, Ling Zhu, Jun Chen, Shiming Xia, Shize Guo, Zhisong Pan

المصدر: Alexandria Engineering Journal, Vol 98, Iss , Pp 32-43 (2024)

مصطلحات موضوعية: Malware detection, Static analysis, Adversarial example, Evasion attack, Reinforcement learning, Engineering (General). Civil engineering (General), TA1-2040

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S1110016824003971; https://doaj.org/toc/1110-0168

URL الوصول: https://doaj.org/article/c846555822964258ad55fcfddb9d6d6f

المؤلفون: Qintao Shen, Guozhu Meng, Kai Chen

المصدر: Cybersecurity, Vol 7, Iss 1, Pp 1-15 (2024)

مصطلحات موضوعية: Exploitability evaluation, Proof-of-concept, Static analysis, Taint analysis, Heap object recovery, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2523-3246

URL الوصول: https://doaj.org/article/79fc6dce17d64deca33144caa1bd55fa

المؤلفون: Nahida Chowdhury, Ayush Maharjan, Rajeev R. Raje

المصدر: Software, Vol 3, Iss 3, Pp 250-270 (2024)

مصطلحات موضوعية: trust, subjective logic, sentiment analysis, Google Play Store rankings, static taint analysis, static analysis, Computer software, QA76.75-76.765

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2674-113X/3/3/13; https://doaj.org/toc/2674-113X

URL الوصول: https://doaj.org/article/fc135017c9d949fdb49c95990a312ed2