| 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 | 141 | 2014 |
| 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 | 127 | 2011 |
| 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 | 75 | 2017 |
| 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 | 26 | 2015 |
| 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 | 12 | 2018 |
| LOOPUS: A tool for computing loop bounds for C programs F Zuleger, M Sinn Proceedings, Workshop on Invariant Generation: WING, 2010 | 12 | 2010 |
| LOOPUS-A Tool for Computing Loop Bounds for C Programs. M Sinn, F Zuleger WING@ ETAPS/IJCAR, 185-186, 2010 | 11 | 2010 |
| 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 | 9 | 2012 |
| 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 | 8 | 2018 |
| Automated complexity analysis for imperative programs M Sinn Technische Universität Wien, 2016 | 6 | 2016 |
| Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis M Sinn, F Zuleger, H Veith Proc. 26th CAV, 745-761, 2014 | 2 | 2014 |
| 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 | | |
