Aliaksei Tsitovich

According to our database, Aliaksei Tsitovich authored at least 13 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Resolution proof transformation for compression and interpolation.

Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich

Formal Methods Syst. Des., 2014

2013

Loop summarization using state and transition invariants.

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Formal Methods Syst. Des., 2013

2012

An abstraction refinement approach combining precise and approximated techniques.

Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich

Int. J. Softw. Tools Technol. Transf., 2012

2011

Loop Summarization and Termination Analysis.

Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010

The OpenSMT Solver.

Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Flexible interpolation with local proof transformations.

Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich

Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

Termination Analysis with Compositional Transition Invariants.

Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Loopfrog - loop summarization for static analysis.

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Proceedings of the Second International Workshop on Invariant Generation, 2010

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

Proceedings of the SAVCBS'09, 2009

The synergy of precise and fast abstractions for program verification.

Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Loopfrog: A Static Analyzer for ANSI-C Programs.

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Proceedings of the ASE 2009, 2009

2008

Detection of Security Vulnerabilities Using Guided Model Checking.

Aliaksei Tsitovich

Proceedings of the Logic Programming, 24th International Conference, 2008

Loop Summarization Using Abstract Transformers.

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Proceedings of the Automated Technology for Verification and Analysis, 2008