Aliaksei Tsitovich

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

3 Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich: The synergy of precise and fast abstractions for program verification. SAC 2009: 566-573

2008

2 Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125

1 Aliaksei Tsitovich: Detection of Security Vulnerabilities Using Guided Model Checking. ICLP 2008: 822-823

	2009
3		Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich: The synergy of precise and fast abstractions for program verification. SAC 2009: 566-573
	2008
2		Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125
1		Aliaksei Tsitovich: Detection of Security Vulnerabilities Using Guided Model Checking. ICLP 2008: 822-823

Coauthor Index

1	Daniel Kroening (Daniel Kröning)	[2]
2	Natasha Sharygina	[2] [3]
3	Stefano Tonetta	[2] [3]
4	Christoph M. Wintersteiger	[2]