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