LOOPUS - A Tool for Computing Loop Bounds for C Programs. - Moritz Sinn; Florian Zuleger (WING@ETAPS/IJCAR, 2010)

Bound Analysis of Imperative Programs with the Size-Change Abstraction. - Florian Zuleger; Sumit Gulwani; Moritz Sinn; Helmut Veith (SAS, 2011)

Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) - Florian Zuleger; Sumit Gulwani; Moritz Sinn; Helmut Veith (CoRR, 2012)

Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. - Moritz Sinn; Florian Zuleger; Helmut Veith (FMCAD, 2015)

A simple and scalable static analysis for bound analysis and amortized complexity analysis. - Moritz Sinn; Florian Zuleger; Helmut Veith (Software Engineering, 2016)

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints. - Moritz Sinn; Florian Zuleger; Helmut Veith (J. Autom. Reason., 2017)

Using Loop Bound Analysis For Invariant Generation. - Pavel Cadek; Clemens Danninger; Moritz Sinn; Florian Zuleger (FMCAD, 2018)

From Shapes to Amortized Complexity. - Tomás Fiedor; Lukás Holík; Adam Rogalewicz; Moritz Sinn; Tomás Vojnar; Florian Zuleger (VMCAI, 2018)