Follow
Moritz Sinn
Moritz Sinn
FH Münster
Verified email at fh-muenster.de
Title
Cited by
Cited by
Year
A simple and scalable static analysis for bound analysis and amortized complexity analysis
M Sinn, F Zuleger, H Veith
International Conference on Computer Aided Verification, 745-761, 2014
1372014
Bound analysis of imperative programs with the size-change abstraction
F Zuleger, S Gulwani, M Sinn, H Veith
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011
1192011
Complexity and resource bound analysis of imperative programs using difference constraints
M Sinn, F Zuleger, H Veith
Journal of automated reasoning 59, 3-45, 2017
662017
Difference constraints: An adequate abstraction for complexity analysis of imperative programs
M Sinn, F Zuleger, H Veith
2015 Formal Methods in Computer-Aided Design (FMCAD), 144-151, 2015
252015
LOOPUS: A tool for computing loop bounds for C programs
F Zuleger, M Sinn
Proceedings, Workshop on Invariant Generation: WING, 2010
122010
From shapes to amortized complexity
T Fiedor, L Holík, A Rogalewicz, M Sinn, T Vojnar, F Zuleger
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
102018
Bound analysis of imperative programs with the size-change abstraction (extended version)
F Zuleger, S Gulwani, M Sinn, H Veith
arXiv preprint arXiv:1203.5303, 2012
92012
LOOPUS-A Tool for Computing Loop Bounds for C Programs.
M Sinn, F Zuleger
WING@ ETAPS/IJCAR, 185-186, 2010
92010
Automated complexity analysis for imperative programs
M Sinn
Wien, 2016
62016
Using loop bound analysis for invariant generation
P Čadek, C Danninger, M Sinn, F Zuleger
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
52018
Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
M Sinn, F Zuleger, H Veith
Proc. 26th CAV, 745-761, 2014
22014
From Shapes to Amortized Complexity⋆ Tomaš Fiedor1, Lukaš Holık1, Adam Rogalewicz1
M Sinn, T Vojnar, F Zuleger
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
2018
Computing Reachability Bounds with the Size Change Abstraction
M Sinn
2011
Loopus–An Automatic Complexity Analyzer
M Sinn
15th International Workshop on Termination, 0
The system can't perform the operation now. Try again later.
Articles 1–14