Nils Lommen

Research Assistant and PhD Student

RWTH Aachen | Office: Room 4208 at Ahornstraße 55 | Phone: 80-21214

Home Publications Activities Teaching

Publications | Nils Lommen

Publications

2026

Modular Automatic Complexity Analysis of Recursive Integer Programs

Nils Lommen and Jürgen Giesl

35th European Symposium on Programming, ESOP 2026, Turin, Italy (To appear)

On Deciding Constant Runtime of Linear Loops

Florian Frohn, Jürgen Giesl, Peter Giesl and Nils Lommen

32st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, Turin, Italy (To appear)

2025

AProVE (KoAT + LoAT) - Competition Contribution

Nils Lommen and Jürgen Giesl

31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, Hamilton, Canada
Lecture Notes in Computer Science 15698, 205–211, 2025

2024

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT

Nils Lommen, Éléanore Meyer, and Jürgen Giesl

Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France
Lecture Notes in Computer Science 14739, 233–243, 2024
Best student paper honourable mention
CADE Woody Bledsoe Travel Award

2023

Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs

Nils Lommen and Jürgen Giesl

Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic
Lecture Notes in Computer Science 14279, 3–22, 2023

2022

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops

Nils Lommen, Fabian Meyer, and Jürgen Giesl

Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel
Lecture Notes in Computer Science 13385, 734–754, 2022
CADE Woody Bledsoe Travel Award

Improving Automatic Complexity Analysis of Integer Programs

Jürgen Giesl, Nils Lommen, Marcel Hark, and Fabian Meyer

The Logic of Software: A Tasting Menu of Formal Methods
Lecture Notes in Computer Science 13360, 193–228, 2022