Aliaksei Tsitovich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2008–2011
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | TACAS | Loop Summarization and Termination Analysis. | Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening |
| 2010 | CADE | Loopfrog - loop summarization for static analysis. | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2010 | CAV | Termination Analysis with Compositional Transition Invariants. | Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2010 | ICCAD | Flexible interpolation with local proof transformations. | Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich |
| 2010 | TACAS | The OpenSMT Solver. | Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich |
| 2009 | SAC | The synergy of precise and fast abstractions for program verification. | Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich |
| 2008 | ATVA | Loop Summarization Using Abstract Transformers. | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2008 | ICLP | Detection of Security Vulnerabilities Using Guided Model Checking. | Aliaksei Tsitovich |