George Necula

发表

Koushik Sen, Liang Gong, Wontae Choi, 2015, ESEC/SIGSOFT FSE.

Qijun Gu, Tor Helleseth, Kazue Sako, 2011, Encyclopedia of Cryptography and Security.

Koushik Sen, Jacob Burnim, Tayfun Elmas, 2013, PLDI.

George Necula, Mihai Radu, Lorant Janosi, 2018, 2018 Conference Grid, Cloud & High Performance Computing in Science (ROLCG).

George Necula, Derrick Coetzee Anand, 2010 .