Aliaksei Tsitovich

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