Funder
Vienna Science and Technology Fund
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs;Frontiers of Combining Systems;2023
2. pymwp: A Static Analyzer Determining Polynomial Growth Bounds;Automated Technology for Verification and Analysis;2023
3. Software Side Channel Vulnerability Detection Based on Similarity Calculation and Deep Learning;2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2022-12
4. Perun: Performance Version System;2022 IEEE International Conference on Software Maintenance and Evolution (ICSME);2022-10
5. Runtime Complexity Bounds Using Squeezers;ACM Transactions on Programming Languages and Systems;2022-07-15