Improving automatic complexity analysis of integer programs J Giesl, N Lommen, M Hark, F Meyer The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022 | 10 | 2022 |
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops N Lommen, F Meyer, J Giesl International Joint Conference on Automated Reasoning, 734-754, 2022 | 6 | 2022 |
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs N Lommen, J Giesl International Symposium on Frontiers of Combining Systems, 3-22, 2023 | 5 | 2023 |
Control-flow refinement for complexity analysis of probabilistic programs in KoAT N Lommen, E Meyer, J Giesl CoRR abs/2402.03891, 2024 | 1 | 2024 |
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) N Lommen, É Meyer, J Giesl International Joint Conference on Automated Reasoning, 233-243, 2024 | | 2024 |
Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version) N Lommen, E Meyer, J Giesl arXiv preprint arXiv:2307.10061, 2023 | | 2023 |
Automatic Complexity Analysis of (Probabilistic) Integer Programs via KoAT N Lommen, F Meyer, M Hark, J Giesl 18th International Workshop on Termination, 41, 0 | | |
Improved Automatic Complexity Analysis of Integer Programs J Giesl, N Lommen, M Hark, F Meyer 18th International Workshop on Termination, 36, 0 | | |