Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Aliaksei Tsitovich" ( http://dblp.L3S.de/Authors/Aliaksei_Tsitovich )

  Author page on DBLP  Author page in RDF  Community of Aliaksei Tsitovich in ASPL-2

Publication years (Num. hits)
2008 (2) 2009 (2) 2010 (3) 2011 (1) 2012 (1)
Publication types (Num. hits)
article(1) inproceedings(8)
Venues (Conferences, Journals, ...)
TACAS(2) ASE(1) ATVA(1) CAV(1) ICCAD(1) ICLP(1) SAC(1) STTT(1)
Authors
Aliaksei Tsitovich(9) Natasha Sharygina(8) Christoph M. Wintersteiger(4) Daniel Kroening(4) Stefano Tonetta(4) Roberto Bruttomesso(2) Edgar Pek(1) Simone Rollini(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich An abstraction refinement approach combining precise and approximated techniques. Search on Bibsonomy STTT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening Loop Summarization and Termination Analysis. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich The OpenSMT Solver. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger Termination Analysis with Compositional Transition Invariants. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich Flexible interpolation with local proof transformations. Search on Bibsonomy ICCAD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Loopfrog: A Static Analyzer for ANSI-C Programs. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich The synergy of precise and fast abstractions for program verification. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF CEGAR, predicate abstraction, abstraction refinement
1Aliaksei Tsitovich Detection of Security Vulnerabilities Using Guided Model Checking. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Loop Summarization Using Abstract Transformers. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.