| 2021 |
J |
jnl |
ACM Trans. Softw. Eng. Methodol.
Xiaoyu Sun, Li Li, Tegawendé F. Bissyandé, Jacques Klein, Damien Octeau, John C. Grundy
|
| 2018 |
J |
jnl |
CoRR
Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau
|
| 2018 |
— |
conf |
ESEC/SIGSOFT FSE
Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau
|
| 2017 |
J |
jnl |
Inf. Softw. Technol.
Li Li, Tegawendé F. Bissyandé, Mike Papadakis, Siegfried Rasthofer, Alexandre Bartel, Damien Octeau, Jacques Klein, Yves Le Traon
|
| 2016 |
A* |
conf |
POPL
Damien Octeau, Somesh Jha, Matthew L. Dering, Patrick D. McDaniel, Alexandre Bartel, Li Li, Jacques Klein, Yves Le Traon
|
| 2016 |
J |
jnl |
IEEE Trans. Software Eng.
Damien Octeau, Daniel Luchaup, Somesh Jha, Patrick D. McDaniel
|
| 2016 |
A |
conf |
ISSTA
Li Li, Tegawendé F. Bissyandé, Damien Octeau, Jacques Klein
|
| 2016 |
A* |
conf |
USENIX Security Symposium
Michael Backes, Sven Bugiel, Erik Derr, Patrick D. McDaniel, Damien Octeau, Sebastian Weisgerber
|
| 2016 |
A* |
conf |
ASE
Li Li, Tegawendé F. Bissyandé, Damien Octeau, Jacques Klein
|
| 2015 |
— |
conf |
ICSE (1)
Damien Octeau, Daniel Luchaup, Matthew L. Dering, Somesh Jha, Patrick D. McDaniel
|
| 2015 |
— |
conf |
ICSE (1)
Li Li, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick D. McDaniel
|
| 2015 |
J |
jnl |
IEEE J. Sel. Top. Signal Process.
Basak Guler, Burak Varan, Kaya Tutuncuoglu, Mohamed S. Nafea, Ahmed A. Zewail, Aylin Yener, Damien Octeau
|
| 2014 |
— |
conf |
GlobalSIP
Basak Guler, Burak Varan, Kaya Tutuncuoglu, Mohamed S. Nafea, Ahmed A. Zewail, Aylin Yener, Damien Octeau
|
| 2014 |
— |
conf |
WISEC
Wenhui Hu, Damien Octeau, Patrick D. McDaniel, Peng Liu
|
| 2014 |
A* |
conf |
PLDI
Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick D. McDaniel
|
| 2014 |
J |
jnl |
CoRR
Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick D. McDaniel
|
| 2014 |
B |
conf |
ASONAM
Basak Guler, Burak Varan, Kaya Tutuncuoglu, Mohamed S. Nafea, Ahmed A. Zewail, Aylin Yener, Damien Octeau
|
| 2013 |
A* |
conf |
USENIX Security Symposium
Damien Octeau, Patrick D. McDaniel, Somesh Jha, Alexandre Bartel, Eric Bodden, Jacques Klein, Yves Le Traon
|
| 2012 |
— |
conf |
SIGSOFT FSE
Damien Octeau, Somesh Jha, Patrick D. McDaniel
|
| 2011 |
A* |
conf |
USENIX Security Symposium
William Enck, Damien Octeau, Patrick D. McDaniel, Swarat Chaudhuri
|