Damien Octeau , William Enck , Patrick McDaniel , Swarat Chaudhuri
usenix security symposium 21 -21
Damien Octeau , Yves Le Traon , Eric Bodden , Alexandre Bartel
usenix security symposium 543 -558
Daniel Luchaup , Damien Octeau , Patrick McDaniel , Somesh Jha
international conference on software engineering 1 77 -88
Kaya Tutuncuoglu , Damien Octeau , Burak Varan , Mohamed Nafea
advances in social networks analysis and mining 906 -911
Damien Octeau , Siegfried Rasthofer , Yves Le Traon , Tegawende F. Bissyande
international conference on software engineering 1 280 -291
Damien Octeau , Sven Bugiel , Patrick D. McDaniel , Erik Derr
usenix security symposium 1101 -1118
Damien Octeau , Aws Albarghouthi , Vaibhav Rastogi , Somesh Jha
foundations of software engineering 342 -353
Damien Octeau , Tegawendé F. Bissyandé , Jacques Klein , John Grundy
ACM Transactions on Software Engineering and Methodology 30 ( 3) 1 -36
Damien Octeau , Daniel Luchaup , Somesh Jha , Patrick McDaniel
IEEE Transactions on Software Engineering 42 ( 11) 999 -1014
Damien Octeau , Somesh Jha , Patrick McDaniel
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12 6
Basak Guler , Burak Varan , Kaya Tutuncuoglu , Mohamed Nafea
IEEE Journal of Selected Topics in Signal Processing 9 ( 2) 360 -373
Li Li , Tegawendé F. Bissyandé , Damien Octeau , Jacques Klein
automated software engineering 756 -761
Damien Octeau , Somesh Jha , Matthew Dering , Patrick McDaniel
symposium on principles of programming languages 51 ( 1) 469 -484
Wenhui Hu , Damien Octeau , Patrick Drew McDaniel , Peng Liu
wireless network security 141 -152
Li Li , Tegawendé F. Bissyandé , Damien Octeau , Jacques Klein
international symposium on software testing and analysis 318 -329
Basak Guler , Burak Varan , Kaya Tutuncuoglu , Mohamed Nafea
ieee global conference on signal and information processing 788 -792
Steven Arzt , Siegfried Rasthofer , Christian Fritz , Eric Bodden
programming language design and implementation 49 ( 6) 259 -269
Li Li , Tegawendé F Bissyandé , Mike Papadakis , Siegfried Rasthofer
Information and Software Technology 88 67 -95
Li Li , Alexandre Bartel , Jacques Klein , Yves Le Traon
arXiv preprint arXiv:1404.7431
Michael Backes , Sven Bugiel , Erik Derr , Sebastian Weisgerber