Nils Lommen

Research Assistant and PhD Student

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

Home Publications Teaching

Publications | Nils Lommen

Publications

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 (To appear)

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
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