siam journal on computing (4)
acm computing surveys (3)
2011 - milcom 2011 military communications conference, military communications conference, 2011 - milcom 2011 (2)
journal of hardware and systems security (2)
milcom 2016 - 2016 ieee military communications conference (2)
milcom 2016 - 2016 ieee military communications conference, military communications conference, milcom 2016 - 2016 ieee (2)
military communications conference, 2011 - milcom 2011 (2)
proceedings of spie (2)
2015 ieee high performance extreme computing conference (hpec) (1)
2015 ieee high performance extreme computing conference (hpec), high performance extreme computing conference (hpec), 2015 ieee (1)
2018 ieee 17th international symposium on network computing and applications (nca), network computing and applications (nca), 2018 ieee 17th international symposium on (1)
2018 ieee high performance extreme computing conference (hpec), high performance extreme computing conference (hpec), 2018 ieee (1)
2018 ieee international conference on software quality, reliability and security companion (qrs-c), software quality, reliability and security companion (qrs-c), 2018 ieee international conference on, qrs-c (1)
2021 ieee 27th real-time and embedded technology and applications symposium (rtas), real-time and embedded technology and applications symposium (rtas), 2021 ieee 27th, rtas (1)
distributed computing (9783540650669) (1)
icse: international conference on software engineering (1)
mathematical spectrum (1)
milcom 2008 - 2008 ieee military communications conference, military communications conference, 2008. milcom 2008. ieee (1)
milcom 2017 - 2017 ieee military communications conference (milcom), military communications conference (milcom), milcom 2017 - 2017 ieee (1)
paste: workshop on program analysis for software tools & engineering (1)
proceedings of the 22nd international conference software engineering (1)
proceedings of the 7th acm sigplan-sigsoft workshop: program analysis for software tools & engineering (1)