Follow
Nils Lommen
Nils Lommen
Verified email at cs.rwth-aachen.de - Homepage
Title
Cited by
Cited by
Year
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
102022
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
62022
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
52023
Control-flow refinement for complexity analysis of probabilistic programs in KoAT
N Lommen, E Meyer, J Giesl
CoRR abs/2402.03891, 2024
12024
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
The system can't perform the operation now. Try again later.
Articles 1–8