Moritz Sinn

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