Moritz Sinn

Orcid: 0000-0002-8922-0936

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
From Shapes to Amortized Complexity.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Using Loop Bound Analysis For Invariant Generation.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints.
J. Autom. Reason., 2017

2016
A simple and scalable static analysis for bound analysis and amortized complexity analysis.
Proceedings of the Software Engineering 2016, 2016

2015
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

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

2011
Bound Analysis of Imperative Programs with the Size-Change Abstraction.
Proceedings of the Static Analysis - 18th International Symposium, 2011

2010
LOOPUS - A Tool for Computing Loop Bounds for C Programs.
Proceedings of the Second International Workshop on Invariant Generation, 2010


  Loading...