Aliaksei Tsitovich

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Image Compression

Multiresolution

Automatic Theorem Proving

Image Interpolation

Top Venues

Formal Methods Syst. Des.

Int. J. Softw. Tools Technol. Transf.

Publications

Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich
Resolution proof transformation for compression and interpolation. Formal Methods Syst. Des. 45 (1) (2014)
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loop summarization using state and transition invariants. Formal Methods Syst. Des. 42 (3) (2013)
Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich
Resolution Proof Transformation for Compression and Interpolation. CoRR (2013)
Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich
An abstraction refinement approach combining precise and approximated techniques. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening
Loop Summarization and Termination Analysis. TACAS (2011)
Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich
The OpenSMT Solver. TACAS (2010)
Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich
Flexible interpolation with local proof transformations. ICCAD (2010)
Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger
Termination Analysis with Compositional Transition Invariants. CAV (2010)
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR (2010)
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loopfrog: A Static Analyzer for ANSI-C Programs. ASE (2009)
Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich
An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. SAVCBS (2009)
Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich
The synergy of precise and fast abstractions for program verification. SAC (2009)
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loop Summarization Using Abstract Transformers. ATVA (2008)
Aliaksei Tsitovich
Detection of Security Vulnerabilities Using Guided Model Checking. ICLP (2008)