Oksana Tkachuk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2006–2021
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CAV | Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning. | Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk |
| 2018 | FMCAD | Semantic-based Automated Reasoning for AWS Access Policies using SMT. | John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Se Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming |
| 2014 | ICSE | Helping system engineers bridge the peaks. | Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet |
| 2013 | PLDI | OCSEGen: open components and systems environment generator. | Oksana Tkachuk |
| 2011 | FASE | Automated Driver Generation for Analysis of Web Applications. | Oksana Tkachuk, Sreeranga P. Rajan |
| 2009 | ICSE | WEAVE: WEb Applications Validation Environment. | Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara |
| 2006 | ISSTA | Application of automated environment generation to commercial software. | Oksana Tkachuk, Sreeranga P. Rajan |