BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Germany
1 × Italy
1 × New Zealand
1 × USA
1 × United Kingdom
Collaborated with:
N.Sharygina C.M.Wintersteiger D.Kröning S.Tonetta R.Bruttomesso E.Pek
Talks about:
program (2) analysi (2) termin (2) loopfrog (1) composit (1) abstract (1) transit (1) synergi (1) vulner (1) summar (1)

Person: Aliaksei Tsitovich

DBLP DBLP: Tsitovich:Aliaksei

Contributed to:

TACAS 20112011
CAV 20102010
TACAS 20102010
ASE 20092009
SAC 20092009
ICLP 20082008

Wrote 6 papers:

TACAS-2011-TsitovichSWK #analysis #summary #termination
Loop Summarization and Termination Analysis (AT, NS, CMW, DK), pp. 81–95.
CAV-2010-KroeningSTW #analysis #composition #invariant #termination
Termination Analysis with Compositional Transition Invariants (DK, NS, AT, CMW), pp. 89–103.
The OpenSMT Solver (RB, EP, NS, AT), pp. 150–153.
ASE-2009-KroeningSTTW #named #source code
Loopfrog: A Static Analyzer for ANSI-C Programs (DK, NS, ST, AT, CMW), pp. 668–670.
SAC-2009-SharyginaTT #abstraction #performance #precise #verification
The synergy of precise and fast abstractions for program verification (NS, ST, AT), pp. 566–573.
ICLP-2008-Tsitovich #detection #model checking #security #using
Detection of Security Vulnerabilities Using Guided Model Checking (AT), pp. 822–823.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.