Moritz Sinn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FMCAD | Using Loop Bound Analysis For Invariant Generation. | Pavel Cadek, Clemens Danninger, Moritz Sinn, Florian Zuleger |
| 2018 | VMCAI | From Shapes to Amortized Complexity. | Toms Fiedor, Luks Holk, Adam Rogalewicz, Moritz Sinn, Toms Vojnar, Florian Zuleger |
| 2015 | FMCAD | Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. | Moritz Sinn, Florian Zuleger, Helmut Veith |
| 2014 | CAV | A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. | Moritz Sinn, Florian Zuleger, Helmut Veith |
| 2011 | SAS | Bound Analysis of Imperative Programs with the Size-Change Abstraction. | Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith |
| 2010 | CADE | LOOPUS - A Tool for Computing Loop Bounds for C Programs. | Moritz Sinn, Florian Zuleger |