Moritz Sinn

According to our database, Moritz Sinn authored at least 8 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

From Shapes to Amortized Complexity.

Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Using Loop Bound Analysis For Invariant Generation.

Pavel Cadek, Clemens Danninger, Moritz Sinn, Florian Zuleger

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints.

Moritz Sinn, Florian Zuleger, Helmut Veith

J. Autom. Reason., 2017

2016

A simple and scalable static analysis for bound analysis and amortized complexity analysis.

Moritz Sinn, Florian Zuleger, Helmut Veith

Proceedings of the Software Engineering 2016, 2016

2015

Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs.

Moritz Sinn, Florian Zuleger, Helmut Veith

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2012

Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)

Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith

CoRR, 2012

2011

Bound Analysis of Imperative Programs with the Size-Change Abstraction.

Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

LOOPUS - A Tool for Computing Loop Bounds for C Programs.

Moritz Sinn, Florian Zuleger

Proceedings of the Second International Workshop on Invariant Generation, 2010