Publications

Export 13 results:
Author Title Type [ Year(Asc)]
Filters: Author is Tsitovich  [Clear All Filters]
2013
Loop summarization using state and transition invariants, Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. , Formal Methods in System Design, Volume 42, (2013)
Resolution Proof Transformation for Compression and Interpolation, Rollini, S.F., Bruttomesso R., Sharygina Natasha, and Tsitovich A. , CoRR, Volume July 2013, (2013)
2012
An abstraction refinement approach combining precise and approximated techniques, Sharygina, Natasha, Tonetta S., and Tsitovich A. , International Journal on Software Tools for Technology Transfer (STTT), Volume 14, p.1-14, (2012)
An abstraction refinement approach combining precise and approximated techniques, Sharygina, Natasha, Tonetta Stefano, and Tsitovich Aliaksei , International Journal on Software Tools for Technology Transfer (STTT), Volume 14, (2012)
2011
Loop Summarization and Termination Analysis, Tsitovich, Aliaksei, Sharygina Natasha, Wintersteiger Christoph M., and Kroening Daniel , International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6605, Saarbrü Germany, p.81-95, (2011)
Scalable Abstractions for Efficient Security Checks, Tsitovich, Aliaksei , Lugano, p.164, (2011)
2010
Flexible Interpolation with Local Proof Transformations, Bruttomesso, R., Rollini S.F., Sharygina Natasha, and Tsitovich A. , International Conference of Computer Aided Design (ICCAD), San Jose, USA, (2010)
The OpenSMT Solver, Bruttomesso, R., Pek E., Sharygina Natasha, and Tsitovich A. , International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6015, Paphos, Cyprus, p.150-153, (2010)
Termination Analysis with Compositional Transition Invariants, Kroening, D., Sharygina Natasha, Tsitovich A., and Wintersteiger C.M. , International Conference on Computer-Aided Verification (CAV), Edinburgh, UK, (2010)
2009
Loopfrog: A Static Analyzer for ANSI-C Programs, Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. , The 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, (2009)
The Synergy of Precise and Fast Abstractions for Program Verification, Sharygina, Natasha, Tonetta S., and Tsitovich A. , 24th Annual ACM Symposium on Applied Computing (SAC), Honolulu, USA, (2009)
2008
Detection of Security Vulnerabilities Using Guided Model Checking, Tsitovich, A. , 24th International Conference on Logic Programming (ICLP), Udine, Italy, (2008)
Loop Summarization using Abstract Transformers, Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. , 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Seoul, South Korea, (2008)