Moritz Sinn

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 4

Top Topics

Shape Classification

Complexity Analysis

Top Venues

Publications

Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger
From Shapes to Amortized Complexity. VMCAI (2018)
Pavel Cadek, Clemens Danninger, Moritz Sinn, Florian Zuleger
Using Loop Bound Analysis For Invariant Generation. FMCAD (2018)
Moritz Sinn, Florian Zuleger, Helmut Veith
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints. J. Autom. Reason. 59 (1) (2017)
Moritz Sinn, Florian Zuleger, Helmut Veith
A simple and scalable static analysis for bound analysis and amortized complexity analysis. Software Engineering (2016)
Moritz Sinn, Florian Zuleger, Helmut Veith
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. FMCAD (2015)
Moritz Sinn, Florian Zuleger, Helmut Veith
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. CoRR (2015)
Moritz Sinn, Florian Zuleger, Helmut Veith
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. CoRR (2014)
Moritz Sinn, Florian Zuleger, Helmut Veith
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. CAV (2014)
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) CoRR (2012)
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
Bound Analysis of Imperative Programs with the Size-Change Abstraction. SAS (2011)
Moritz Sinn, Florian Zuleger
LOOPUS - A Tool for Computing Loop Bounds for C Programs. WING@ETAPS/IJCAR (2010)