Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Aliaksei Tsitovich
2010 – today
- 2013
[j2]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loop summarization using state and transition invariants. Formal Methods in System Design 42(3): 221-261 (2013)- 2012
- [j1]Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich: An abstraction refinement approach combining precise and approximated techniques. STTT 14(1): 1-14 (2012)
- 2011
- [c8]Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening: Loop Summarization and Termination Analysis. TACAS 2011: 81-95
- 2010
- [c7]Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger: Termination Analysis with Compositional Transition Invariants. CAV 2010: 89-103
- [c6]Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich: Flexible interpolation with local proof transformations. ICCAD 2010: 770-777
- [c5]Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich: The OpenSMT Solver. TACAS 2010: 150-153
2000 – 2009
- 2009
- [c4]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loopfrog: A Static Analyzer for ANSI-C Programs. ASE 2009: 668-670
- [c3]Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich: The synergy of precise and fast abstractions for program verification. SAC 2009: 566-573
- 2008
- [c2]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125
- [c1]Aliaksei Tsitovich: Detection of Security Vulnerabilities Using Guided Model Checking. ICLP 2008: 822-823
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-17 21:53 CEST by the dblp team