Publications

An abstraction refinement approach combining precise and approximated techniques, Sharygina, N.; Tonetta, S.; Tsitovich, A. , International Journal on Software Tools for Technology Transfer (STTT), Volume 14, Issue 1, p.1-14, Springer (2012)
Download:  stt11_draft.pdf 

Loop Summarization and Termination Analysis, Tsitovich, A.; Sharygina, N.; Wintersteiger, C.M.; Kroening, D. , International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6605, Saarbrücken, Germany, p.81-95, Springer (2011)
Download:  tswk11.pdf 

Scalable Abstractions for Efficient Security Checks, Tsitovich, A. , Faculty of Informatics, Lugano, p.164, University of Lugano (2011)
Download:  Aliaksei_Tsitovich_PhD_Thesis.pdf 

Flexible Interpolation with Local Proof Transformations, Bruttomesso, R.; Rollini, S.F.; Sharygina, N.; Tsitovich, A. , International Conference of Computer Aided Design (ICCAD), San Jose, USA, IEEE Computer Society (2010)
Download:  brst10.pdf 

The OpenSMT Solver, Bruttomesso, R.; Pek, E.; Sharygina, N.; Tsitovich, A. , International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6015, Paphos, Cyprus, p.150-153, Springer (2010)
Download:  bpst2010.pdf 

Termination Analysis with Compositional Transition Invariants, Kroening, D.; Sharygina, N.; Tsitovich, A.; Wintersteiger, C.M. , International Conference on Computer-Aided Verification (CAV), Edinburgh, UK, p.89-103, Springer (2010)
Download:  kstw2010.pdf 

Loopfrog: A Static Analyzer for ANSI-C Programs, Kroening, D.; Sharygina, N.; Tonetta, S.; Tsitovich, A.; Wintersteiger, C.M. , The 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, p.668-670, IEEE Computer Society (2009)
Download:  main.pdf 

The Synergy of Precise and Fast Abstractions for Program Verification, Sharygina, N.; Tonetta, S.; Tsitovich, A. , 24th Annual ACM Symposium on Applied Computing (SAC), Honolulu, USA, p.566-573, ACM (2009)
Download:  stt2009.pdf 

Loop Summarization using Abstract Transformers, Kroening, D.; Sharygina, N.; Tonetta, S.; Tsitovich, A.; Wintersteiger, C.M. , 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Volume 5311, Seoul, South Korea, p.111-125, Springer (2008)
Download:  ksttw08.pdf 

Detection of Security Vulnerabilities Using Guided Model Checking, Tsitovich, A. , 24th International Conference on Logic Programming (ICLP), Volume 5366, Udine, Italy, p.822 - 823, Springer (2008)
Download:  ICLP08Tsitovich.pdf