| The opensmt solver R Bruttomesso, E Pek, N Sharygina, A Tsitovich Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 182 | 2010 |
| Termination analysis with compositional transition invariants D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger International Conference on Computer Aided Verification, 89-103, 2010 | 104 | 2010 |
| Loop summarization using abstract transformers D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger International Symposium on Automated Technology for Verification and …, 2008 | 75 | 2008 |
| Loop summarization and termination analysis A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening International Conference on Tools and Algorithms for the Construction and …, 2011 | 72 | 2011 |
| 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 | 33 | 2013 |
| Resolution proof transformation for compression and interpolation SF Rollini, R Bruttomesso, N Sharygina, A Tsitovich Formal Methods in System Design 45, 1-41, 2014 | 21 | 2014 |
| 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 |
| Loopfrog-loop summarization for static analysis. D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger WING@ ETAPS/IJCAR, 130-131, 2010 | 14 | 2010 |
| 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 | 7 | 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 |
| 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 Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 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 | | |
