A. Tsitovich

Loop Summarization Using Abstract Transformers

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, 2008, ATVA.

Termination Analysis with Compositional Transition Invariants

Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, 2010, CAV.

Scalable abstractions for efficient security checks

A. Tsitovich, Aliaksei Tsitovich, 2011 .