Articles with public access mandates - Aliaksei TsitovichLearn more
Available somewhere: 4
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
International Conference on Computer Aided Verification, 89-103, 2010
Mandates: Swiss National Science Foundation
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
International Symposium on Automated Technology for Verification and …, 2008
Mandates: Swiss National Science Foundation
Loop summarization and termination analysis
A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening
International Conference on Tools and Algorithms for the Construction and …, 2011
Mandates: Swiss National Science Foundation
Loopfrog: A static analyzer for ANSI-C programs
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
Mandates: Swiss National Science Foundation
Publication and funding information is determined automatically by a computer program