PyReach: A Multi-Agent Framework for Vulnerability Reachability Analysis in Python

Συγγραφείς: Wang, Yueqin, Wu, Jingzheng, Ling, Xiang, Luo, Tianyue, Wang, Xu

Πηγή: 2025 32nd Asia-Pacific Software Engineering Conference (APSEC) APSEC Software Engineering Conference (APSEC), 2025 32nd Asia-Pacific. :173-183 Dec, 2025

Relation: 2025 32nd Asia-Pacific Software Engineering Conference (APSEC)

TESTING THE DYNAMIC EXECUTION OF PYTHON PROGRAM CODE DURING THE CERTIFICATION TESTING (DEVELOPMENT) STAGE IN THE CERTIFICATION SYSTEM OF THE MINISTRY OF DEFENSE OF RUSSIA

Συγγραφείς: V.V. Samarov

Πηγή: Надежность и качество сложных систем, Iss 2 (2023)

Θεματικοί όροι: certification tests of software products, dynamic code analysis of python programs, control of completeness and lack of redundancy at the level of files and functional objects, code profiling for dynamic analysis, Motor vehicles. Aeronautics. Astronautics, TL1-4050

Περιγραφή αρχείου: electronic resource

Relation: https://doaj.org/toc/2307-4205

Σύνδεσμος πρόσβασης: https://doaj.org/article/17c480a498a44ff5b1681dc8eb177136

DynaPyt: a dynamic analysis framework for Python

Συγγραφείς: Eghbali, Aryaz, Pradel, Michael

Πηγή: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :760-771

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3540250.3549126

GraphPyRec: A novel graph-based approach for fine-grained Python code recommendation

Συγγραφείς: Zong, Xing, Zheng, Shang ^⁎, Zou, Haitao, Yu, Hualong, Gao, Shang

Πηγή: In Science of Computer Programming December 2024 238

SporTran: A code to estimate transport coefficients from the cepstral analysis of (multivariate) current time series

Συγγραφείς: Ercole, Loris ^{a, b}, Bertossa, Riccardo ^b, Bisacchi, Sebastiano ^{b, c}, Baroni, Stefano ^{b, d, ⁎}

Πηγή: In Computer Physics Communications November 2022 280

mdapy: A flexible and efficient analysis software for molecular dynamics simulations

Συγγραφείς: Wu, Yong-Chao ^a, Shao, Jian-Li ^{a, b, ⁎}

Πηγή: In Computer Physics Communications September 2023 290

CRYSTALpytools: A Python infrastructure for the Crystal code

Συγγραφείς: Camino, Bruno ^{a, ⁎}, Zhou, Huanyu ^b, Ascrizzi, Eleonora ^c, Boccuni, Alberto ^c, Bodo, Filippo ^{c, d}, Cossard, Alessandro ^c, Mitoli, Davide ^c, Ferrari, Anna Maria ^c, Erba, Alessandro ^c, Harrison, Nicholas M. ^{b, ⁎}

Πηγή: In Computer Physics Communications November 2023 292

Static and Dynamic Analysis of Python-based Research Software

Συγγραφείς: Larrivain, Daphné, Yang, Shinhyung, Hasselbring, Wilhelm

Θεματικοί όροι: Program Analysis, RSE Research, Software Engineering

SpotFlow: Tracking Method Calls and States at Runtime

Συγγραφείς: Hora, Andre

Πηγή: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2024 IEEE/ACM 46th International Conference on. :35-39 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

Molecular arrangement and fringe identification and analysis from molecular dynamics (MAFIA-MD): A tool for analyzing the molecular structures formed during reactive molecular dynamics simulation of hydrocarbons

Συγγραφείς: Mukut, Khaled Mosharraf ^a, Roy, Somesh ^{a, ⁎}, Goudeli, Eirini ^b

Πηγή: In Computer Physics Communications July 2022 276

JAX-based aeroelastic simulation engine for differentiable aircraft dynamics

Συγγραφείς: Cea, Alvaro ^⁎, Palacios, Rafael

Πηγή: In Computer Physics Communications June 2025 311

Automatic and Dynamic Visualization of Process-Based Concurrent Programs

Συγγραφείς: Farina, Daniel Augusto Rodrigues, Campiolo, Rodrigo, Rufino, José, Pereira, Maria João

Συνεισφορές: Biblioteca Digital do IPB

Θεματικοί όροι: E-Learning tool, System programming, Concurrent programming, Code instrumentation, Inspector functions, JSON, Konva JS, Canvas, Python, React JS, BPMN

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: http://hdl.handle.net/10198/29615

PyCSP: A Python package for the analysis and simplification of chemically reacting systems based on Computational Singular Perturbation

Συγγραφείς: Malpica Galassi, Riccardo

Πηγή: In Computer Physics Communications July 2022 276

AMEP: The active matter evaluation package for Python

Συγγραφείς: Hecht, Lukas ^⁎, Dormann, Kay-Robert, Spanheimer, Kai Luca, Ebrahimi, Mahdieh, Cordts, Malte, Mandal, Suvendu, Mukhopadhyay, Aritra K., Liebchen, Benno ^⁎

Πηγή: In Computer Physics Communications April 2025 309

rhodent: A python package for analyzing real-time TDDFT response

Συγγραφείς: Fojt, Jakub ^a, Rossi, Tuomas P. ^b, Erhart, Paul ^{⁎, a}

Πηγή: In Computer Physics Communications May 2026 322

Evaluation and sensitivity analysis of the FitzHugh–Nagumo model parameters for studying electrical signals generated by different biological tissues

Συγγραφείς: Castaño Usuga, Fabian Andres ^{a, b, c, ⁎}

Πηγή: In Computer Physics Communications October 2025 315

A Multilanguage Static Analysis of Python Programs with Native C Extensions

Συγγραφείς: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine

Συνεισφορές: Monat, Raphaël

Πηγή: Lecture Notes in Computer Science ISBN: 9783030888053
Static Analysis-28th International Symposium, SAS 2021
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis

Θεματικοί όροι: Multilanguage Analysis, Abstract Interpretation, Static Analysis, 0202 electrical engineering, electronic engineering, information engineering, Dynamic Programming Language, 02 engineering and technology, Formal Methods, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.archives-ouvertes.fr/hal-03313409/file/paper.pdf
https://hal.science/hal-03313409v1

GenEvaPa: A generic evaporation package for modeling evaporation in molecular dynamics simulations

Συγγραφείς: Harris, Bradley ^a, Liu, Gang-yu ^b, Faller, Roland ^{a, ⁎}

Πηγή: In Computer Physics Communications January 2023 282

Design and Implementation of a No-code Graphical User Interface Application for Radiomics Analysis.

Συγγραφείς: Hasegawa, Koshi, Saito, Hayato, Sato, Naiki, Fukui, Ryohei

Πηγή: Journal of Medical Physics; Apr-Jun2026, Vol. 51 Issue 2, p394-402, 9p

Θεματικοί όροι: Radiomics, Graphical user interfaces, Algorithms, Diagnostic imaging, Python programming language, Dimensional reduction algorithms, Feature extraction

OpenSBLI v3.0: High-fidelity multi-block transonic aerofoil CFD simulations using domain specific languages on GPUs

Συγγραφείς: Lusher, David J. ^{a, ⁎}, Sansica, Andrea ^a, Sandham, Neil D. ^b, Meng, Jianping ^{c, 1}, Siklósi, Bálint ^{d, b}, Hashimoto, Atsushi ^a

Πηγή: In Computer Physics Communications February 2025 307