Loop Summarization Using Abstract Transformers. - Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger (ATVA, 2008)

Detection of Security Vulnerabilities Using Guided Model Checking. - Aliaksei Tsitovich (ICLP, 2008)

Loopfrog: A Static Analyzer for ANSI-C Programs. - Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger (ASE, 2009)

The synergy of precise and fast abstractions for program verification. - Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich (SAC, 2009)

An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. - Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich (SAVCBS, 2009)

Loopfrog - loop summarization for static analysis. - Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger (WING@ETAPS/IJCAR, 2010)

Termination Analysis with Compositional Transition Invariants. - Daniel Kroening; Natasha Sharygina; Aliaksei Tsitovich; Christoph M. Wintersteiger (CAV, 2010)

Flexible interpolation with local proof transformations. - Roberto Bruttomesso; Simone Rollini; Natasha Sharygina; Aliaksei Tsitovich (ICCAD, 2010)

The OpenSMT Solver. - Roberto Bruttomesso; Edgar Pek; Natasha Sharygina; Aliaksei Tsitovich (TACAS, 2010)

Loop Summarization and Termination Analysis. - Aliaksei Tsitovich; Natasha Sharygina; Christoph M. Wintersteiger; Daniel Kroening (TACAS, 2011)

An abstraction refinement approach combining precise and approximated techniques. - Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich (Int. J. Softw. Tools Technol. Transf., 2012)

Loop summarization using state and transition invariants. - Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger (Formal Methods Syst. Des., 2013)

Resolution proof transformation for compression and interpolation. - Simone Fulvio Rollini; Roberto Bruttomesso; Natasha Sharygina; Aliaksei Tsitovich (Formal Methods Syst. Des., 2014)