Nils Lommen
- Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023/07/13 by Nils Lommen, Lommen, Nils, Jürgen Giesl +1 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Engineering Research #Software Testing and Debugging Techniques
- Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
2024/02/06 by Nils Lommen, Lommen, Nils, Éléanore Meyer +3 · 2 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #Fault Detection and Control Systems #Formal Methods in Verification #Logic in Computer Science (cs.LO)