Collaborated with:L.Kovács A.Voronkov J.Backes S.Bayless B.Cook C.Dodge A.Gacek A.J.Hu T.Kahsai B.Kocik J.Kukovec S.McLaughlin J.R.0004 N.Rungta J.Sizemore M.A.Stalzer P.Srinivasan P.Subotic C.Varming B.Whaley
Talks about:reachabl (1) program (1) network (1) analysi (1) state (1) relat (1) imper (1) encod (1) next (1) lish (1)
Person: Evgenii Kotelnikov
DBLP: Kotelnikov:Evgenii
Contributed to:
2018
2019Wrote 2 papers:
- IJCAR-2018-KotelnikovKV #encoding #imperative #source code
- A FOOLish Encoding of the Next State Relations of Imperative Programs (EK, LK, AV), pp. 405–421.
- CAV-2019-BackesBCDGHKKKK #analysis #network #reachability
- Reachability Analysis for AWS-Based Networks (JB, SB, BC, CD, AG, AJH, TK, BK, EK, JK, SM, JR0, NR, JS, MAS, PS, PS, CV, BW), pp. 231–241.