| The OpenSMT Solver. R Bruttomesso, E Pek, N Sharygina, A Tsitovich TACAS 6015, 150-153, 2010 | 158 | 2010 |
| Termination analysis with compositional transition invariants D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 96 | 2010 |
| Loop Summarization and Termination Analysis. A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening TACAS 11, 81-95, 2011 | 67 | 2011 |
| Loop summarization using abstract transformers D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger Automated Technology for Verification and Analysis: 6th International …, 2008 | 66 | 2008 |
| Loop summarization using state and transition invariants D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger Formal Methods in System Design 42, 221-261, 2013 | 25 | 2013 |
| Flexible interpolation with local proof transformations R Bruttomesso, S Rollini, N Sharygina, A Tsitovich 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 770-777, 2010 | 19 | 2010 |
| Loopfrog: A static analyzer for ANSI-C programs D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009 | 18 | 2009 |
| Resolution proof transformation for compression and interpolation SF Rollini, R Bruttomesso, N Sharygina, A Tsitovich Formal Methods in System Design 45, 1-41, 2014 | 17 | 2014 |
| Loopfrog-loop summarization for static analysis. D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger WING@ ETAPS/IJCAR, 130-131, 2010 | 13 | 2010 |
| An abstraction refinement approach combining precise and approximated techniques N Sharygina, S Tonetta, A Tsitovich International Journal on Software Tools for Technology Transfer 14, 1-14, 2012 | 6 | 2012 |
| Flexible interpolation generation in satisfiability modulo theories R Bruttomesso, S Rollini, N Sharygina, A Tsitovich Proceedings of the 14th International Conference on Computer-Aided Design …, 2010 | 6 | 2010 |
| The synergy of precise and fast abstractions for program verification N Sharygina, S Tonetta, A Tsitovich Proceedings of the 2009 ACM symposium on Applied Computing, 566-573, 2009 | 5 | 2009 |
| Detection of Security Vulnerabilities Using Guided Model Checking. A Tsitovich ICLP 5366, 822-823, 2008 | 5 | 2008 |
| An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk N Sharygina, S Tonetta, A Tsitovich Proceedings of the 8th international workshop on Specification and …, 2009 | 1 | 2009 |
| OpenSMT 0.2 System Description R Bruttomesso, E Pek, N Sharygina, A Tsitovich | 1 | 2009 |
| Scalable abstractions for efficient security checks A Tsitovich | | 2011 |
| OpenSMT 1.0 alpha System Description R Bruttomesso, SF Rollini, N Sharygina, A Tsitovich | | |
